Skip to main content

zk_wrapped_composition

qualia_core_db::modalities::deontic_compose

Function zk_wrapped_composition 

Source 
pub fn zk_wrapped_composition(
    proof_verified: bool,
    verdict: DeonticStatus,
) -> Option<DeonticStatus>
Expand description

Zero-knowledge–wrapped composition: a complex composition’s verdict is applied only if a zk proof of its premises verifies (the private witnesses — the underlying facts — stay hidden). Returns the verdict gated on proof_verified; an unverified proof yields None (the composition is withheld). Mirrors legal_compose::zk_eligibility.