Skip to main content

generate_remedy_obligation

Function generate_remedy_obligation 

Source
pub fn generate_remedy_obligation(
    party: u64,
    reparation_path: u64,
    reparation_action: u64,
    frame: u64,
) -> NQuin
Expand description

Automated remedy generation: when a composed norm is breached, generate the secondary obligation O(reparation) on the breaching party (the contrary-to-duty remedy). Composes deontic::compile_norm_quin; the caller records/enforces it like any obligation.