---

title: 'Operators must include compare, which mutates: Arithmetic and standard-order comparisons, across the boundary and flipped.' status: open text_ref: readme:README.md#L117 tags:

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

semantic_text: 'Operators must include compare, which mutates: Arithmetic and standard-order comparisons, across the boundary and flipped.' logic_claims:

• CLAIM-A324A6E0A2D3DB1A

semantic_clauses:

• 'Operators must include compare, which mutates: Arithmetic and standard-order comparisons, across the boundary and flipped.'

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

claim_key:CLAIM - A324A6E0A2D3DB1A

claim_text: 'Operators must include compare, which mutates: Arithmetic and standard-order comparisons, across the boundary and flipped' role: normative status: modeled span: start: 0 end: 121 origin: kind: import ref: readme:README.md#L117 recorded_at: '2026-10-29T16:05:26.689Z' firmness: firm required_evidence: asserted id: REQ-AUTO-BBEC6285F92001DC type: req --- Operators must include compare, which mutates: Arithmetic and standard-order comparisons, across the boundary and flipped.

Source

| compare | Arithmetic and standard-order comparisons, across the boundary and flipped | X > 0 to X >= 0, X =< 0 |

Source: Mutalog README - README.md#L117