title: Include Cut Which Mutates Removes A Cut Inserts One After The First Goal Of A Non Last Clause That Has None required status: active text_ref: readme:README.md#L120 tags:

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

fact_kind: property_value subject_key: operators.include_cut property_key: include_cut_which_mutates_removes_a_cut_inserts_one_after_the_first_goal_of_a_non_last_clause_that_has_none canonical_key: knowledge-source-readme:operators.include_cut:include_cut_which_mutates_removes_a_cut_inserts_one_after_the_first_goal_of_a_non_last_clause_that_has_none:polarity:require operator: eq value_type: bool value_bool: true polarity: require claim_key: CLAIM-1B3B492641375B1A claim_text: 'Operators must include cut, which mutates: Removes a cut; inserts one after the first goal of a non-last clause that has none.' origin: kind: agent recorded_at: '2026-10-29T16:05:27.811Z' id: FACT-PROP-56A7CB4B53AA6EF8 type: fact ---