Skip to main content

composition_preserves_right

qualia_core_db::modalities::deontic_compose

Function composition_preserves_right 

Source 
pub fn composition_preserves_right(
    non_derogable: bool,
    has_temporal_limit: bool,
) -> bool
Expand description

Formal verification of a composed norm: a temporal constraint must not void a non-derogable right. A composition that places a temporal limit (expiry / window) on a non_derogable obligation is INVALID — non-derogable protections do not expire. Any other composition is valid. Returns true iff the composition preserves the right.