title: Operators Include Unify status: active text_ref: readme:README.md#L118 tags:

• strict-modeling
• confidence:0.90
• confidence-band:high
• provenance:readme-readme-md-l118
• lane:strict
• fact:subject

fact_kind: subject subject_key: operators.include_unify canonical_key: operators.include_unify claim_key: CLAIM-BBED0C10E1FCEB15 claim_text: 'Operators must include unify, which mutates: = and \=, == and \==, =@= and \=@=.' origin: kind: agent recorded_at: '2026-10-29T16:05:26.850Z' id: FACT-SUBJECT-CB94AB0F71FDADE4 type: fact ---