title: Operators Include Clause Drop status: active text_ref: readme:README.md#L123 tags:

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

fact_kind: subject subject_key: operators.include_clause_drop canonical_key: operators.include_clause_drop claim_key: CLAIM-50111E648A1C7A1B claim_text: 'Operators must include clause_drop, which mutates: Removes one clause of a multi-clause predicate.' origin: kind: agent recorded_at: '2026-10-29T16:05:28.889Z' id: FACT-SUBJECT-8D917FBED636E125 type: fact ---