title: Include Arith Which Mutates And And Mod Rem To Min And Max And Unary Minus Removed required status: active text_ref: readme:README.md#L116 tags:

• strict-modeling
• confidence:0.90
• confidence-band:high
• provenance:readme-readme-md-l116
• lane:strict
• fact:property_value

fact_kind: property_value subject_key: operators.include_arith property_key: include_arith_which_mutates_and_and_mod_rem_to_min_and_max_and_unary_minus_removed canonical_key: knowledge-source-readme:operators.include_arith:include_arith_which_mutates_and_and_mod_rem_to_min_and_max_and_unary_minus_removed:polarity:require operator: eq value_type: bool value_bool: true polarity: require claim_key: CLAIM-EF33D31D7D802BEC claim_text: 'Operators must include arith, which mutates: + and -, * and /, // mod rem to *, min and max, << and >>; unary minus removed.' origin: kind: agent recorded_at: '2026-10-29T16:05:26.178Z' id: FACT-PROP-A329406E1091BA5D type: fact ---