The unique attractor: a gapped transport selects ONE fixed point
input 4 origin theory
The deepest structural fact behind ``parameter-free'' is dynamical: the boundary transport is gapped, so its iteration has a unique attracting fixed point.
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
universal_room/new-3/TFPT_Universalraum_Spinlift_Pruefpaket_2026-09-15_v1.6.10/sources/input_4_origin_theory.tex · lines 669 to 983
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v394_coxeter_atoms.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 v365_qg_oneloop_saddle.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v404_e8_char_cm_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 v368_seam_s3_inflow.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v345_hypergraph_homotopy.py
literal short identifier uniquely resolves in local script registry
- cross reference join CoxeterPrime2.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 script identifier v300_flataway_rigid.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v379_seam_s3_rp.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v216_marks_gauss_bonnet.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v351_continuum_realisation_sharpened.py
literal source filename/path in TeX
- explicit script identifier v314_rate_translation.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v87_bulk_uniqueness_reduction.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 CartanDeterminants.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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v187_ftransfer_laws.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v239_kms_thermal_time.py
literal short identifier uniquely resolves in local script registry
- cross reference join AuditCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v284_route_i_rp_uniqueness.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 v232_e8_kleinian_seam.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 v346_seam_geometric_bridge.py
literal source filename/path in TeX
- explicit script identifier v419_seam_galois_carrier.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 v313_golden_atoms_spectral.py
literal short identifier uniquely resolves in local script registry
- cross reference join AxiomCheck.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 script identifier v303_ftransfer_dynamics.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v358_grav_entropy_equilibrium.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v407_dn_pairings_omega.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 v221_seam_qecc.py
literal source filename/path in TeX
- explicit file citation SpectralGapAttractor.lean
literal source filename/path in TeX
- explicit script identifier v157_rigid_fixed_point.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v334_conformal_resolution.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v331_necessity_of_H.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 v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v54_seam_horizon_keystones.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v140_canonical_map.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v352_framework_irreducible.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 v344_detk_synthesis.py
literal source filename/path in TeX
- explicit script identifier v220_cp_hexagonal_modulus.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v409_coxeter_prime2_lemma.py
literal short identifier uniquely resolves in local script registry
- cross reference join CarrierRankUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v343_four_routes_analysis.py
literal source filename/path in TeX
- explicit file citation v984_markov_qca_dilation.py
literal source filename/path in TeX
- explicit file citation v350_bootstrap_inputs_correction.py
literal source filename/path in TeX
- explicit file citation v348_seam_rigidity_route.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join SpectralGapAttractor.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v977_transfer_unistochastic_wilson.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 v282_e8_tau_i_unification.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 file citation v390_prime2_facet.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 v349_raw_seam_golden_test.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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v405_seam_equiv_omega.py
literal source filename/path in TeX
- explicit script identifier v312_hypergraph_substrate.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v219_icosahedral_mckay.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 AuditContract.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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v335_seam_equiv_unify.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v246_unification_data_crosscheck.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
- explicit script identifier v6_bootstrap.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v388_corrections_budget.py
literal source filename/path in TeX
- explicit file citation v56_unique_attractor.py
literal source filename/path in TeX
- explicit file citation v976_seam_lift_birkhoff.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 v479_kronheimer_quiver_bridge.py
literal source filename/path in TeX
- explicit file citation v393_corrections_numeric.py
literal source filename/path in TeX
- explicit script identifier v359_grav_nonlinear_einstein.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join KronheimerMarks.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 SeamApplicabilityLedger.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 file citation v347_seam_closure_modes.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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v376_seam_s3_centralcharge.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v479_kronheimer_quiver_bridge.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v221_seam_qecc.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 v387_corrections_gap.py
literal source filename/path in TeX
- explicit script identifier v281_holomorphy_modular_data.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v158_fixed_point_stable.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v345_hypergraph_homotopy.py
literal source filename/path in TeX
- explicit file citation v406_pmns_phase_origin.py
literal source filename/path in TeX
- explicit file citation v383_dynamics_universal.py
literal source filename/path in TeX
- explicit script identifier v336_continuum_limit.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v180_clock_is_mobius.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v154_simple_current_theorem.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v381_qft4d_eg_allorder.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v403_facet_compositum.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 SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- 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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred