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
82
derivation cards in the atlas
axioms
7
primitive rails, not derived
theorems
34
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.
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. Fifteen frozen gates compute G_PT. If G_PT=0, the only legal outcome is INELIGIBLE_NO_THEORY_VERDICT. 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.

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. Fifteen 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.
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, pi/8/pi/4/CHSH programming, readout-exponent, covariance, and power traps. Synthetic recovery certifies the analysis path only; no physical four-terminal clock packet has yet been measured.

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 forbids target-programmed pi/8, pi/4, or CHSH-equivalent controls. 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.

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

The first-order time law as address projection of the real-dial evolution; i d/dt psi = H psi is the lab packaging of J-native transport.

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
Book anchor
QTT Main Book v10.01, p. 564
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. Version 4.0 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.

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.

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