title: Include Unify Which Mutates And And And required 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:property_value

fact_kind: property_value subject_key: operators.include_unify property_key: include_unify_which_mutates_and_and_and canonical_key: knowledge-source-readme:operators.include_unify:include_unify_which_mutates_and_and_and:polarity:require operator: eq value_type: bool value_bool: true polarity: require 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.976Z' id: FACT-PROP-4BAFF6C878B70708 type: fact ---