title: Operators Include Compare status: active text_ref: readme:README.md#L117 tags:

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

fact_kind: subject subject_key: operators.include_compare canonical_key: operators.include_compare claim_key: CLAIM-A324A6E0A2D3DB1A claim_text: 'Operators must include compare, which mutates: Arithmetic and standard-order comparisons, across the boundary and flipped.' origin: kind: agent recorded_at: '2026-10-29T16:05:26.442Z' id: FACT-SUBJECT-645E86A75209AFBF type: fact ---