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	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	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	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	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	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.