title: Operators Include Arith 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:subject

fact_kind: subject subject_key: operators.include_arith canonical_key: operators.include_arith 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.066Z' id: FACT-SUBJECT-3C257FBB5FB323BF type: fact ---