2026-07-22 (II) ( v513 — the [formula in source] negative certificate, promoted as the ledger row CELEST.DTERM.NONDERIV.01 (anti-numerology certificate in the v508 style, honest rigid NEGATIVE result): can geometry derive [formula in source] ? NO — the v511 \ fence `` [formula in source] '' does NOT survive the honest four-route battery with its PRE-DECLARED look-elsewhere ledger: (1) the CONVENTION TABLE gives [formula in source] across five normalisations (probe tr-fund/ [formula in source] -Killing; Gell-Mann; [formula in source] -Killing; plain trace; ch [formula in source] -normalised [formula in source] ) — only [formula in source] of [formula in source] hits [formula in source] , while the convention-STABLE content is the factorisation [formula in source] , both factors \ (Killing propagator [formula in source] from [formula in source] over the actual roots; [formula in source] -slot fixing via [formula in source] ); (2) K1 DEAD: the charge-legal flux pairings [formula in source] give [formula in source] — they BRACKET [formula in source] and both MISS; the only flux hit [formula in source] is the FORBIDDEN [formula in source] pairing (charge [formula in source] , v511 innerness); look-elsewhere: [formula in source] expressions from [formula in source] \ numbers, [formula in source] hits on [formula in source] , controls [formula in source] , [formula in source] , [formula in source] ; (3) K2: quantisation delivers only lattices ( [formula in source] with [formula in source] the [formula in source] nd multiple, no minimality; strict ch [formula in source] units [formula in source] EXCLUDE [formula in source] ); the cubic quantum is lattice-dependent ( [formula in source] on coroots, [formula in source] on weights), the integer [formula in source] has [formula in source] factorisations; (4) K3 PROVENANCE CLASH (the death blow): cubic indices [formula in source] with [formula in source] numerically [formula in source] — but the quartic class decomposition [formula in source] comes from classes [formula in source] vs the cubic [formula in source] from classes [formula in source] : same number, disjoint mechanism [formula in source] coincidence; the Weyl side is WRONG ( [formula in source] -channel is [formula in source] , [formula in source] ; [formula in source] has no cubic; [formula in source] a second accidental [formula in source] ); (5) K4 controls ( [formula in source] , [formula in source] doubling [formula in source] , false [formula in source] with six cubics, [formula in source] ) separate consistently; VERDICT: NUMEROLOGY as a derivation claim — the v511 \ fence stays a fence, now typed look-elsewhere-loaded; the honest \ core is [formula in source] ; Wolfram extension [formula in source] (verified engine run); NO marker moves — the fence stays , the physical generation of the [formula in source] stays , CELEST.SEAM.01 stays Open)
Research changelog · TFPT — Introduction and reading guide
v513_celestial_dterm_nonderivation.py ( CELEST.DTERM.NONDERIV.01, 24 checks, [formula in source] 2 s; exact sympy/Fraction, no floats; deterministic). N0 baseline ( [formula in source] roots [formula in source] , [formula in source] , [formula in source] two routes, [formula in source] pinned by the [formula in source] slot alone); N1 convention table [formula in source] the stable factorisation [formula in source] ;
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/005-source.tex · lines 37 to 68
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation tfpt_readouts_extension.wl
literal source filename/path in TeX
- explicit script identifier v511_celestial_wp5e_delta2_tensor_ledger.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v513_celestial_dterm_nonderivation.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation run_all.py
literal source filename/path in TeX
- explicit file citation script_registry.csv
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v508_celestial_wp5e_gamma_pairing.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation next.txt
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v513_celestial_dterm_nonderivation.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred