Hub of the Dual-Rail Carrier Program: series map, citation DAG, DOIs, and release standards for the machine-verified carrier-lattice releases

Series #14 of the dual-rail carrier program: the covering one-hot law (all k, all n) and the exact assembly dichotomy at the k=2 witness

A Token-Native Reasoning Format and Epistemic Substrate for AI Systmes.

The even-carrier routing law for every k and n, the k-stratified per-signature theory of the odd flat carrier, and finite-witness refutations of the multiplicative assembly (13th release of the dua…

The carrier's internal 2-adic tower is split-positive: route-forcing (no uniserial length-3 module over F2[V4]), the all-m closed-form ladder, the eta class, and levelwise values without a persiste…

Capstone of the Dual-Rail Carrier Program: one degree-one 2-primary obstruction (the R-flip), the receptor trichotomy (carry != dec, witness P), Theorem 0 assembled from published DOIs, and the Isa…

The dual-rail carry and the Bockstein obstructions of CSS codes are distinct siblings: native tower stops, twisted tower absorbs, axiom-scoped no-go. Lean 4 core-only (all-m symbolic) + exact repla…

The carry and the associator of the dual-rail carrier decouple by bidegree: socle differential = Ext1 class (the carry character), all-r spectral-sequence index no-go. Lean 4 core-only + exact repl…

No genuine degree-three De Morgan cohomology of the dual-rail carrier, in either characteristic: separability vacuum + sharp counter-family (char 0), four-corner collapse (char 2). Lean 4 core-only…

Kernel-checked resolution of the last open case of the length-4 Wilf classification on inversion sequences (Hong–Li Conj. 20), 15 length-5 equivalences, and the SPI programme. Produced by an autono…

The decrease invariant of negation complexity acquires a cohomological address: unique pricing character, nested negation-tower theorem, three-zone witness. Machine-verified in core Lean 4 (kernel-…

Exact selector counting on the odd flat carrier — refutation of the linear routing law and the count C(3,k>=3)=103,275; certified computation + Lean 4

The resolved-face crown of the dual-rail carrier — self-dual completeness, the exact count 2^(2^(n-1)), and one-constant completion; Lean 4 kernel-verified

T0 is a maximal clone on the three-element domain — self-contained, Lean 4 kernel-verified Slupecki-style proof of the coatom fact

The Price of NOT on D4 — exact negation complexity nu(f)=dec(f) on the resolved face; paper + Lean 4 artifact (kernel-only) + audit replay

Finite-Energy Epistemic Logic with Conservative Pointed Extension and Negation Geometry — paper + Lean 4 companion (kernel-only) + audit replay

Made bronze age version revision of Julius Brussee's caveman.

Symbolic simulation framework for collapse-based emergent forces in codeword spaces. Includes topology-aware entropy models, Betti tracking, and AG code zeta function analysis.