Skip to main content

defeater_fingerprint

qualia_core_db::modalities::logic::deontic

Function defeater_fingerprint 

Source 
pub fn defeater_fingerprint(q: &NQuin) -> u64
Expand description

Produces the defeater-matching fingerprint for any Quin (norm or defeater).

Two Quins share a fingerprint iff they bind the same party (subject), the same contract graph (context), and the same property-path (predicate[8..62] — the portion above the opcode byte and below the defeater bit). The opcode byte and defeater bit are masked out so that a q42:unless node correctly matches the norm it defeats.