The predicate ledger of the corpus: the master ledger 00 and the ledger of every public paper, one predicate per row. A row is cited by its ledger and label, as 00:A1 or 35:P11, and each label opens the row in its own ledger. The accession key pNNNNN stays fixed while labels may move, and register.html#pNNNNN opens its row. The Filters choose a paper, a block and a status, and the search runs within the choice. Across all papers, a prediction or an explanation stated in more than one paper is listed once, at its first appearance, with its restatements linked.
Filters
| # | Explicability dividend | Status | Sources |
|---|---|---|---|
| 10-dim. Dimensional Analysis over Finite Holographic Substrate ¶ | |||
| 10:X1p10048 | The arity of classical bookkeeping, derived: four horizons less one identity, $4-1=3$ free scales in bijection with $\{c,\hbar,G\}$, exactly three independent members of $\{c,\hbar,G,k_B\}$; the three mechanical primitives are the two chart generators and the flag’s torsion-free surrogate, mass, $[m]=\Iq\unitL^{-2}\unitT$, $m_P=\pP/c$. Classical dimensional analysis postulates the count and the mass primitive. | T | |
| 10:X2p10049 | The thermal primitive is redundant: $[\Theta]=\unitE[k_B]^{-1}=\unitL\unitT^{-2}$, the acceleration domain, flag-free where energy carries the flag; $|k_B|=\hbar/c$ is the quartet’s mixed product; the Unruh combination $\hbar a/(c\,k_B)$ closes as a domain identity. Classical bookkeeping adjoins a thermal unit and reads $k_B$ as a conversion. | T | |
| 10:X3p10050 | One action quantum for both conjugate pairs: the domain lattice has exactly one order-four subgroup, in the time factor (no flag of space), canonical and covariant, so $E=hf$ and $p=\hbar k$ share one $\hbar$, $\lP\pP=\tPl\EP$ — derived from the shell’s algebra with no Lorentz structure used. | T | |
| 10:X4p10051 | Charge is an integer degree of the two generators on the shells of odd capacity, not a further primitive: with the Coulomb constant neutral (F6), $[q]^{2}=\Iq\unitL\unitT^{-1}$, $q_P^{2}=\hbar c$; the lift has no half root (the Gaussian exponents $M^{1/2}L^{3/2}T^{-1}$ are half-integers there), so torsion-free bookkeeping adjoins an electrical primitive as it adjoins mass; the fine-structure ratio stays a neutral count. | T | |
| 14-entr. De Sitter Entropy Estimates over Finite Holographic Substrate ¶ | |||
| 14:X3p14030 | The age coincidence $t_0H_\Lambda\approx\pi/4$ becomes the octant: $\Omega_\Lambda=\tanh^{2}(3\pi/8)=0.6837$ [ΛCDM] is an output of the realisation set, landing at $0.19\sigma$ on the fitted $0.685\pm0.007$ — never an independent measurement of $\dS$ (same-channel, X6), a zero-freedom derivation in full standing; the $(\Lambda,H_0)$ entailment at the channel-1 $\Lambda$ is this same landing read on $H_0$, not a further prediction. | T | |
| 14:X4p14031 | The congruence $\dS$ even acquires a second physical face: it is the existence of the octant sector, hence the well-definedness of the measured age — a structure of the Carrier’s cycle lattice, certified by realisation and read as an observational condition, never an arithmetic property of the numeral. | T |    master: 00:C16 |
| 14:X5p14032 | The termination of the single-object sequence is a consistency of the wall structure, the exit of C9 read as a bound: the typical-density diagonal over-closes at $1.8\times10^{8}M_\odot$ [approx] (sensitivity band $(1.4\text{--}2.8)\times10^{8}$ across fit variants), so every heavier single object continuing the condensed-density sequence is necessarily wall-bound; the supermassive holes are that continuation, not an anomaly beyond it. Classified with the triangle: consistency, not derivation of an observed scale. | T | |
| 14:X6p14033 | The celebrated sub-percent age agreement is judged: same-channel by the circularity criterion, a restatement of the fitted dark-energy fraction — consistency, not evidence — and the criterion locates exactly which confrontations do carry weight. | T | |
| 14:X7p14034 | The universe-as-black-hole puzzle dissolves: the Hubble radius sits on the black-hole line identically ($\rho_{\mathrm{BH}}(r_H)=\rho_c$ [ΛCDM]), but the Schwarzschild reading consumes an exterior, and the containment argument (A3) makes an exterior incoherent — the totality on its own horizon is the chart’s closing point, not a hole in a background. | T | |
| 14:X8p14035 | The interior completions weighed: black-hole cosmology keeps the same saturation identity by consuming a parent exterior and a singularity-replacing mechanism (torsion; exclusion pressure); the finite reading consumes neither: the containment argument (A3) closes the chart at $\Om$, and no singularity is available over a finite totality. The registered record-depth bound separates the completions empirically (P2). | T | |
| 21-grav. Gravitation as Phase Synchronisation ¶ | |||
| 21:X1p21041 | The cosmological-constant magnitude. $\Lambda\sim1/\Omega$ in Planck units is the curvature of the closed chart, the totality datum, not a vacuum energy requiring cancellation across $122$ orders. The fine-tuning problem is not solved but unasked. | T | |
| 21:X2p21042 | No dark-matter particle. The radial acceleration relation is a registration crossover of the resolution floor, not evidence for undetected mass: galactic dynamics require no dark sector beyond the floor already fixed by $\Omega$. | T | restated: 32:X11 |
| 21:X3p21043 | No horizons, no singularities, no information loss. Collapse ends in a horizonless body, operationally black at $r_f$ (C12), with an exact saturating interior profile — and information conservation is a theorem citation, not an absence claim: interior data live in offset sectors the drive confines exactly [Akhtman & Voether 2026]: the theory never forfeits predictivity. | T | master: 00:D15 |
| 21:X4p21044 | Misner’s standing objection dissolves. The exponential metric is derived, not posited as a self-coupled field equation, so the field-equation pathology Misner identified in exponential-metric gravity does not arise here. | T | Rem. 6.7 |
| 21:X5p21045 | No graviton quantisation problem. The radiative field is collective phase synchronisation, not a propagating fundamental quantum: there is no separate field left over to quantise. | T | |
| 21:X6p21046 | The large-angle microwave anomaly. The anomalously low large-angle correlation ($p\sim1\%$ [Schwarz et al. 2016]) is the signature of the wrapped chart: super-horizon modes are identified, not populated, truncating correlations beyond the horizon scale. This consonance is a number, the primordial spectrum being structural, not transported. | T | |
| 21:X7p21047 | The equivalence principle is an identity, not a postulate. | T | Cor. 4.8 |
| 21:X8p21048 | The weakness of gravity is cardinality dilution, not a hierarchy to be tuned. | T | restated: 38:X1 |
| 22-qm. Quantum Observation over Finite Substrate ¶ | |||
| 22:X1p22044 | The Born rule is a coincidence count, the unique window lift of its carrier shadow, not a postulated quadratic functional — on its stationary domain, where the weights are uniform over the fibres; non-uniform statistics are read through the engineered-core readout (C11). | T | |
| 22:X2p22045 | The complexity of amplitudes is the arithmetic of the shared quarter-turn core, the canonical complex sector $\Z[\im]$; a shell without the internal quarter-turn gives a real-amplitude theory instead. | T | |
| 22:X3p22046 | The preferred basis is the Subject’s own phase anatomy, einselected by the algebra of the frames rather than by a model of the environment. | T | |
| 22:X4p22047 | The dynamical measurement problem dissolves: collapse is the re-metrisation of a relational chart, no disturbance propagates, and distinct Subjects never disagree on what they share. | T | |
| 22:X5p22048 | The classical limit has a mechanism, containment, the divisibility of the observer’s frame, exact arithmetic rather than an appeal to a limit. | T | |
| 22:X6p22049 | Native probability over a finite substrate: the unordered-field obstruction is cleared by keeping counts in the observer’s ledger: a finite-relational provenance theorem for the Born calculus, in which the substrate determines the tally ring, the measurement family, and the readout (calibrated against the counting and cyclotomic precedents in Section 11). | T | |
| 22:X7p22050 | The Tsirelson boundary is attained as a ring identity, $S=2(\zeta_8+\zeta_8^{-1})=2\sqrt2$ [chart], so a relational finite substrate carries full quantum correlation strength, not merely quantum vocabulary. | T | master: 00:C8 |
| 22:X8p22051 | Higher-order interference is forbidden exactly: the Sorkin hierarchy is zero with a forbidden neighbourhood, not a small number to be measured down. | T | |
| 27-fld. Standard-Model Interactions over Finite Substrate ¶ | |||
| 27:X1p27024 | The gauge group $\U(1)\times\SU(2)\times\SU(3)$ is the gauging of the substrate’s three frame data, the phase, spinor, and colour frames read by the one recipe, not a product of groups chosen to fit. | T | § 5, 6, 7 |
| 27:X2p27025 | Charge quantisation is automatic: electric charge is an integer winding index, so the electron and proton charges match exactly and no fractional residue survives, with no quantisation condition imposed. | T | Prop. 5.2; fld.em1_prototype |
| 27:X3p27026 | The photon and its dynamics are forced: masslessness is drive-invariance and the exact rank-one kernel of the broken vacuum, and Maxwell is the unique adjacency-local gauge-invariant quadratic operator, neither put in by hand. | T | |
| 27:X4p27027 | The Weinberg angle is the exact rational $\sin^2\sW=3/8$ at the unification point, fixed by the charge spectrum of the realised generation (B5) with the group-theoretic step imported (A4), not a free parameter measured into the theory. | T | |
| 27:X5p27028 | The custodial relation $\rho=1$ is the rank-one identity $\det\equiv0$ forced by the spinor-doublet Higgs, not a tree-level accident. | T | |
| 27:X6p27029 | Maximal parity violation is the exact decoupling of the Frobenius branch from the drive, so the $V\!-\!A$ current is derived rather than the left-handed doublets assigned by hand. | T | |
| 27:X7p27030 | The colour sector is fixed: three colours is the minimal triality-carrying frame, confinement is the compact-group area law from positivity, and asymptotic freedom is the gluon self-coupling, not $N_c=3$ supplemented by an assumed confining phase. | T | |
| 27:X8p27031 | One complete generation is the spinor $\mathbf{16}$ of the rank-five internal frame, so its hypercharges, charges, and anomaly freedom follow and a right-handed neutrino is present, with $\SO(10)$ unification forced, rather than a hypercharge assignment whose anomaly cancellation is a coincidence; given B5, the anomaly cancellation is the imported $\SO(10)$ fact (A4) evaluated on the realised content. | T | master: 00:G12 |
| 27:X9p27032 | The interaction and generation counts are the $1+3$ split of the closed primitive-role ladder, so four forces and three families are fixed and a fifth force and a fourth generation are forbidden, not left unexplained. | T | |
| 27:X10p27033 | The Koide ratio is exactly $2/3$, the cube-root generation orbit at the self-dual quarter-turn $\rho^2=2^{-1}$, an exact value rather than an unexplained numerical coincidence. | T | Prop. 8.8; fld.koide restated: 28:X1 |
| 27:X11p27034 | The strong-CP angle vanishes with no axion: no substrate-native topological term, and Hermitian quark masses with real determinant, give $\bar\theta=0$, so the problem does not arise rather than being tuned away. | T | Prop. 8.9; fld.strongcp |
| 28-flav. Fermion Flavour Sector over Finite Substrate ¶ | |||
| 28:X2p28026 | The up-quark Koide value is $5/6$ in framed arithmetic ($0.849$ in the working scheme, $0.832$ with pole masses), the cube-root colour norm $r_u^2=N(1-\omega)=3$ against the colourless $N(1-i)=2$, a ratio where the Standard Model carries no relation at all. | T | Remark 4.5; flv.quark_amp |
| 28:X3p28027 | The flavour charges are the role depths $(0,1,2)$ of the closed primitive-role ladder, derived as the three generative roles rather than assigned to fit the hierarchy. | T | § 4.2; flv.tier_b |
| 28:X4p28028 | The Cabibbo angle is the Gatto relation $V_{us}=|\sqrt{m_d/m_s}-e^{i\varphi}\sqrt{m_u/m_c}|$ following from the role-depth texture, the leading term at $0.3\%$ and the phase $\varphi$ a kernel datum, so two otherwise-independent observables are tied rather than measured apart. | T | Proposition 4; flv.spurion |
| 28:X5p28029 | The Georgi–Jarlskog factor is the colour count $N_c=3$, the $B\!-\!L$ Clebsch of the $\overline{\mathbf{126}}$, not a texture coefficient inserted by hand; its double ratio $9$ against the measured $10.4\pm0.5$ is the open $15\%$ excess of the minimal Clebsch. | T | § 4.3; flv.tier_b |
| 28:X6p28030 | The up-sector doubling $m^u_i\sim(m^d_i)^2$ is forced by the $\mathbf{10}\cdot\mathbf{10}$ Yukawa, so the steeper up hierarchy is a consequence rather than a separate assumption. | T | Proposition 3; flv.up_doubling |
| 28:X7p28031 | The electron’s extreme lightness is the quarter-turn boundary: the lightest generation sits where the winding amplitude vanishes, massless at leading order, rather than an anomalously small Yukawa tuned by hand. | T | Proposition 6; flv.m10 |
| 28:X8p28032 | The large-lepton, small-quark mixing split is the lopsided $M_e=M_d^{\mathsf T}$: one off-diagonal feeds the invisible right-handed quark rotation and, transposed, the visible left-handed lepton rotation, so the two mixing matrices are one structure rather than two unrelated ones. | T | § 4.4 |
| 28:X9p28033 | The reactor angle is, at leading order, $\sin\theta_{13}=\sin\theta_C/\sqrt2=0.159$, quark–lepton complementarity through the quarter-turn, $7\%$ above the observed $0.149$ with no correction derived: a leading-order estimate of the mixing parameter, not a prediction. | T | § 6; flv.theta13 |
| 28:X10p28034 | Near-maximal leptonic CP is the cube-root phase: $\mathrm{Im}\,\omega=\sqrt3/2$ gives the maximal Jarlskog $J=1/(6\sqrt3)$, so the cubic reappears as CP violation rather than a free phase fitted to data. | T | § 6; flv.pmns_cp |
| 28:X11p28035 | The neutrino spectrum (a near-massless lightest state, $\sum m_\nu\simeq59\,$meV on the normal branch) follows from colourlessness fixing $Q_\nu=2/3$, the transpose fixed point under the alignment $M_R\propto m_D$ (Y1) and the boundary branch that selects the ordering (B6), rather than three independent neutrino masses. | T | |
| 29-fin. The Undeclared Posit of Potential Infinity ¶ | |||
| 29:X1p29026 | “One can always continue” is derived, not posited: in a buffered finite frame every act on a reachable object succeeds and no enumeration below the horizon is exhausted (C8), while no check witnesses an end (C6, C7). Rests on C2, C6–C8. | T | |
| 29:X2p29027 | The finite ontology loses no proof practice: induction is a theorem of every finite frame (B6) and every executed verification is a bounded instance (E2). Rests on B6, E2. | T | |
| 32-dark. The Dark Sector over Finite Substrate ¶ | |||
| 32:X1p32027 | Newton’s inverse-square law and the equivalence principle follow from the discrete Gauss law of the synchronisation flux, the acceleration of a test cluster independent of its mass and composition. | T | Prop. 1; dark.flux_exact master: 00:E3 |
| 32:X2p32028 | The acceleration scale $\az=c\Hzero/2\pi$ is the phase-coherence threshold, the acceleration whose winding frequency reaches the drive’s cyclic rate, the $2\pi$ the radian-to-cycle conversion of the angular Hubble rate, parameter-free, $13\%$ below the fitted value at the entailed $\Hzero$. | T | Eq. (2); dark.deep_mond |
| 32:X3p32029 | Flat rotation curves and the baryonic Tully–Fisher relation $v^{4}=GM\az$ are the deep-regime geometric mean $\geff=\sqrt{\gb\az}$, the amplitude reading of the field below the floor. | T | Eq. (4); dark.deep_mond |
| 32:X4p32030 | The radial acceleration relation carries no fitted function: its interpolation is the finite first-passage registration given one declared identification, the amplitude barrier (B8), and it is the curve the data selected. | T | |
| 32:X5p32031 | The relation is tight, its intrinsic scatter ($0.04$ dex at the knee, SPARC at fixed $\az$) smallest at high acceleration and rising as $x^{-1/4}$ into the deep regime, the spread of the collective phase. | T | Eq. (9); dark.rar_scatter |
| 32:X6p32032 | The external-field effect breaks the strong equivalence principle, the internal dynamics depending on the total field through the registration. | T | Eq. (10) |
| 32:X7p32033 | The merging-cluster lensing offset is a selection: the coherence-weighted enhancement follows the collisionless galaxies and drops the shock-decohered gas ($C_{ij}\to0$), not a coincidence. | T | |
| 32:X8p32034 | The cluster-core residual is referred to the coherent amplitude addition $\sqrt{N_{\mathrm{eff}}}$ over the core’s separately virialised composites, the one law that also gives the merger selection (C10); the quantitative closure, with $N_{\mathrm{eff}}$ uncomputed, is the conjecture Y1. | T | |
| 32:X10p32036 | The dark-matter and dark-energy scales coincide because both are readings of the one cardinality $\Om$, the floor $\az=c\Hzero/2\pi$ and the curvature $\Lambda\sim1/\Om$ fixed together. | T | § 7.1 |
| 35-hadr. Ground-State Light Hadron Spectroscopy over Finite Substrate ¶ | |||
| 35:X1p35038 | The baryon is three quarks because the only colourless escape from the gluon residue $0$ is the determinant $\Lambda^N=\det$, which requires exactly $N=3$. | T | Prop. 2; had.carrier_residue |
| 35:X2p35039 | The baryon is colour-neutral as the centre-neutral, triality-$0$ invariant $\varepsilon_{abc}$ of the triality frame, a derived singlet. | T | Prop. 1; had.su3_singlet |
| 35:X3p35040 | Baryon number is the Carrier residue $1$, the determinant winding, so its conservation is the invariance of $\Lambda^3$, on the same footing as the photon residue $2$ and the gluon residue $0$. | T | § 3.2; had.carrier_residue |
| 35:X4p35041 | The Gell-Mann–Okubo relation is exact, the scale-cancelling identity $2N+2\Xi-3\Lambda-\Sigma=0$ of linear flavour breaking, a derived sum rule. | T | Prop. 3; had.su3f_relations |
| 35:X5p35042 | The decuplet is equally spaced because the strange seed enters the wrap additively. | T | Prop. 4; had.su3f_relations |
| 35:X6p35043 | The decuplet is heavier than the octet by the colour-magnetic curvature invariant, the colour factor $-8$ times the spin $\half S(S+1)-\tfrac98$, a derived sign and pattern. | T | Prop. 6; had.hyperfine_charsum |
| 35:X7p35044 | The proton is stable as the minimal-wrap residue-$1$ state, with no lighter $B=1$ residue to reach. | T | § 3.2; had.carrier_residue |
| 35:X8p35045 | The neutron is heavier than the proton because the $d-u$ seed exceeds the charge-squared electromagnetic term ($\sum Q^2=1$ for $p$, $\tfrac23$ for $n$), a derived ordering. | T | § 3.5; had.isospin_cottingham |
| 35:X9p35046 | $\Sigma$ is heavier than $\Lambda$ by the spin-$1$ versus spin-$0$ light-pair hyperfine, a derived splitting of two states of identical quark content. | T | § 3.5; had.isospin_cottingham |
| 35:X10p35047 | The isospin splittings obey Coleman–Glashow exactly at one body, $(n{-}p)+(\Xi^-{-}\Xi^0)=\Sigma^-{-}\Sigma^+$, a derived identity. | T | Prop. 8; had.isospin_cottingham |
| 35:X11p35048 | The heavy baryons follow heavy-quark symmetry, $M_{\Lambda_b}-M_{\Lambda_c}=M_B-M_D$ by spin decoupling, so the baryon and meson heavy-mass differences are one quantity. | T | Prop. 9; had.heavy_flavour |
| 35:X12p35049 | The vector mesons equally space, $2M_{K^{*}}=M_\rho+M_\phi$, the meson residue $1$ ($B=0$) on the same frame and scale as the baryons. | T | Prop. 15; had.vector_nonet |
| 35:X13p35050 | The spectrum rests on one scale, $\sqrt\sigma=\LQCD$, the lone $\Om$-hard residue; every dimensionless mass ratio is a sub-horizon eigenvalue. | T | |
| 38-s13. Exact Quantum Dynamics on (13,233) ¶ | |||
| 38:X2p38047 | The continuum is the large-capacity look: what changes with capacity is resolution, not structure; the instance stands to the physical pair as exact instantiation, every structural theorem holding verbatim at $\dS\approx10^{122}$ by the $\Om$-blindness license (§ 9.1): the theorems of § 4 consume no numeral of $\dS$ or $\kap$. | T | § 4, § 9.1 |
| 38:X4p38051 | The shell is holographic: a Subject’s frame datum is one projective direction, one shell cell, one drive phase, and the bulk frame is that boundary datum with nothing left over (Theorem 12; the realisation reading and its falsifier, Reading 13). | T | master: 00:C22 |
Nothing matches that filter.
Status
- T
- Explicability dividend. A fact the standard account postulates, fits or leaves unexplained that the construction derives; each predicate is a theorem of its paper (T), the derivation cited in its source cell.
Sources
- The witnesses. Gold: the python check that decides the predicate, at its line in the script. Green: the predicate as one Lean declaration in the core, named by its accession key, proved with no axioms. Violet: the same on Mathlib. Red: a check that fails or a proof the gate rejects.
- section
- The statement in its paper that carries the dividend; for a master predicate, the papers that state it.
- rests on
- The predicates it rests on, by label.
- master
- The master-ledger predicates that carry the dividend.
- restated
- Later papers stating the same dividend, listed here once, at its first appearance.