Honest status
input 4 origin theory
@p5.4cmp2.0cmY@ claim & status & basis \\ [formula in source] generates the integer skeleton; Pythagorean [formula in source] split & & v53_compiler_core.py \\ the [formula in source] in [formula in source] is triply forced (geo [formula in source] lattice [formula in source] gravity) & & v54_seam_horizon_keystones.py \\ one boundary transport for flavor and horizon ( [formula in source] ) & & v54_seam_horizon_keysto
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
experiments/theory-contracts/universalraum-spin-lift-basics-20260915/sources/input_4_origin_theory.tex · lines 1632 to 1947
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v195_marks_lefschetz_character.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v323_bw_geometric_modular.py
literal source filename/path in TeX
- explicit file citation v113_quasifree_kernel.py
literal source filename/path in TeX
- explicit script identifier v336_continuum_limit.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 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
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v179_conformal_realisation.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v57_horizon_crosslinks.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 file citation v329_os_gap_reduction.py
literal source filename/path in TeX
- explicit file citation v331_necessity_of_H.py
literal source filename/path in TeX
- explicit script identifier v280_pillowcase_steklov.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v143_graded_frobenius.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v187_ftransfer_laws.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 v113_quasifree_kernel.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v506_seam_clock_rigidity.py
literal source filename/path in TeX
- explicit script identifier v534_seam_straddle_cone.py
literal short identifier uniquely resolves in local script registry
- cross reference join AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v181_clock_is_conformal_symmetry.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 file citation v56_unique_attractor.py
literal source filename/path in TeX
- explicit script identifier v525_seam_bit_twist_blind.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v258_dirac_covariance_induction.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_round7.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 AxiomCheck.lean
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 file citation v53_compiler_core.py
literal source filename/path in TeX
- cross reference join SeamDeckClosure.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v275_qgamb_roadmap.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 v330_qgamb_admissible_measure.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 script identifier v330_qgamb_admissible_measure.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 script identifier v493_celestial_wp2_clock_deformation.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v1031_quantum_tensor_curvature.py
literal source filename/path in TeX
- explicit file citation v105_residual_inventory.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 v379_seam_s3_rp.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1034_parent_mirror.py
literal source filename/path in TeX
- cross reference join Mu4Commutation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v176_seam_collar_realisation.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_round4.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v210_mark_local_dtn.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v302_seam_gap.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v54_seam_horizon_keystones.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 v216_marks_gauss_bonnet.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 v521_seam_bit_rp_blind.py
literal short identifier uniquely resolves in local script registry
- cross reference join SpectralGapAttractor.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v326_ftransfer_suite.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
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join CohomologyGrading.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v304_idg_nonlocal_ghost.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v510_seam_bit_freedom.py
literal source filename/path in TeX
- explicit script identifier v380_grav_kms_hessian.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 v335_seam_equiv_unify.py
literal source filename/path in TeX
- explicit script identifier v214_seam_pillowcase.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
- 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 v308_seam_equiv_chain.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1033_charged_disorder.py
literal source filename/path in TeX
- explicit script identifier v376_seam_s3_centralcharge.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1026_telb_round4_closure.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_round7.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v55_coxeter_cycle.py
literal source filename/path in TeX
- explicit script identifier v124_resummed_clock.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 v178_marks_kernel_attempt.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamEquivChain.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v303_ftransfer_dynamics.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v108_pascal_ladder.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v198_modular_commutator_reduction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v369_qgamb_redundancy.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v1030_alg2_sector_frame.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 script identifier v370_grav_spin2_unitarity.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v202_rare_kaon.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v194_raw_seam_dtn_rp.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 AnchorLadder.lean
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
- explicit file citation v1035_matter_coupling.py
literal source filename/path in TeX
- explicit file citation v1032_covariant_curvature.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 v332_qgamb_metric_sector.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 v112_selfcounting_channel.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v177_seam_marking_kernel.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v325_pillowcase_keystone.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
- explicit file citation v336_continuum_limit.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v260_k3_kummer_unification.py
literal source filename/path in TeX
- explicit file citation v167_inventory_post_closure.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 v499_p2_weights_deligne_bg.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
- explicit script identifier v201_seam_subprincipal_marks.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
- cross reference join tfpt_round7.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 v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v259_modular_cutoff_kappa.py
literal source filename/path in TeX
- explicit file citation v111_quadratic_transport.py
literal source filename/path in TeX
- explicit script identifier v323_bw_geometric_modular.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v110_calderon_sheet.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v261_modular_spectral_closure.py
literal source filename/path in TeX
- explicit file citation v123_inventory_update.py
literal source filename/path in TeX
- explicit script identifier v175_net_existence_full_cone.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v512_seam_tau_flag.py
literal short identifier uniquely resolves in local script registry
- 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
- cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v334_conformal_resolution.py
literal source filename/path in TeX
- explicit script identifier v267_qgeo_rigidity_minimal_axiom.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 v469_seam_crossedproduct_route.py
literal short identifier uniquely resolves in local script registry
- cross reference join BWKeystone.lean
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 v529_seam_interacting_toy_fk.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v160_seam_gaussianity_from_pf.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v83_e8net_holomorphic_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v165_premise_a_closure.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v133_zeta_budget.py
literal short identifier uniquely resolves in local script registry
- cross reference join PascalLadder.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
- 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
- explicit file citation v507_seam_bit_origin.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 v333_cm_selection.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