title: Include Negate Which Mutates Removes A Negates The Condition Of An If Then Else required status: active text_ref: readme:README.md#L119 tags:

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

fact_kind: property_value subject_key: operators.include_negate property_key: include_negate_which_mutates_removes_a_negates_the_condition_of_an_if_then_else canonical_key: knowledge-source-readme:operators.include_negate:include_negate_which_mutates_removes_a_negates_the_condition_of_an_if_then_else:polarity:require operator: eq value_type: bool value_bool: true polarity: require claim_key: CLAIM-80D88D3ED898DA32 claim_text: 'Operators must include negate, which mutates: Removes a \+; negates the condition of an if-then-else.' origin: kind: agent recorded_at: '2026-10-29T16:05:27.374Z' id: FACT-PROP-AD1CB75BB70D7E26 type: fact ---