---

title: 'Operators must include literal, which mutates: Numbers (0 to 1, N to N+1 and -N), strings (to and from ""), true and false, [] to [_].' status: open text_ref: readme:README.md#L124 tags:

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

semantic_text: 'Operators must include literal, which mutates: Numbers (0 to 1, N to N+1 and -N), strings (to and from ""), true and false, [] to [_].' logic_claims:

• CLAIM-ACB47111EB4C4DE9

semantic_clauses:

• 'Operators must include literal, which mutates: Numbers (0 to 1, N to N+1 and -N), strings (to and from ""), true and false, [] to [_].'

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

claim_key:CLAIM - ACB47111EB4C4DE9

claim_text: 'Operators must include literal, which mutates: Numbers (0 to 1, N to N+1 and -N), strings (to and from ""), true and false, [] to [_]' role: normative status: modeled span: start: 0 end: 153 origin: kind: import ref: readme:README.md#L124 recorded_at: '2026-10-29T16:05:29.569Z' firmness: firm required_evidence: asserted id: REQ-AUTO-A3B9E1922440A581 type: req --- Operators must include literal, which mutates: Numbers (0 to 1, N to N+1 and -N), strings (to and from ""), true and false, [] to [_].

Source

| literal | Numbers (0 to 1, N to N+1 and -N), strings (to and from ""), true and false, [] to [_] | limit(10) to limit(11) |

Source: Mutalog README - README.md#L124