---

title: 'Operators must include unify, which mutates: = and \=, == and \==, =@= and \=@=.' status: open text_ref: readme:README.md#L118 tags:

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

semantic_text: 'Operators must include unify, which mutates: = and \=, == and \==, =@= and \=@=.' logic_claims:

• CLAIM-BBED0C10E1FCEB15

semantic_clauses:

• 'Operators must include unify, which mutates: = and \=, == and \==, =@= and \=@=.'

semantic_inventory_version: kibi.semantic-inventory.v1 semantic_source_field: semantic_text semantic_source_hash: ad7db2a0ee888b9e86c5e56837e96ec5629a43330d051fcee039475128a2114b semantic_inventory:

claim_key:CLAIM - BBED0C10E1FCEB15

claim_text: 'Operators must include unify, which mutates: = and \=, == and \==, =@= and \=@=' role: normative status: modeled span: start: 0 end: 91 origin: kind: import ref: readme:README.md#L118 recorded_at: '2026-10-29T16:05:27.108Z' firmness: firm required_evidence: asserted id: REQ-AUTO-7F9EBE3BDABCE064 type: req --- Operators must include unify, which mutates: = and \=, == and \==, =@= and \=@=.

Source

| unify | = and \=, == and \==, =@= and \=@= | X == Y to X \== Y |

Source: Mutalog README - README.md#L118