QTT Main Book v10.01 · Status-aware map

Derivation Atlas

A compact map of what Quantum Traction Theory posits, derives, recovers, predicts, audits, and corrects. Each node keeps its status label, upstream rail, book-page anchor, and DOI or live-map link where available.

nodes
96
derivation cards in the atlas
axioms
8
primitive rails, not derived
theorems
47
internal QTT results
recoveries
14
textbook equations recovered
audits
21
prediction or comparator rows
open packages
5
declared constructor work
corrections
1
kept visible as audit objects
How to read this page

The atlas is not a marketing list. It is a provenance map. If a row is an axiom, it stays an axiom. If a row is a recovery, it means identical-equation/different-ontology, not that the textbook equation is new. If a row is a prediction or source-form theorem, its small grade chip says whether it is a closed readout, downstream audit, or comparator-facing audit.

Signed-pull convention: throughout this Atlas, pull = (QTT - observed)/sigma unless a source paper explicitly declares the opposite ordering. Compare signs only after checking that convention.

Axiom
Primitive rail: assumed, not derived inside QTT.
QTT theorem
Derived internally from stated QTT rails.
Recovers standard
Identical equation, different ontology; the textbook equation is not claimed as new.
Prediction / audit
Comparator-facing claim, numerical target, or live audit row.
Open package
A declared constructor or scheme map still has to close before the stronger claim is green.
Error / correction
Kept visible as an audit object, not presented as a theorem.
Atlas section

Foundations & Ontology

The seven primitive rails and the two central reading laws: what is counted, what is addressable, and how a finite laboratory window receives a substrate object.

Equation spine
E_P = m_P c^2 = hbar omega_P = rho_4(4 pi l_P^4)
Q_bundle = 2 pi
lab value = finite access image(source object)
Delta S_QTT = (k_B Delta N_rec, Sigma_acc)^T in R_+^2
N_SQ^A2 = B N_T; N_SQ^A3 = 12 B N_T(N_T+1)
dt_lab = I_clk F_A3 exp(-E_A2) sqrt(1-v^2/c^2) dT
Theta_IR(P_A)=Theta_IR(P_B), A_A2(P_A)!=A_A2(P_B)
A1 #

A1 — Two-clock geometry

Axiom

An absolute background tick T alongside laboratory proper time tau, related by a smooth positive lapse.

In standard language
In mainstream terms: An absolute background tick T alongside laboratory proper time tau, related by a smooth positive lapse.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
Primitive / no upstream node
Book anchor
QTT Main Book v10.01, pp. 4-12
A2 #

A2 — Law of Endurance

Axiom

An inverse-square endurance flux that becomes Newtonian gravity in the IR; micro-length identified with the Planck length.

In standard language
In mainstream terms: An inverse-square endurance flux that becomes Newtonian gravity in the IR; micro-length identified with the Planck length.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
Primitive / no upstream node
Book anchor
QTT Main Book v10.01, pp. 50, 138
A3 #

A3 — Law of Creation

Axiom

A uniform creation/source rate (White-Void / BLOP events) mimicking a cosmological-constant term.

In standard language
In mainstream terms: A uniform creation/source rate (White-Void / BLOP events) mimicking a cosmological-constant term.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
Primitive / no upstream node
Book anchor
QTT Main Book v10.01, p. 244
A4 #

A4 — Real J-dial

Axiom

An internal S1 dial at every address; the quarter-turn generator J (J^2=-1) is what the textbook imaginary unit i was packaging.

In standard language
In mainstream terms: An internal S1 dial at every address; the quarter-turn generator J (J^2=-1) is what the textbook imaginary unit i was packaging.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
Primitive / no upstream node
Book anchor
QTT Main Book v10.01, pp. 4-12
A5X #

A5-X — Completed address event

Axiom

A world-cell address is one completed modular-capacity event, not a primitive coordinate-lattice site. Discreteness is earned by completion.

In standard language
In mainstream terms: A world-cell address is one completed modular-capacity event, not a primitive coordinate-lattice site. Discreteness is earned by completion.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
Primitive / no upstream node
Book anchor
QTT Main Book v10.01, pp. 52-56
A6 #

A6 — Finite capacity ceilings

Axiom

Per-address ceilings on energy, power, and action; no infinite local alphabet at one completed event.

In standard language
In mainstream terms: Per-address ceilings on energy, power, and action; no infinite local alphabet at one completed event.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
Primitive / no upstream node
Book anchor
QTT Main Book v10.01, pp. 85, 175
A7 #

A7 — Bundled existence

Axiom

Every physical record closes one full 2-pi modular budget through a visible plus same-universe hidden completion.

In standard language
In mainstream terms: Every physical record closes one full 2-pi modular budget through a visible plus same-universe hidden completion.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
Primitive / no upstream node
Book anchor
QTT Main Book v10.01, pp. 9-11
COMPLETED-EVENT-FOUR-CAPACITY #

Completed-event four-capacity owner theorem

QTT theorem

Source equation closed: the QTT-native object is one diameter-\(\ell_A\) spherical pixellate support, the complete 24-state proper signed-permutation frame fibre, and one completed address stride form a product-capacity measure, \(\Delta V_A^{(4)}=24(\pi\ell_A^3/6)\ell_A=4\pi\ell_A^4\), with \(E_*=\rho_A^{(4)}\Delta V_A^{(4)}\). One member through one stride is only \(\delta V_{{\rm pix},A}^{(4)}=(\pi/6)\ell_A^4\); confusing the two creates a factor-of-24 type error.

In standard language
In mainstream terms: Source equation closed: the QTT-native object is one diameter-\(\ell_A\) spherical pixellate support, the complete 24-state proper signed-permutation frame fibre, and one completed address stride form a product-capacity measure, \(\Delta V_A^{(4)}=24(\pi\ell_A^3/6)\ell_A=4\pi\ell_A^4\), with \(E_*=\rho_A^{(4)}\Delta V_A^{(4)}\). One member through one stride is only \(\delta V_{{\rm pix},A}^{(4)}=(\pi/6)\ell_A^4\); confusing the two creates a factor-of-24 type error.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
Primitive / no upstream node
Book anchor
QTT Main Book v10.01
UEL #

Unified Equilibrium Law

QTT theorem

\(E_P=m_Pc^2=\hbar\omega_P=\rho_{(4)}(4\pi\ell_P^4)\): mass, frequency, and four-density as four faces of one endpoint capacity. The fourth face inherits the finite QTT completed-event owner theorem above; \(4\pi\ell_P^4\) is not merely selected for dimensional correctness.

In standard language
In mainstream terms: \(E_P=m_Pc^2=\hbar\omega_P=\rho_{(4)}(4\pi\ell_P^4)\): mass, frequency, and four-density as four faces of one endpoint capacity. The fourth face inherits the finite QTT completed-event owner theorem above; \(4\pi\ell_P^4\) is not merely selected for dimensional correctness.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
Primitive / no upstream node
Book anchor
QTT Main Book v10.01, pp. 50-51
This is the capacity-accounting hinge: the Planck energy is read as a finite exchange count, not as an independent fitted scale.
ACCESS #

Access Law

QTT theorem

A finite-address source/readout theorem: every laboratory number is an access image of a completed source object. The independently constructed central effect \(A_w(\mathfrak L)\) is positive, becomes the original central projector in the sharp limit, and enters both the work ceiling and the Access-Law uncertainty floor without being inferred from either observed residual.

In standard language
The public QTT finite-address ontology and Access Law were deposited on Zenodo on 10 May 2026, with manuscript date 11 May 2026, 113 days 15 hours 36 minutes before Cho and Lee's arXiv:2609.01303v1. This establishes relative public priority for the QTT ontology and access theorem. The generic source-channel-measurement-record chain, data processing, sufficient statistics, Fisher-information contraction, and Hellinger geometry remain standard; Cho and Lee own their later finite-library completion/refusal theorem and hardware demonstrations.
Divergence / discriminator
Divergence: a conventional retained statistic T_e(Y), a completed QTT historical-record count N_rec(T), and later accessible QTT memory R_acc(T; Gamma) are not the same mathematical type. A physical transfer theorem is required before any identification. An independent APPROVE certificate may qualify a record for the unchanged sealed QTT test; REFUSE or DEFER returns INELIGIBLE_NO_THEORY_VERDICT. Qualification is eligibility, never evidence, and may not alter the sealed target or hash.
Upstream rail
Primitive / no upstream node
Book anchor
QTT Main Book v10.01, pp. 9-18, 139-150, 177-182, 232, 431-433, 525, 529-530, 554-573, 668, 871, 1250
The access law is the page's main warning label: laboratory values are finite-window images, not the whole source object.
FIELDS-FROM-EVENTS #

Fields and waves from completed-event sources

QTT theorem

Qualified real-dial source transport and complete quadratic instruments construct normalized sequential records and exact two-path fringes without a primitive smooth continuum field. In the admitted coherent massless free-packet class, Phi_R(N t_A)=C_R exp[-2 N J arcsin sqrt(Q_A)] s_0 is exactly the inherited all-tick propagator, with Q_A the doubled admitted address operator. The derived two-slice history map obeys D_A U_A^N=L_A^N D_A. Qualified local-history receivers have identical complete probabilities outside the native tick cone; imperfect preparation has a computed leakage bound. A nonlocal canonical receiver and the infinite multidimensional compact-band obstruction delimit that theorem. A surjective linear field image C has an autonomous update precisely when U ker C is contained in ker C. Two sources with the same present retained image produce opposite future ports when omitted phase returns. Finite electromagnetic balances and full-duration detector error bounds remain. The explicit 3D admitted address-mode loading and reciprocal contact now give p_(y,+/-)=sin^2(alpha)(c_yx+/-s_yx)^2/2 with complete missed outcomes. An admitted-source Gram certificate avoids excluded unstable modes. A nonzero cubic fourth harmonic proves the need for a separate source-to-radiative matching calculation.

In standard language
A finite source, complete receiver and specified transport produce interference and normalized sequential detector laws. The paper also states exactly when a projected field contains enough information to predict its own future, and constructs finite electromagnetic conservation balances before a smooth limit.
Divergence / discriminator
The source reconstruction is exact in its printed classes. A particular projected field fails to close if omitted information returns; this does not forbid a larger field encoding the full source. The inherited directional finite-wave residual is a distinct source consequence, but a laboratory discrimination still requires independently qualified readout and sensitivity. Shared ideal interference is not by itself an ontology selector.
Upstream rail
A1 + A2 + A4 + A5-X + A6 + A7 + COMPLETED-EVENT-OPTICS + COMPLETED-EVENT-LIGHT-CLOCK + A1-WAVE-SHADOW
Book anchor
Fields and Waves from Completed Events v1.4, 38 pages, concept DOI 10.5281/zenodo.23504911. Source/record pp.3-7; wave and local-history pp.9-15; admitted 3D contact pp.16-19; response and radiative matching pp.20-22; laboratory ledger pp.22-24; new conditional detector-transfer, emission identifiability and receiver TV theorems pp.24-27; orthogonal harmonic transfer pp.27-28; official LHAASO archive audit pp.28-31; EM/A2 pp.31-33. All 6,271 checks and 76 mutations pass. The earlier one-tick complete-record TV 0.572237529 is preserved. The archive audit fixes a conditional 6.6-femtosecond maximum at the highest central reconstructed KM2A energy; it does not claim a detected source residual. Source/frame/emission/receiver qualifications and full interacting matching remain distinct tasks.
ARTIAN-CONSTITUTIVE-MECHANICS #

Artian Constitutive Mechanics: one source-work packet for stiffness, loss and noise

QTT theorem

Supported work gives force and its Hessian gives stiffness. Static hidden-coordinate relaxation is a Schur complement; retaining the same environment dynamically gives causal memory rather than a second static subtraction. A finite spectral thermal proof fixes noise and dissipation together. A confined electron pair supplies a complete ideal-system execution: finite spherical image work, selected near-center equilibrium, local stability, nonlinear and quantum corrections, and an outgoing quadrupole port. Coax geometry derives its impedance and the same electrode-work derivatives fix damping, two-quantum heating and correlated dephasing. No spring, linewidth, resistance or noise amplitude is fitted to a target response.

In standard language
In mainstream terms: Supported work gives force and its Hessian gives stiffness. Static hidden-coordinate relaxation is a Schur complement; retaining the same environment dynamically gives causal memory rather than a second static subtraction. A finite spectral thermal proof fixes noise and dissipation together. A confined electron pair supplies a complete ideal-system execution: finite spherical image work, selected near-center equilibrium, local stability, nonlinear and quantum corrections, and an outgoing quadrupole port. Coax geometry derives its impedance and the same electrode-work derivatives fix damping, two-quantum heating and correlated dephasing. No spring, linewidth, resistance or noise amplitude is fitted to a target response.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
SOURCE-WORK-ION-ESCAPE + PHYSICAL-CONTACT-SELECTION + A1 + A2 + A4 + A5-X + A6 + A7
Book anchor
Artian Constitutive Mechanics v2.0, 43 pages, concept DOI 10.5281/zenodo.23438104. The full V1 work, guard, quantum, memory and noise construction is retained. Sections 19-20 derive voltage scaling and the geometry-only cross-response identity; Section 21 completes phase susceptibility along the moving equilibrium; Sections 22-23 derive the four-encoding phase tensor and transition factorization. The finite-guard difference ratio is 0.1336657050, not a fitted correlation. Sections 24-25 report archive eligibility and link both prospective tests at concept DOI 10.5281/zenodo.23438811. Numerical and independent symbolic checks pass. Complete pair observations remain pending; matched microscopic electrodynamics can share these leading predictions.
SOURCE-WORK-ION-ESCAPE #

Source work, bounded environmental forces and joint ion survival

QTT theorem

An independently qualified work/action/contact packet generates force, retained environmental memory and a complete preparation-to-detector instrument. Positive quadratic source work implies the sharp ellipsoid f_e^T A^(-1) f_e <= 4 chi, with range and pseudoinverse qualifications when A is singular. The surviving transfer gives S_n=Tr[T_surv^n(rho_0)], its restricted mean and a tail-qualified full mean. Equal force covariance spectra can still give different escape lifetimes; higher statistics, memory and exit overshoot remain observable. A stopped-work identity and quartic-tilt relation connect escape, displacement and frequency without separately fitting each output.

In standard language
In mainstream terms: An independently qualified work/action/contact packet generates force, retained environmental memory and a complete preparation-to-detector instrument. Positive quadratic source work implies the sharp ellipsoid f_e^T A^(-1) f_e <= 4 chi, with range and pseudoinverse qualifications when A is singular. The surviving transfer gives S_n=Tr[T_surv^n(rho_0)], its restricted mean and a tail-qualified full mean. Equal force covariance spectra can still give different escape lifetimes; higher statistics, memory and exit overshoot remain observable. A stopped-work identity and quartic-tilt relation connect escape, displacement and frequency without separately fitting each output.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
COMPLETED-EVENT-OPTICS + PHYSICAL-CONTACT-SELECTION + A1 + A2 + A4 + A5-X + A6 + A7
Book anchor
Artian's Source-Work and Ion-Escape Framework v1.0, 21 pages, concept DOI 10.5281/zenodo.23237398. Onboarding and packet pp. 3-5; force ellipsoid p. 6; memory and instrument pp. 7-8; survival and bounded counterexample pp. 9-11; stopped work p. 12; historical audit pp. 13-14; quartic tilt pp. 14-15; error theorem p. 16; laboratory handover and falsifiers pp. 17-19. Nine conditional theorem statements, three calculated figures and 85 passing computational checks. The historical environmental mechanism remains open.
The force bound requires a qualified positive capacity-aligned quadratic work packet. Complete covariance spectra do not determine escape times: the bounded synthetic counterexample has means of 9 and 16 ticks under one exit rule. The Stick 2006 heating/retention archive lacks the independent environmental and detector packet needed to select its mechanism. The 85 passing computational checks certify the declared calculations, not an observed QTT-exclusive result.
A6-HARD-WALL #

A6 hard coherence-capacity wall and non-stacking theorems

Axiom

The global physical postulate excludes jointly coherent source domains with B_Gamma>1. Its explicit mass-weighted finite state class is compact and convex, stable under partial trace and local instruments, and excludes over-budget pure genuine multipartite entanglement. Above total unit mass, GHZ fidelity is at most 1/2. These mathematical consequences are proved conditional on the wall. Local A6 caps plus common-event projection imply the wall only if every nonzero branch funds the complete participating domain; that source-funding lemma remains open. Independently funded macroscopic domains are not excluded.

In standard language
In mainstream terms: The global physical postulate excludes jointly coherent source domains with B_Gamma>1. Its explicit mass-weighted finite state class is compact and convex, stable under partial trace and local instruments, and excludes over-budget pure genuine multipartite entanglement. Above total unit mass, GHZ fidelity is at most 1/2. These mathematical consequences are proved conditional on the wall. Local A6 caps plus common-event projection imply the wall only if every nonzero branch funds the complete participating domain; that source-funding lemma remains open. Independently funded macroscopic domains are not excluded.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
A5-X + A6 + A7
Book anchor
A6 Hard Coherence-Capacity Wall v1.0, 21 pages, concept DOI 10.5281/zenodo.23159984. Includes the physical postulate, finite packet realization, non-stacking proofs, a GHZ witness, prior hard-mass proposals, dynamics constraints and the pre-data source/instrument certificate. All 24 finite checks pass; no experimental mass-wall verdict is reported. Main Book v10.01 pp. 222-223, 251-254 and 266 distinguish the broad mass narrative from local capacity clauses.
STAR-FINITE-RESERVOIR #

Finite source fluctuations and the STAR momentum-pair signal

QTT theorem

An exchangeable finite binary source has Gamma=[Var(L)-M*f*(1-f)]/[M*(M-1)]. The qualified species readout is Delta K_st=Phi_st*a_s*a_t*Gamma. Uniform fixed-total allocation gives Gamma=-f*(1-f)/(S-1); independent binary relaxation multiplies pair memory by q^2. The triple/pair relation and correctly domain-subtracted fourth/pair relation cancel the common linear response under their stated conditions. At fixed half loading the latter is H4_corrected/H2^2=6/(S-3). An exact counterexample prevents inference of full source support from two count windows alone.

In standard language
In mainstream terms: An exchangeable finite binary source has Gamma=[Var(L)-M*f*(1-f)]/[M*(M-1)]. The qualified species readout is Delta K_st=Phi_st*a_s*a_t*Gamma. Uniform fixed-total allocation gives Gamma=-f*(1-f)/(S-1); independent binary relaxation multiplies pair memory by q^2. The triple/pair relation and correctly domain-subtracted fourth/pair relation cancel the common linear response under their stated conditions. At fixed half loading the latter is H4_corrected/H2^2=6/(S-3). An exact counterexample prevents inference of full source support from two count windows alone.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
A2 + A6 + A7
Book anchor
Finite-Reservoir Mechanism for the STAR Transverse-Momentum Correlation Dip v3.0, concept DOI 10.5281/zenodo.23066809. Axiom map pp. 1-2; conditional identities and memory pp. 5-10; selected-event transfer pp. 11-13; triple/orbit results pp. 14-16; fourth-order transfer pp. 16-18; all-orders response p. 18; identifiability and tests pp. 19-21; four-branch discovery pp. 22-25. The 444 MeV branch ranks best in the disclosed central and all-centrality screens, with visible discrepancies and an adverse 3 GeV stress result. This is data-led discovery, not a completed Au+Au source selection or QTT-exclusive empirical verdict.
SOURCE-SELECTED-OVERLAPS #

One common contact: event-filter and Bell overlap transfer

QTT theorem

A balanced event filter and a neutral Bell pair coupled through the same independently qualified, branch-preserving record contact obey S45=sqrt(2)(2*mu_max-1/2). Two signed filter-port differences transfer the full complex overlap into the Bell tensor, not only its magnitude. A sufficient embedding certificate identifies the shared contact, and operator and preparation errors bound the transferred response. Fresh records, reused memory and coherent uncomputation remain distinct physical inventories. A finite-sample count test retains rejected outcomes and fixes the transfer before validation.

In standard language
In mainstream terms: A balanced event filter and a neutral Bell pair coupled through the same independently qualified, branch-preserving record contact obey S45=sqrt(2)(2*mu_max-1/2). Two signed filter-port differences transfer the full complex overlap into the Bell tensor, not only its magnitude. A sufficient embedding certificate identifies the shared contact, and operator and preparation errors bound the transferred response. Fresh records, reused memory and coherent uncomputation remain distinct physical inventories. A finite-sample count test retains rejected outcomes and fixes the transfer before validation.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
PHYSICAL-CONTACT-SELECTION + COMPLETED-EVENT-BELL + FRAME-CYCLE-COMPOSITION + A1 + A2 + A4 + A5-X
Book anchor
Source-Selected Record Overlaps v1.0, 19 pages, concept DOI 10.5281/zenodo.23035820. Onboarding pp. 3-4; complete filter pp. 4-5; selection pp. 6-7; scalar and tensor transfer pp. 7-9; memory p. 10; comparison and novelty pp. 10-13; experimental design pp. 13-15; falsifiers and ontology pp. 15-18; reproducibility p. 19. All 36 mathematical check groups pass. The conditional transfer is proved; no matched experimental result or QTT-exclusive overlap for an actual apparatus is supplied. The scalar identity uses established interference and Bell laws.
UEL-ENDURANCE #

Sixth UEL face: endurance-rate and rest-energy closure

QTT theorem

The inherited maps H_rest=E_* B, Gamma_A2=B/t_A and E_* t_A=hbar imply H_rest=hbar Gamma_A2 on a finite funded source window. The paper develops spectral and expectation closure, finite aggregation, an error bound, the 24-pixellate conversion and the A2 inward-flux energy expression. Under specified coherent evolution, relative endurance-rate differences give relative phase rates. Frequency and endurance share the same reference number; the sixth face is a physical source reading, not an independent energy constructor or measured success.

In standard language
In mainstream terms: The inherited maps H_rest=E_* B, Gamma_A2=B/t_A and E_* t_A=hbar imply H_rest=hbar Gamma_A2 on a finite funded source window. The paper develops spectral and expectation closure, finite aggregation, an error bound, the 24-pixellate conversion and the A2 inward-flux energy expression. Under specified coherent evolution, relative endurance-rate differences give relative phase rates. Frequency and endurance share the same reference number; the sixth face is a physical source reading, not an independent energy constructor or measured success.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
A1 + A2 + A6 + A7 + UEL + FMA
Book anchor
The Sixth Face of the Unified Equilibrium Law v1.0, concept DOI 10.5281/zenodo.22982222. Exact conditional source corollary; 45 deterministic checks and 14 rejected mutations. No experimental data or new fitted coefficient. An independent endurance-count or flux instrument is required to test the physical identification; a phase measurement renamed as Gamma is not independent.
FINITE-CONTACT-RESOURCE #

Finite-contact resource selection and sharp same-channel interval

QTT theorem

For fresh resonant two-level supply units, retained prefix means reconstruct local free-energy depletion without fitting a coupling: C_loc=epsilon*(mu_M-mu_0)+k_B*T_0*(sum h(q-mu_j+mu_(j-1))-M*h(q)). A complete reduced endpoint channel need not determine that cost. For fixed qubit contraction Lambda, the exact reachable interval is [epsilon*Delta+k_B*T_0*(h(q-Delta)-h(q)), epsilon*Delta+M*k_B*T_0*(h(q-Delta/M)-h(q))], with Delta=(q-p0)*(1-Lambda). The realizing contact angles, coherence correction and joint scale-error certificate are explicit.

In standard language
In mainstream terms: For fresh resonant two-level supply units, retained prefix means reconstruct local free-energy depletion without fitting a coupling: C_loc=epsilon*(mu_M-mu_0)+k_B*T_0*(sum h(q-mu_j+mu_(j-1))-M*h(q)). A complete reduced endpoint channel need not determine that cost. For fixed qubit contraction Lambda, the exact reachable interval is [epsilon*Delta+k_B*T_0*(h(q-Delta)-h(q)), epsilon*Delta+M*k_B*T_0*(h(q-Delta/M)-h(q))], with Delta=(q-p0)*(1-Lambda). The realizing contact angles, coherence correction and joint scale-error certificate are explicit.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
PHYSICAL-CONTACT-SELECTION + COMPLETED-EVENT-OPTICS
Book anchor
Finite-Resource Contacts in Collective Quantum Engines v1.0, concept DOI 10.5281/zenodo.23039290. Conditional operational theorems and independently reproduced synthetic calculations, including a full-unitary check and the published Garcez generator benchmark. Resource reconstruction removes a coupling fit from this observable; predicting the input means still requires a selected physical contact. Matched microscopic QM gives the same probabilities. No laboratory verdict or new source axiom is asserted.
PHYSICAL-CONTACT-SELECTION #

Physical contact selection and predictive transfer

QTT theorem

For independently constrained affine work generators Bc=b, the observable interaction is unique exactly when L ker B=0. A dual certificate computes it and a rank formula identifies missing linear probes. Finite future-observable closure retains all memory that an allowed later operation could expose. Independently constructed work curvature, action, displacement and insertion then predict common time, phase and two-excitation records. Unequal symmetric capacities imply R^2=1-1/(2Ka)-1/(2Kb). Preparation and detector qualification belong to the same prediction chain.

In standard language
In mainstream terms: For independently constrained affine work generators Bc=b, the observable interaction is unique exactly when L ker B=0. A dual certificate computes it and a rank formula identifies missing linear probes. Finite future-observable closure retains all memory that an allowed later operation could expose. Independently constructed work curvature, action, displacement and insertion then predict common time, phase and two-excitation records. Unequal symmetric capacities imply R^2=1-1/(2Ka)-1/(2Kb). Preparation and detector qualification belong to the same prediction chain.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
COMPLETED-EVENT-OPTICS + FRAME-CYCLE-COMPOSITION + A1 + A2 + A4 + A6 + A7
Book anchor
Physical Contact Selection v2.0, concept DOI 10.5281/zenodo.22981948. Exact selection and mechanical construction Sections 2-4; finite error and leakage Sections 8-9; future memory Section 13; feasible-set and hidden-contact qualification Section 14; physical drive Section 15; unequal insertion Section 16; complete instrument Section 17. Companion prospective test: 10.5281/zenodo.22981950. Theorems are proved in their finite classes; a physical apparatus capsule and reserved observations are still required. Canonical probabilities coincide with matched microscopic QM.
RECORD-DELETION-BENCHMARK #

Conditional source-to-record instrument and exact prediction budget

QTT theorem

Qualified source transport, common-dial composition, specified contacts and sampling produce normalized joint records: p(y,r|C)=E_r[y,y]/2 for ion preparation inference and sums of squared sequential branch norms for recurrence. Hiding outcomes marginalizes their maps without undoing disturbance. Nested posterior risks satisfy R_S-R_R=E[(q_R-q_S)^2]. The same conditional construction is executed on two platforms without outcome fitting. The fourth-face identity supplies source context; transport and sampling remain additional premises and its scale cancels in the normalized probabilities. The risk identity is standard mathematics; the contribution is the explicit source-to-apparatus chain and reproducible cross-platform execution.

In standard language
In mainstream terms: Qualified source transport, common-dial composition, specified contacts and sampling produce normalized joint records: p(y,r|C)=E_r[y,y]/2 for ion preparation inference and sums of squared sequential branch norms for recurrence. Hiding outcomes marginalizes their maps without undoing disturbance. Nested posterior risks satisfy R_S-R_R=E[(q_R-q_S)^2]. The same conditional construction is executed on two platforms without outcome fitting. The fourth-face identity supplies source context; transport and sampling remain additional premises and its scale cancels in the normalized probabilities. The risk identity is standard mathematics; the contribution is the explicit source-to-apparatus chain and reproducible cross-platform execution.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
COMPLETED-EVENT-OPTICS + COMPLETED-EVENT-FOUR-CAPACITY + A4 + A6 + A7
Book anchor
Record-Access Benchmarks v2.0, concept DOI 10.5281/zenodo.22962169, 17 pages. Fourth-face box pp. 2-3; source premises and instrument proofs pp. 4-6; ion calibration/results pp. 6-9; recurrence construction/results pp. 9-11; matched burden pp. 12-13; independently calibrated follow-up pp. 13-14. Recurrence accuracy rises from 73.2183% to 82.2774% across all 495 settings, including adverse cases. All original ion content is retained, including primary p=0.08618 and supplementary p=0.018875. Matched QM has identical probabilities and zero outcome-fit burden; no exclusive empirical selection follows.
COMPLETED-EVENT-BELL #

Completed-event Bell reconstruction and durable-record response

QTT theorem

A real dial J, two retained channels and qualified common-reference composition give X, Y=JXZ and Z. Zero total orientation fixes the neutral pair. Additive invariant capacity gives C(v)=kappa||v||^2; its stated frequency interface gives p(r,s|a,b)=(1-rs a.b)/4. A complete branch-dependent record with overlap g=|gamma| gives T=-diag(g,g,1) after independent phase correction, S_45=sqrt(2)(1+g), and S_opt=2sqrt(1+g^2). Fresh independent records multiply their overlaps. All physical preparation, composition, sampling and calibration conditions are printed.

In standard language
A real two-channel source carries the binary orientation algebra. A qualified common-reference product and zero total orientation select the antisymmetric pair. Additive basis-invariant capacity fixes squared weights; a stated sampling bridge makes them probabilities. A branch-dependent record contact yields the known dephasing Bell laws. The QTT contribution is the explicit completed-event construction and dependency map, not priority over the CHSH or dephasing formulas.
Divergence / discriminator
The source-to-record theorems, finite pairing certificates, comparison loops and ideal detector-record transfer are closed under their stated premises. A1 supplies source time and a separate clock-angle correspondence; its tick rate is not identified by static Bell correlations. A common marker contact supplies both the Bell overlap and the resolved weak instrument. The 40,032-record archival replay has identical matched QTT/QM predictions and retains nominal residual p-values 0.0188753 (main) and 0.0442603 (all settings). Physical qualification of a contact fixing both overlap and receiver comparison remains the discriminating extension.
Upstream rail
A1 + A4 + A5-X + A6 + A7 + BORN + FRAME-CYCLE-COMPOSITION
Book anchor
Completed-Event Bell Reconstruction v2.0, 35 pages, concept DOI 10.5281/zenodo.22956937. Onboarding pp. 2-3; premises p. 5; source algebra and Bell law pp. 6-13; calibration and repeated contacts pp. 14-16; A1/Access scope pp. 16-17; finite receiver certificate and loop pp. 19-22; encoding/error bounds pp. 22-23; common contact and complete archive replay pp. 23-26; falsifiers and achievements pp. 27-30; ontology/reproduction pp. 31-33. The 62 baseline checks, 437 extension checks and eight forward/backward checks pass; these are mathematical/computational checks, not independent experiments. All 40,032 retained tree records are replayed without a QTT-versus-QM likelihood separation.
COMPLETED-EVENT-LIGHT-CLOCK #

Light, clock and pi/8 source reconstruction

QTT theorem

Finite real frame comparisons construct a three-cycle contrast plane and J=(P-P^2)/sqrt(3). Additive isotropic capacity and physical channel exchange select B_star=(Z+X)/sqrt(2) and beta_star=pi/8. Source-selected pointer effects E_r=V^dagger Pi_r V and qualified record completion give complete optical outcome laws. The finite observation bound is |N_r/N-<psi,E_r psi>| <= completion/N + mean(2 epsilon+kappa), with independently established budgets. The exact all-tick free-wave propagator supplies the long-wavelength cone. An ordered tick and Artian ruler give c=ell_A/t_A; the saturated motion-clock budget and qualified null-preserving observer map give the local timing and two-way light-speed readout. A separately qualified four-history terminal reads cos(pi/8).

In standard language
QTT supplies the physical starting account: finite frame comparisons, ordered completed events, additive capacity and real internal phase. A three-cycle contrast plane constructs J; physical channel exchange selects the balanced response and pi/8 profile. A source-selected pointer and qualified completion law give the full optical outcome laws. The end-to-end finite observation bound propagates independent preparation, pointer and completion errors into count-frequency bounds. The finite all-tick wave law and qualified joint clock-and-ruler map supply the propagation and timing branch.
Divergence / discriminator
Version 2 closes the observation-law chain and finite-error composition within the printed physical classes. All 15 inherited theorem statements and 33 scientific anchors survive. The expanded 95 checks, inherited 105 checks and 25 sampling groups reproduce from a clean archive. Original-record replay regenerates 224,000 masked forecasts exactly and checks 992,000 raw bits without discrepancies; both calibration diagnostics are retained. The quoted instrument gives the same probabilities as its matched quantum representation. Physical detector-completion and new clock-terminal qualifications remain distinct from mathematical closure.
Upstream rail
A1 + A4 + A6 + A7 + FRAME-CYCLE-COMPOSITION + COMPLETED-EVENT-BELL + PI8
Book anchor
Can Light and Clock Behavior Be Reconstructed from Completed Events? v2.0, 30 pages, concept DOI 10.5281/zenodo.23340688. Connected source theorem pp. 2-3; finite frame and wave construction pp. 3-5; clock/ruler and operator bridges pp. 5-8; inherited source class pp. 9-13; source pointer, record completion and finite observation bound pp. 14-16; angle and full optical laws pp. 16-20; numerical atlases pp. 20-21; clock character and transfer pp. 21-23; premise accounting and matched comparators pp. 24-26; executed record-access example and validation pp. 26-28; reproducibility and references pp. 28-30. All 95 expanded checks pass alongside the 105 inherited checks and 25 sampling groups. The source and readout conditions remain explicit; no target counts are fitted.
FRAME-CYCLE-COMPOSITION #

Complex structure and composition from finite real source histories

QTT theorem

Pair-order contacts of the 24 proper signed-permutation frames generate [G,G]=T12, with T12/[T12,T12]=C3. Every nontrivial Abelian group response has a three-element image. On a complete primitive contrast sector, J=(P-P^2)/sqrt(3) and J^2=-I. At a qualified unmarked join, Q_AB=(I-J_A tensor J_B)/2 selects the balanced complex tensor product. All-future record descent requires O=O_bar q and qW=W_bar q for every allowed operation. The marked-boundary example proves why present invisibility does not erase stored information, and why full-quotient closure does not guarantee contrast-sector closure. Graph counts and accumulated-descent bounds extend the finite construction.

In standard language
Finite real representation theory supplies the cycle-contrast complex structure. An independently qualified boundary equivalence selects balanced complex composition. Finite-state minimization certifies future-record sufficiency for a complete declared operation inventory. These standard tools are explicitly credited; the paper develops their Artian source-history realization and qualification bounds.
Divergence / discriminator
The source, composition and all-future record theorems are proved within their printed premises. The cumulative v3.2 construction includes a reversible event controller, material tensor realization, complete marker calibration and 642 new finite-reference implementation checks alongside all inherited audits. An exact observable-span algorithm returns either agreement or a replayable preparation/operation/outcome witness. The populated compatible-instrument benchmark has an explicit matched quantum realization with no additional target fit. The published-summary rotor transfer is retrospective component consistency, not exclusive empirical selection of QTT.
Upstream rail
A6 + COMPLETED-EVENT-FOUR-CAPACITY
Book anchor
Finite Real Source Histories v3.2, 63 pages, concept DOI 10.5281/zenodo.22882084. Completed-event model pp. 24-31; tensor realization pp. 31-36; calibrated marker release pp. 36-40; probability bridge and finite-reference benchmark pp. 40-44; all-future witness p. 45; memory rank and covariance-qualified separation pp. 46-47; archival assessment pp. 48-54. A6 and completed-event geometry supply source provenance. Book v10.01 pp. 248-250, 352 and 827-829 locate the existing dial and modular formulations; neither an initial complex rotor nor Hilbert factorization is imported as the reconstruction's premise.
COMPLETED-EVENT-OPTICS #

Completed-event transport and source-normalized optical coupling

QTT theorem

The source leakage identity G-F^T G F=L^T M L yields complex unitary transport when leakage vanishes and the retained source dial is preserved. Exact contact, sampling, composition, helicity and energy-frequency results remain intact. Under the printed source class, full soft identification and leading electric-dipole assumptions, the same photon stiffness controls binding and emission: Gamma_2p1s/omega_21=(2^11/3^9)/{4*pi*[8+pi*cos(pi/8)+lambda_gamma]}^3=4.04328772872712e-8. An exact positive-stiffness inversion supplies a correction-aware audit coordinate without a fitted line strength.

In standard language
In mainstream terms: The source leakage identity G-F^T G F=L^T M L yields complex unitary transport when leakage vanishes and the retained source dial is preserved. Exact contact, sampling, composition, helicity and energy-frequency results remain intact. Under the printed source class, full soft identification and leading electric-dipole assumptions, the same photon stiffness controls binding and emission: Gamma_2p1s/omega_21=(2^11/3^9)/{4*pi*[8+pi*cos(pi/8)+lambda_gamma]}^3=4.04328772872712e-8. An exact positive-stiffness inversion supplies a correction-aware audit coordinate without a fitted line strength.
Divergence / discriminator
A qualified mismatch beyond independently computed optical and calibration corrections would challenge the source-to-laboratory bridge. The shared leading atomic formula is not itself a QTT discriminator. The soft source coefficient cannot be fitted to the optical residual; a bare ultraviolet extension requires its own matching calculation.
Upstream rail
A1 + A4 + A6 + A7 + PHOTONEDGE + MAXWELL
Book anchor
QTT Completed-Event Transport and Quantum Coherence v4.0, 247 pages. Preparation intertwining XXIII pp. 236-239; coherent coordinates and preparation distance XXIV pp. 240-242; effective Coulomb/action certificates and cross-work calibration XXV pp. 243-247. All twenty-two earlier parts are preserved. Finite qualification XXII pp. 231-235; source-work/dial-action closure XIX pp. 206-212; microscopic/ion construction XX pp. 213-226; robust valuation/calibration XXI pp. 227-230. Finite interacting source XVII pp. 179-191 and coherent-action selection XVIII pp. 192-205 are unchanged. Fixed UEL workloads derive refinement in their identified capacity class; physical preparation and action qualification are made explicit by the new transport theorems. Matched hydrogen XV pp. 163-176 and audit XVI pp. 177-178 remain intact: 2466061412376252.435 Hz with conditional known-input uncertainty 634286637.8 Hz. External QED and nuclear matching is not relabeled source-native. D21 cancels exactly common inverse-cube terms. Concept DOI 10.5281/zenodo.22743653.
Public v5.0 adds the A2 retained-record quotient, common-holonomy closure criterion, exact cycle mismatch bounds, finite-slot and compressed-bosonic occupation constructors, and a work-phase theorem deriving the affine gap ladder and stationarity. Finite boundary work and the distinction between action phase and carrier rotation are explicit. These are closed conditional theorems; physical zero-holonomy selection and unique microscopic photon insertion remain separately qualified. Physical preparation intertwining, the exact capacity-and-phase preparation distance, complete-chart action-curvature transport, effective Coulomb and canonical-loop certificates, and bounded static cross-work calibration are retained. The finite transaction witness, gradient/curvature telescopes and trajectory/readout stability theorem keep their independent source/calibration bounds. Effective field exposures are not relabeled microscopic integer counts. The exact microscopic valuation certificate, closed-loop curvature selection theorem and source-work/dial-action closure remain part of the conditional unitary construction. The retained Coulomb-derived ion exchange predicts timing, splitting, phase and detuning from independently specified nominal inputs. Timing residuals of 4.91% and 2.42% remain; complete calibration covariance and the populated microscopic funding table are still required. A 64-record autonomous source, a two-port 24/32 allocation, nonlinear countermodels and finite-depth bounds retain their scope. All twenty-five scientific parts of v4.0 and their synopsis are preserved exactly. The retained hydrogen calculation evaluates twenty matched contributions on the unchanged source Hamiltonian. External QED and nuclear inputs are explicit; no coefficient is fitted to the hydrogen target. The conditional 2011 pull is -0.001278259 with the known-input Fermi-scale covariance, not a discovery significance. The hydrogen coefficient is known atomic physics; the QTT-specific input is its inherited photon-edge word. CODATA 2022 compatibility is green at -0.523927 quoted standard uncertainties, not a new experimental selection of QTT.
NUMERICAL-PROVENANCE-LEDGER #

Keystone Numerical Provenance Ledger

QTT theorem

Separates six questions that a single green label cannot answer: equation closure, constructor closure, dimensional-anchor use, public chronology, empirical status, and scope. For every headline object X, Version 3.0 prints the eight-field card P(X)=(S_X,D_X,L_X,A_X,J_X,C_X,E_X,F_X): source word, constructor domain, logical load, dimensional anchor, forbidden-target Jacobian, chronology, empirical status, and falsifier. The static no-smuggling condition J_X^stat=0 is necessary but does not prove historical blindness; public chronology independently decides whether a landing is prospective or retrospective. Seven cards are closed for rho, q_H, R_H^EW, lambda_gamma, alpha_QTT^-1, the G-G_F bridge, and chi_g=1. The alpha landing remains a retrospective consistency audit, the G bridge remains an anchored Class-A audit, K2 remains source-open, and chi_g=1 remains a sealed Tier-K physical hypothesis after the no-go theorem. Shared upstream rails are printed, so correlated agreements cannot be multiplied into false independent significance. In the photon-edge word, 24 is the Artian Geometry A5-X completed pixellate-bundle source count; it is not imported from cubic symmetry and is not chosen from a laboratory target. The machine receipt passes 63 of 63 checks without retuning a source branch.

In standard language
In mainstream terms: Separates six questions that a single green label cannot answer: equation closure, constructor closure, dimensional-anchor use, public chronology, empirical status, and scope. For every headline object X, Version 3.0 prints the eight-field card P(X)=(S_X,D_X,L_X,A_X,J_X,C_X,E_X,F_X): source word, constructor domain, logical load, dimensional anchor, forbidden-target Jacobian, chronology, empirical status, and falsifier. The static no-smuggling condition J_X^stat=0 is necessary but does not prove historical blindness; public chronology independently decides whether a landing is prospective or retrospective. Seven cards are closed for rho, q_H, R_H^EW, lambda_gamma, alpha_QTT^-1, the G-G_F bridge, and chi_g=1. The alpha landing remains a retrospective consistency audit, the G bridge remains an anchored Class-A audit, K2 remains source-open, and chi_g=1 remains a sealed Tier-K physical hypothesis after the no-go theorem. Shared upstream rails are printed, so correlated agreements cannot be multiplied into false independent significance. In the photon-edge word, 24 is the Artian Geometry A5-X completed pixellate-bundle source count; it is not imported from cubic symmetry and is not chosen from a laboratory target. The machine receipt passes 63 of 63 checks without retuning a source branch.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
A5-X + PHOTONEDGE + GCOEFF + SOURCE-ONLY-SI-ENDPOINT
Book anchor
QTT Main Book v10.01, constructor/no-smuggling/status anchors pp. 118, 198, 303, 599, 974, 1072, and 1114; Keystone Audit concept DOI 10.5281/zenodo.21141060
ARROW-OF-TIME #

Artian's Time Framework

QTT theorem

Unifies the thermodynamic, cosmological, measurement, fixed-origin source-volume, radiative, quantum-time, delayed-choice, twin-clock, and gravitational-clock arrows as typed readouts of one source-time orientation. The corrected ledger assigns completed-record order and persistence to A1/A7, keeps A2 endurance support and A3 source-volume production separate. Under the explicit fixed-origin premise B=M/m_A, the latter obeys N_SQ^A2=BN_T and N_SQ^A3=12BN_T(N_T+1). The time framework then uses the positive laboratory clock factor dt_lab = I_clk F_A3 exp(-E_A2) sqrt(1-v^2/c^2)dT, Quantized Now as Now_R(T_n)={X in R: a(X)=n}, the Time Tilt plus Creation Drift bridge theta_age=pi/8+pi/48=7pi/48 with t0_lab=T0_ABC cos(7pi/48), the A2 proper-time metric shadow d tau=exp(-E_A2)sqrt(1-v^2/c^2)dT, weak-field and Schwarzschild clock readouts, the quantized Lorentz boost ledger p_{n+1}=p_n+N_n M_* c, the high-regime twin address-tick sum, the no-past-rewrite boundary, and the closed retarded address operator G_phys^QTT=G_J^+=Theta_w L_J^-1 with Pi_phys G_J^- Pi_src=0. Full A2 infrared field dynamics are tracked in the A2 Einstein-field node; first-tick closure, deeper orientation derivation, high-regime clock tests, and direct w-address timing tomography remain future rows.

In standard language
In mainstream terms: Unifies the thermodynamic, cosmological, measurement, fixed-origin source-volume, radiative, quantum-time, delayed-choice, twin-clock, and gravitational-clock arrows as typed readouts of one source-time orientation. The corrected ledger assigns completed-record order and persistence to A1/A7, keeps A2 endurance support and A3 source-volume production separate. Under the explicit fixed-origin premise B=M/m_A, the latter obeys N_SQ^A2=BN_T and N_SQ^A3=12BN_T(N_T+1). The time framework then uses the positive laboratory clock factor dt_lab = I_clk F_A3 exp(-E_A2) sqrt(1-v^2/c^2)dT, Quantized Now as Now_R(T_n)={X in R: a(X)=n}, the Time Tilt plus Creation Drift bridge theta_age=pi/8+pi/48=7pi/48 with t0_lab=T0_ABC cos(7pi/48), the A2 proper-time metric shadow d tau=exp(-E_A2)sqrt(1-v^2/c^2)dT, weak-field and Schwarzschild clock readouts, the quantized Lorentz boost ledger p_{n+1}=p_n+N_n M_* c, the high-regime twin address-tick sum, the no-past-rewrite boundary, and the closed retarded address operator G_phys^QTT=G_J^+=Theta_w L_J^-1 with Pi_phys G_J^- Pi_src=0. Full A2 infrared field dynamics are tracked in the A2 Einstein-field node; first-tick closure, deeper orientation derivation, high-regime clock tests, and direct w-address timing tomography remain future rows.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
A1 + A7 + A2 + A3 + SECONDLAW + BORN + CREATIONLEDGER
Book anchor
QTT Main Book v10.01, A1/A7 completion, A2/A3 source volume, entropy, measurement-record, and clock-readout anchors; arrow-of-time concept DOI 10.5281/zenodo.20761499; current record 21917670
This node is the typed source-orientation bridge: A1 orders completions and A7 preserves their source record; A2 provides finite endurance support; A3 provides the White-Void/source-volume rail; and access maps control laboratory readout. The thermodynamic, measurement, cosmological, matter/antimatter, radiative, and gravitational-clock arrows retain separate proof obligations. The first tick and orientation root are named gates, not hidden assumptions.
A1-PHYSICAL-TERMINAL #

A1 physical-terminal constructor theorem

QTT theorem

Defines the carrier-independent activation layer required before any reference-switch apparatus may call one history T-star and another tau. A candidate T-star terminal requires a completed source event C_E, continuous physical memory of that event, Xi_L<=epsilon_L, Xi_S>=eta_S, no later laboratory overwrite, one final basis-selecting readout, a uniquely ranked physical write ancestry, and a target-blind camera. Ordinary free evolution, software labels, detector clicks, and deliberately programmed pi/8 or CHSH geometry do not create a source terminal. Sixteen frozen gates, including P16 ordinary-null completeness, compute G_PT. If G_PT=0, the theory output is INELIGIBLE_NO_THEORY_VERDICT, while the observation is retained. Version 1.3 admits common angles with proved signal-preserving transfer rather than treating their names as a veto. If G_PT=1, the ordinary fixed point is R_clk=1 and the QTT-A1 fixed point is cos(pi/8)^q, with the detector degree q certified before target-bearing data are opened. The constructor is closed; platform qualification and empirical A1 judgment remain pending. Clock-and-ruler qualification now requires consistent proper-time, coordinate-time, worldline, ruler and synchronization definitions at the raw detector, with each relativistic effect counted once. Independent calibration uncertainty and blind recovery of both inherited hypotheses must pass separately at every predeclared operating setting. Historical seals and each instrument's targets and classifier remain unchanged.

In standard language
A laboratory history may be called a source-terminal candidate only after its completed-event memory, write ancestry, overwrite history, readout degree, and target blindness pass a predeclared carrier-independent certificate.
Divergence / discriminator
Divergence: QTT's terminal claim activates only after a completed source event leaves durable, source-continuous memory with bounded laboratory writing and no later overwrite. If no platform can satisfy the frozen constructor, A1 remains untested; if a certified platform lands at unity and excludes cos(pi/8)^q, the activated A1 branch is falsified.
Upstream rail
A1 + A3 + A4 + A5-X + A6 + A7 + ACCESS + PI8
Book anchor
QTT Main Book v10.01, axiom compass and A5-X pp. 48-52, two-clock map and ABC tick pp. 235-237, conditional half-angle pp. 541-542, reference-switch instructions pp. 889-894, and AI policy p. 92; physical-terminal concept DOI 10.5281/zenodo.21739215
This is the carrier-independent root beneath the platform-specific A1 tests. It distinguishes a completed source event with durable source memory from ordinary free evolution, a software label, or a detector click. Sixteen predeclared gates compute whether a laboratory history is eligible to be called a physical T-star terminal at all. An unpassed gate yields no theory verdict; it does not count as a falsification of A1. Version 1.3 qualifies actual operations rather than angle names and retains every observation. It also requires consistent clock and ruler conventions, independently calibrated raw-detector predictions and blind recovery of both inherited targets in every predeclared operating setting.
A1-QUANTUM-CLOCK-SWITCH #

A1 quantum-clock reference-switch theorem

Open package

Separates the standard clock carrier Delta phi_clock=omega_0 Delta tau from a narrower A1 terminal-reference claim. One delocalized atomic clock must realize four physical terminal histories a,b in {tau,T}, retain the reversal-paired first clock-coherence phasors Z_ab^(+/-), and certify an ordinary cross-history map before target-bearing data are opened. The sealed statistic is R_qc,clk=[1/N_cross^ordinary] sqrt(D_tauT D_Ttau/(D_tautau D_TT)), with ordinary target 1 and QTT-A1 target cos(pi/8). The fixed separation is 7.6120467 percent; sigma(R)<=0.0152241 is the bare five-sigma requirement and 0.005 is the recommended laboratory goal. Three adversarial audits close carrier substitution, software-only terminal labels, target-derived transfer, target-inserting operations, readout-exponent, covariance, and power traps. Version 1.2 replaces angle-name exclusions with physical-operation certificates and retains target-like, ordinary-like and unexpected observations symmetrically. Synthetic recovery certifies the analysis path only; no physical four-terminal clock packet has yet been measured. Clock-and-ruler qualification now requires consistent proper-time, coordinate-time, worldline, ruler and synchronization definitions at the raw detector, with each relativistic effect counted once. Independent calibration uncertainty and blind recovery of both inherited hypotheses must pass separately at every predeclared operating setting. Historical seals and each instrument's targets and classifier remain unchanged.

In standard language
In mainstream terms: A1 quantum-clock reference-switch theorem is an open constructor package. It marks useful work still pending before a stronger status can be claimed.
Divergence / discriminator
Open gate: the node is deliberately not green. The page keeps it visible so a missing constructor is not hidden behind nearby successful rows.
Upstream rail
A1 + A1-PHYSICAL-TERMINAL + PI8 + ACCESS + ROTOR + A6
Book anchor
QTT Main Book v10.01, A1/source-lab pp. 47-52, J dial pp. 139-145, two-clock pp. 159-172, and reference-switch pp. 892 and 894; quantum-clock concept DOI 10.5281/zenodo.21674815
The standard quantum-clock phase remains the carrier, not the claimed A1 signal. The new theorem isolates a separate four-history terminal-reference amplitude ratio, freezes the ordinary cross-history map outside target-bearing data, and qualifies the actual transfer instead of banning pi/8, pi/4 or Bell settings by name. Both hypotheses must remain identifiable; all observations are retained. The estimator and adversarial gates are closed; a physical four-terminal clock realization is pending.
A1-FLYBY-HANDSHAKE #

A1 Earth-flyby dual-link handshake

Open package

Replaces retrospective anomaly relabelling with a prospective physical graph: one continuously phase-connected T-candidate link and one physically clock-gated and reacquired tau-candidate link propagate simultaneously, each route is repeated after crossing the electronics roles, and at least two nondegenerate route orientations are required. The adversarial rank theorem uses (Omega_E x r).v=Omega_E.(r x v): on one central-force flyby this geometry term is nearly constant and a free inter-link offset absorbs it, so one route is ineligible. The eligible estimator is kappa_A1=(g^T C^-1 P_perp d)/(g^T C^-1 P_perp g), with ordinary target 0 and QTT-A1 target 1. The geometry coefficient is frozen, not fitted; sign and unit coefficient must transfer to held-out routes. Historical Anderson-type flyby anomalies and public tracking archives do not contain this crossed physical graph and receive no A1 verdict. Clock-and-ruler qualification now requires consistent proper-time, coordinate-time, worldline, ruler and synchronization definitions at the raw detector, with each relativistic effect counted once. Independent calibration uncertainty and blind recovery of both inherited hypotheses must pass separately at every predeclared operating setting. Historical seals and each instrument's targets and classifier remain unchanged.

In standard language
In mainstream terms: A1 Earth-flyby dual-link handshake is an open constructor package. It marks useful work still pending before a stronger status can be claimed.
Divergence / discriminator
Open gate: the node is deliberately not green. The page keeps it visible so a missing constructor is not hidden behind nearby successful rows.
Upstream rail
A1 + A1-PHYSICAL-TERMINAL + ACCESS + ARROW-OF-TIME + A2 + A6
Book anchor
QTT Main Book v10.01, A1/source-lab pp. 47-52, two-clock pp. 159-172, flyby pp. 480-483 and 495-498, and reference-switch pp. 892 and 894; flyby-handshake concept DOI 10.5281/zenodo.21674819
The adversarial audit changed the experiment before publication: one ideal central-force flyby has an almost constant Earth-rotation geometry term, so a free inter-link offset absorbs the proposed signal. The eligible protocol therefore requires simultaneous physical T/tau links, crossed electronics roles, and at least two nondegenerate route orientations. Historical flyby anomalies remain ineligible.
Atlas section

Action & Quantization Rail

The upstream least-action chain: A4, A5-X, A6, and A7 force a real rotor weight, a finite-tick path sum, stationary-action survival, and the textbook quantization rules as closure corollaries. This rail feeds the Lagrangian/Hamiltonian frameworks and the QED/QCD sector nodes.

Equation spine
d theta = dS_tot / hbar
R_J(theta) = cos(theta) I + sin(theta) J, J^2 = -I
K^(t_tilde) proportional to R_J(Delta S/hbar - d pi/4)
K = integral D_A6 x · R_J(S[x]/hbar)
delta S_tot = 0 in coherent macroscopic survival
Delta S_one turn = 2 pi hbar = h
ET = h; p lambda = h; integral p dq = n h; q Phi = n h
ROTOR #

Real-rotor uniqueness: why histories interfere

QTT theorem

Norm preservation makes the history weight orthogonal; ledger additivity under history composition makes it a one-parameter group; A7 dial closure makes it 2-pi periodic. The surviving laboratory weight is the real J-rotor R_J(theta) = cos(theta) I + sin(theta) J. Positive scalar weights cannot interfere, so interference is a closure theorem, not an added quantum axiom.

In standard language
In mainstream terms: Norm preservation makes the history weight orthogonal; ledger additivity under history composition makes it a one-parameter group; A7 dial closure makes it 2-pi periodic. The surviving laboratory weight is the real J-rotor R_J(theta) = cos(theta) I + sin(theta) J. Positive scalar weights cannot interfere, so interference is a closure theorem, not an added quantum axiom.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
A4 + A5X + A7
Book anchor
QTT Main Book v10.01, pp. 386-393, 473; action paper labels lem:real-rotor-uniqueness, eq:J-rotor, eq:action-phase, eq:path-composition
This is the exact action-rail representation: one complex phase is realified as an SO(2) J-rotor with the same norm and composition law. Compactness classifies integer winding but does not select primitive degree one.
PATHSUM #

Feynman's path integral as a finite-tick theorem

QTT theorem

A short-time completed-history kernel carries a capacity-fixed magnitude and a J-rotor phase R_J(Delta S/hbar - d pi/4). Tick composition plus ledger additivity produces K = integral D_A6 x · R_J(S[x]/hbar). The textbook integral over exp(iS/hbar) is the complex-coordinate shorthand of this real-dial finite path sum; the A6 support is part of the object, not decoration.

In standard language
In mainstream terms: A short-time completed-history kernel carries a capacity-fixed magnitude and a J-rotor phase R_J(Delta S/hbar - d pi/4). Tick composition plus ledger additivity produces K = integral D_A6 x · R_J(S[x]/hbar). The textbook integral over exp(iS/hbar) is the complex-coordinate shorthand of this real-dial finite path sum; the A6 support is part of the object, not decoration.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
ROTOR + A6
Book anchor
QTT Main Book v10.01, pp. 386-391, 425-427; action paper labels thm:QTT-path-integral, eq:short-time-kernel-J, eq:QTT-path-integral-J
The path sum is a conditional standard recovery from the printed action-phase bridge, short-time kernel, measure, endpoints, and convergence hypotheses. A6 support belongs to the QTT source interpretation; the continuum measure is not claimed as uniquely derived from A1-A7.
STATACTION #

Stationary action as coherent survival

QTT theorem

In the macroscopic regime |S|/hbar >> 1, neighboring non-stationary histories rotate through rapidly changing J-angles and cancel. Coherent laboratory survival therefore selects delta S_tot = 0. QTT's content is upstream of the standard stationary-phase theorem: it derives the rotor weight and the S/hbar angle, while the final cancellation step is established mathematics. A7U keeps variations closure-preserving across the visible-plus-hidden bundle.

In standard language
In mainstream terms: In the macroscopic regime |S|/hbar >> 1, neighboring non-stationary histories rotate through rapidly changing J-angles and cancel. Coherent laboratory survival therefore selects delta S_tot = 0. QTT's content is upstream of the standard stationary-phase theorem: it derives the rotor weight and the S/hbar angle, while the final cancellation step is established mathematics. A7U keeps variations closure-preserving across the visible-plus-hidden bundle.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
PATHSUM + A7
Book anchor
QTT Main Book v10.01, pp. 388, 425-427, 473; action paper labels thm:QTT-stationary-action, eq:EL-T, eq:discrete-EL, eq:A7U-closure
QTT content stops upstream of the established stationary-phase theorem: the real rotor and declared canonical action angle supply the oscillatory weight. Stationarity follows only under the printed large phase-variation, regularity, and nondegeneracy hypotheses; a large constant action offset is irrelevant.
COMPLETED-EVENT-HAMILTONIAN #

Completed-event Hamiltonian: direction, magnitude no-go, and record-spend gate

QTT theorem

On the primitive two-state completed-event face, every self-adjoint source generator that respects the event exchange symmetry is, modulo an irrelevant identity term, proportional to the swap direction S_e. The direction is therefore unique. The local source premises do not fix the dimensionless magnitude C_H: the full family H = E_*[(1-C_H/2)I+(C_H/2)S_e], with 0 < C_H ≤ 1, remains legal. The paper proves this magnitude no-go, separates a Hamiltonian matrix element from a transition probability, and defines the record-spend quotient that forbids counting the same completed event twice. C_H = 1 follows only conditionally when the global one-action allocation identity is added; that closure gate remains explicitly amber.

In standard language
In mainstream terms: On the primitive two-state completed-event face, every self-adjoint source generator that respects the event exchange symmetry is, modulo an irrelevant identity term, proportional to the swap direction S_e. The direction is therefore unique. The local source premises do not fix the dimensionless magnitude C_H: the full family H = E_*[(1-C_H/2)I+(C_H/2)S_e], with 0 < C_H ≤ 1, remains legal. The paper proves this magnitude no-go, separates a Hamiltonian matrix element from a transition probability, and defines the record-spend quotient that forbids counting the same completed event twice. C_H = 1 follows only conditionally when the global one-action allocation identity is added; that closure gate remains explicitly amber.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
A2 + A4 + A5-X + A6 + A7; primitive completed-event face; source/readout split
Book anchor
QTT Main Book v10.01: completed-address action pp. 52-61; finite capacity pp. 72-75 and 254-262; real-J source law pp. 139-145 and 1249-1250; A2 endurance pp. 200, 215-216, 238-239; finite Noether/action bridges pp. 659-662, 717, 817
The theorem closes the primitive Hamiltonian direction and proves why the local premises cannot also determine its magnitude. The record-spend quotient prevents double allocation; the extra global one-action premise that would fix C_H=1 is displayed as an amber gate rather than hidden inside the result.
HCLOSURE #

h = 2 pi hbar from one full dial turn

QTT theorem

Integrating d theta = dS/hbar around one completed J-dial circle gives Delta S = 2 pi hbar = h. In QTT, hbar is action per radian of the real dial, and h is the cost of closing the dial once. The action quantum is not a separate smallest-action postulate; it is the closure of the dial.

In standard language
In mainstream terms: Integrating d theta = dS/hbar around one completed J-dial circle gives Delta S = 2 pi hbar = h. In QTT, hbar is action per radian of the real dial, and h is the cost of closing the dial once. The action quantum is not a separate smallest-action postulate; it is the closure of the dial.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
A4 + A7
Book anchor
QTT Main Book v10.01, pp. 809-811; action paper labels thm:h-closure, eq:h-closure; A5-X hbar-per-event theorem
This node keeps three ledgers distinct: winding degree nu_A, signed canonical phase action S_can=2pi hbar nu_A, and positive A6 capacity spend C_A. For one funded primitive completion C_A=hbar while |S_can|=h; the ratio is 1/(2pi).
QUANTRULES #

Four quantization rules as closure corollaries

Recovers standard

One closure law gives four textbook projections: Planck-Einstein ET = h as the time circle, de Broglie p lambda = h as the space circle, Bohr-Sommerfeld integral p dq = n h as the phase-space loop, and flux quantization q Phi = n h as the gauge-holonomy loop. These are exact identity recoveries, so the node carries no sigma row.

In standard language
In mainstream terms: Four quantization rules as closure corollaries recovers a familiar equation or rule, while QTT assigns it a finite-source/access ontology. The recovery itself is not claimed as a new textbook equation.
Divergence / discriminator
Divergence: no site-level discriminator is printed on this card yet. Treat this recovery as ontology/consistency unless a linked prediction card supplies a future split.
Upstream rail
HCLOSURE
Book anchor
QTT Main Book v10.01, pp. 425-427, 809-811; action paper closure-corollary blocks: Planck-Einstein, de Broglie, Bohr-Sommerfeld, flux quantization
The familiar Planck-Einstein, de Broglie, Bohr-Sommerfeld, and flux rules share one compact phase grammar only after their sector-specific periodic-time, translation, orbit, and order-parameter premises are supplied.
Atlas section

Classical Physics

The familiar mechanics layer is treated as a shadow of finite actuation, endurance accounting, and action closure.

Equation spine
F = ma
delta S_tot = 0
E = mc^2
gamma = (1 - v^2/c^2)^(-1/2)
NEWTON #

Newton's law of gravitation

Recovers standard

The steady isotropic solution of the A2 endurance flux gives an inverse-square force in the infrared limit.

In standard language
In mainstream terms: Newton's law of gravitation recovers a familiar equation or rule, while QTT assigns it a finite-source/access ontology. The recovery itself is not claimed as a new textbook equation.
Divergence / discriminator
Divergence: no site-level discriminator is printed on this card yet. Treat this recovery as ontology/consistency unless a linked prediction card supplies a future split.
Upstream rail
A2
Book anchor
QTT Main Book v10.01, pp. 50, 138, 221
FMA #

Finite inertial-mass operator and three-readout equivalence

QTT theorem

A positive finite operator counts funded completed-event classes once. Its A1 free-branch spectral curvature fixes inertial response; the weak-lapse expansion fixes passive response; A2 supplies the active source readout. Thus one eigenvalue gives active, passive, and inertial mass, while F = ma is the low-velocity laboratory shadow. A6+A7 fix admissibility and per-address capacity but do not, by themselves, populate the complete particle-mass spectrum.

In standard language
In mainstream terms: A positive finite operator counts funded completed-event classes once. Its A1 free-branch spectral curvature fixes inertial response; the weak-lapse expansion fixes passive response; A2 supplies the active source readout. Thus one eigenvalue gives active, passive, and inertial mass, while F = ma is the low-velocity laboratory shadow. A6+A7 fix admissibility and per-address capacity but do not, by themselves, populate the complete particle-mass spectrum.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
A1 + A2 + A6 + A7; funded-event quotient; finite source operator
Book anchor
QTT Main Book v10.01, pp. 236-241, 253-266, 695-704, 1247-1248
Version 4.0 promotes this node beyond a bare reconstruction: a finite positive funded-event operator supplies the mass spectrum, its A1 Hamiltonian curvature derives the inertial coefficient, the weak-lapse branch derives passive mass, and A2 supplies active source strength. The familiar F=ma equation remains the standard low-velocity shadow; full sector-population uniqueness remains open.
LEASTACTION #

Principle of least action

Recovers standard

Hamilton's principle and the path integral as the stationary real-dial phase over completed-address paths; the action quantum is h-bar per completed event.

In standard language
In mainstream terms: Principle of least action recovers a familiar equation or rule, while QTT assigns it a finite-source/access ontology. The recovery itself is not claimed as a new textbook equation.
Divergence / discriminator
Divergence: no site-level discriminator is printed on this card yet. Treat this recovery as ontology/consistency unless a linked prediction card supplies a future split.
Upstream rail
A4 + A7
Book anchor
QTT Main Book v10.01, pp. 668-680
Least action is treated as closure of allowed rotor histories. This is where Hamiltonian language enters without adding a separate variational magic.
EMC2 #

E = mc^2 without Lorentz algebra

Recovers standard

Mass-energy equivalence read off the endurance ledger with c as a primitive carrier speed, not from boost algebra.

In standard language
In mainstream terms: E = mc^2 without Lorentz algebra recovers a familiar equation or rule, while QTT assigns it a finite-source/access ontology. The recovery itself is not claimed as a new textbook equation.
Divergence / discriminator
Divergence: no site-level discriminator is printed on this card yet. Treat this recovery as ontology/consistency unless a linked prediction card supplies a future split.
Upstream rail
UEL
Book anchor
QTT Main Book v10.01, pp. 50-51
SR #

Lorentz kinematics & tamed singularities

Recovers standard

gamma = (1-v^2/c^2)^{-1/2} emerges from fixed-norm sharing of tick speed between hidden and visible cells, regularizing the v->c divergence.

In standard language
In mainstream terms: Lorentz kinematics & tamed singularities recovers a familiar equation or rule, while QTT assigns it a finite-source/access ontology. The recovery itself is not claimed as a new textbook equation.
Divergence / discriminator
Divergence: no site-level discriminator is printed on this card yet. Treat this recovery as ontology/consistency unless a linked prediction card supplies a future split.
Upstream rail
A1 + FMA
Book anchor
QTT Main Book v10.01, pp. 172-176
Atlas section

Quantum Mechanics

Complex phase, probabilities, spin ceilings, and wave evolution are rendered as access images of the real J-dial.

Equation spine
i -> J
S_src = sum_E L_src,E Delta T_E; S_lab = A_W[S_src]
p(alpha|M) = sum_w ||rho(w)||_J^2 <psi_w|Pi_alpha psi_w>_J
Q_w^bundle = sum_k Q_{k,w}^vis = 2 pi
delta_G(Gamma) = 2/N_Gamma * (1 - 1/N_Gamma)
omega_{S,w}^A7U = R_{S,w}^A7U / Tr(R_{S,w}^A7U)
V_path <= sqrt(1 - 2 delta_path)
P_win = cos^2(pi/8)
Delta m^2_31 / Delta m^2_21 = 4 pi^2 cos^2(pi/8)
LAGRANGIAN #

Artian Lagrangian Framework

QTT theorem

Source action as a finite ledger over completed A5-X events; the laboratory Lagrangian and least-action integral are Access-Law images of that source ledger, not the constructor of it.

In standard language
In mainstream terms: Source action as a finite ledger over completed A5-X events; the laboratory Lagrangian and least-action integral are Access-Law images of that source ledger, not the constructor of it.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
A5X + A6 + A7 + ACCESS + IJ
Book anchor
QTT Main Book v10.01, pp. 42-61, 100-106, 425-427, 809-811; Lagrangian framework v2.1 pp. 481-596, 691-770, 1749-1786
The Lagrangian framework is the source-action counterpart to the Hamiltonian paper: finite completed events are counted first, and the laboratory action integral is only the Access-Law image of that finite ledger.
IJ #

i = J : the real quarter-turn

QTT theorem

The imaginary unit is the laboratory shadow of the real-dial generator J. Phases, commutators, and path weights are real finite quarter-turns.

In standard language
In mainstream terms: The imaginary unit is the laboratory shadow of the real-dial generator J. Phases, commutators, and path weights are real finite quarter-turns.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
A4
Book anchor
QTT Main Book v10.01, pp. 4-12
SCHRO #

Schrodinger equation

Recovers standard

A normalized address coisometry exactly intertwines the declared address-blind self-adjoint source generator with its laboratory readout. With d tau=N dT, the laboratory generator is H_T/N. Version 3.1 adds a complete-funding implication and explicit dynamics compatible with the global A6 hard-wall postulate. The local-budget counterexample rules out an inference from local capacity alone; it does not refute the independent global postulate. Primitive-local operations and physically recorded legal-block evolution preserve the stated mass-weighted admissibility class. The funding functional and experimental selection remain separate targets.

In standard language
In mainstream terms: Schrodinger equation recovers a familiar equation or rule, while QTT assigns it a finite-source/access ontology. The recovery itself is not claimed as a new textbook equation.
Divergence / discriminator
Divergence: no site-level discriminator is printed on this card yet. Treat this recovery as ontology/consistency unless a linked prediction card supplies a future split.
Upstream rail
IJ + A5X + ACCESS + A6; exact projection under declared premises + compatible dynamics proved in class
Book anchor
QTT Main Book v10.01, pp. 381-382 (projection), 222-223 (coherent ceiling), 251-254 (common support and local capacity); companion concept DOI 10.5281/zenodo.23159984
BORN #

Born quadratic capacity and conditional representation

Recovers standard

The quadratic real-J address capacity is unique in the declared finite additive symmetry class. Its identification with long-run frequency, and the fixed-address trace representation, require separately printed statistical and effect-functional premises.

In standard language
The paper proves the uniqueness of a quadratic finite-capacity form in its declared symmetry class, then recovers the standard Born trace law under separately listed statistical and effect-functional premises.
Divergence / discriminator
Divergence: standard Born agreement is a recovery, not an ontology selector. A different address-sampling law, fixed-address contextuality, or a qualified access experiment that violates the printed bridge would stress the QTT probability interface without changing the closed algebraic square theorem.
Upstream rail
A1 + A4 + A5-X + A6 + A7; conditional capacity-frequency and instrument-equivalence bridges
Book anchor
QTT Main Book v10.01, pp. 268, 435-438, 1247
The closed source theorem is the quadratic capacity law: in the declared finite, additive, regular, real-J gauge- and basis-invariant class, c(w)=||rho(w)||_J^2 is unique. The laboratory frequency/trace law is a conditional representation requiring the explicit bridge mu(w)=c(w) and a normalized, effect-additive, instrument-equivalent fixed-address functional. Standard Born agreement recovers the laboratory shadow but does not independently select the QTT ontology.
SG #

Stern-Gerlach quantization

Recovers standard

Spin quantization and the spinor half-angle from the adjoint action of the real J-dial; the 720-degree return is a rotor theorem.

In standard language
In mainstream terms: Stern-Gerlach quantization recovers a familiar equation or rule, while QTT assigns it a finite-source/access ontology. The recovery itself is not claimed as a new textbook equation.
Divergence / discriminator
Divergence: no site-level discriminator is printed on this card yet. Treat this recovery as ontology/consistency unless a linked prediction card supplies a future split.
Upstream rail
IJ
Book anchor
QTT Main Book v10.01, pp. 433, 465
DEBROGLIE #

de Broglie-Planck relations

Recovers standard

E = h-bar omega and p = h-bar k as completed-address tick relations on the absolute clock.

In standard language
In mainstream terms: de Broglie-Planck relations recovers a familiar equation or rule, while QTT assigns it a finite-source/access ontology. The recovery itself is not claimed as a new textbook equation.
Divergence / discriminator
Divergence: no site-level discriminator is printed on this card yet. Treat this recovery as ontology/consistency unless a linked prediction card supplies a future split.
Upstream rail
A1 + UEL
Book anchor
QTT Main Book v10.01, pp. 465, 835
BERRY #

Pancharatnam-Berry phase

Recovers standard

Geometric phase as accumulated real-dial holonomy around a closed address loop.

In standard language
In mainstream terms: Pancharatnam-Berry phase recovers a familiar equation or rule, while QTT assigns it a finite-source/access ontology. The recovery itself is not claimed as a new textbook equation.
Divergence / discriminator
Divergence: no site-level discriminator is printed on this card yet. Treat this recovery as ontology/consistency unless a linked prediction card supplies a future split.
Upstream rail
IJ + A7
Book anchor
QTT Main Book v10.01, pp. 272-273
TSIRELSON #

Tsirelson ceiling 2 sqrt 2

QTT theorem

The CHSH bound as balanced orthogonal-rail access geometry; the same equal-capacity rule gives Koide's sqrt 2. P_win = cos^2(pi/8).

In standard language
In mainstream terms: The CHSH bound as balanced orthogonal-rail access geometry; the same equal-capacity rule gives Koide's sqrt 2. P_win = cos^2(pi/8).
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
A4 + A6
Book anchor
QTT Main Book v10.01, pp. 30, 141
PI8 #

cos(pi/8) two-clock constant

QTT theorem

The A1 clock-projection constant equals the T-gate magic-state overlap and the symmetric CHSH optimum; pi/8 is derived from the real-dial commutators, not assumed.

In standard language
In mainstream terms: The A1 clock-projection constant equals the T-gate magic-state overlap and the symmetric CHSH optimum; pi/8 is derived from the real-dial commutators, not assumed.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
A1 + IJ
Book anchor
QTT Main Book v10.01, pp. 8, 29
Convergence rail and exact spinor-character theorem: Version 2.0 proves U_CHSH=(S H) U_A1 (S H)^dagger, so the A1 clock rotor and the symmetric CHSH rotor have the same basis-invariant normalized character cos(pi/8). The same value equals the T-gate magic-state overlap and the square root of the CHSH winning probability. This is a structural cross-lock, not independent empirical validation of A1; only an unprogrammed reference-switch experiment can test the A1 branch. The same access angle also feeds the strong-coupling NICK rail and the two-clock sectors. Moving it would disturb several separated rows at once.
JOSEPHSON #

Flux quantization & Josephson relation

Recovers standard

Integer flux quanta and the Josephson frequency from 2-pi modular closure of the charge dial.

In standard language
In mainstream terms: Flux quantization & Josephson relation recovers a familiar equation or rule, while QTT assigns it a finite-source/access ontology. The recovery itself is not claimed as a new textbook equation.
Divergence / discriminator
Divergence: no site-level discriminator is printed on this card yet. Treat this recovery as ontology/consistency unless a linked prediction card supplies a future split.
Upstream rail
A4 + A7
Book anchor
QTT Main Book v10.01, pp. 365-367, 677
A1-WAVE-SHADOW #

A6 bounded wave packets, exact all-tick propagation, and the d'Alembert shadow

QTT theorem

Derives the complete two-sided bounded free packet sector of a finite nearest-neighbour A1 real-J dial update. With Q=-Delta/4, the unique spectral gate is P_A6=1_[0,1](Q). On its range, C=I-2Q and R=2 sqrt(Q(I-Q)) form an exact orthogonal one-tick rotor. The inherited theorem writes every integer power as U_A6^N=[[T_N(C),R U_{N-1}(C)],[-R U_{N-1}(C),T_N(C)]] and freezes the continuum residual DeltaPhi_N=N(Omega-K)=N K^3(1-sum_a n_a^4)/24+O(N K^5). Thus eta_1=0, eta_2=(1-sum_a n_a^4)/24, gamma_2=3 eta_2, and the one-rail residual vanishes exactly. The source law also prints the exact sine-squared stencil dispersion, sin^2(omega t_tilde/2) = (c_QTT t_tilde/ell_tilde)^2 sum_a sin^2(k_a ell_tilde/2), and recovers partial_T^2 theta_J - c_QTT^2 nabla^2 theta_J = 0 in the smooth limit. Because the stencil is even in k and omega, a linear Planck-scale vacuum-dispersion term is forbidden. Orthogonal maps commuting with P_A6 compose inside the free sector, but a printed counterexample shows that generic pointwise quadratic interactions do not preserve it. The nonlinear capacity completion is therefore open. A laboratory verdict also requires a separately derived source-to-field camera. Version 4.1 completes the infinite-address initial-data domain: g=theta_1-C theta_0 must belong to Ran R. It also constructs physically recorded legal-block dynamics compatible with both the spectral gate and the global coherent-mass postulate. These are distinct certificates; a bounded wave norm is not silently identified with mass.

In standard language
The complete bounded free spectral sector, exact orthogonal rotor, every integer-tick Chebyshev power, and the coefficient-free directional phase residual are derived first. The smooth d'Alembert equation is then recovered as a laboratory shadow. The source-to-field camera and generic nonlinear band closure remain explicit targets.
Divergence / discriminator
Divergence: QTT fixes eta_1=0, the exact one-rail null, the nonnegative tensor (1-sum_a n_a^4), eta_2=(1-sum_a n_a^4)/24, and the Chebyshev all-tick phase before laboratory fitting. A camera-qualified violation of those relations would falsify the scoped propagator consequence. A nonlinear claim still requires its own capacity-completion theorem.
Upstream rail
A1 + A4 + A5-X + A6 + A7
Book anchor
QTT Main Book v10.01, A1/A4/A5/A6/A7 source-wave anchors and compact corpus ledger; wave-shadow concept DOI 10.5281/zenodo.20723081
This node keeps the free theorem, its access shadow, and its boundary together. The A6 spectral projector selects every bounded two-sided free packet; an exact real-J orthogonal propagator preserves that space for all ticks. Version 4.0 writes every integer-tick power in exact Chebyshev form and freezes the parameter-free QTT-versus-continuum phase residual, including its one-rail null and directional multi-rail coefficient. d'Alembert propagation is the smooth-access shadow. The source-to-field camera and nonlinear completion remain separate theorem targets.
ARTIAN-RADIATIVE-LORENTZ #

Artian radiative Lorentz-stability and exact Collins response

QTT theorem

Closes the one-loop Collins percolation test for the QTT finite-address regulator class without arguing from Planck suppression. For every legal local scalar profile F(ell_A^2 k_E^2), O(4) tensor reduction gives Pi_SME^LV[Gamma_1PI^Artian-Gamma_1PI^Lorentz]_{d<=4}=0. The deliberately anisotropic control F_xi=exp[-a(k_0^2+xi|k|^2)] is carried through the same projector and gives Delta c(xi)=e^2(xi-1)/(16*pi^2) times the integral of y^2/[(1+y)^(3/2)(xi+y)^(5/2)], with Delta c(1)=0 and Delta c'(1)=alpha/(12*pi). The cutoff scale cancels, proving that the isotropic zero is a symmetry zero rather than a blind projector. The physical entire branch F(z)=exp[-H(z)] has no finite-plane zeros or new poles and is defined by Euclidean-first contour continuation, for which the paper proves perturbative Cutkosky transfer under its printed Hermiticity, convergence, BRST, and no-spurion hypotheses. Full Postulate E derivation, Osterwalder-Schrader reconstruction, strict subaddress microcausality, and dynamical gravity/lapse loops remain open.

In standard language
In mainstream terms: Closes the one-loop Collins percolation test for the QTT finite-address regulator class without arguing from Planck suppression. For every legal local scalar profile F(ell_A^2 k_E^2), O(4) tensor reduction gives Pi_SME^LV[Gamma_1PI^Artian-Gamma_1PI^Lorentz]_{d<=4}=0. The deliberately anisotropic control F_xi=exp[-a(k_0^2+xi|k|^2)] is carried through the same projector and gives Delta c(xi)=e^2(xi-1)/(16*pi^2) times the integral of y^2/[(1+y)^(3/2)(xi+y)^(5/2)], with Delta c(1)=0 and Delta c'(1)=alpha/(12*pi). The cutoff scale cancels, proving that the isotropic zero is a symmetry zero rather than a blind projector. The physical entire branch F(z)=exp[-H(z)] has no finite-plane zeros or new poles and is defined by Euclidean-first contour continuation, for which the paper proves perturbative Cutkosky transfer under its printed Hermiticity, convergence, BRST, and no-spurion hypotheses. Full Postulate E derivation, Osterwalder-Schrader reconstruction, strict subaddress microcausality, and dynamical gravity/lapse loops remain open.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
A1 + A5-X + A6 + A7 + A1-WAVE-SHADOW
Book anchor
QTT Main Book v10.01, A1/A5-X/A6/A7, Absolute Background Clock, source/readout, and Lorentz-compliance anchors; radiative Lorentz-stability concept DOI 10.5281/zenodo.21301312
RECORD-FANOUT-TIMING #

Completed-record fan-out and timing-access closure

QTT theorem

Separates the monotone completed-history count N_rec from the laboratory-accessible memory state M_acc, so local erasure, subsystem reversal, or instantaneous-state recurrence does not delete a completed historical event. Independent record fragments obey the product law F_joint=product_k F_k. Correlated fragments instead use the Uhlmann fidelity of the full joint record states, with no universal fixed mixed-state fan-out factor claimed. The timing layer introduces a finite record-mismatch complex and its central alignment projector. A declared physical encoding W must satisfy W^dagger M_U^op W=P_align before the mathematical projector may be called an instrument observable. Observation as Access first imported this theorem in v7 and preserves it through v11.01. The companion blind test freezes an ordinary qualification stage and a QTT timing-discriminator stage over N=1,...,4, all m partitions, five fidelity corridors, holdouts, topology twins, and a second physical technology. Version 1.4 also executes 11,009 public Gosling traces with a disjoint train/guard/test split. The one-TLS Solomon camera learns two rates per trace and wins 92.37% of held-out rows, with a 36.0% median relative RMSE gain. QTT's public predata statement requires distributed record support without those fitted rates, closing a zero-fit source-explanatory victory. Because F_res, D, U_T, and W are absent, the same-observable trajectory and timing observation remain sealed and pending.

In standard language
The theorem separates irreversible historical completion from retrievable laboratory memory, uses ordinary multiplicative or Uhlmann fidelity according to the record topology, and makes the physical operator map an explicit certificate. Its public Gosling execution credits the two-rate TLS camera's held-out success while recording that its fitted trajectory is not a parameter-free source derivation. QTT's zero-fit win is source-explanatory; the sealed same-observable timing experiment remains the discriminator.
Divergence / discriminator
Divergence: a fitted standard camera may predict held-out dynamics and still leave its fitted coefficients underived. QTT earns the stronger same-observable empirical label only if its frozen zero-target-fit constructor predicts the identical observable and covariance. Only an eligible, blinded timing execution can judge that consequence. A qualified landing outside the QTT envelope falsifies the registered consequence; an unsatisfied physical map or control gate is ineligible and cannot falsify it.
Upstream rail
A1 + A5-X + A6 + A7 + BORN + ACCESS
Book anchor
QTT Main Book v10.01, A1/A5-X/A6/A7, Born/projection, entropy, Access Law, and measurement-record anchors; completed-record framework concept DOI 10.5281/zenodo.21902886; blind-test concept DOI 10.5281/zenodo.21902885; Observation as Access concept DOI 10.5281/zenodo.20114403
This node protects the measurement/arrow claim by distinguishing completed history from currently accessible memory. It also blocks a second shortcut: a formal timing projector is not called physical until a declared encoding W satisfies the intertwining certificate. The source theorem is closed in its printed finite-dimensional classes. Version 1.4 additionally executes the public Gosling archive: the standard fitted TLS camera wins on held-out trajectories, while QTT earns the separately typed zero-fit source-explanatory victory. The same-observable laboratory timing verdict remains sealed and pending.
THERMODYNAMIC-ACCESS-INTERTWINING #

QTT Thermodynamic Access-Intertwining Theorem

QTT theorem

Constructs the operational object behind the Access Law rather than inferring it from a convenient laboratory residual. A coherent-survival kernel K_coh and positive unital address-centralization map Z_w give A_w(L)=I-Z_w[K_coh(L)^dagger K_coh(L)], with 0<=A_w<=I and eta=Tr(rho A_w). For a complete physical instrument, the same effect family obeys the exact identity i_A=N^-1 I(K:Q), the ceiling 0<=i_A<=N^-1 sum_j h_2(eta_j)<=h_2(eta_bar), the inherited work bound w_E<=w_R_bar+integral_[s_R-i_A]^s_R T(s)ds, and the registered uncertainty floor Delta X_j Delta P_j>=(hbar/2)(1-eta_j). The scalar-inversion no-go proves i_A!=eta in general, so work data cannot manufacture the QTT operator. The original central-projector theorem is recovered exactly when A_w^2=A_w=A_w^dagger. The 8,407-check retrospective audit gives a green structural confirmation of the state-plus-access work architecture and a zero-fit source-explanatory victory for the QTT access object. The standard information-theory identities keep their standard ownership. Version 11.01 adds a branch-resolved count-to-decision interface that separates design labels from stochastic outcomes and refuses records under one global error budget. The QTT-specific canonical same-effect cross-lock remains prospectively sealed.

In standard language
Version 11.01 preserves the lawful central effect, exact information identity, thermodynamic work ceiling, and Access-Law uncertainty floor. It adds a branch-resolved finite-record qualification interface with a design-label leakage no-go and global error budget. Published work data confirm the state-plus-access architecture; the sealed loop experiment asks whether the same effect also enters the canonical algebra as QTT requires.
Divergence / discriminator
Divergence: the retrospective data establish that changing operational access changes extractable work, but they do not select QTT's canonical commutator. QTT additionally requires one target-blind central effect to survive the complete physical intertwining and control both the work and loop readouts. A successful work qualification followed by an eligible unity loop surface that excludes the frozen QTT surface falsifies that same-effect consequence. The effect may not be reconstructed from the residual after unblinding.
Upstream rail
A1 + A5-X + A6 + A7 + ACCESS + BORN
Book anchor
QTT Main Book v10.01, A1/A5-X/A6/A7, Born/projection, entropy, and Access-Law anchors; Observation as Access concept DOI 10.5281/zenodo.20114403; same-central-effect preregistration concept DOI 10.5281/zenodo.22236546
SAME-CENTRAL-EFFECT-ACCESS #

Same-central-effect Access Intertwiner and work-quadrature test

Prediction / auditexact QTT access surface sealed / physical activation and observation pending

Builds on the v11.01 operational central-effect constructor by requiring one authenticated laboratory access route to control two independently read consequences. For the central effect M, the normalized QTT bracket is [q,p]=J(I-M), so a closed displacement commutator has the exact operator C_QTT(phi)=M+exp(-J phi)(I-M). A symmetric binary coherent-state work arm independently measures the route weight through w_j=eta_j. On untouched loop copies the same effect then predicts R_jk=(1-eta_j)+eta_j exp(J phi_k), where ordinary quantum mechanics predicts R_jk=1 for the idle route. The five access weights, four loop areas, both loop orientations, covariance order, target-free constructor Jacobian, terminal alphabet, eligibility gates, and classifier are frozen. The work arm is standard-physics qualification rather than QTT-exclusive evidence; only the eligible full complex loop surface discriminates the theories. Version 1.0 passes three adversarial reviews and 135 of 135 deterministic release checks. Physical activation, observation, and independent replication remain pending.

In standard language
A Maxwell-demon work arm first measures how much of one authenticated preparation record is physically available. On separate untouched copies, a closed cavity-displacement loop then tests whether that same access effect changes the canonical group commutator. Standard quantum mechanics owns the work effect and predicts a normalized loop of one; QTT predicts a fixed complex five-by-four surface.
Divergence / discriminator
Divergence: ordinary information thermodynamics allows record access to increase extractable work but does not make an idle record route modify a closed canonical displacement loop. QTT does. If one certified route gives w_j=eta_j while the full blinded loop surface remains at R_jk=1 and excludes the frozen QTT surface, the registered same-central-effect Access-Law consequence is falsified. An unsatisfied centrality, route-identity, terminal-completeness, ordinary-model, crosstalk, covariance, or power gate makes the run ineligible rather than repairable by retuning.
Upstream rail
A1 + A5-X + A6 + A7 + ACCESS + BORN
Book anchor
QTT Main Book v10.01, A1 terminal ordering, A5-X completed record, A6 finite capacity, A7 closure, Born/projection, and Access-Law anchors; same-central-effect preregistration concept DOI 10.5281/zenodo.22236546; Observation as Access concept DOI 10.5281/zenodo.20114403
A7U #

A7U-G finite chamber cut-gap and molecular visibility transport

Prediction / auditaccess-purity theorem / visibility bridge

Upgrades the A7U/no-pure-particle theorem into a sharper same-universe access object. The completed bundle is still the pure object: Q_w^bundle=sum_k Q_{k,w}^vis=2*pi. A finite observer sees only the access marginal rho_{S|w}^{(O)}=M rho_B M/Tr(M rho_B), with eta=Tr(rho M) and [X,P]=J hbar(I-M). The paper then defines the A7U-G finite cut-gap delta_G(Gamma)=2/N_Gamma*(1-1/N_Gamma) once the chamber boundary count N_Gamma is printed before data. The molecular transport paper then maps delta_G(Gamma_j) through T_vis into F_j^A7U and block-profiled visibility shapes. Sealed Test A asks for that nonconstant shape in one independently calibrated configuration. Separate sealed Test B closes the exact migration law v_B=Lambda_AB v_A and requires the whole fingerprint to move between two configurations while rejecting a stationary laboratory feature at five-sigma design power. Pedalino/Arndt data stay consistency-green after apparatus profiling, but direct observation remains pending because the public archive does not execute either prospectively frozen physical target. Test A and Test B v2.0 retain the joint-ensemble camera, evaluating F(M,v) before complex mass-velocity integration, and complete binding of the actual analysis files to an independently reviewed pre-target packet. Fixed fractional-mass source transport is exact; ensemble averages depend on their own calibrated kernels. The source laws and historical decision thresholds remain unchanged. Design separation is distinct from observed discovery significance. The standalone experimental guides translate all five UEL coordinates into Planck units and preserve supplementary unexplained residuals without changing the frozen primary verdict.

In standard language
Matter-wave and measurement rows are read through same-universe bundle completion rather than a separate collapse reservoir or hidden outside environment.
Divergence / discriminator
Divergence: QTT predicts finite same-universe access floors and bundle-completion constraints, not arbitrary collapse rates or external environment knobs. The decisive test is a locked nonconstant visibility shape.
Upstream rail
A7 + A6 + A5-X + ACCESS + BORN + A1-WAVE-SHADOW
Book anchor
QTT Main Book v10.01, A5/A6/A7, Access Law, Born/projection, and matter-wave source-access anchors; source concept DOI 10.5281/zenodo.20097247; molecular visibility transport concept DOI 10.5281/zenodo.20796924; single-configuration Test A concept DOI 10.5281/zenodo.22010227; two-configuration Test B concept DOI 10.5281/zenodo.22282943
A7U is the guardrail that keeps hidden completion in the same universe. The upgraded node now separates the source theorem from the molecular visibility transport theorem: A7U-G prints the finite chamber cut-gap, then T_vis carries it into profiled matter-wave rows. The sealed Test A asks for the resulting nonconstant shape in one configuration; the separate Test B asks whether that integer fingerprint moves under the exact parameter-free source-coordinate map between two configurations. Existing data are consistency-green, while direct observation remains pending.
Atlas section

Standard Model & Gauge Sector

Gauge closure, color rails, chirality, strong coupling, and mass-gap claims are separated by status and audit target.

Equation spine
U(1) x SU(2) x SU(3)
alpha_QTT^-1 = 4*pi*(8 + rho/2 + lambda_gamma)
W_gamma^QTT = exp{J[(q/hbar c) int A dx - (mc^2/hbar) int d tau_A2]}
a_mu^HVP = (alpha_lambda^2 / 3*pi^2) int K_VP(s/m_mu^2) R_src(s) d ln s
alpha_s(m_Z) = 0.11805245
S_A6(k=±1) = 1/2
chi_Z = 2/3 + 1/(4 rho^2) = 0.6740857385694149
beta_Z = 6 chi_Z = 4.04451443141649
Phi_3(U) = (1/3) Re_J Tr(U)
K_betaZ^QTT(U) = exp[(beta_Z/3) Re_J Tr(U)]
c_3/c_1(beta_Z) = 0.849017324821154
s_3^A6 = 1.76228797539733
sqrt(sigma_3) = 444.253151 MeV
M_rho/omega^src = sqrt(3) sqrt(sigma_3) = 769.469029 MeV
finite birth rails allow n <= 3
BIRTH #

Birth-minimality: n <= 3

QTT theorem

The single-address pairwise resolution load R_n <= 2-pi forces n in {1,2,3}. The triad exactly saturates the budget (R_3 = 2-pi; R_4 = 4-pi).

In standard language
In mainstream terms: The single-address pairwise resolution load R_n <= 2-pi forces n in {1,2,3}. The triad exactly saturates the budget (R_3 = 2-pi; R_4 = 4-pi).
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
A4 + A6 + A7
Book anchor
QTT Main Book v10.01, p. 477
GAUGE #

SM gauge group U(1)xSU(2)xSU(3)

Recovers standard

The monadic / dyadic / triadic equal-share closures map to U(1), SU(2), SU(3); the e/3 charge quantum follows from the dyad-triad lattice.

In standard language
In mainstream terms: SM gauge group U(1)xSU(2)xSU(3) recovers a familiar equation or rule, while QTT assigns it a finite-source/access ontology. The recovery itself is not claimed as a new textbook equation.
Divergence / discriminator
Divergence: no site-level discriminator is printed on this card yet. Treat this recovery as ontology/consistency unless a linked prediction card supplies a future split.
Upstream rail
BIRTH
Book anchor
QTT Main Book v10.01, pp. 27, 132
PHOTONEDGE #

Photon-edge gate for alpha

QTT theorem

After the photon house 8 and neutral projected half-loop rho/2 are quotient out, the residual five-rail edge gives alpha_QTT^-1 = 4*pi*(8 + rho/2 + lambda_gamma) = 137.035999165998, landing -0.523927 sigma against CODATA 2022 without using the observed alpha as a constructor.

In standard language
In mainstream terms: After the photon house 8 and neutral projected half-loop rho/2 are quotient out, the residual five-rail edge gives alpha_QTT^-1 = 4*pi*(8 + rho/2 + lambda_gamma) = 137.035999165998, landing -0.523927 sigma against CODATA 2022 without using the observed alpha as a constructor.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
PI8 + GAUGE + A6 + A7
Book anchor
QTT Main Book v10.01, pp. 304-307; five-face capacity theorem pp. 305-306; photon-edge theorem concept DOI 10.5281/zenodo.20628735
Current alpha theorem: the residual five-rail photon-edge gate is the source object for alpha_QTT^-1 = 137.035999165998. The CODATA value is an audit readout (-0.523927 sigma), not a constructor input.
NICK #

Strong coupling alpha_s(m_Z)

Prediction / auditsource-form theorem

NICK ladder: chi_YM = 2/3 + 1/(16 pi^2 cos^2(pi/8)) gives alpha_s = 1/(4 pi chi_YM) = 0.118052, +0.06 sigma. No observed alpha_s used.

In standard language
In mainstream terms: Strong coupling alpha_s(m_Z) is a comparator-facing theorem, numerical target, or audit row. The source claim and laboratory comparison should remain separate.
Divergence / discriminator
Discriminator: the linked comparator, prediction protocol, or audit row is the place where this node can be stressed. The source expression must not be moved after the data are read.
Upstream rail
PI8 + GAUGE
Book anchor
QTT Main Book v10.01, pp. 999-1003
Current source-form theorem: chi_YM(m_Z) = 2/3 + 1/(4 rho^2), rho = 2pi cos(pi/8), so alpha_s(m_Z) = 0.11805244792. The +0.058 sigma comparator is an audit readout, not an input.
LAMBDA #

Lambda_3 and string tension

Prediction / auditdownstream of NICK

Standard 4-loop running of alpha_s(m_Z) gives Lambda_3 = 334.65 MeV (+0.19 sigma); the A6-blocked transfer gives sqrt(sigma) = 444.25 MeV (-0.11 sigma).

In standard language
In mainstream terms: Lambda_3 and string tension is a comparator-facing theorem, numerical target, or audit row. The source claim and laboratory comparison should remain separate.
Divergence / discriminator
Discriminator: the linked comparator, prediction protocol, or audit row is the place where this node can be stressed. The source expression must not be moved after the data are read.
Upstream rail
NICK
Book anchor
QTT Main Book v10.01, pp. 1076-1080
The same NICK rail is used for the finite three-color string-tension readout, so the +0.19 sigma row is downstream of NICK, not an independent confirmation of the same alpha_s input.
GLUEBALL #

Glueball mass gap (0++,2++,0-+)

Prediction / auditQCD cluster audit

Center-neutral adjoint-pair Haar transfer: m(0++)=1.731 GeV (+0.013 sigma), with tensor and pseudoscalar rows from spin-shear and odd-J exposure.

In standard language
In mainstream terms: Glueball mass gap (0++,2++,0-+) is a comparator-facing theorem, numerical target, or audit row. The source claim and laboratory comparison should remain separate.
Divergence / discriminator
Discriminator: the linked comparator, prediction protocol, or audit row is the place where this node can be stressed. The source expression must not be moved after the data are read.
Upstream rail
LAMBDA + BIRTH
Book anchor
QTT Main Book v10.01, pp. 1014-1032
The QCD/glueball record is an observationally anchored cluster: strong coupling, string tension, and scalar/tensor/pseudoscalar glueball masses.
HIGGS #

Higgs as radial-mode eigenvalue

Prediction / auditradial-mode audit

lambda_h = 1/2 + 37/(64 rho^2) gives m_h = 125.204 GeV (+0.038 sigma) as the radial vibration of the scalar-lock ruler.

In standard language
In mainstream terms: Higgs as radial-mode eigenvalue is a comparator-facing theorem, numerical target, or audit row. The source claim and laboratory comparison should remain separate.
Divergence / discriminator
Discriminator: the linked comparator, prediction protocol, or audit row is the place where this node can be stressed. The source expression must not be moved after the data are read.
Upstream rail
PI8
Book anchor
QTT Main Book v10.01, pp. 1056
MAXWELL #

Maxwell's equations

Recovers standard

The monadic U(1) address-transport theorem; Maxwell is the laboratory shadow of single-share modular transport, 1/sqrt(mu0 eps0) = c.

In standard language
In mainstream terms: Maxwell's equations recovers a familiar equation or rule, while QTT assigns it a finite-source/access ontology. The recovery itself is not claimed as a new textbook equation.
Divergence / discriminator
Divergence: no site-level discriminator is printed on this card yet. Treat this recovery as ontology/consistency unless a linked prediction card supplies a future split.
Upstream rail
A4 + A7 + GAUGE
Book anchor
QTT Main Book v10.01, pp. 8, 25
CHIRAL-SPIN-SOURCE-GRAPH #

Finite source-graph, normalized energy-shape, and Log-Gram amplitude theorems for chiral spin filtering

Prediction / audit

For a finite completed-event graph class carrying commuting molecule and surface reversals, the chirality-sector multiplicity equals the number of graph orbits whose stabilizer admits the selected character. A one-dimensional odd source sector read through one common scalar access kernel has one normalized energy shape, with sign fixed by chirality. The identity p_odd=(p_+-p_-)/2 makes nonzero opposite-sign separation a necessary-sector activation test. For a positive two-channel transmission operator Q, the vector Log-Gram decomposition log Q=alpha I+r.sigma fixes the normalized output exactly as rho_out=(I+tanh(|r|) rhat.sigma)/2. Common scalar gain cancels, basis changes rotate r without changing |r|, and commuting common-rail molecular segments add their rapidities. A declared facial defect has a signed rapidity subtraction law. For Cu(643), the independently constructed terrace line fixes D_t=I-2tt^T before the spin curves are read. The bifacial-ladder and heptahelicene rows give 25.17 and 14.38 quadrature-combined quoted-uncertainty separations under the provisional independence model; the ladder mirror-shape cosine is 0.9976 and the Cu terrace fraction is 80.98 percent. These support the joint A4-A7 dependency chain retrospectively. The four-cell molecule-by-surface design remains the prospective sector-identification test. The separately sealed molecular-length/defect protocol tests the serial Log-Gram law on raw currents; its fixed coefficient 1/[4pi cos(pi/8)] is explicitly a conjecture, not a theorem.

In standard language
In standard language, the theorem decomposes a finite set of molecule-surface-electron-readout event graphs under commuting molecular and surface reversals, counts chirality sectors by character projection and Frobenius reciprocity, and derives a common normalized energy shape when the odd source multiplicity and laboratory access rank are both one.
Divergence / discriminator
Divergence: a fixed-surface pair cannot identify molecule-odd versus molecule-surface mixed sectors. The prospective four-cell molecule-by-surface experiment must preserve full rank after measured purities, recover the frozen character sectors, and transfer the normalized shape without changing the source graph. A nonpassing result under those gates falsifies this QTT branch rather than inviting a fitted spin amplitude.
Upstream rail
A4 + A5 + A6 + A7 + NEWTON-PROTOCOL + ACCESS-LAW
Book anchor
QTT Main Book v10.01, A4-A7 anchors pp. 48, 80-82, 263-266, and 912-916; source-graph theorem v1.3 pp. 4-10, Log-Gram amplitude theorem pp. 11-16, evidence and covariance audit pp. 17-22, and sealed companion test pp. 1-15
The source-graph, normalized energy-shape, odd-sector activation, and crystal-fixed reflection theorems are closed in their declared classes. Existing ladder and heptahelicene rows reject the zero-odd branch at high separation under their printed-error convention; only a frozen held-out mirror-transfer, covariance-complete D_x, or four-cell execution can earn prospective prediction credit.
AB-HOLONOMY #

Artian holonomy and the Aharonov-Bohm effect

QTT theorem

Closes the source-access interpretation of electromagnetic and gravitational Aharonov-Bohm phases. The compact source object is W_gamma^QTT=exp{J[(q/hbar c) int_gamma A_mu dx^mu - (mc^2/hbar) int_gamma d tau_A2]}. The first term is A4 real-J charge holonomy; the second is A2 endurance/proper-time holonomy. Version 2.0 adds the A6 phase-density gate lambda_e^AB=|delta S_e^AB|/(hbar n_e)<=1. Low-density AB experiments must recover textbook phases; only a declared high-load edge can become a QTT-specific deviation row.

In standard language
Aharonov-Bohm phases are recovered as A4/A2 source holonomies with a future high-load phase-density discriminator.
Divergence / discriminator
Divergence: ordinary low-density AB agreement is a recovery; high-load A6 phase-density population is the proposed split from textbook holonomy language.
Upstream rail
A2 + A4 + A6 + MAXWELL + ACCESS
Book anchor
QTT Main Book v10.01, A2/A4/A6 holonomy and access anchors; AB holonomy concept DOI 10.5281/zenodo.20772090
AB holonomy is now a source-access theorem: electromagnetic AB is A4 real-J dial holonomy, gravitational AB is A2 endurance/proper-time holonomy, and a QTT-specific deviation is only legal near the printed A6 phase-density edge.
HVP-SOURCE-ACCESS #

HVP Source-Access Reference Framework

Prediction / auditsource/access framework

Separates the frozen QCD vector-current source, the muon photon-clock kernel, and laboratory access rows for the HVP contribution to muon g-2. The source equation is a_mu^HVP = (alpha_lambda^2/3*pi^2) int K_VP(s/m_mu^2) R_src(s) d ln s, with R_src(s) = (11/3) sum_xi nu_xi chi_xi(s) and nu=(1/704)(279,31,62,9,1,2,256,64). The constructor firewall forbids a_mu^exp, lattice HVP, measured R(s), covariance packets, nuisance directions, and fitted resonance parameters from writing the source. Version 50.0 executes the BaBar publication packet with the preregistered n_B=4 access word and the published full covariance. The packet, camera, control, projection, robustness, and no-retune gates close. The scalar direction remains moderate, but the frozen resolved lineshape is rejected by the BaBar covariance row: chi2_shape is 57765.6144 or 85030.2611 for 139 degrees of freedom against the preregistered 167.5143 gate.

In standard language
The HVP node separates the hadronic source object from laboratory access channels, covariance, and physical normalization in muon g-2.
Divergence / discriminator
Divergence: standard dispersion theory can fit or average laboratory channels; QTT requires the source object, access rows, and covariance to stay separated and no-retune before unblinding.
Upstream rail
NICK + PHOTONEDGE + A4 + A5-X + A6 + A7 + ACCESS
Book anchor
QTT Main Book v10.01, pp. 583-620 and two-universe ontology p. 1262; HVP source-access concept DOI 10.5281/zenodo.20732034
Current HVP reference framework v50.0: the frozen QCD vector-current source, muon photon-clock kernel, and laboratory access rows remain distinct. V50 closes the BaBar publication packet, publication-camera theorem, controls, finite-bin projection, covariance decomposition, robustness tests, and no-retune firewall. The scalar pulls are +1.361223 and -0.593757, while the present frozen two-pion source lineshape is rejected by the resolved BaBar full-covariance row.
ELECTRON-RYDBERG #

Electron Source-Lab Rydberg theorem

QTT theorem

Closes the precision-metrology Rydberg rail as a source/lab audit rather than a fitted spectroscopy decimal. The V5.01 theorem prints the electron rank-anatomy constructor R_e^ctor=256*384*198*97=1,888,026,624, the legal gamma-W covariance door 64=2_cov*32_Sigma, the access exponent I_e=1/(rho R_e)+1/(64 R_e)=9.951823065003947e-11, the source electron mass m_e^source=0.510998950610811 MeV, and the Rydberg corridor R_infty^QTT=10,973,731.568156838 m^-1 with z_R=-0.0135 sigma. It then propagates the frozen packet into atomic units and declares real hydrogen and QED windows as no-retune audit rows. The upstream source-only SI endpoint bridge is now closed as a source/GeV ruler map and firewall, while the completed address-capacity numerical certificate remains amber. Observed R_infty, observed alpha, fitted electron corrections, Lamb/HFS data, a_e, muonium, and positronium are not allowed to write the constructor.

In standard language
The Rydberg constant and atomic-unit package are treated as laboratory readouts of a frozen electron source packet.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
SOURCE-ONLY-SI-ENDPOINT + PHOTONEDGE + MARIAM-LEPTON-RANK + A5-X + A6 + A7 + ACCESS
Book anchor
QTT Main Book v10.01, Koide/access pp. 1037-1045 and 1094-1103, electron micro-rail pp. 1192-1198, scorecard pp. 126-128; electron/Rydberg v5.01 source-propagation appendix pp. 27-38; electron/Rydberg concept DOI 10.5281/zenodo.20800371; source-only SI endpoint concept DOI 10.5281/zenodo.20936013
Downstream precision-metrology theorem: the electron rank-anatomy constructor R_e=256*384*198*97 and gamma-W micro-access rail are fixed before the Rydberg constant is opened. Version 5.01 propagates the same frozen packet through atomic units and freezes the QED no-retune window suite. Precision QED v3.03 keeps the inherited five-window table as prototype no-drift evidence, restores the detailed technical payload, and leaves the full multi-row covariance execution pending.
HYPERFINE-COMPOSITION #

Joint-address hyperfine composition and identifiability theorem

QTT theorem

Builds finite nuclear magnetic-response and electronic-contact source objects, then composes them over the shared real-J scalar algebra. For one alkali line, y_ab=G_a C_b, so the observation identifies a product rather than its two source factors. Across a bipartite clock family, z=B theta and rank(B)=v-q with dim ker(B)=q for q connected components. One independent nuclear or contact source pin per component is necessary and sufficient; alternating cycles give parameter-free product locks. The first non-definitional gate is nu_87Rb/nu_133Cs=(7/6)(G_87 C_87,5s)/(G_133 C_133,6s), where the endpoint, Artian tick, Rydberg scale, alpha rail, and electron-proton mass ratio cancel. The old identity-transfer branch is rejected by a +57.296978% residual; the numerical heavy-alkali source matrices remain open.

In standard language
A clock line measures a nuclear/contact product; a connected clock family identifies the factors only after one independent source pin per component.
Divergence / discriminator
Divergence: more precise product measurements do not remove the multiplicative nuclear/contact gauge. A claimed separation without the required source pin, or a source word selected after clock data are opened, defeats the theorem's constructor discipline.
Upstream rail
HAMILTONIAN + ELECTRON-RYDBERG + SOURCE-ONLY-SI-ENDPOINT + A4 + A5-X + A6 + A7 + ACCESS
Book anchor
QTT Main Book v10.01, source/readout pp. 9-22, A4 and finite source anchors pp. 213-227 and 250-268, atomic/hyperfine context pp. 1037-1045 and 1094-1103; hyperfine framework concept DOI 10.5281/zenodo.21309105
The finite source theorem beneath alkali clocks: nuclear magnetic response and electronic contact density are separate source objects, while one observed clock line reads only their product. The bipartite rank theorem states exactly how many independent source pins are required before a clock constellation identifies the factors.
SOURCE-ONLY-SI-ENDPOINT #

Source-only SI endpoint bridge

QTT theorem

Closes the source-only SI/GeV endpoint bridge as a legal ruler map and constructor firewall. The source chain is t_A=ell_A/c, E_* t_A=hbar, E_*=hbar c/ell_A, with SI and GeV readout rails E_*[J]=h_SI nu_*[Hz]/(2*pi) and E_*[GeV]=h_SI nu_*[Hz]/(2*pi*10^9 e_SI). The theorem forbids observed G, R_infty, electron mass, electroweak rows, alpha, or CODATA metrology comparators from writing E_* at the source layer. Its honest boundary is the remaining amber gate: a completed address-capacity numerical certificate for the absolute A5-X ruler still has to be printed without importing downstream laboratory rows. Version 3.0 closes the K2 factorization N_K2=(alpha_lambda^2/(4*pi))*(m_e^source c^2/E_*)*Phi_Cs^source and prints Phi_Cs^target=2.7942472e-6. The downstream joint-address hyperfine theorem closes finite nuclear/contact composition and proves the one-source-pin-per-connected-component identifiability condition; the numerical heavy-alkali source packet remains the active amber hinge.

In standard language
This is the absolute-ruler node: it states what is closed and what still needs an independent completed-address numerical certificate.
Divergence / discriminator
Divergence: dimensionful QTT rows remain conditional until the absolute source ruler closes. A hidden circular import of SI/G/CODATA would defeat the node.
Upstream rail
A5-X + A6 + A7 + UEL + HAMILTONIAN + LAGRANGIAN
Book anchor
QTT Main Book v10.01, source/readout and no-smuggling pp. 9-22, A5-X/A6/A7 pp. 250-268, Artian micro-ruler and G anchors pp. 56, 193, 238-241, 268, scorecard pp. 126-128; source-only SI endpoint concept DOI 10.5281/zenodo.20936013; hyperfine composition concept DOI 10.5281/zenodo.21309105
A6-HALF-SHARE #

A6 Hadamard compact-color kernel rail

QTT theorem

Closes the narrow A6 hinge in the QCD center-sheet string-tension chain. A nonzero Z3 center boundary forces a center sheet. A local sheet crossing has exactly two sides, inside and outside, and A6 finite capacity forbids a preferred side. The unique real, capacity-preserving, unbiased transfer is the Hadamard block, giving S_A6(k=±1)=1/2. Version 4.0 then closes the declared first-order compact-color transfer class: the only legal nonconstant generator is Phi_3(U)=(1/3)Re_J Tr(U), so K_betaZ^QTT(U)=exp[(beta_Z/3)Re_J Tr(U)] is forced before the Haar readout. The comparator string tension does not choose this share, beta_Z, or kernel; it audits the already-locked source.

In standard language
A symmetric A6 boundary crossing fixes a half-share, which then locks the QCD sheet scale before downstream comparisons.
Divergence / discriminator
Divergence: a minimal symmetric boundary crossing legally carries a half-share, not an arbitrary 1/3, 2/3, or fitted share for one crossing.
Upstream rail
A6 + A7 + NICK + GAUGE
Book anchor
QTT Main Book v10.01, QCD/string/glue scorecard pp. 126-128 and color/QCD source anchors pp. 1008-1020; A6 half-share concept DOI 10.5281/zenodo.20744161
Source-scale theorem / QCD sheet-scale hinge: a nonzero Z3 center boundary has two local sides, and A6 forbids a preferred side. The unique capacity-preserving unbiased transfer is the Hadamard half-share, S_A6(k=±1)=1/2; v4.0 adds the forced compact-color source kernel before the Haar coefficient is read.
QCD-SHEET-SCALE #

QCD sheet-scale compact-kernel downstream rail

Prediction / auditprediction packet

Uses the v4.0 forced compact-color source kernel plus the compact SU_J(3) Haar-root readout to lock c_3/c_1(beta_Z)=0.849017324821154, s_3^A6=1.76228797539733, sqrt(sigma_3)^QTT=444.25315096 MeV, and sigma_3^QTT=0.1973608621 GeV^2. The locked scale then feeds M_rho/omega^src=769.469029 MeV, M_phi^src=1025.958705 MeV, the muon-HVP centroid-compressed source weights (0.84421586, 0.09380176, 0.06198237), the rho-pipi fold-width rail, f_pi,src=90.682795 MeV, F_chi=92.038391 MeV, and glueball absolute rows m_G=r_G sqrt(sigma_3). These are source-plus-access targets, not fitted pole masses or channel fractions. The Atlas keeps the Clay smooth-continuum proof question separate from this QTT source theorem.

In standard language
The QCD sheet scale is built from the compact-color kernel and then used for string-tension, HVP, chiral, vector, and glueball rows.
Divergence / discriminator
Divergence: downstream HVP/vector/chiral/glueball values must inherit the locked sheet scale rather than retuning separate sector scales.
Upstream rail
A6-HALF-SHARE + NICK + HVP-SOURCE-ACCESS + GLUEBALL
Book anchor
QTT Main Book v10.01, pp. 583-620 and 1008-1020; A6 half-share concept DOI 10.5281/zenodo.20744161, HVP concept DOI 10.5281/zenodo.20732034, glueball concept DOI 10.5281/zenodo.20571454
This is now the source scale beneath several QCD rows: sqrt(sigma_3)=444.25315096 MeV fixes static string tension, vector source centroids, HVP centroid weights, chiral scales, and glueball absolute normalization. Downstream access maps remain separately auditable, and the smooth-continuum Clay-proof question remains outside this QTT source theorem.
Atlas section

MARIAM Ladder & Flavor

The charged-fermion depth ladder, top anchor, torsion/transport contract, heavy/light quark closures, and CKM flavor faces. Closed rails, comparator-facing CKM rows, and open constructor work are deliberately separated.

Equation spine
(t,b,tau,c,s,mu,d,u,e) -> (0,4,4,5,8,8,11,12,13)
ell_f = 4(r+h_f) + epsilon_f r + sred_4(3Y_R(f)/2) C(r,2)
m_f(mu_obs) = E_H^lab exp(-ell_f) T_hat_f R_f
T_hat_f = [tau_J^vol(C_f) / tau_J^vol(C_f^unit)]^(1/2)
R_E = exp(I_E), Tr I_E = 0, det R_E = 1
s_23 = 0.042713531541 (high/inclusive-side V_cb audit)
s_12 = 0.224962553493 (-0.07 sigma vs global CKM lambda)
MARIAM-DEPTH #

MARIAM charged-fermion depth selector

QTT theorem

Derives the frozen charged-fermion integer ladder (t,b,tau,c,s,mu,d,u,e) -> (0,4,4,5,8,8,11,12,13) from the 16-sector dial, generation shell, Higgs orientation, and right-handed hypercharge residue. The integer depths are not chosen after looking at masses.

In standard language
In mainstream terms: Derives the frozen charged-fermion integer ladder (t,b,tau,c,s,mu,d,u,e) -> (0,4,4,5,8,8,11,12,13) from the 16-sector dial, generation shell, Higgs orientation, and right-handed hypercharge residue. The integer depths are not chosen after looking at masses.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
A1 + A4 + A7 + BIRTH + GAUGE
Book anchor
QTT Main Book v10.01, p. 874; label subsubsec:charged_fermion_depth_selector
This is the ladder itself: the integer depth list is derived from the 16-sector dial, family shell, Higgs orientation, and right-handed hypercharge residue.
MARIAM-TOP #

MARIAM-Q top zero-depth anchor

QTT theorem

Top is the zero-depth identity channel of the charged MARIAM ladder: ell_t = 0 and T_hat_t = 1. The native anchor is m_t^A = E_H^lab = 174.103584824 GeV; collider-direct, pole, and MS-bar readings require an explicit observation map.

In standard language
In mainstream terms: Top is the zero-depth identity channel of the charged MARIAM ladder: ell_t = 0 and T_hat_t = 1. The native anchor is m_t^A = E_H^lab = 174.103584824 GeV; collider-direct, pole, and MS-bar readings require an explicit observation map.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
MARIAM-DEPTH + HIGGS + A6
Book anchor
QTT Main Book v10.01, pp. 929, 987; labels subsubsec:mariamq_top_anchor and subsubsec:mariamq_top_transport
MARIAM-QBT #

MARIAM-QBT no-retune propagation contract

Open package

Sets the charged-fermion mass target m_f(mu_obs) = E_H^lab exp(-ell_f) T_hat_f R_f, with the same depth rule, determinant-torsion functor, and QED/QCD boundary transport logic for all nine charged fermions. The depth and transport spine is clean; the all-nine exact-mass theorem waits for determinant torsions and declared scheme windows.

In standard language
In mainstream terms: MARIAM-QBT no-retune propagation contract is an open constructor package. It marks useful work still pending before a stronger status can be claimed.
Divergence / discriminator
Open gate: the node is deliberately not green. The page keeps it visible so a missing constructor is not hidden behind nearby successful rows.
Upstream rail
MARIAM-DEPTH + NICK + HIGGS + QED
Book anchor
QTT Main Book v10.01, pp. 1036-1044; labels subsubsec:mariamqbt_charged_fermion_propagation and subsubsec:mariamq_torsion_transport_target
Important boundary: this is a no-retune propagation contract and spine, not yet an all-nine charged-mass theorem until the determinant torsions close.
MARIAM-LEPTON-RANK #

Charged-lepton family-rank constructor theorem

Open package

Closes a declared finite Artian/MARIAM constructor class for the charged-lepton family. The v3.7 source-word scan starts with 288 candidate words and leaves one survivor before measurement is opened: signs (+,-,-) and ranks (N_e,N_mu,N_tau)=(1,888,026,624,17,526,2,347). The subsequent laboratory audit gives e +0.072 sigma, mu +0.188 sigma, tau -0.046 sigma, and chi^2=0.042. This blocks the three-Yukawa free-input route inside the declared class; global uniqueness outside that class remains open.

In standard language
In mainstream terms: Charged-lepton family-rank constructor theorem is an open constructor package. It marks useful work still pending before a stronger status can be claimed.
Divergence / discriminator
Open gate: the node is deliberately not green. The page keeps it visible so a missing constructor is not hidden behind nearby successful rows.
Upstream rail
MARIAM-QBT + A6 + A7 + MINCAP
Book anchor
QTT Main Book v10.01, pp. 1037-1045, 1094-1103, and electron micro-rail pp. 1192-1198; charged-lepton family-rank concept DOI 10.5281/zenodo.20698191
The charged-lepton paper now gives a finite source-word enumeration inside the declared Artian/MARIAM class: 288 candidate words collapse to one survivor, (N_e,N_mu,N_tau)=(1,888,026,624,17,526,2,347), before the masses are opened. The measurement audit lands at max 0.188 sigma; uniqueness outside the declared class remains the open caveat.
MARIAM-NEUTRINO-RANK #

Artian LIA neutrino family-rank reference theorem

Scope correction · 31 July 2026
The ratio identity is conditional; its finite source construction remains open.

Once the nonzero source vector (0, 1, ρ) is supplied, Δm231 / Δm221 = ρ2 follows exactly. The audit closes a necessary correction: common completed-bundle and A1 factors cancel, so they cannot by themselves supply a relative ρ.

A finite asymmetric branch pair and a finite certificate for the five-fold neutral completion remain amber gates. The frozen JUNO target remains a separate observational test of the conditional line.

Read the A1 neutral-branch audit · 10.5281/zenodo.21721466
Conditional identity / audit

Registers the conditional LIA neutrino family-rank identity without using oscillation gaps as inputs. Once the source vector (m1,m2,m3)=m_Delta*(0,1,rho_nu)/sqrt(rho_nu^2-1) is supplied, Delta m^2_31 / Delta m^2_21 = rho_nu^2 = 4*pi^2*cos^2(pi/8) = 33.69693720145647... follows exactly. The v1.1 neutral-branch audit closes common-factor cancellation: common completed-bundle and A1 factors do not themselves create a relative rho_nu. A finite asymmetric source pair and the five-fold neutral completion remain amber construction gates. The absolute scale m_Delta, SI-ruler, PMNS, endpoint, cosmology, and G-style rows remain observation-last audits until m_Delta is derived from an independent non-oscillation QTT source rail.

In standard language
In mainstream terms: Registers the conditional LIA neutrino family-rank identity without using oscillation gaps as inputs. Once the source vector (m1,m2,m3)=m_Delta*(0,1,rho_nu)/sqrt(rho_nu^2-1) is supplied, Delta m^2_31 / Delta m^2_21 = rho_nu^2 = 4*pi^2*cos^2(pi/8) = 33.69693720145647... follows exactly. The v1.1 neutral-branch audit closes common-factor cancellation: common completed-bundle and A1 factors do not themselves create a relative rho_nu. A finite asymmetric source pair and the five-fold neutral completion remain amber construction gates. The absolute scale m_Delta, SI-ruler, PMNS, endpoint, cosmology, and G-style rows remain observation-last audits until m_Delta is derived from an independent non-oscillation QTT source rail.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
A1 + A7 + PI8 + MARIAM-DEPTH
Book anchor
QTT Main Book v10.01, pp. 1195-1196 and compact ledger p. 1252; neutrino family-rank concept DOI 10.5281/zenodo.20571452
PMNS-SOURCE-ACCESS #

PMNS source-access reference framework v5.0

Prediction / auditcandidate source face

Defines the PMNS source object as the real-J relative orientation U_PMNS^src=(U_E^src)^{T_J}U_nu^src between the charged-lepton family basis and the neutral LIA basis. Version 5.0 preserves the finite first-order angle-word enumeration: |L_PMNS^(1)|=36 and exactly one active source survivor remains after source gates. It gives sin^2 theta12=0.306880189272, sin^2 theta13=0.022257215708, sin^2 theta23=0.557296543843, delta_PMNS=pi, and J_PMNS=0. The CKM micro-provenance bridge is now printed as a source certificate, while the atmospheric-octant branch, CP-profile likelihood row, and Majorana/access rows remain live falsifiers.

In standard language
A finite PMNS source-word grammar is selected before experiment-specific access likelihoods and octant rows are opened.
Divergence / discriminator
Divergence: source-word closure is separate from atmospheric-octant and detector-access likelihoods. A lab likelihood may stress the access map without rewriting the source word.
Upstream rail
MARIAM-LEPTON-RANK + MARIAM-NEUTRINO-RANK + A4 + A6 + A7
Book anchor
QTT Main Book v10.01, pp. 158-162, 1113-1114, 1134-1138; PMNS source-access concept DOI 10.5281/zenodo.20735493
Current PMNS source-access framework v5.0: the source object is the real-J relative orientation U_PMNS^src=(U_E^src)^{T_J}U_nu^src. The finite first-order angle-word alphabet has 36 words and one active source survivor, w_star=(h_triangle,+b_3,+b_boundary,pi). That fixes sin^2 theta12, sin^2 theta13, sin^2 theta23, delta_PMNS=pi, and J_PMNS=0 before any NuFIT row is opened. Version 5.0 prints the CKM micro-provenance bridge s_C^bridge=sqrt(2)sin(pi/20)(1+1/(10rho))=0.225042858584379, closing the solar source row inside the declared source-access class. Atmospheric octant, CP-profile likelihood, and Majorana/access rows remain live yellow gates.
MARIAM-QUARK-CKM #

Artian quark family-rank and CKM reference framework

Prediction / auditsource/precision packet

Makes the current quark-sector source/access framework explicit: a finite quark source complex, up/down mass sheets D_U=diag(m_u,m_c,m_t) and D_D=diag(m_d,m_s,m_b), and CKM as a path-ordered real-J holonomy V=R_23 R_13^J R_12 between sheets. Version 4.0 prints the seven-slot precision packet (20,10,104,6,7,12,192), closes the finite CKM source-word enumeration and precision micro-provenance, and leaves the global CKM covariance packet, quark-mass source-word compiler, and baryon/proton unlock pending.

In standard language
In mainstream terms: Artian quark family-rank and CKM reference framework is a comparator-facing theorem, numerical target, or audit row. The source claim and laboratory comparison should remain separate.
Divergence / discriminator
Discriminator: the linked comparator, prediction protocol, or audit row is the place where this node can be stressed. The source expression must not be moved after the data are read.
Upstream rail
MARIAM-DEPTH + MARIAM-LEPTON-RANK + MARIAM-NEUTRINO-RANK + A4 + A7
Book anchor
QTT Main Book v10.01, pp. 1127-1148 and scorecard pp. 126-128; quark family-rank concept DOI 10.5281/zenodo.20722978
Current quark reference framework: finite quark source complex, up/down mass sheets, and CKM as a real-J holonomy are now citable under one concept DOI. Version 4.0 closes the finite CKM source-word enumeration and precision micro-provenance packet; the global covariance packet, quark-mass source-word compiler, and baryon/proton unlock remain explicitly pending.
MARIAM-HEAVY #

MARIAM-Q heavy-threshold closure

Prediction / auditscheme-window audit

Uses the closed top self-scale anchor, MARIAM depths ell_b = 4 and ell_c = 5, normalized heavy-triad torsions, QTT Yang-Mills transport, and the single-kernel QED window to predict m_b(m_b) = 4.178774016 GeV and m_c(m_c) = 1.271731720 GeV.

In standard language
In mainstream terms: MARIAM-Q heavy-threshold closure is a comparator-facing theorem, numerical target, or audit row. The source claim and laboratory comparison should remain separate.
Divergence / discriminator
Discriminator: the linked comparator, prediction protocol, or audit row is the place where this node can be stressed. The source expression must not be moved after the data are read.
Upstream rail
MARIAM-TOP + MARIAM-DEPTH + NICK
Book anchor
QTT Main Book v10.01, p. 1003; label par:mariamq_heavy_threshold_closure
MARIAM-LIGHT #

QTT Light-MARIAM torsion theorem

Prediction / auditscheme-window audit

Closes the light u,d,s quark masses at 2 GeV with ell_s = 8, ell_d = 11, ell_u = 12, projected-loop torsion actions, common QTT YM transport, and the single-kernel QED window: m_u = 2.156580919 MeV, m_d = 4.704302901 MeV, m_s = 93.790027048 MeV.

In standard language
In mainstream terms: QTT Light-MARIAM torsion theorem is a comparator-facing theorem, numerical target, or audit row. The source claim and laboratory comparison should remain separate.
Divergence / discriminator
Discriminator: the linked comparator, prediction protocol, or audit row is the place where this node can be stressed. The source expression must not be moved after the data are read.
Upstream rail
MARIAM-DEPTH + NICK + QED
Book anchor
QTT Main Book v10.01, p. 1012; label par:qtt_light_mariam_torsion
MARIAM-BC #

MARIAM b/c torsion and readout gate

Prediction / auditgreen-sigma audit

Reads bottom/charm as a top-anchored torsion-amplitude triad, not an isolated two-body ratio. The MARIAM phase is phi_Q = -pi/104; with the QCD and photon readout gates the self-scale ratio becomes m_b/m_c = 3.28589273276, a green sigma pass in the book audit.

In standard language
In mainstream terms: MARIAM b/c torsion and readout gate is a comparator-facing theorem, numerical target, or audit row. The source claim and laboratory comparison should remain separate.
Divergence / discriminator
Discriminator: the linked comparator, prediction protocol, or audit row is the place where this node can be stressed. The source expression must not be moved after the data are read.
Upstream rail
MARIAM-HEAVY + A4 + A6 + NICK
Book anchor
QTT Main Book v10.01, pp. 1046-1053; labels subsubsec:mariam_heavy_quark_torsion_cone through par:bc_readout_gate_closure
MARIAM-CKM #

Artian CKM holonomy faces

Prediction / auditflavor-face audit

Reads CKM as a source-sheet holonomy inside the quark reference framework. The v4.0 precision packet gives s12=0.225042858584379, s23=0.042713531540749, s13=0.003708134796885, delta=1.147687258136975, and the left-access CKM matrix after a unique survivor is selected from 3^7=2187 finite packets. The largest row-level entry pull is about 0.28 sigma; the correlated global CKM covariance packet remains pending.

In standard language
A finite CKM source packet is selected before the left-access CKM matrix is compared with flavor data.
Divergence / discriminator
Divergence: the CKM packet is selected from a finite declared source space. If the gate order or survivor depends on observed CKM entries, the node is invalidated.
Upstream rail
MARIAM-QUARK-CKM + A4 + A7 + GAUGE
Book anchor
QTT Main Book v10.01, pp. 1127-1148 and scorecard pp. 126-128; quark family-rank concept DOI 10.5281/zenodo.20722978
Comparator declaration: the current reference paper prints the v4.0 precision packet and left-access CKM row before audit, with one active survivor from 3^7=2187 finite packets and largest row-level entry pull about 0.28 sigma. Older rough-face V_us/J_CP and V_cb tension commentary remains context, not a hidden fit.
MARIAM-DET-AUDIT #

MARIAM-QBT determinant audit

Error / correction

Accepts the flat w-glued Yukawa triangle as the pre-mass birth ledger and rejects disconnected direct-sum MARIAM blocks as an all-nine mass theorem. The next legal object is a coupled w-glued MinCap complex with printed spectra before mass comparison.

In standard language
In mainstream terms: MARIAM-QBT determinant audit is a correction/audit object, not a theorem.
Divergence / discriminator
Audit rule: cite this as a correction or error-route only.
Upstream rail
MARIAM-QBT + A6 + A7 + MINCAP
Book anchor
QTT Main Book v10.01, p. 1080; label subsubsec:mariamqbt_determinant_audit
The determinant audit is part of the scientific discipline: the flat Yukawa triangle is retained, disconnected torsion islands are rejected, and the next allowed object is a coupled w-glued MinCap complex.
Atlas section

Gravity, Cosmology & Thermodynamics

Endurance currents and finite windows are linked to G, Einstein-equation recovery, cosmic clocks, Kerr, and entropy.

Equation spine
G = ell_tilde^2 c^3 / hbar
G_mu_nu + Lambda_A3 g_mu_nu = (8*pi*G_A/c^4) T_mu_nu^A2
lambda = (M/m_tilde)(Delta T/t_tilde) A/(4*pi*r^2)
Var(g_hat_P)/|E g_hat_P|^2 = 1/lambda
rho_vis = Tr_hid rho_src; rho_src(T2)=U_A7 rho_src(T1) U_A7^dagger
S_rad^fine(T) <= min(S_emitted(T), S_remaining(T))
a0_tau = c H_tau / (2*pi)
nabla^2 Phi = 4*pi*G*K_G[rho_b,C]
rho_Lambda/rho_P = (3/8*pi)(H_Lambda t_P)^2
epsilon = (9/2)(H_Lambda t_P)^2 = 4.268e-122
H_late / H_early = sec(pi/8)
t_0 = T_0 cos(7 pi/48)
K_lab = (cos(pi/8) / F_drift) A_K
EFE #

Einstein field equations

Recovers standard

From capacity-quantized space plus the UEL: the Einstein equations emerge in the local Einstein gauge from the endurance current and Artian measure.

In standard language
In mainstream terms: Einstein field equations recovers a familiar equation or rule, while QTT assigns it a finite-source/access ontology. The recovery itself is not claimed as a new textbook equation.
Divergence / discriminator
Divergence: no site-level discriminator is printed on this card yet. Treat this recovery as ontology/consistency unless a linked prediction card supplies a future split.
Upstream rail
A2 + UEL
Book anchor
QTT Main Book v10.01, p. 269 (sec 16.2)
GCOEFF #

Parameter-free G = l~^2 c^3 / h-bar

Prediction / auditclosed readout

The Einstein-Hilbert coefficient forced by A2 through the endurance law; numerically the Planck-unit form, but derived prior to it (identical-equation, non-equivalent-theory).

In standard language
The Einstein-Hilbert/Newton coupling is recovered as an endurance-ruler readout rather than inserted as a primitive constant.
Divergence / discriminator
Divergence: recovered GR uses the same local equation but not the same ontology. QTT-specific finite-address covariance, source-ruler closure, or high-load corrections are the discriminating tests.
Upstream rail
EFE + A2
Book anchor
QTT Main Book v10.01, pp. 50-51
This is the central gravity claim: G is derived from the Artian length rail and hbar rather than introduced as a primitive coupling.
CREATIONLEDGER #

Creation Ledger and exact vacuum identity

QTT theorem

The Lambda branch is consolidated as a Creation Ledger: late-time acceleration is read as an A3 projection effect, the exact vacuum identity is separated from fitted dark-energy fluid language, and epsilon remains a printed ledger-side IOU/falsifier.

In standard language
In mainstream terms: The Lambda branch is consolidated as a Creation Ledger: late-time acceleration is read as an A3 projection effect, the exact vacuum identity is separated from fitted dark-energy fluid language, and epsilon remains a printed ledger-side IOU/falsifier.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
A3 + ZAHRA + OMEGAB + AGE + SECONDLAW
Book anchor
QTT Main Book v10.01, pp. 212-213 and 711-715; Creation Ledger concept DOI 10.5281/zenodo.20633582
Current Lambda-branch consolidation: the coasting triad and exact vacuum identity are separated from fitted dark-energy-fluid language. The dedicated cosmological-constant ledger now closes kappa=1/3 under isotropy, the reduction rho_Lambda/rho_P=epsilon/(12*pi), the kappa-epsilon identifiability boundary, and the normalized finite-certificate evaluator. The axiom-to-unique Blop certificate and therefore the microscopic epsilon prediction remain amber.
RENEWALLEDGER #

Renewal Ledger source-kernel branch

Prediction / auditsector bridge / falsifier ledger

Consolidates the dark-matter branch as fixed-coefficient source-kernel gravity: acceleration knee a0_tau = c H_tau/(2 pi), lab floor a0_tau/cos(pi/8), Renewal Dust/lensing readouts, cosmic-dipole reading, and a declared falsifier ledger. The RAR comparison is displayed as a stress row, not promoted into a green sigma claim.

In standard language
In mainstream terms: Renewal Ledger source-kernel branch is a comparator-facing theorem, numerical target, or audit row. The source claim and laboratory comparison should remain separate.
Divergence / discriminator
Discriminator: the linked comparator, prediction protocol, or audit row is the place where this node can be stressed. The source expression must not be moved after the data are read.
Upstream rail
A2 + A3 + ZAHRA + GCOEFF + CREATIONLEDGER
Book anchor
QTT Main Book v10.01, pp. 209-212, 535, 1209-1211, 1253-1255; Renewal Ledger concept DOI 10.5281/zenodo.20643892
Current dark-matter-branch consolidation: source-kernel gravity, the acceleration knee, Renewal Dust/lensing readouts, and the cosmic dipole are held in one falsifier ledger. The RAR comparison stays a stress row, not a promoted green sigma claim.
ZAHRA #

Hubble branch H_late/H_early = sec(pi/8)

Prediction / audittwo-clock readout

The two-clock projection splits early- and late-time Hubble readouts: sec(pi/8) = 1.0824, matching the SH0ES/Planck ratio at -0.11 sigma under the Atlas convention: QTT minus observed over sigma. S4 remains open: epoch assignment and environment split must stay declared, not absorbed into a dark-energy fit.

In standard language
In mainstream terms: Hubble branch H_late/H_early = sec(pi/8) is a comparator-facing theorem, numerical target, or audit row. The source claim and laboratory comparison should remain separate.
Divergence / discriminator
Discriminator: the linked comparator, prediction protocol, or audit row is the place where this node can be stressed. The source expression must not be moved after the data are read.
Upstream rail
PI8 + A1
Book anchor
QTT Main Book v10.01, pp. 106, 1196
Pull convention: the Atlas signs comparator rows as QTT minus observed over sigma. For ZAHRA this gives -0.11 sigma; source papers may print the opposite ordering when explicitly stated. S4 remains open: epoch-assignment and environment split are declared rather than absorbed into a dark-energy fit.
OMEGAB #

Baryon density Omega_b = 1/18

Prediction / auditledger readout

The 18-lock 18 Omega_b^ABC (H_tau T0)^2 ~= 1; the lab projection uses Omega_b^lab = (1/18)(63.493001/67.36)^2 = 0.04935999 and is audited against the Planck physical-density row at about +0.18 sigma. The rounded 63.5/67.4 shorthand is not used for the pull.

In standard language
In mainstream terms: Baryon density Omega_b = 1/18 is a comparator-facing theorem, numerical target, or audit row. The source claim and laboratory comparison should remain separate.
Divergence / discriminator
Discriminator: the linked comparator, prediction protocol, or audit row is the place where this node can be stressed. The source expression must not be moved after the data are read.
Upstream rail
A3 + ZAHRA
Book anchor
QTT Main Book v10.01, pp. 244, 1190
Exact audit uses H_tau0 = 63.493001 and H_CMB = 67.36, giving Omega_b^lab = 0.04935999 and the established +0.18 sigma physical-density row. Rounded display values are not used for pulls.
AGE #

Cosmic age t0 = T0 cos(7 pi/48)

Prediction / auditprojection readout

Baryon-ledger time-drift gives an absolute 15.4 Gyr age, observed as 13.81 Gyr through the same two-clock projection.

In standard language
In mainstream terms: Cosmic age t0 = T0 cos(7 pi/48) is a comparator-facing theorem, numerical target, or audit row. The source claim and laboratory comparison should remain separate.
Divergence / discriminator
Discriminator: the linked comparator, prediction protocol, or audit row is the place where this node can be stressed. The source expression must not be moved after the data are read.
Upstream rail
A3 + ZAHRA
Book anchor
QTT Main Book v10.01, pp. 1196-1197
KERR #

Kerr constant from Artian Geometry

Prediction / auditlive comparator

The electro-optic Kerr constant as a finite-capacity birefringence readout of the Artian substrate.

In standard language
In mainstream terms: Kerr constant from Artian Geometry is a comparator-facing theorem, numerical target, or audit row. The source claim and laboratory comparison should remain separate.
Divergence / discriminator
Discriminator: the linked comparator, prediction protocol, or audit row is the place where this node can be stressed. The source expression must not be moved after the data are read.
Upstream rail
A6
Book anchor
QTT Main Book v10.01, p. 280
The Kerr row belongs in predictions/audits: it is a live comparator-facing calculation, not a background axiom.
SECONDLAW #

Second Law of thermodynamics

QTT theorem

The typed Second Law is the positive-cone pair (k_B Delta N_rec, Sigma_acc): A1/A7 supply completed-record order and persistence, while lawful physical access supplies non-negative distinguishability loss. A2 support and A3 source volume are separately derived and are not entropy increments.

In standard language
In mainstream terms: The typed Second Law is the positive-cone pair (k_B Delta N_rec, Sigma_acc): A1/A7 supply completed-record order and persistence, while lawful physical access supplies non-negative distinguishability loss. A2 support and A3 source volume are separately derived and are not entropy increments.
Divergence / discriminator
Status rule: primitive and theorem nodes should be read through their stated upstream rails and downstream falsifiers, not as standalone promotional claims.
Upstream rail
A1 + A7 + ACCESS; separate volume rail: A2 + A3
Book anchor
QTT Main Book v10.01, completed-record and entropy anchors pp. 479-486, 748-755
A2-EINSTEIN-FIELD #

A2 endurance to Einstein-field dynamics

QTT theorem

Version 4.0 closes the gravity-side finite-current theorem and the conditional infrared implication without hiding its population gates. The derivation begins with B=M/m_A and dN_sink/dT=B/t_tilde, proves finite internal-edge cancellation and Ward transfer, and obtains the Newton family div(g)=-4*pi*chi_g*G_A*rho_lab with G_A=ell_tilde^2*c^3/hbar and G_end=chi_g*G_A. Opposite-pair moments eliminate odd derivatives and select a two-derivative leading infrared operator. All remaining source-to-metric obligations are carried by R_rec=Delta_C3+Delta_T+Delta_Ward+Delta_def+Delta_gain+Delta_(4). When chi_g=1 and R_rec=0, the declared metric-domain uniqueness gate forces G_mu_nu+Lambda_A3*g_mu_nu=(8*pi*G_A/c^4)T_mu_nu^A2. A constructive counterfamily proves that A6/A7 finite fixed capacity and closure per address do not alone choose chi_g=1. Thus the implication is green in its declared camera, while universal gain, C3 metric reconstruction, ABC-clock decoupling, routing covariance, and horizon saturation population remain explicit amber gates. The smooth equation is the infrared readout, not QTT source ontology.

In standard language
A2 derives the finite endurance-current and Newton endpoint family; the Einstein field equation is then the exact infrared metric-camera implication when the printed gain-one and reconstruction receipts close.
Divergence / discriminator
Divergence: standard weak-field GR is inherited in the IR. The gain counterfamily proves that local A6/A7 closure alone cannot select the observed coefficient; universal C3 reconstruction, ABC-clock decoupling, routing covariance, finite-address patch statistics, and causal turn-on are the QTT-specific theorem and test gates.
Upstream rail
A2 + GCOEFF + ARROW-OF-TIME + A5-X + A6 + ACCESS
Book anchor
QTT Main Book v10.01, A2 endurance, G, proper-time, Einstein-Hilbert, and continuum-shadow anchors; A2 Einstein-field concept DOI 10.5281/zenodo.20763263; Tier-K endpoint-gain preregistration concept DOI 10.5281/zenodo.21955408
This node closes the finite-current and conditional field-equation bridge that the G row only prepared. A2 sink counting fixes the Newton-Poisson endpoint family; finite incidence, Ward transfer, and opposite-pair moments select the leading two-derivative response; and the declared metric-domain gate selects the Einstein tensor plus the A3 cosmology term. Version 4.0 also proves the scale counterfamily: A6/A7 local closure does not by itself select endpoint gain one, so universal gain and camera population remain separately typed theorem targets rather than hidden assumptions. The dedicated Tier-K preregistration turns that ceiling into a public no-go: the endpoint gain remains a bounded camera family until the separately frozen Endpoint Faithfulness hypothesis is tested prospectively. It does not reclassify that selection as an A2/A5-X/A6/A7 consequence.
A7-BH-INFORMATION #

A7 black-hole information and Bekenstein without Hawking

QTT theorem

Closes the source-side information ledger for black holes by treating the horizon as a visible/hidden access cut through one completed A7 bundle, not as an ontological destruction channel. Version 4.0 also closes the Bekenstein quarter without a Hawking constructor: Q_Sigma=8*pi*ell_tilde^2, N_H=A/(4*ell_tilde^2), and S_H^QTT=k_B*A/(4*ell_tilde^2), with 1/4=2pi/8pi. The laboratory outside state is rho_vis=Tr_hid rho_src and may be thermal or mixed, while the completed source state follows a source-unitary A7 transfer rho_src(T2)=U_A7 rho_src(T1) U_A7^dagger. T_eff=hbar*kappa_s/(2*pi*k_B*c) is a first-law/access readout after entropy is fixed; Hawking radiation is rejected as a source constructor. A6 finite capacity denies an infinite source singularity or required remnant, and the future Page-envelope row is S_rad^fine(T) <= min(S_emitted(T), S_remaining(T)) with t_Page/t_drain=1-1/(2*sqrt(2)). Species-resolved S-matrix and thermal-flux population remain access-test rows, not claimed observed sigmas.

In standard language
Black-hole entropy and information are read as finite A7/A6 capacity statements; Hawking radiation is not used as a source postulate.
Divergence / discriminator
Divergence: QTT forbids fundamental information loss and infinite singularity at the source. Exterior thermal-looking readouts must not be mistaken for a Hawking source constructor.
Upstream rail
A7 + A7U + A6 + A2 + SECONDLAW + ACCESS
Book anchor
QTT Main Book v10.01, A2/A6/A7, entropy, access, horizon, and finite-core anchors; black-hole information concept DOI 10.5281/zenodo.20346916
A2-BLIND-TABLETOP #

A2 blind tabletop gravity tests

Open package

Prints three blind no-retune source-access tests for A2 endurance holonomy. The discriminator is not the ordinary gravitational phase: the blinded pair must satisfy Theta_IR(P_A)=Theta_IR(P_B) while the finite A2 source packets differ, A_A2(P_A)!=A_A2(P_B). The packet records edges, A2 action spends, completed tick counts, phase-density loads, lab covariance, and the source/access window. Test 1 is an equal-action/unequal-load gravitational AB chopper; Test 2 is the echo-cancelled endurance covariance row; Test 3 is a frontier quantum-source holonomy witness without a source graviton.

In standard language
In mainstream terms: A2 blind tabletop gravity tests is an open constructor package. It marks useful work still pending before a stronger status can be claimed.
Divergence / discriminator
Open gate: the node is deliberately not green. The page keeps it visible so a missing constructor is not hidden behind nearby successful rows.
Upstream rail
A2 + AB-HOLONOMY + A2-EINSTEIN-FIELD + A6 + ACCESS
Book anchor
QTT Main Book v10.01, A2 endurance and finite-address correction anchors; blind tabletop concept DOI 10.5281/zenodo.20772326. Status remains pending until apparatus sensitivity and blind lab execution are frozen and run.
This is a pending blind-test rail, not an observed result. The source packet and no-retune unblinding grammar are printed; apparatus-specific sensitivity and laboratory execution remain yellow.
Audit discipline

Errors & Corrections

The atlas keeps correction routes visible because the corpus is a working scientific ledger. A corrected route is not hidden and not upgraded by prose. It remains a traceable object with its own status.

Visible object
Equation 601 and similar correction records stay marked as audit material.
Rule
Do not cite an error/correction route as a theorem. Cite the corrected record or the current corpus map.
Where next
Use the Observatory for live tests and the Corpus Tree for DOI/version provenance.
Maintenance rule

When a theorem, prediction, paper, Observatory row, or legacy correction changes, this Derivation Atlas should be updated alongside the Corpus Tree, Blog Map, Lexicon, and Observatory. Status labels must remain honest: no conditional claim is promoted by wording alone.

Canonical book record