pub fn generate_remedy_obligation(
party: u64,
reparation_path: u64,
reparation_action: u64,
frame: u64,
) -> NQuinExpand 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.