title: Include Compare Which Mutates Arithmetic And Standard Order Comparisons Across The Boundary And Flipped required 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:property_value

fact_kind: property_value subject_key: operators.include_compare property_key: include_compare_which_mutates_arithmetic_and_standard_order_comparisons_across_the_boundary_and_flipped canonical_key: knowledge-source-readme:operators.include_compare:include_compare_which_mutates_arithmetic_and_standard_order_comparisons_across_the_boundary_and_flipped:polarity:require operator: eq value_type: bool value_bool: true polarity: require 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.564Z' id: FACT-PROP-184FE7C937065C68 type: fact ---