title: Include Goal True Which Mutates Replaces A Body Goal With True required status: active text_ref: readme:README.md#L121 tags:

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

fact_kind: property_value subject_key: operators.include_goal_true property_key: include_goal_true_which_mutates_replaces_a_body_goal_with_true canonical_key: knowledge-source-readme:operators.include_goal_true:include_goal_true_which_mutates_replaces_a_body_goal_with_true:polarity:require operator: eq value_type: bool value_bool: true polarity: require claim_key: CLAIM-3F1CE219296A9664 claim_text: 'Operators must include goal_true, which mutates: Replaces a body goal with true.' origin: kind: agent recorded_at: '2026-10-29T16:05:28.200Z' id: FACT-PROP-0CE1B82A0B721C9E type: fact ---