title: Operators Include Goal Fail status: active text_ref: readme:README.md#L122 tags:

• strict-modeling
• confidence:0.90
• confidence-band:high
• provenance:readme-readme-md-l122
• lane:strict
• fact:subject

fact_kind: subject subject_key: operators.include_goal_fail canonical_key: operators.include_goal_fail claim_key: CLAIM-167FB02AB48BA73D claim_text: 'Operators must include goal_fail, which mutates: Replaces a body goal with fail.' origin: kind: agent recorded_at: '2026-10-29T16:05:28.480Z' id: FACT-SUBJECT-AC75B04DB21ECA76 type: fact ---