Front matter / support
Research contracts
fixed-volume (maximal-vacuum-entanglement) equilibrium — no linearisation assumed. Einstein tensor, not Ricci . Stationarity of the entanglement entropy at fixed volume forces the divergence-free combination: the [formula in source] D trace identity [formula in source] (for [formula in source] ) selects [formula in source] , so [formula in source] with both coefficients TFPT-fixed: the Newton coupling [formula in sou
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_research_contracts/sections/009-source.tex · lines 1 to 398
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v148_fock_census.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 BWKeystone.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v355_e8_unmapped_bandwidth.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v115_anchor_residue.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v476_entropic_compression_toy.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 SeamScalingLimit.lean
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 SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v160_seam_gaussianity_from_pf.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v60_lambda_metrology_branch.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 v477_entropic_scaleflow.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v151_bfk_split.py
literal source filename/path in TeX
- explicit file citation v160_seam_gaussianity_from_pf.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 v471_seam_horizon_replica.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v745_qgeo_car_l1_sector_lemma.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 v137_qplus_cohomology.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v364_vgeo_sharpen.py
literal source filename/path in TeX
- explicit script identifier v153_no_unit_theorem.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v175_net_existence_full_cone.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 v154_simple_current_theorem.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 ArfSpinorCompiler.lean
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 v715_qgeo_car_continuum.py
literal source filename/path in TeX
- explicit file citation v161_one_particle_reduction.py
literal source filename/path in TeX
- explicit file citation v779_gnet_gns_arf.py
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 file citation v125_glue_qsystem.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 v358_grav_entropy_equilibrium.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v480_multilocal_four_interval.py
literal short identifier uniquely resolves in local script registry
- 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
- explicit script identifier v168_qgeo_rigidity.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v475_entropic_scalaron_gate.py
literal source filename/path in TeX
- explicit script identifier v475_entropic_scalaron_gate.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v143_graded_frobenius.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 v153_no_unit_theorem.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 MobiusUniformisation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v715_qgeo_car_continuum.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamApplicabilityLedger.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
- explicit file citation v165_premise_a_closure.py
literal source filename/path in TeX
- explicit file citation v150_replica_eh_model.py
literal source filename/path in TeX
- explicit script identifier v337_decoupling_theorem.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v336_continuum_limit.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 v156_seam_net_construction.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 v152_norm_is_anchor.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v361_grav_backreaction.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v778_qgeo_gridsup_logsum.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
- cross reference join SpectralGapAttractor.lean
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 v125_glue_qsystem.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v113_quasifree_kernel.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v478_entropic_continuum_legs.py
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 v83_e8net_holomorphic_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v156_seam_net_construction.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v162_seam_transport_identification.py
literal source filename/path in TeX
- explicit file citation v474_entropic_hodge_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 script identifier v161_one_particle_reduction.py
literal short identifier uniquely resolves in local script registry
- cross reference join Mu4Commutation.lean
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 v76_gmetric_reduction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v473_entropic_action_bridge.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v354_e8_reverse_audit.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 v323_bw_geometric_modular.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v473_entropic_action_bridge.py
literal source filename/path in TeX
- explicit script identifier v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v158_fixed_point_stable.py
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 v359_grav_nonlinear_einstein.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v59_area_law_evidence.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 AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v158_fixed_point_stable.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 v110_calderon_sheet.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v157_rigid_fixed_point.py
literal source filename/path in TeX
- explicit script identifier v56_unique_attractor.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 script identifier v2_carrier_pascal.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v116_resonance_uniqueness.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 v157_rigid_fixed_point.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v44_carrier_exterior.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.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 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 v155_quasifree_boundary.py
literal source filename/path in TeX
- explicit file citation v802_gnet_martingale.py
literal source filename/path in TeX
- explicit script identifier v36_spectral_action_g2.py
literal short identifier uniquely resolves in local script registry