Docket Map

This appendix is a reader-facing view of the repository's machine-readable research status, the sole authority for paper lifecycle and epistemic status. “Formally verified” means that a stated result in a stated model has machine-checked support. It does not verify a constitutional conclusion, a historical interpretation, or a claim about institutions outside that model.

The docket has changed materially. The original Coherence Fee gateway and several fee-family papers are withdrawn or falsified. Their surviving results may be reused only through the corrected reports named by the status source. In particular, the old fee did not predict execution failure. It survives only as a scoped disclosure or omission measure.

#Current Program

Work	Lifecycle	Epistemic status	Reader's guide
Tarski Coherence	external review	formally verified	The degree-1 conjecture was false as stated. The paper gives a corrected graph-theoretic characterization in its model.
Compositional Accountability	technical report	empirically demonstrated	The proposed theorem gate failed. The surviving finite profile measures query-relative evidence survivability without claiming new cut mathematics.
BABEL v2	active draft	conjectural	Execution-failure prediction is unvalidated and awaits independently authored workflow evidence.
BABEL v1	archived	empirically demonstrated	The frozen benchmark remains reproducible within its protocol; the execution-prediction interpretation is retired.
The Disclosure Deficit	active draft	not assessed	Planned consolidation of surviving scoped measurements, with no new theorem presently claimed.
The Coherence Fee gateway essay	withdrawn	falsified	Historical only. The schema fee failed as an execution-failure predictor.
The Coherence Fee Paper I	withdrawn	falsified	Corollary 3.2 is false. Surviving component-count results require the consolidated report.
The Witness Gram Paper III	withdrawn	falsified	The basis-count corollary is false. Only audited rank identities and the corrected repair result may survive.
Witness Geometry Beyond Scalar Fee	withdrawn	falsified	Operational-sparsity claim withdrawn. Corrected repair results require the correction note.
Coherence Types	withdrawn	falsified	The type-soundness theorem is false under the stated rules.
The Linear Communication Bottleneck Conjecture	withdrawn	falsified	Spectral-gap trichotomy withdrawn. Only the scoped Haar lemmas survive.
Column-Matroid Backbone	technical report	formally verified	Scoped corank identity under the paper's construction and hypotheses.
Signed-Incidence Structure	technical report	formally verified	Scoped rank results under stated hypotheses.
A Witness Logic for Semantic Composition	technical report	formally verified	Abstract numerical layer is checked. Concrete modeling identification remains review-dependent.
SCPI	technical report	formally verified	Scoped finite-site core, with perimeter statements remaining conditional.
Bridge	technical report	empirically demonstrated	Identification and specification gap on the disclosed study families only.
Seam	technical report	empirically demonstrated	Diagnostic consequences demonstrated in the reported environment, not a universal protocol theorem.
SHEAF	active draft	conjectural	Enriched bridge and topology-auction claims remain unverified.
Bitcoin After Money	technical report	conjectural	Settlement argument remains a proposal, not a demonstrated necessity.
Coherence Cliff	technical report	empirically demonstrated	Scaling result on the disclosed experimental families.
Local Interface Descriptions Do Not Compose	technical report	empirically demonstrated	Scoped evidence under the reported construction.
The Physical Coherence Fee	archived	conjectural	Historical extension, with no current demonstrated physical-domain result.
The Stitching Defect	technical report	empirically demonstrated	Scoped experimental result under disclosed tasks.
The Composition Tax	technical report	empirically demonstrated	Scoped experimental result that does not establish a universal institutional tax.
Local Validity Does Not Compose	technical report	empirically demonstrated	Demonstrated on the reported families, not all compositions.
Compositional Incoherence Is a Parity	technical report	conjectural	Hardness claim remains conditional.
Interpretability Frontier	archived	empirically demonstrated	The scoped cyclic-composition result is retained; no general boundary for all interpretability systems is established.

#What the Docket Can Support

The research program supplies several kinds of evidence, which must not be collapsed:

• machine-checked theorems establish consequences of formal definitions under stated hypotheses,
• experiments establish results on frozen tasks, models, and datasets,
• historical cases support institutional analogies and convergence arguments,
• the constitutional articles remain normative proposals, and
• C2, C5 through C12 are not “verified” merely because some adjacent mathematical object is.

The strongest current formal result relevant to the abridged argument is that locally acceptable structures can exhibit defined global obstructions in specified models. The strongest current empirical warning is negative: an attractive structural measurement did not generalize to execution-failure prediction. That correction narrows the program and increases its credibility.

#Claim-to-Evidence Map

Claim	Epistemic class	Present support	Current limit
C1 Tempo and legitimacy	architectural	constitutional argument and cases	no universal empirical threshold
C2 Convergent witnessing	historical	sourced recurrence across selected institutions	recurrence is not proof of necessity or independence
C3 Trust Tax	interpretive	institutional cases and scoped disclosure measure	no general failure predictor
C4 Compositional failure	formal plus empirical	checked formal cores and disclosed study families	model-to-world identification remains conditional
C5 Factor Prime	conjectural	operational V/C heuristic	automation order has counterforces and domain limits
C6 Bifurcation	conjectural	economic argument	concentration and firm-boundary forecast unvalidated
C7 Domination without a dominator	interpretive	republican theory and composed-system cases	normative classification, not a theorem
C8 Receipt minimum	normative	due-process analogy and design specification	sufficiency and calibration require trials
C9 Predictable receipt failure	architectural	working three-part taxonomy	taxonomy is not proven exhaustive
C10 Credible exit	normative	exit, voice, interoperability literature	portability may fail under network effects or duress
C11 Quiet Foreclosure	conjectural	platform and process examples	“dominant form” remains an empirical forecast
C12 Mercy threshold	normative	temporal-justice argument	no formal theory proves a single correct calibration

#Live Authority and Falsification

The status source records a falsifier for every active paper. A manuscript claim must be downgraded whenever its linked paper is falsified, withdrawn, or superseded. No prose summary may preserve the earlier status. For current details, corrections, evidence paths, and external-review state, consult that file in the repository revision from which this edition was built.