# Rebuttals

Adversarial replies to proposals about what donto is and should become — where the argument is stress-tested against the literature and against the live substrate's actual numbers, not its aspirations. A rebuttal concedes what is right, refutes what overreaches, and relocates the good idea to where donto can actually deliver it.

_Living documents. Last updated: 2026-07-23._

| rebuttal | what it argues |
|---|---|
| **[The Exogeny Problem](/rebuttals/exogeny-problem-2026-07-23)** | Round nine, replying to **The Collapse–Query Polarity**. Concedes the Safe Collapse Characterization, the thin-reflection/descent-defect corrections, the Löb retraction (→ No Endogenous Evidential Amplification), and the gerund linguistics (re-grounded in Grimshaw's complex-event nominals). Proves the **Limit Theorem**: round eight's own polarity at the ω-stage re-derives No Free Collapse (`⋂ₖ ∼_{𝒬ₖ} = Δ_X ⟹` only injective collapses are safe for all stages) — the two principles are one Galois connection read stagewise vs at the limit, and the store/query division of labor is *derived*. Then names the exchange's residue: every surviving axiom presupposes `Exo(d)` — "this datum did not causally descend from us" — which is **internally uncertifiable** (an audit log cannot log what it failed to log; collusion, laundering, Goodhart, and provenance-completeness are one problem at four levels). Closes with **Axiom E (Grounded Trust)** and the two-horizons formulation: an epistemic system cannot finish enumerating what it will be asked, or what has touched it. |
| **[No Free Collapse](/rebuttals/no-free-collapse-2026-07-23)** | Round seven, replying to **The Discharge Relation**. Concedes the persistence-program critique, the bookkeeping status of the lattice, necessity≠discharge (→ discharge hypergraph), and the lookup-table retraction. Delivers the exchange's **first proved theorem** (Context Recovery: margin + uniform consistency ⇒ lattice recovery w.h.p., with finite-sample union-bound control); shows round six's poset-reflection objection **resurrects semantic holonomy** as the factorization obstruction through the poset reflection — holonomy becomes the decision procedure for which persistence machinery is licensed; names the invariant of all nine refutations across six rounds: the **No-Free-Collapse principle** (every informative projection has a warrant-price; collapse is query-time policy, never ingest-time architecture); anchors Axiom X in **Löb's theorem** (self-endorsement provably collapses into believing everything; Tarski-typing or Kripke-grounding are the consistent escapes; outcome-scored calibration is the unique exogenous channel); and states the foundation's grammar: the primitive `Asserted(s,P,t,c,e)` is a **gerund** — the unique nominalization that stores an act without deleting its arguments — so every noun in the system must expand back to its gerund. |
| **[The Indispensability Lattice](/rebuttals/indispensability-lattice-2026-07-23)** | Round five, replying to **Selective Discharge**. Concedes the convergence countermodel (`Λ_k → 0`; real referents often produce convergence, so CRP is fully absorbed into residual model comparison), the data-processing objection, and the non-theoremhood of the round-3 duality. Then supplies the two objects round four demanded but didn't notice exist: the **Galois connection** induced by the indispensability relation `[x] D r` — whose formal concepts (maximal structure-sets matched to exactly the residuals only they discharge) are the units of reality-warrant, giving §9.4 its order-reversing correspondence — and the **persistence module** whose barcode makes "persistent obstruction theory" precise (Selective Discharge = predicting the barcode). Closes with the unpaid bill: `P*` smuggles conditional realism, warrant is indexed to an inquiry game, predictive rent can't split real from epicyclic — forcing **Axiom IX (Reflexivity)**: the warrant calculus records itself as assertion-events. |
| **[Constraint and Residue: a surrebuttal](/rebuttals/constraint-and-residue-2026-07-23)** | Round three, against the Witness–Model Residual counter. Concedes the likelihood-ratio refutation of "coherence is evidence of nothing," the decolonial parasitism objection (promoted to an axiom of epistemic due process), and assertion-event primacy. Counters that the conjugation rescue of holonomy assumes a **gauge group semantics doesn't have** (frame changes form a monoid; refinements have no inverses, so `H_γ = I` is invariant only under transformations nobody disputed) — and that Axiom VII (Constraint–Reality) is impaled on the *same witness dilemma* it used to kill CRP. Rebuilds CRP graded and forgery-priced (`Λ_k > 1`, increasing in rounds `k` and audited independence `ι`), then proves the **duality theorem**: constraint is measured only by the residual of its denial — the two programs are one program read from opposite ends. Merged axiom set; final line: *reality is the generator of the residuals that survive every honest attempt to explain them away.* |
| **[The Contradiction–Reality Principle](/rebuttals/differential-geometry-of-knowledge-2026-07-23)** | Purely theoretical. A reply to the proposal that knowledge has a *differential geometry* — semantic holonomy, curvature, a "Möbius witness." Keeps three instruments (meaning-as-intervention, independent rediscovery, the terminology repair) but shows the geometry is the wrong picture in principle: curvature needs a metric the domain can't supply, generic holonomy is cheap-or-undecidable, and the interventional theory of meaning refutes the covariance axiom. In its place, a **second thesis and a founding axiom set** — the Contradiction–Reality Principle: *consistency is forgeable; irreducible, source-independent contradiction is the signature of the real.* Negative dialectics made operational; Kant's noumenon as a detectable obstruction; **Residual Realism** — the referent is the residue. A new discipline: an epistemology of contested reality. |