negate-claim git:20260923.cbc38aaA

Immutable. This exact content never changes and is served at /api/v1/blob/66f8857b0ed832a2.

---
name: negate-claim
description: "Produce a scope-preserving logical negation of a claim or assumption."
---

# negate-claim
## Purpose
Produce a scope-preserving logical negation of a claim or assumption.
## Input contract
```yaml
required: [claim, scope, quantifiers]
optional: [formalization, assumptions]
constraints: [negation must preserve the original domain and quantifier structure]
```
## Procedure
1. Formalize the claim's subject, predicate, and quantifiers.
2. Negate the claim without changing its scope.
3. Record changed commitments and ambiguities.
## Output contract
```yaml
produces: [negated_claim, scope_check, changed_commitments]
delta_fields: [findings, uncertainties, decisions]
```
## Quality gates
- Quantifier and boundary changes are explicit.
## Failure and counterexamples
Do not substitute a contrary claim with a different scope.
## Provenance map
- resolved: claim-negation
- resolved: negation-definition
- resolved: axiom-negation