---

title: Generator must not mutate directives, DCG rules, CHR rules or anything inside begin_tests/end_tests. status: open text_ref: readme:README.md#L126 tags:

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

semantic_text: Generator must not mutate directives, DCG rules, CHR rules or anything inside begin_tests/end_tests. logic_claims:

• CLAIM-BCB6D058CA9DF4C5

semantic_clauses:

• Generator must not mutate directives, DCG rules, CHR rules or anything inside begin_tests/end_tests.

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

claim_key:CLAIM - BCB6D058CA9DF4C5

claim_text: Generator must not mutate directives, DCG rules, CHR rules or anything inside begin_tests/end_tests role: normative status: modeled span: start: 0 end: 99 origin: kind: import ref: readme:README.md#L126 recorded_at: '2026-10-29T16:05:30.027Z' firmness: firm required_evidence: asserted id: REQ-AUTO-F237B3AAC9F552A2 type: req --- Generator must not mutate directives, DCG rules, CHR rules or anything inside begin_tests/end_tests.

Source

Directives, DCG rules, CHR rules and anything inside begin_tests/end_tests are never mutated.

Source: Mutalog README - README.md#L126