Find the original argument.

Search the paper sections, open their original context and follow the checks they actually cite. The knowledge atlas explains the result; this library locates its source.

Matching source sections

403 sections found. Current publication documents are listed before historical material.

=150 2026-08-01 (IV) (the sheet involution exists unconditionally ( v590 promoted): the integral [formula in source] -commuting involutions are exactly [formula in source] (rigidity, both twins); the v574 type theorem [formula in source] seam reversal [formula in source] zero-mode fixing single out the explicit [formula in source] with exact [formula in source] -signature uniquely — GATE.QGEO.01's involution-existence input relocates to DERIVED)

Research changelog · TFPT — Introduction and reading guide

v590_involution_existence.py ( QGEO.INVOL.01, [formula in source] checks; probe 7/7, EXISTENCE-UNCONDITIONAL). All eight spectral sign choices on [formula in source] 's eigenspaces are integer, involutive and order-stabilizing on both twins; narrowing [formula in source] : the trace [formula in source] half dies by the v574 rank theorem, [formula in source] and [formula in source] on [formula in source] single out [f

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 264 to 277

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
explicit script identifier v590_involution_existence.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v574_stageb_winding.py
literal short identifier uniquely resolves in local script registry
cross reference join ParityWeightLaws.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v590_involution_existence.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

=150 2026-07-31 (XVII) (the interacting RP route of the alignment bit, executed: EXT-SOURCE COUPLING SEPARATES THE 81-TWINS DIRECTIONALLY IN THE UNIT BOX ( v584 promoted) — exact rational flip thresholds with the v572 pencil factors as numerators; positive coupling [formula in source] heals exactly the compiler twin, the alt twin is rigid; response pole on the golden polynomial)

Research changelog · TFPT — Introduction and reading guide

v584_ext_source_response.py ( DIAMOND.BIT.EXTSOURCE.01, [formula in source] checks; probe 8/8, UNIT-BOX-SEPARATED). The interacting kernel [formula in source] ( [formula in source] from the shared Ext arrows [formula in source] ) has exact thresholds [formula in source] : compiler [formula in source] and [formula in source] , alt [formula in source] and [formula in source] — numerators exactly the v572 pencil factors

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 278 to 297

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v534_seam_straddle_cone.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 script identifier v572_rp_bit_form.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v584_ext_source_response.py
literal short identifier uniquely resolves in local script registry
explicit file citation v584_ext_source_response.py
literal source filename/path in TeX

=150 2026-07-31 (XI) (the continuous half of the cross-ratio check executed and closed: UNIFLOW-DEGENERATE ( v575 promoted) — the native exports are forced degenerate by the single-flow theorem, so the continuous half closes onto v425; both halves of the preregistered check are now executed)

Research changelog · TFPT — Introduction and reading guide

v575_cr_continuous_uniflow.py ( FTR.CRCONT.01, [formula in source] checks; probe [formula in source] , UNIFLOW-DEGENERATE). The frozen protocol exports, recomputed from primitives (F_pole [formula in source] via the v99 generator; F_Boltzmann the SAME contraction by the v425 single-flow theorem; F_QCD [formula in source] ; F_relic adiabatic [formula in source] ), form the quadruple [formula in source] with a forced r

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 298 to 315

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v425_dyn_transfer_universal.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v571_cr_discrete_corners.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v99_koide_flow_time.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v575_cr_continuous_uniflow.py
literal short identifier uniquely resolves in local script registry
explicit file citation v575_cr_continuous_uniflow.py
literal source filename/path in TeX

=150 2026-07-31 (X) (closing the round: the winding form's content located exactly ( v574 [formula in source] checks — without it a four-column family survives, exactly one uniform: the compiler), and the half-sided RP restrictions shown blind ( v572 [formula in source] — the interacting construction is the one remaining RP route))

Research changelog · TFPT — Introduction and reading guide

v574 extended (probe [formula in source] ). Dropping the winding demand entirely (arbitrary first column), the self-code package leaves the four-column family [formula in source] — exactly one uniform: the compiler. The winding demand is the uniformity choice ( [formula in source] of [formula in source] ). Final declared list of the reconstruction: involution existence, column uniformity, [formula in source] (E8-glue

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 316 to 331

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v572_rp_bit_form.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 script identifier v534_seam_straddle_cone.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v574_stageb_winding.py
literal short identifier uniquely resolves in local script registry

=150 2026-07-31 (VIII) (two decisive deepenings: the anchor-Hamiltonian Gibbs pencil delivers the first DYNAMICAL distinction of the reconstruction bit ( v572 [formula in source] checks: the compiler twin is Gibbs-critical at [formula in source] , the alternative never), and the redundancy ablation shrinks the reconstruction inputs to three ( v574 [formula in source] checks: [formula in source] and [formula in source] fall relative to the self-code demands))

Research changelog · TFPT — Introduction and reading guide

v572 extended (probe [formula in source] ). Along the Gibbs family [formula in source] of the v566 anchor operator [formula in source] , the pencil determinant factors exactly differently on the twins — compiler [formula in source] , alternative [formula in source] ( [formula in source] ) — and only the compiler's extra factor has a root inside the physical Gibbs range: the compiler twin's RP kernel degenerates at a

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 332 to 355

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 script identifier v566_parabolic_anchor_selfcode.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v572_rp_bit_form.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v574_stageb_winding.py
literal short identifier uniquely resolves in local script registry
cross reference join CoverEmbedding.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

=150 2026-07-31 (III) (the residual reconstruction bit located and given a canonical witness: the ladder self-consistency selects the compiler [formula in source] uniquely (SELECTOR-FOUND); the split geometry excluded; Priority 2 sharpened + v568 promoted + ledger/paper/diary/website sync)

Research changelog · TFPT — Introduction and reading guide

Probe bit_selector_probe.py ( [formula in source] , verdict SELECTOR-FOUND). Priorities 2+3 of the self-code review, fused with the v567 residual bit. The bit is integrally visible: the two [formula in source] -twins ( [formula in source] vs [formula in source] ) generate different integral orders (equal index, equal Smith divisors, different lattices). The selector: the dominant mode of the sheet direction is [formu

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/003-source.tex · lines 1 to 32

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit file citation bit_selector_probe.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v566_parabolic_anchor_selfcode.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v534_seam_straddle_cone.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v528_seam_bit_twist_class_definition.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 script identifier v568_bit_selector_ladder.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v568_bit_selector_ladder.py
literal source filename/path in TeX
explicit file citation next.txt
literal source filename/path in TeX
cross reference join CoverEmbedding.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v567_carrier_free_q_reconstruction.py
literal short identifier uniquely resolves in local script registry
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

=150 2026-07-31 (II) (the No-Carrier-Reconstruction audit, Stage A: the anchor self-code is carrier-free, and [formula in source] reconstructs up to ONE binary sheet-coupling choice (RECONSTRUCTS-TO-FAMILY) + v567 promoted + ledger/paper/diary/website sync)

Research changelog · TFPT — Introduction and reading guide

Audit probe carrier_free_q_reconstruction_probe.py ( [formula in source] , verdict RECONSTRUCTS-TO-FAMILY). Priority 1 of the self-code review executed. The circularity located: v11's uniqueness certificate for [formula in source] uses row sums [formula in source] , column sums [formula in source] and [formula in source] — the [formula in source] in the budgets and in [formula in source] ; all of it forbidden in the

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/003-source.tex · lines 33 to 62

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v10_projection_involution.py
literal short identifier uniquely resolves in local script registry
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 HiggsSchemeCohomologyShadow.lean
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
cross reference join AuditCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v567_carrier_free_q_reconstruction.py
literal source filename/path in TeX
cross reference join BoundaryYukawaKernelInterface.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join BoundaryPolarization.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation carrier_free_q_reconstruction_probe.py
literal source filename/path in TeX
cross reference join AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join SeamWindingInterface.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join YukawaStageDExistence.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join tfpt_readouts.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 next.txt
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v567_carrier_free_q_reconstruction.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v11_unique_KQ.py
literal short identifier uniquely resolves in local script registry

=150 2026-07-30 (II) (WOIT [formula in source] executed: the [formula in source] duality typed against [formula in source] — the OS cut and the [formula in source] signature forced, the kill branch empty by algebra, the induced member [formula in source] the [formula in source] carrier (SUCCESS) + v565 promoted + contract/paper/diary/website sync)

Research changelog · TFPT — Introduction and reading guide

Discovery probe woit_os_beta3_pt_dual_probe.py ( [formula in source] , [formula in source] \,s, verdict SUCCESS per the frozen preregistration; contract wording verbatim: success [formula in source] Woit's Minkowski conjugation identified with the family-D conjugation on the quotient, kill [formula in source] the duality forces a clock-centralising (family A) structure). The class (block theorem): a [formula in sourc

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/003-source.tex · lines 63 to 106

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v524_woit_beta2_os_quotient.py
literal short identifier uniquely resolves in local script registry
explicit file citation woit_os_beta3_pt_dual_probe.py
literal source filename/path in TeX
explicit file citation next.txt
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v565_woit_beta3_pt_duality.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 v565_woit_beta3_pt_duality.py
literal short identifier uniquely resolves in local script registry

=150 2026-07-24 (I) ( v534 — the straddle cone executed: THE FIRST DYNAMICAL SELECTION OF THE ALIGNMENT BIT — reflection positivity keeps exactly ONE member of the interacting mark family alive, [formula in source] with positive coupling; the literal leading-order cone formalization dies; NO marker moves)

Research changelog · TFPT — Introduction and reading guide

New module v534 ( SEAM.STRADDLE.CONE.01). The 2026-07-23 review-round contract (recorded ``not promoted'' in entry (X)) is executed, double-verdicted. V2 [formula in source] ERFOLG — the selection law (the central datum): with independent couplings [formula in source] on the four mark quartets of [formula in source] and the equivariant (uniform) direction, reflection positivity holds on every admissible cut over the

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/003-source.tex · lines 107 to 148

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v521_seam_bit_rp_blind.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v525_seam_bit_twist_blind.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation tfpt_readouts_extension.wl
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 seam_straddle_cone_probe.py
literal source filename/path in TeX
explicit script identifier v534_seam_straddle_cone.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v529_seam_interacting_toy_fk.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
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 script identifier v528_seam_bit_twist_class_definition.py
literal short identifier uniquely resolves in local script registry

=150 2026-07-23 (X) ( v530– v533 — the external review round promoted: center quotient compiler, Coxeter Stage A tensor clock, dual-degree modular checksum [formula in source] , sheet-transfer disc [formula in source] norm line; every identity machine-confirmed exactly before promotion (probe [formula in source] ); NO marker moves)

Research changelog · TFPT — Introduction and reading guide

New module v530 ( DIAMOND.CENTER.QUOTIENT.01). The Sheet-Diamond center [formula in source] carries the fixed primitive line [formula in source] ( [formula in source] ), and the induced operator on [formula in source] is exactly the atom matrix [formula in source] \ with [formula in source] , [formula in source] , [formula in source] , [formula in source] , [formula in source] , [formula in source] . The center self-

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/003-source.tex · lines 149 to 201

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v414_center_resolvent_portal.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 file citation tfpt_readouts_extension.wl
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v530_center_quotient_compiler.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 script identifier v533_ftransfer_disc7_norm.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v532_e8_degree_modular_checksum.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v531_coxeter_tensor_stage_a.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 script identifier v529_seam_interacting_toy_fk.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

=150 2026-07-23 (IX) (website entry redesign: narrative home, honesty band, proof strip, guided-tour route — editorial only, NO new modules, NO marker moves)

Research changelog · TFPT — Introduction and reading guide

Website home. Slim one-viewport hero (proof strip: 523 machine-checked modules [formula in source] Wolfram mirror [formula in source] Lean carrier [formula in source] 0 external replications yet; copyable python run_all.py [formula in source] ALL CHECKS PASSED; CTA trio film / browser check / kill board). Narrative order: Hero [formula in source] IntroVideo ( \#intro-video kept) [formula in source] In one breath [for

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/003-source.tex · lines 202 to 208

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v529_seam_interacting_toy_fk.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

=150 2026-07-23 (VIII) (prominence pass — the v519–v529 breakthroughs lifted into the FRAME texts of the papers and the website data layer; purely editorial, NO new modules, NO marker moves — (1) tfpt_5_redteam gains the seam round Target G: the ten-test side-blind scoreboard on the alignment bit ( v512/ v521/ v525/ v529) and the first firing kill test of the programme — the interacting straddle law ( v529), documented as a named threat AND the first hard selection principle for [formula in source] , fenced at toy level; (2) the bit-reduction statements in tfpt_1, tfpt_2 and origin_theory extended from the v512 state to the current state (ten side-blind tests, the twist-class definition with gauge-robust order parameter, ``in principle interferometrically readable'', v528 — the bit stays formal input); (3) the thermal seam lifted into the origin_theory horizon chapter (new keybox: [formula in source] measured, temperature the third leg of [formula in source] , v526) and into the tfpt_horizon_readouts head keybox; (4) tfpt_3 title/keybox now carry the thirty-step story and ``the measure chain is derived'' ( v520/ v523) prominently; (5) tfpt_research_contracts title/intro keybox now show the executed stages of CELEST.SEAM.01 (M1–M3, [formula in source] -chains decided, [formula in source] derived) and WOIT.OS.TWISTOR.01 ( [formula in source] executed, [formula in source] next under the straddle constraint); both contracts stay Open)

Research changelog · TFPT — Introduction and reading guide

Papers. tfpt_5_redteam (Target G [formula in source] method/outcome/title honesty pass); tfpt_1, tfpt_2 and origin_theory (bit-reduction statements [formula in source] ten tests [formula in source] twist-class definition); origin_theory (thermal-seam keybox, horizon chapter); tfpt_horizon_readouts (head keybox third leg); tfpt_3 (title [formula in source] keybox: thirty-step story, measure chain derived); tfpt_resear

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/003-source.tex · lines 209 to 230

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v526_seam_thermal_kms_nariai_bridge.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v519_woit_theta_rp_free.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 script identifier v512_seam_tau_flag.py
literal short identifier uniquely resolves in local script registry
explicit file citation README.md
literal source filename/path in TeX
cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v529_seam_interacting_toy_fk.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v521_seam_bit_rp_blind.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 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 v523_celestial_wp5e_wm_derived.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v525_seam_bit_twist_blind.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
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v528_seam_bit_twist_class_definition.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 script identifier v58_seam_horizon_chain.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
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 script identifier v208_bh_thermodynamics.py
literal short identifier uniquely resolves in local script registry

=150 2026-07-23 (VII) ( v529 — the interacting Fidkowski–Kitaev seam toy promoted as the ledger row SEAM.INT.FKTOY.01: the FIRST firing Kill-Test-2 shadow — triple verdict F1 [formula in source] KILL / F2 [formula in source] KILL / F3 [formula in source] ERFOLG; the celestial/twistor story in tfpt_3 gains Step 30 and the header goes twenty-six [formula in source] thirty steps — (1) F1 [formula in source] KILL : [formula in source] exists exactly on the interacting model ( [formula in source] , [formula in source] , clock-tower inversion, [formula in source] ) so Kill-Test 1 does not fire; but Kill-Test 2 fires at toy level: RP breaks for every [formula in source] — inertia ladder [formula in source] ; Gibbs [formula in source] same ladder; mechanism [formula in source] interference; STRADDLE LAW ( [formula in source] ); \ fence one toy / one interaction class / flat-band parent — narrows the Woit route, does not close it; WOIT.OS.TWISTOR.01 stays Open with the toy shadow documented as a named Kill-Test-2 threat; (2) F2 [formula in source] KILL : the TENTH side-blind test ( [formula in source] ) — [formula in source] maps [formula in source] EXACTLY despite [formula in source] -seeing spectra; (3) F3 [formula in source] ERFOLG : grading [formula in source] [formula in source] tower [formula in source] FK anchor [formula in source] constructive OS quotient at [formula in source] ; Wolfram extension [formula in source] (verified engine run); suite [formula in source] ; NO marker moves)

Research changelog · TFPT — Introduction and reading guide

Suite. New module v529_seam_interacting_toy_fk.py ( [formula in source] checks, [formula in source] s); registered in run_all.py [formula in source] script_registry.csv; suite [formula in source] modules green. Ledger. New row SEAM.INT.FKTOY.01; WOIT.OS.TWISTOR.01 text-precised (Kill-Test-2 toy shadow [formula in source] straddle law); scoreboard rows text-precised ( [formula in source] ); no status moves. Papers. tf

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/003-source.tex · lines 231 to 244

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit file citation next.txt
literal source filename/path in TeX
explicit file citation v529_seam_interacting_toy_fk.py
literal source filename/path in TeX
explicit file citation README.md
literal source filename/path in TeX
explicit file citation script_registry.csv
literal source filename/path in TeX
explicit file citation run_all.py
literal source filename/path in TeX
explicit script identifier v529_seam_interacting_toy_fk.py
literal short identifier uniquely resolves in local script registry
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

=150 2026-07-23 (VI) ( v528 — the alignment bit as an exact measurable TWIST-CLASS choice promoted as the ledger row SEAM.BIT.TWISTCLASS.01: the physical definition — verdict SUCCESS; the celestial/twistor story in tfpt_3 gains Step 29 — (1) Facets \#14 ( [formula in source] -flip [formula in source] ) and \#15 (twist-frustration [formula in source] ) both directions exact (cardinality lemma [formula in source] ; [formula in source] -class census [formula in source] axes: flip class exactly at [formula in source] ); (2) order parameter [formula in source] at [formula in source] else [formula in source] , gauge-robust; (3) unification \#14=\#15=flag-transitivity [formula in source] ONE [formula in source] invariant ( v512 web [formula in source] ); Kramers [formula in source] POSITION half (derived), twist class [formula in source] MODULUS half (the input); (4) \ measurement sketch (interferometric in principle); the bit remains formal input; NO marker moves)

Research changelog · TFPT — Introduction and reading guide

Suite. New module v528_seam_bit_twist_class_definition.py ( [formula in source] checks, [formula in source] s). Ledger. New row SEAM.BIT.TWISTCLASS.01; SEAM.TAU.FLAG.01 text-precised (web [formula in source] ); no status moves. Papers. tfpt_3 Step 29; contracts [formula in source] introduction (``symmetry-lift bit'' now also ``the twist-class choice, in principle interferometrically readable''). Wolfram. Three exact

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/003-source.tex · lines 245 to 254

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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v528_seam_bit_twist_class_definition.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 script identifier v512_seam_tau_flag.py
literal short identifier uniquely resolves in local script registry
explicit file citation v528_seam_bit_twist_class_definition.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

=150 2026-07-23 (V) ( v527 — the silver clock eigenvalue EXPLAINED and DEMYSTIFIED, promoted as the ledger row SEAM.CLOCK.SILVER.01: double verdict STRUCTURE [formula in source] SUCCESS / CONNECTION [formula in source] KILL (anti-numerology style); the celestial/twistor story in tfpt_3 gains Step 28 — (1) STRUCTURE SUCCESS : [formula in source] closed via diagonal Hankel pencil at [formula in source] , [formula in source] , doubling [formula in source] exact second quantisation, carrier [formula in source] silver-midpoint axes, gap [formula in source] ; [formula in source] -scaling [formula in source] pure [formula in source] lattice datum (not continuum); positive clock only for [formula in source] ; (2) CONNECTION KILL : preregistered [formula in source] -candidate census over [formula in source] frozen numbers: [formula in source] hits above null; placebos comparable; (3) cross-link v526: [formula in source] [formula in source] thermal kernel ratio; NO marker moves)

Research changelog · TFPT — Introduction and reading guide

Suite. New module v527_seam_clock_silver_spectrum.py ( [formula in source] checks, [formula in source] s). Ledger. New row SEAM.CLOCK.SILVER.01; no status moves. Papers. tfpt_3 Step 28; contracts thermal/silver follow-on. Wolfram. Three exact mirrors ( [formula in source] pencil; [formula in source] -scaling witness; gap [formula in source] ).

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/003-source.tex · lines 255 to 262

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v526_seam_thermal_kms_nariai_bridge.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 script identifier v527_seam_clock_silver_spectrum.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 v527_seam_clock_silver_spectrum.py
literal source filename/path in TeX

=150 2026-07-23 (IV) ( v526 — the thermal seam promoted as the ledger row SEAM.THERMAL.KMS.01: KMS of the reconstructed free OS quotient CLOSED onto the Nariai/BH temperature chain — the THIRD LEG of [formula in source] ; verdict SUCCESS; the celestial/twistor story in tfpt_3 gains Step 27 — (1) [formula in source] MEASURED [formula in source] at both levels ( [formula in source] : [formula in source] , [formula in source] ; [formula in source] : pairing exponent [formula in source] ; wrong [formula in source] excluded); (2) [formula in source] EXACT [formula in source] , [formula in source] [formula in source] Bisognano–Wichmann/Hawking normalisation ( v208) ; (3) modular Hamiltonian closed ( [formula in source] , [formula in source] ; Tomita KMS- [formula in source] on all [formula in source] pairs); (4) [formula in source] third-leg class- [formula in source] selection / (Hawking/Nariai chain; v104 cross-link); (5) entropy [formula in source] , [formula in source] , horizon fractions do NOT transfer ; (6) -5 silver [formula in source] thermal kernel ratio; non-compact [formula in source] ; NO marker moves)

Research changelog · TFPT — Introduction and reading guide

Suite. New module v526_seam_thermal_kms_nariai_bridge.py ( [formula in source] checks, [formula in source] s). Ledger. New row SEAM.THERMAL.KMS.01; no status moves. Papers. tfpt_3 Step 27; tfpt_horizon_readouts (third leg of [formula in source] ); tfpt_research_contracts (thermal follow-on); introduction. Wolfram. Three exact mirrors (Q-polynomial/ [formula in source] measurement; [formula in source] chain; [formula

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/003-source.tex · lines 263 to 271

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v104_nariai_clock.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v526_seam_thermal_kms_nariai_bridge.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 v526_seam_thermal_kms_nariai_bridge.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v208_bh_thermodynamics.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

=150 2026-07-23 (III) ( v525 — the twist-state attack on the alignment bit DECIDED and promoted as the ledger row SEAM.BIT.TWISTBLIND.01: ``mark-decorated states do not see [formula in source] '' — an honest, decided NEGATIVE result (v508 style), the NINTH side-blind test on the v512 scoreboard ( [formula in source] ); the free-plus-twist class (everything Wick-computable) is EXHAUSTED; the celestial/twistor story in tfpt_3 gains Step 26 and the header goes twenty-three [formula in source] twenty-six steps — (1) ALL LIFTINGS WELL-DEFINED AND BLIND : (a) the [formula in source] -gauge arc decoration ( [formula in source] ) satisfies [formula in source] on the swap axes [formula in source] the twisted Gram is a diagonal unitary congruence [formula in source] , spectra IDENTICAL to untwisted (dev [formula in source] ); (b) the Kadanoff–Ceva [formula in source] -twist insertion [formula in source] is well-defined on the [formula in source] ladder ( [formula in source] real nonzero; the [formula in source] odd- [formula in source] degeneration is the [formula in source] checkerboard artifact) and its RP SPECTRA are the FIRST free-class data of the programme that depend on [formula in source] (pairwise up to [formula in source] ) — yet the INERTIA is [formula in source] PD with the same [formula in source] for EVERY [formula in source] : the decoration sees [formula in source] , positivity does not; (c) the [formula in source] twist at [formula in source] is pure plane gauge; (c [formula in source] ) the genuine Bogoliubov defect at [formula in source] : [formula in source] -compatibility selects exactly [formula in source] of [formula in source] sign patterns (NS-wrap-forced), the winner genuinely non-monomial — still PD, spectra identical; STRUCTURE THEOREM (mechanism exact): the defect planes never straddle a cut bond, so every [formula in source] -compatible quasi-free mark decoration is RP-spectrally INVISIBLE; (2) SUB-RESULTS : the defect energy [formula in source] for EVERY [formula in source] (spread [formula in source] ) — [formula in source] -blind; the [formula in source] -twist Casimir [formula in source] measures [formula in source] ( [formula in source] ) but exactly mirror-symmetric under [formula in source] — a family gauge, never a side selector; Kramers [formula in source] for every [formula in source] ; (3) the HARVEST : two bit-presupposing [formula in source] structures (the [formula in source] flip [formula in source] on the mark-fixing axes via [formula in source] ; the twist frustration of the mark-fixing mirror, [formula in source] indefinite for both [formula in source] — the lattice shadow of the Ising twist field's mirror-oddness) — both formulable only on the fixing axes existing iff [formula in source] (the v512 facet class); (4) NEGATIVE CONTROLS : the twist-free limit [formula in source] v519/v521 exactly; the site cut keeps failing; the v512 counterwitness is arc-equivalent at [formula in source] to the blind member [formula in source] — no state selector can exclude it; a single twist has [formula in source] identically; : the door narrows to a genuinely INTERACTING [formula in source] whose OS data are NOT Pfaffian-reducible to the chiral vacuum; Wolfram extension (with v523/v524) [formula in source] (verified engine run 2026-07-23, [formula in source] + base [formula in source] ); suite [formula in source] modules; NO marker moves — the alignment bit remains genuine discrete input)

Research changelog · TFPT — Introduction and reading guide

Suite. New module v525_seam_bit_twist_blind.py ( [formula in source] checks, [formula in source] s; Pfaffian-exact insertion machinery cross-validated three ways, [formula in source] -digit certificates); registered in run_all.py [formula in source] script_registry.csv; suite [formula in source] modules green. Ledger. New row SEAM.BIT.TWISTBLIND.01 (KILL, honest negative, preregistered); SEAM.BIT.RPBLIND.01 and SEAM.

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/003-source.tex · lines 272 to 293

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v524_woit_beta2_os_quotient.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v519_woit_theta_rp_free.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 script identifier v512_seam_tau_flag.py
literal short identifier uniquely resolves in local script registry
explicit file citation script_registry.csv
literal source filename/path in TeX
explicit script identifier v508_celestial_wp5e_gamma_pairing.py
literal short identifier uniquely resolves in local script registry
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
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 next.txt
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 run_all.py
literal source filename/path in TeX
explicit script identifier v523_celestial_wp5e_wm_derived.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v521_seam_bit_rp_blind.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 script identifier v525_seam_bit_twist_blind.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 README.md
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v525_seam_bit_twist_blind.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

=150 2026-07-23 (II) ( v524 — the WOIT- [formula in source] milestone of the OS twistor bridge WOIT.OS.TWISTOR.01 executed and promoted as the ledger row WOIT.BETA2.OS.01: ``the OS quotient of the free system made explicit'' — verdict SUCCESS per the frozen preregistration, -typed per contract precision (iii); the celestial/twistor story in tfpt_3 gains Step 25 — (1) [formula in source] EXPLICIT : [formula in source] ( [formula in source] ): the [formula in source] bond-cut OS Gram exactly Hermitian, parity-block-diagonal, inertia [formula in source] PD (min eigenvalue [formula in source] at [formula in source] digits), null space [formula in source] , [formula in source] ; [formula in source] (complete half algebra): [formula in source] PD (min [formula in source] ), [formula in source] — compact euclidean time reconstructs a THERMAL (KMS) representation; exact certificate [formula in source] ; (2) the TRANSFER SEMIGROUP (Klein–Landau) : [formula in source] exactly Hermitian on all domains ( [formula in source] , dims [formula in source] ), chain identities exact, vacuum fixed; the positivity pattern [formula in source] the site/bond dichotomy: even [formula in source] PSD via the exact square identity [formula in source] ( [formula in source] ), odd [formula in source] indefinite ( [formula in source] ) — the one-step transfer is NOT positive (the chirality datum, kill-3 shadow sharpened), its even powers are; (3) THE CLOCK [formula in source] : [formula in source] : [formula in source] PD [formula in source] (min [formula in source] ), compressed spectrum [formula in source] , vacuum eigenvalue exactly [formula in source] , spectral projections [formula in source] ; [formula in source] : spectrum EXACTLY [formula in source] in both parity sectors — the silver axes of the v519 torsor return as the clock eigenvalue; the reconstructed rotation group [formula in source] unitary with the group law; (4) the v522 RESOLUTION : the census [formula in source] reproduced; EVERY anti-matching entry is a wrap overlap, every overlap-free entry matches — the pre-quotient non-Hermiticity is EXACTLY the domain/wrap artifact; on the quotient the clock has spectral calculus; pre-registered KMS deviation: no contraction on the compact circle ( [formula in source] exactly, [formula in source] ); (5) GSO/ [formula in source] : the grading survives; the perpendicular torsor mirror descends anti-unitarily ( [formula in source] ), [formula in source] on every sector (Kramers-free), [formula in source] exactly; (6) CONTROLS : site cut [formula in source] — the kill branch fires there; family A [formula in source] ; anti-chiral [formula in source] no quotient; wrong direction non-Hermitian (all mismatches wrap-overlap); KILL TESTS: (1)/(2) strengthened, (3) shadow sharpened, none fires, all seven stay live on [formula in source] ; TRANSPARENCY: run 1 [formula in source] (a sympy simplify failure on a TRUE [formula in source] product formula, fixed by a Laurent-polynomial certificate; no criterion changed); NO marker moves — WOIT.OS.TWISTOR.01 stays Open, [formula in source] is next)

Research changelog · TFPT — Introduction and reading guide

Suite. New module v524_woit_beta2_os_quotient.py ( [formula in source] checks, [formula in source] s; exact sympy [formula in source] Pfaffian-Wick [formula in source] [formula in source] -digit inertia certificates); registered in run_all.py [formula in source] script_registry.csv. Ledger. New row WOIT.BETA2.OS.01 (SUCCESS, -typed per precision (iii)); WOIT.OS.TWISTOR.01 claim/canonical status extended ( [formula in

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/003-source.tex · lines 294 to 314

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v522_woit_beta1_gso_gauge.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 script identifier v519_woit_theta_rp_free.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 script identifier v524_woit_beta2_os_quotient.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 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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v524_woit_beta2_os_quotient.py
literal source filename/path in TeX

=150 2026-07-23 (I) ( v523 — the constructive [formula in source] derivation executed and promoted as the ledger row CELEST.WP5E.WM.01: `` [formula in source] is the Atiyah–Bott / zeta-determinant fixed-point factor, COMPUTED from three independent sources'' — verdict ERFOLG per the frozen preregistration; the residual \ of v516/ v520 is closed at the fibre-zero-mode level and narrows to the GLOBAL BCOV integral on [formula in source] beyond the fibre zero-mode factor; the celestial/twistor story in tfpt_3 gains Step 24 — (1) ATIYAH–BOTT (route i) : the equivariant mode ledger of the fibre [formula in source] equals the closed form [formula in source] exactly in [formula in source] for all [formula in source] ; REGULAR at [formula in source] with Abel value [formula in source] , [formula in source] ; [formula in source] Ces\`aro convergence in exact arithmetic; fixed-point splitting at EVERY truncation level [formula in source] for the phased (skeleton) AND the v520-forced unphased (completion) trace — the Abel-limit [formula in source] is the v516 contact vector COMPUTED, not declared; (2) ZETA/QUILLEN (routes ii/iii) : [formula in source] of the [formula in source] -twisted circle Laplacian [formula in source] EXACTLY (Lerch [formula in source] reflection formula symbolically, Hurwitz certificates [formula in source] ); Quillen split [formula in source] , [formula in source] , the real positive holomorphic section UNIQUE via the [formula in source] conjugation pairing; the [formula in source] [formula in source] block at the [formula in source] nodes carries the exact constant term [formula in source] (deviations [formula in source] ); (3) the CONSISTENCY CHAIN : [formula in source] ; [formula in source] at every scale; [formula in source] ; the [formula in source] budget [formula in source] forces [formula in source] uniquely (leftovers [formula in source] ); per-sector Okubo squares [formula in source] ; total [formula in source] ; [formula in source] , [formula in source] ; [formula in source] , [formula in source] ; (4) NEGATIVE CONTROLS : [formula in source] gives [formula in source] , leftovers [formula in source] , Quillen contradiction; [formula in source] gives [formula in source] ; the [formula in source] /Eguchi–Hanson anchor PASSES with the same derivation ( [formula in source] , [formula in source] , [formula in source] , [formula in source] ); the [formula in source] KILL fires; [formula in source] breaks the zeta [formula in source] AB identity itself; [formula in source] : [formula in source] — the weights wander correctly, only [formula in source] carries the [formula in source] chain; TYPED PREMISES \ (the mandatory fence): TP-REG (Abel/Ces\`aro/zeta regularisation [formula in source] the definition of the equivariant character), TP-Q (Quillen structure of BCOV [formula in source] [formula in source] v520 TP-4), TP-NUM (unphased numerator [formula in source] v520 ERFOLG-A), TP-CH (insertion channel [formula in source] ); : the global BCOV integral beyond the fibre zero-mode factor, the resolved-ALE route not built, SEAM.EQUIV.TWISTOR.01 stays Open; NO marker moves)

Research changelog · TFPT — Introduction and reading guide

Suite. New module v523_celestial_wp5e_wm_derived.py ( [formula in source] checks, [formula in source] s; exact [formula in source] / [formula in source] /cyclotomic arithmetic [formula in source] [formula in source] -digit Hurwitz/block certificates); registered in run_all.py [formula in source] script_registry.csv. Ledger. New row CELEST.WP5E.WM.01 (ERFOLG); the v516 row CELEST.WP5E.M2.01 and the v520 row CELEST.WP5

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/003-source.tex · lines 315 to 336

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v523_celestial_wp5e_wm_derived.py
literal short identifier uniquely resolves in local script registry
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 v523_celestial_wp5e_wm_derived.py
literal source filename/path in TeX
explicit file citation run_all.py
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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v520_celestial_wp5e_measure_decision.py
literal short identifier uniquely resolves in local script registry
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 v516_celestial_wp5e_m2_twisted_ks_measure.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

=150 2026-07-22 (XIII) (HFQPO scorecard extension — the NICER/MAXI J1820+070 third-tooth null and the AstroSat/LAXPC block integrated as a new evidence-scorecard row (search target, never a claim): the preregistered single-QPO extension of the H3 ladder discriminator (frozen hypotheses/hfqpo_ext_v1.yaml BEFORE any photon download) ran on [formula in source] NICER ObsIDs ( [formula in source] GB, [formula in source] s [formula in source] ks stack at [formula in source] kc/s) — sanity gate PASS (the published [formula in source] Hz anchor reproduced at [formula in source] Hz, [formula in source] rms, [formula in source] ), injection calibration PASS ( [formula in source] recovery at [formula in source] rms), the geometric tooth at [formula in source] Hz NOT detected ( [formula in source] single-trial; [formula in source] upper limit [formula in source] rms BELOW the detected anchor strength [formula in source] null_with_sensitivity), the integer line at [formula in source] Hz at [formula in source] after trials — BELOW the preregistered [formula in source] threshold, documented as a sub-threshold excess consistent with the weak second harmonic of ATel \#11951, NOT a hit; AstroSat/LAXPC (GRS 1915+105, scientifically the strongest channel) infrastructure_blocked (ISSDC login-gated); the RXTE [formula in source] NICER nulls now cover five sources on two instruments — the tooth channel is recommended DORMANT; anti-double-counting: the parent RXTE row and the new extension row share independence_group hfqpo_ladder_tooth (one hypothesis, two instruments, never two independent nulls); scorecard regenerated ( [formula in source] rows), predictions.txt HFQPO row extended (``Kanal ruhend''); experiment-only integration — no verification claim, no marker moves)

Research changelog · TFPT — Introduction and reading guide

Scorecard. New row ``BH HFQPO third-tooth extension on non-RXTE archives'' (NICER/MAXI J1820+070 plus AstroSat/LAXPC; hfqpo-ladder extension) in the generator experiments/build_evidence_scorecard.py (status null, stage search_target, signature S1e); OVERRIDES give both HFQPO rows the shared independence_group hfqpo_ladder_tooth; generator re-run: evidence_scorecard.json [formula in source] rows, README stats block re

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/003-source.tex · lines 337 to 351

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit file citation build_evidence_scorecard.py
literal source filename/path in TeX
explicit file citation evidence_scorecard.json
literal source filename/path in TeX
explicit file citation predictions.txt
literal source filename/path in TeX
explicit file citation results_ext.json
literal source filename/path in TeX
explicit file citation next.txt
literal source filename/path in TeX

What this source index covers

The public registry includes 116 document views, 6,693 section records and 985 physical LaTeX sources. Active publication documents, research material and archives retain their recorded roles. This is source navigation, not a new semantic review or proof run.

Complete structured registry How source relations are recorded Knowledge and evidence coverage