Sharper still: one anchor [formula in source] , and [formula in source] as a compiler hull ( )
TFPT — Introduction and reading guide
The two axioms are not even independent: they are the elementary symmetric polynomials of the single parabolic anchor [formula in source] (the exponents-at-infinity / splitting type [formula in source] ): [formula in source] Its power sums [formula in source] generate the big Lie data directly: [formula in source] , [formula in source] , [formula in source] , and [formula in source] with the binary ladder [formula in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/introduction/sections/001-section-what-this-is-about-the-jump-in-construction-prin.tex · lines 128 to 268
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 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 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 file citation v503_qgeo_emergence_light.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 file citation v499_p2_weights_deligne_bg.py
literal source filename/path in TeX
- explicit file citation v119_review_validation_2.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- 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 file citation v510_seam_bit_freedom.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
- 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.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 v189_riemann_roch_carrier.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 file citation v512_seam_tau_flag.py
literal source filename/path in TeX
- explicit script identifier v526_seam_thermal_kms_nariai_bridge.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v491_p2_partition_corollary.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 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
- 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 v507_seam_bit_origin.py
literal source filename/path in TeX
- cross reference join AnchorLadder.lean
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
- explicit file citation v197_rr_carrier_clifford_d5.py
literal source filename/path in TeX
- 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 claim identifier status_ledger.csv
exact local ledger claim identifier
- 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 v499_p2_weights_deligne_bg.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v972_seam_interaction_front.py
literal source filename/path in TeX
- explicit file citation v23_anchor_generator.py
literal source filename/path in TeX
- explicit file citation v506_seam_clock_rigidity.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.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 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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v53_compiler_core.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