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
| # | Prediction | Status | Sources |
|---|---|---|---|
| 00. The master ledger ¶ | |||
| 00:P1p00133 | The running floor: the shape a₀(z) ∝ H(z)The acceleration floor tracks the drive rate, $a_0(z)\propto H(z)$: a relation, $\Om$-blind, derived from L1 under the gravity realisation (D5); the knee shifts and the Tully–Fisher zero-point evolves as $E(z)^{1/4}$. Falsifier: a floor constant in redshift, or tracking other than $H(z)$. Confrontation (43-muse): MUSE-DARK III excludes a constant floor to $z=1.3$; RC100 implies the local floor by $z\simeq2$, pending refit. | T | |
| 00:P2p00061 | The coherent-fraction channelEqual force, unequal entanglement (D5): sources gravitate by full masses; synchronised cross-source pairs carry the conditional phase $f_1f_2\varphi_N$, spread pairs imprint which-branch data, the incoherent channel separable at generic geometry ($C=0$ at $f=0$); $f=m_c/m$ microscopic. The discriminator is the calibrated conditional phase rate at fixed centre-of-mass superposition. Falsifier: a calibrated conditional phase rate off $f_1f_2\varphi_N$. Confrontation: none, filed before data. | T | |
| 00:P3p00180 | Flavour (targets): the Georgi–Jarlskog double ratio $9$; the locks of G17 read in the $\overline{\mathrm{MS}}$ scheme; the $m_1{=}0$ floor, $\sum m_\nu=58.8$ meV at NuFIT 6.0, on the boundary-branch realisation (28:B6). Falsifier: inverted ordering, a degenerate spectrum, or $\sum m_\nu$ off $58.8$ meV beyond the fit’s tolerance. Confrontation: the data give $10.4\pm0.5$, an open $15\%$ tension (28:X5). | T | |
| 00:P4p00091 | Exclusion predictionsNo fourth generation, no fifth force, an empty desert, no TeV supersymmetry, no new dark-matter particle, no beyond-SM $(g{-}2)_\mu$, and the proton effectively stable ($\tau_p\gtrsim10^{45}$ yr; G9). Entailed by the closed ladder of the rank-five frame ($\dim\Lambda^{\mathrm{even}}=16$, D6), given the role-to-matter realisation (27:B6, 27:C10) and completeness (A3). Falsifier: any excluded object observed. Confrontation: none observed. | T | |
| 10-dim. Dimensional Analysis over Finite Holographic Substrate ¶ | |||
| 10:P1p10053 | The resolution floor, staked: no single coherent registration resolves finer than $\Om^{-1/4}$, of the order of $10^{-31}$, and no coherent count exceeds $\Om^{1/4}\approx6\times10^{30}$ (G5 over A2, A5, B1; the holographic reading of Rem. 1). Falsifier: one coherent registration finer than that. Confrontation: the finest interspecies frequency ratio, $3.2\times10^{-18}$ [Aeppli & others 2025], and the finest differential comparison, $7.6\times10^{-21}$ [Bothwell et al. 2022] — $67$ bits against $102$, averaged determinations; the mass-independent clock bound $(t_P^{2}t)^{1/3}$ permits finer beyond $730$ s. | T |   |
| 10:P2p10054 | Constancy, staked: every dimensionless ratio of the constants is fixed in time and position, zero drift, zero dipole — the totality timeless (B1), every constant a residue of it in the framework’s realisation (A1; the quartet’s, E1, E6; the charge’s, Rem. 21), the quartet’s fixed by the congruences given $\dS$ (E4), selected once (E7). Falsifier: a detected variation (E1’s). Confrontation: $\dot\alpha/\alpha=1.8(2.5)\times10^{-19}\,\mathrm{yr}^{-1}$ [Filzinger et al. 2023], consistent with zero. | T | |
| 14-entr. De Sitter Entropy Estimates over Finite Holographic Substrate ¶ | |||
| 14:P2p14037 | The registered record depth is bounded by $(\pi/4)\,r_H/c=13.79$ Gyr [approx] (channel-1 anchor) at every observational frame chronon, against a $\Lambda$CDM $t_0$ that grows with chart time: degenerate to $0.2\%$ now, separating at ${\sim}7\%$ per Gyr; the octant carries zero parameter freedom at fixed $\Lambda$. Status [Valcin et al. 2026]: the oldest cluster population $0.5\sigma$ below the bound, the inferred age straddling it within $0.1\sigma$ (§ 3.5). Falsifier: one well-dated object older than the octant value, in any frame — fit-independent, fatal; the same bound excludes interior-bounce black-hole cosmology (X8). | T | master: 00:L3 |
| 14:P3p14038 | The age–rate locus $t_{\mathrm{age}}H_0=(\pi/4)/\tanh(3\pi/8)=0.950$, exact for the realisation set. Read on the fit-independent stellar age ($13.61\pm0.34$ Gyr): $H_0=68.2\pm1.7$ km/s/Mpc [approx], $0.5\sigma$ from Planck, $0.65\sigma$ from TRGB, $2.4\sigma$ from the Cepheid ladder — the framework favours the CMB/TRGB value at that significance, and forbids the $\Omega_\Lambda\approx0.76$ by which the rival chart would accommodate the ladder value at the same age. Read on the channel-1 $\Lambda$ it returns the channel-1 $H_0$ (to $0.1\%$): a consistency, not a prediction (C8). Falsifier: a confirmed ladder $H_0$ with the stellar age standing ($t_\star H_0\ge1.0$ against $0.950$). | T | master: 00:L3 |
| 14:P4p14039 | (Lead.) The dark-energy equation of state is rigid: $\Lambda$ is the curvature face of the fixed cardinality, constant, its effective-fluid reading $w=-1$ exactly with no $w_0w_a$ freedom; the fluid statement consumes the conservation-law correspondence and the single-component clause (B8). Status: DESI-era combined fits prefer evolving dark energy at $3$–$4.2\sigma$ [DESI Collaboration 2025], contested by reanalyses (§ 3). Falsifier: confirmed evolution of $w$, which kills $\Lambda\sim1/\Om$ outright and exposes P2 through $\Lambda$. | T | master: 00:L3 |
| 21-grav. Gravitation as Phase Synchronisation ¶ | |||
| 21:P1p21049 | Strong-field signatures at or outside the photon sphere: shadow $+4.6\%$, eikonal ringdown $-4.4\%$ (the $(2,2,0)$ reading open, GW250114 the exposure; master E13, E14), ISCO frequency $-6.9\%$ with accretion efficiency $5.48\%$ (against $5.72\%$): one origin, jointly falsifiable, conditional on Theorem 6.5's inputs alone. | T | master: 00:E14 |
| 21:P2p21051 | Preferred-frame effects at $O(1/\sqrt\Omega)=O(10^{-62})$ ($3\times10^{-62}$ at $\Omega=1.3\times10^{123}$): the drive’s in-principle signature, far below current $10^{-5}$ bounds. | T | |
| 21:P3p21052 | The weak-acceleration floor $a_0=cH_0/2\pi=1.04\times10^{-10}\,\mathrm{m\,s^{-2}}$ at the entailed $H_0=67.4$ [Akhtman & Voether 2026], against the fitted $1.20\pm0.24\times10^{-10}$: $13\%$ low, $0.7\sigma$ of the systematic-dominated error, no free parameter; the $2\pi$ the dictionary’s full cycle (14:B2), the one-cycle-per-period threshold the realisation 32:B3 with its discrete falsifier. | T | master: 00:L1 restated: 38:P1 |
| 21:P4p21053 | The radial acceleration relation, $g_{\mathrm{obs}}=g_N/(1-e^{-\sqrt{g_N/a_0}})$, no fitted function beyond the barrier identification (B9), the form the data selected across the four observed acceleration decades, its approach to Newton the discriminant ($0.05$ at $g_N\approx5a_0$ against the simple rational interpolant); the deep limit gives the baryonic Tully–Fisher relation $v^4=GMa_0$. | T | |
| 21:P6p21055 | The 2PN periastron excess $\delta\dot\omega/\dot\omega\approx1.5\times10^{-6}$ for PSR J0737$-$3039, today degenerate with the mass refit; decisive either way once an independent observable fixes $M_{\mathrm{tot}}$ at $10^{-6}$. Independent of the coherent-fraction falsifier of [Akhtman & Voether 2026]; the ledger carries both. | T | |
| 21:P7p21050 | Floor-surface signatures: no prompt echoes (the exact profile horizonless with no reflecting surface, C12; the round-trip delay to $r_f$ carrying $e^{2u(r_f)}=\Omega$) and no evaporation bursts; a reported echo detection at the stated precision falsifies the construction. | T | |
| 21:P8p21060 | The primordial tilt $n_s-1=-\pi^{2}/\ln\Omega=-0.0348$ [approx] at $\ln\Omega=283.5$ (the master’s scale import), against Planck 2018 $-0.0351\pm0.0042$ ($+0.07\sigma$); $0.24\%$ per factor two in $S$; the neighbouring count $\tfrac12\ln\Omega$ excluded at $8.2\sigma$. | T | master: 00:L8 |
| 22-qm. Quantum Observation over Finite Substrate ¶ | |||
| 22:P1p22052 | Gravitationally induced entanglement at exactly the Newtonian rate [chart], $V^2+C^2=1$ on the pure channel: equal force but unequal entanglement — a source gravitates by its full mass while the systematic conditional phase, the calibrated discriminator, is carried by the coherent sectors alone, the fully incoherent channel separable at generic (nondegenerate) geometry. The one dated forward prediction. | T | |
| 22:P2p22053 | Third-order interference exactly zero at every accessible scale, any wrap quantised to a multiple of $\Omega$: a single confirmed small $I_3\neq0$ falsifies outright. | T | |
| 22:P3p22054 | The Tsirelson value $S=2\sqrt2$ exact [chart] and the network behaviour of complex (not real) quantum theory: vacuum dispersion, $S\neq2\sqrt2$, or non-quantum network behaviour each falsify. | T | |
| 22:P4p22055 | No vacuum dispersion at any sub-horizon order (the finite double cover accumulates nothing): the gamma-ray-burst time-of-flight bounds leave the framework untouched. | T | master: 00:C20 |
| 22:P5p22056 | Quantum computation succeeds as standard quantum mechanics prescribes at every accessible depth; the first deviation, if any, is quantised at the unit-core ceiling $k^*=408$ ($204$ for $\sqrt\Omega$) [chart], not gradual. | T | |
| 27-fld. Standard-Model Interactions over Finite Substrate ¶ | |||
| 27:P1p27035 | No fourth generation and no fifth interaction [forced]. The role ladder closes, the fifth step returns to counting, and the Carrier is the entire substrate, so a fourth chiral family and a fifth fundamental force are forbidden, not merely absent (Tier 4). Falsifier: any fourth-generation fermion, or any new fundamental interaction. | T | master: 00:P4 |
| 27:P2p27036 | A desert to the substrate scale [forced]. The gauge group is exactly $\SU(3)\times\SU(2)\times\U(1)$ until the substrate resolves the colour–isospin split; no new gauge boson, vector-like fermion, or extra scalar lies between the electroweak and substrate ($\sim10^{16}$–$10^{19}\,$GeV) scales. Falsifier: a $Z'$, $W'$, leptoquark, second Higgs doublet, or compositeness signature at the LHC or a future collider. This is the sharpest divergence from supersymmetry, extra dimensions, and composite-Higgs scenarios. | T | master: 00:P4 |
| 27:P3p27037 | No TeV supersymmetry [forced]. The ${\sim}13\%$ three-coupling near-miss is closed by the $X,Y$ completion at the substrate scale, with the running carried by purely Standard-Model content; there are no superpartners enforcing exact low-scale unification. Falsifier: discovery of superpartners, or evidence that unification demands TeV-scale thresholds. | T | master: 00:P4 |
| 27:P4p27038 | The proton is effectively stable, $\tau_p\gtrsim10^{45}\,$yr [forced]. The $X,Y$ leptoquarks acquire mass at the substrate scale, not at $\sim10^{16}\,$GeV, so $\tau_p\sim M_X^4/(\al_{\mathrm{GUT}}^2 m_p^5)$ reaches $10^{45}$–$10^{47}\,$yr for $M_X$ near the Planck scale, orders beyond the $\sim10^{36}\,$yr of supersymmetric $\SO(10)$ and the $\sim10^{35}\,$yr reach of Hyper-Kamiokande. Falsifier: observation of $p\to e^+\pi^0$ near $10^{34}$–$10^{35}\,$yr in Hyper-Kamiokande, DUNE, or JUNO, against the current bound [superk2017]. The programme predicts these searches find nothing. | T | master: 00:P4 restated: 35:P4 |
| 27:P5p27039 | Majorana neutrinos, heavy singlets, no light sterile neutrino [sector]. The $\nu^c$ is the gauge-singlet $\Lam^0$ of the generation, so it takes a Majorana mass at unification and drives the seesaw, the three right-handed states sitting at $\sim10^{14}$–$10^{15}\,$GeV. Falsifier: a confirmed eV-scale sterile neutrino, or evidence that the light neutrinos are Dirac. This diverges from Dirac-neutrino and sterile-neutrino interpretations and is consistent with $N_{\mathrm{eff}}=3$. | T | |
| 27:P6p27040 | No new particle of dark matter [sector]. The matter content is exactly one Standard-Model generation, triplicated, with heavy $\nu^c$; the construction contains no weakly-interacting massive particle and no axion. Falsifier: a positive signal in a direct-detection (LZ, XENONnT) or axion (ADMX) experiment. Dark matter, if not a Standard-Model state, must then reside in the gravitational/substrate sector, a residual burden of the programme. | T | master: 00:P4 |
| 27:P7p27041 | No new-physics contribution to the muon anomaly [sector]. With no states beyond the Standard Model, $(g-2)_\mu$ must be accounted for by Standard-Model (notably hadronic) contributions. Falsifier: a robustly established beyond-Standard-Model excess; the current lattice and experimental trend toward the Standard-Model value favours this prediction. | T | master: 00:P4 |
| 27:P8p27042 | The charged-lepton Koide relation is exactly $2/3$ [structural]: $(m_e+m_\mu+m_\tau)/(\sqrt{m_e}+\sqrt{m_\mu}+\sqrt{m_\tau})^2=2/3$, empirically to one part in $10^{5}$, is the cube-root generation orbit at the self-dual value $\rho^2=2^{-1}$ — $Q=\tfrac13+\tfrac23\rho^2$ exact, $\rho^2$ the quarter-turn ($4\mid\Omega-1$) self-dual amplitude on the cubic ($3\mid\Omega+1$) plane. Form and value derived; the selection of the mass vector onto that orientation is the $\Omega$-hard flavour residual (28:Z1). Falsifier: a measured $Q$ displaced from $2/3$ beyond the per-mille winding-phase corrections. | T | master: 00:G16 restated: 28:P1 |
| 27:P9p27043 | Vanishing strong-CP angle without an axion [structural]. The QCD vacuum angle vanishes on the substrate, $\bar\theta=0$ with no axion: the colour action carries no topological term and colour is drive-invariant, so the bare $\theta=0$, and the Hermitian quark mass matrices have real determinant, so $\arg\det M_q=0$, while the Cabibbo–Kobayashi–Maskawa phase sits in the up–down misalignment. Falsifier: a neutron electric dipole moment above the QCD floor, or a discovered axion. | T | master: 00:G7 |
| 28-flav. Fermion Flavour Sector over Finite Substrate ¶ | |||
| 28:P2p28037 | Up-quark Koide $Q_u=5/6$ in framed arithmetic, $r_u^2=N(1-\omega)=3$; continuum $0.849$ in the working scheme, $0.832$ with pole masses, band $0.83$–$0.89$. Falsifier: up/charm/top masses moving $Q_u$ outside the band in every standard scheme. | T | master: 00:G17 |
| 28:P3p28038 | Cabibbo $V_{us}=|\sqrt{m_d/m_s}-e^{i\varphi}\sqrt{m_u/m_c}|$: leading term $0.224^{+0.011}_{-0.004}$ vs $0.2243$ ($0.3\%$), the up term $\pm0.04$ with $\varphi$ open. Falsifier: no $\varphi$ satisfying the relation within the input band. | T | |
| 28:P5p28039 | Normal neutrino ordering, from $Q_\nu=2/3$, the two $\Delta m^2$ and the boundary branch (B6); the signed circulant solves both orderings (C11b). Falsifier: inverted ordering. | T | |
| 28:P6p28040 | Mass-sum floor $\sum m_\nu=58.7$ meV ($m_1{\simeq}0$, $m_2{\simeq}8.6$, $m_3{\simeq}50$ meV; $58.8$ at NuFIT 6.0), the $m_1=0$ normal-ordering floor. Falsifier: a cosmological $\sum m_\nu<0.058$ eV. | T | master: 00:P3 |
| 28:P7p28041 | Effective Majorana mass $m_{\beta\beta}{\simeq}1.5$–$3.7$ meV (NO, $m_1{\simeq}0$, circulant phase). Falsifier: a $0\nu\beta\beta$ signal at the inverted scale $15$–$50$ meV. | T | |
| 28:P8p28042 | Leptonic CP locked to the octant by (8): $\delta_{\mathrm{CP}}\in(204^\circ,310^\circ)$ over the $3\sigma$ $\theta_{23}$ range, $\pm124^\circ$/$\pm74^\circ$ at the NuFIT 6.0 best fits, $\sin\delta_{\mathrm{CP}}{<}0$, $J=1/(6\sqrt3)$. Falsifier: CP-conserving $\delta_{\mathrm{CP}}$, $\sin\delta_{\mathrm{CP}}{>}0$, or $(\theta_{23},\delta_{\mathrm{CP}})$ off the relation. | T | |
| 32-dark. The Dark Sector over Finite Substrate ¶ | |||
| 32:P2p32039 | The scatter is the two-variable form $\sigma=(2\tan\alpha/\ln10)\,\delta\alpha$, vanishing for cold high-$x$ systems and rising as $x^{-1/4}$; SPARC at fixed $\az$: intrinsic $0.038$ dex overall, $0.04$ at the knee, $0.13$ at $x\simeq0.02$, bounding $\delta\alpha\lesssim3.5^{\circ}$. Falsifier: a deep-regime intrinsic scatter that does not rise, or a measured collective spread the scatter does not track. | T | |
| 32:P3p32040 | Wide binaries ($\gtrsim10$ kAU) follow $\gb/(1-e^{-\sqrt{x}})$ with the global $\az$ and the vector Galactic field $\gext\simeq1.8\az$: a $10$–$30\%$ velocity enhancement ($12$–$16\%$ at $10$–$40$ kAU on the collinear estimate), the exponential knee distinct from Newtonian and rational forms. Falsifier: Newtonian wide-binary motion, or a knee of the wrong shape. | T | |
| 32:P4p32041 | Pressure-supported systems (ellipticals, dSphs, UDGs) lie below the cold-disk relation by the coherence factor $\sqrt{w}$, $w=1/(1+(\sigma_v/v)^{2})$, by $0.05$–$0.15$ dex for $\sigma_v/v=0.5$–$1$, correlating with $\sigma_v/v$. Falsifier: pressure-supported systems on the cold-disk relation. | T | |
| 32:P5p32042 | Coherence-state cluster gas: the X-ray gas gravitates only when bulk-coherent, contributing in a relaxed cluster ($C_{ij}\to1$) and dropping out of a merger ($C_{ij}\to0$), the lensing displacement growing with the shock Mach number; the quantitative core residual of the same law is the conjecture Y1. Falsifier: a merger lensing peak tracking the shocked gas, or no relaxed-versus-merging difference. | T | |
| 32:P6p32043 | A global, isotropic scale and no dark substructure: the floor is the global drive rate, identical in every direction and environment once the external-field correction is made; no new dark-matter state and no dark subhaloes, so stream perturbations and the satellite abundance trace baryons alone. Falsifier: a directional or density dependence of $\az$ beyond the external-field effect, or stream gaps and substructure lensing with no baryonic counterpart. | T | master: 00:P4 |
| 35-hadr. Ground-State Light Hadron Spectroscopy over Finite Substrate ¶ | |||
| 35:P1p35051 | Gell-Mann–Okubo exact at leading order; PDG $0.57\%$, the bounded $\chi_3^2$ second order. Falsifier: a violation beyond the second-order insertion. | T | |
| 35:P2p35052 | Decuplet equal spacing exact; PDG $9.2\%$ spread, $\beta\simeq146.8$ MeV, the same second order. Falsifier: a non-equal spacing beyond it. | T | |
| 35:P3p35053 | The hyperfine pattern $g_{\mathrm{spin}}=\half S(S+1)-\tfrac98$, octet $-\tfrac34$, decuplet $+\tfrac34$, separation $\tfrac32A_{\mathrm{light}}$ with $A_{\mathrm{light}}\simeq195$ MeV. Falsifier: a spin splitting outside this pattern. | T | |
| 35:P5p35055 | No exotic light multiplets beyond the $\mathbf 8$ and $\mathbf{10}$ at leading wrap order. Falsifier: a confirmed light baryon outside the $\mathbf 8$ and $\mathbf{10}$ at the wrap scale. | T | |
| 35:P6p35056 | Coleman–Glashow exact at one body; PDG $0.79\%$, the residual the two-body electromagnetic term; the orderings $M_n>M_p$ and $M_\Sigma>M_\Lambda$ fixed. Falsifier: a Coleman–Glashow violation beyond the two-body term. | T | |
| 35:P7p35057 | Heavy-quark symmetry $M_{\Lambda_b}-M_{\Lambda_c}=M_B-M_D$ ($2.4\%$) and the $1/m_Q$ hyperfine ratio $(M_{\Sigma_c^{*}}-M_{\Sigma_c})/(M_{\Sigma^{*}}-M_{\Sigma})\simeq m_s/m_c$. Falsifier: a heavy-baryon spectrum off the spin-decoupled, $1/m_Q$-scaled pattern. | T | |
| 35:P8p35058 | Second-order decuplet relation (7), the vanishing third difference; PDG $6$ MeV ($0.36\%$). Falsifier: a third difference beyond the few-MeV third-order scale. | T | |
| 35:P9p35059 | Vector-meson nonet equal spacing $2M_{K^{*}}=M_\rho+M_\phi$ (PDG $0.42\%$) and ideal mixing $M_\omega\simeq M_\rho$; $\rho,\phi$ anchor, $K^{*},\omega$ predicted $<1\%$; the pseudoscalars are Goldstone bosons (a distinct chiral mechanism). Falsifier: a vector nonet off the linear-strangeness pattern. | T | |
| 35:P10p35060 | Absolute octet$+$decuplet spectrum from the $\Om$-hard scale $\sig$ and three sub-horizon eigenvalues ($\lambda_l$, $m_s/m_l$, $\lambda_{\mathrm{hf}}$, the two constituent ratios computed forward, C19): five parameter-free predictions within $1.1\%$ (Table A3) and three sub-horizon eigenvalues ($ _l=m_l/ $, $m_s/m_l$, $ _{ {hf (tab:absolute), p. 10">2). Falsifier: a predicted mass off beyond the traced second order. | T | |
| 35:P11p35061 | The $\Lambda$–$N$ gap is the strange constituent excess, $M_\Lambda-M_N=m_s-m_l=176.8$ MeV, hyperfine- and scale-free (10). Falsifier: a gap inconsistent with the strange seed and the $\Xi,\Sigma$ splittings. | T | |
Nothing matches that filter.
Status
- T
- Prediction. A theorem of its paper, or of the master, that names the realisations it consumes, stated with its falsifier and its present confrontation; a refuted confrontation fires the falsifier of the realisation it consumes, and a prediction that consumes none sends its derivation back for re-examination.
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 prediction; 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 prediction.
- restated
- Later papers stating the same prediction, listed here once, at its first appearance.