=150 2026-07-22 (X) ( v520 — the WP5e BCOV measure question DECIDED at probe level and promoted as the ledger row CELEST.WP5E.MEASURE.01: ``single-valuedness is derived, the completion reading wins'' — the [formula in source] consolidation in the v518 style, ERFOLG-A on the preregistered decision layer (the celestial/twistor story in tfpt_3 gains Step 21): which of the two exact, contradictory measures on [formula in source] is the true BCOV measure — (A) the DECLARED completion reading ( v516) or (B) the DERIVED chiral measure ( v518)? — (1) the INVARIANT SUBSPACE : [formula in source] in the dressed [formula in source] -component Weil system (exact rational nullspace); EVERY kernel vector lies in the [formula in source] -span of [formula in source] — the two Lagrangian gluings, both theta [formula in source] , level-1 quartic [formula in source] the UNPHASED trace; strict trivial-character solutions at physical weight [formula in source] : ZERO for every dressing ( [formula in source] combinations); (2) SOURCE 1 — the F-LEMMA : the only strict chiral families are [formula in source] (dims [formula in source] ) and [formula in source] (dims [formula in source] ), both with nontrivial [formula in source] -character EXACTLY; the canonical column-matched member obeys [formula in source] pointwise (certificate [formula in source] , [formula in source] ); EXACT change of variables [formula in source] fundamental-domain independence forces [formula in source] for EVERY chiral integrand: the v518 route was never a well-defined nonvanishing moduli integral (the kill is SHARPENED — its unfolded values are convention bookkeeping); (3) SOURCE 2 — the QUILLEN PAIRING : [formula in source] on all [formula in source] pairs and both generators; [formula in source] exactly vs one-sided [formula in source] ( [formula in source] -fixed: [formula in source] , [formula in source] defective); the doubled [formula in source] -dim hol [formula in source] antihol system closes STRICTLY at trivial character and physical weight (nullspaces [formula in source] ), contains the unphased diagonal ( [formula in source] ) AND the physical columns [formula in source] ( [formula in source] [formula in source] ); negative control hol [formula in source] hol: EMPTY nullspace [formula in source] ; (4) the CONSISTENCY CLOSURE : the forced unphased numerator in the v518 scaffold reproduces [formula in source] EXACTLY on every level [formula in source] ; [formula in source] -weighted spreads [formula in source] , [formula in source] , zero negative cells; [formula in source] — the [formula in source] -weighted mirror image of [formula in source] / [formula in source] ; linearity [formula in source] : the circle to v516 is CLOSED; (5) D3 — the [formula in source] /EH ANCHOR : only the declared reading hits ( [formula in source] , [formula in source] , scale tooth [formula in source] ); all three derived instantiations fail (spreads [formula in source] , [formula in source] sign wrong); (6) D1 — COLUMN CANONICALISATION : the physical AB column [formula in source] is contained EXACTLY in the [formula in source] family ( [formula in source] [formula in source] , one scalar per orbit — canonicalising [formula in source] ); the canonical member STILL fails every tester; NEGATIVE CONTROLS: [formula in source] ( [formula in source] / [formula in source] exact, [formula in source] -only), wrong form ( [formula in source] ), wrong weight (dev [formula in source] ), shuffle ( [formula in source] / [formula in source] ), planted family detected ( [formula in source] ), hol [formula in source] hol empty; \ TYPED PREMISES (the mandatory fence): TP-1 (F-independent moduli integral), TP-2 (nonvanishing — must source [formula in source] ), TP-3 ( v518 kernel convention), TP-4 (Quillen structure of BCOV [formula in source] ); \ the constructive BCOV derivation of the [formula in source] normalisation itself; WIRKUNG (text only, no marker moves): the v516 fence and the v518 tension now read ``decided at probe level for the declared reading under TP-1..TP-4 (v520)''; SEAM.EQUIV.TWISTOR.01 stays Open; VERDICT ERFOLG-A per the preregistered criteria — both constructive sources fire independently, the consistency closure carries)
Research changelog · TFPT — Introduction and reading guide
v520_celestial_wp5e_measure_decision.py ( CELEST.WP5E.MEASURE.01, 39 checks, [formula in source] 20 s; exact [formula in source] /Fraction/sympy rational nullspaces [formula in source] 1/960-grid phase arithmetic [formula in source] mpmath 30-digit kernels [formula in source] numpy double SVD, deterministic). S0 exact foundations (roots, ledgers, A-core [formula in source] [formula in source] -anchor targets, Weil re
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/004-source.tex · lines 32 to 74
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 claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v521_seam_bit_rp_blind.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v516_celestial_wp5e_m2_twisted_ks_measure.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v520_celestial_wp5e_measure_decision.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v522_woit_beta1_gso_gauge.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v520_celestial_wp5e_measure_decision.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
- explicit file citation script_registry.csv
literal source filename/path in TeX
- 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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v518_celestial_wp5e_delta1_derived_kill.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
- 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 file citation run_all.py
literal source filename/path in TeX