---

title: 'Operators must include arith, which mutates: + and -, * and /, // mod rem to *, min and max, << and >>; unary minus removed.' status: open text_ref: readme:README.md#L116 tags:

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

semantic_text: 'Operators must include arith, which mutates: + and -, * and /, // mod rem to *, min and max, << and >>; unary minus removed.' logic_claims:

• CLAIM-EF33D31D7D802BEC

semantic_clauses:

• 'Operators must include arith, which mutates: + and -, * and /, // mod rem to *, min and max, << and >>; unary minus removed.'

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

claim_key:CLAIM - EF33D31D7D802BEC

claim_text: 'Operators must include arith, which mutates: + and -, * and /, // mod rem to *, min and max, << and >>; unary minus removed' role: normative status: modeled span: start: 0 end: 147 origin: kind: import ref: readme:README.md#L116 recorded_at: '2026-10-29T16:05:26.314Z' firmness: firm required_evidence: asserted id: REQ-AUTO-3D0DDBEA31FECCB8 type: req --- Operators must include arith, which mutates: + and -, * and /, // mod rem to *, min and max, << and >>; unary minus removed.

Source

| arith | + and -, * and /, // mod rem to *, min and max, << and >>; unary minus removed | X is A + B to X is A - B |

Source: Mutalog README - README.md#L116