Research Contract 2 — [formula in source]
tfpt research contracts
Goal. Construct the TFPT metric measure [formula in source] [formula in source] the relative spectral action whose low-curvature shadow is the already-closed [formula in source] equation.
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
experiments/theory-contracts/universalraum-fable-kernfragen-20260910/context/transformationen/source-snapshots/tfpt/tfpt_research_contracts.tex · lines 2322 to 10911
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join OrbitPacket.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v908_seam_equilibrium_wiring.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v143_graded_frobenius.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 v880_finite_anchor_theorems.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 v908_seam_equilibrium_wiring.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v2_carrier_pascal.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 v128_graded_hull.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v805_e8_syndrome_algebra.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 v150_replica_eh_model.py
literal source filename/path in TeX
- explicit script identifier v475_entropic_scalaron_gate.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 v354_e8_reverse_audit.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v115_anchor_residue.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 AuditCheck.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 v216_marks_gauss_bonnet.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join MobiusUniformisation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v808_petersen_sixthroot.py
literal source filename/path in TeX
- explicit file citation v155_quasifree_boundary.py
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
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v473_entropic_action_bridge.py
literal source filename/path in TeX
- explicit file citation v151_bfk_split.py
literal source filename/path in TeX
- cross reference join LorentzCongruence.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 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 v995_kms_subnet_rigidity.py
literal source filename/path in TeX
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v286_seam_equivalence_contract.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v161_one_particle_reduction.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 file citation v154_simple_current_theorem.py
literal source filename/path in TeX
- explicit file citation v162_seam_transport_identification.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 script identifier v903_seam_rp_exclusion.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 v689_gaussian_code_bridge.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v477_entropic_scaleflow.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 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
- cross reference join ProjectiveHamming.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join Mu4Commutation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v896_wick_block_functor.py
literal source filename/path in TeX
- explicit file citation v778_qgeo_gridsup_logsum.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 script identifier v59_area_law_evidence.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v752_projective_hamming_incidence.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v221_seam_qecc.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 status_ledger.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 GaussianShells.lean
literal source filename/path in TeX
- explicit file citation v158_fixed_point_stable.py
literal source filename/path in TeX
- explicit file citation v878_ledger_integrity.py
literal source filename/path in TeX
- 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
- explicit file citation v175_net_existence_full_cone.py
literal source filename/path in TeX
- explicit file citation v810_cutcode_moment.py
literal source filename/path in TeX
- explicit script identifier v358_grav_entropy_equilibrium.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v365_qg_oneloop_saddle.py
literal source filename/path in TeX
- explicit file citation v148_fock_census.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 script identifier v152_norm_is_anchor.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 v334_conformal_resolution.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v361_grav_backreaction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v125_glue_qsystem.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v143_graded_frobenius.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v715_qgeo_car_continuum.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 v858_g31_clock_alphabet.py
literal source filename/path in TeX
- explicit file citation v875_shell_global_lean.py
literal source filename/path in TeX
- explicit file citation v814_k5_sixstep_transport.py
literal source filename/path in TeX
- explicit script identifier v68_seeley_dewitt_residual.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 v89_carrier_index_lemma.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v972_seam_interaction_front.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
- explicit file citation v813_p1_index_kms.py
literal source filename/path in TeX
- explicit file citation v798_seam_clifford_modular_s.py
literal source filename/path in TeX
- explicit file citation v478_entropic_continuum_legs.py
literal source filename/path in TeX
- explicit script identifier v330_qgamb_admissible_measure.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v796_duad_syntheme_bridge.py
literal source filename/path in TeX
- explicit script identifier v56_unique_attractor.py
literal short identifier uniquely resolves in local script registry
- explicit file citation seam_equivalence.json
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 v849_cfin_unique_cofinal_lean.py
literal source filename/path in TeX
- explicit file citation v171_os_moment_cluster.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v125_glue_qsystem.py
literal source filename/path in TeX
- explicit file citation v76_gmetric_reduction.py
literal source filename/path in TeX
- explicit script identifier v44_carrier_exterior.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 v156_seam_net_construction.py
literal source filename/path in TeX
- cross reference join SpectralGapAttractor.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v812_flavor_graph_filtration.py
literal source filename/path in TeX
- explicit file citation v779_gnet_gns_arf.py
literal source filename/path in TeX
- explicit file citation v705_chain_deck_sector.py
literal source filename/path in TeX
- explicit script identifier v880_finite_anchor_theorems.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 file citation v77_e8_conformal_net.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 v807_lorentz_nullselector.py
literal source filename/path in TeX
- explicit script identifier v284_route_i_rp_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v364_vgeo_sharpen.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v170_diamond_slice_compression.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v784_curve_code_2torsion.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v783_two_qubit_clifford.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v355_e8_unmapped_bandwidth.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v161_one_particle_reduction.py
literal short identifier uniquely resolves in local script registry
- 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
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v279_qgeo_obligation_lemma.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v799_seam_code_typeii.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v165_premise_a_closure.py
literal source filename/path in TeX
- explicit script identifier v92_glue_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit file citation GramCompactness.lean
literal source filename/path in TeX
- explicit file citation v911_wiring_freedom.py
literal source filename/path in TeX
- explicit file citation v853_bent_css_mangoldt.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 script identifier v344_detk_synthesis.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 v903_seam_rp_exclusion.py
literal source filename/path in TeX
- explicit script identifier v774_arf_spinor_compiler.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 v137_qplus_cohomology.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v364_vgeo_sharpen.py
literal source filename/path in TeX
- explicit file citation v802_gnet_martingale.py
literal source filename/path in TeX
- explicit script identifier v329_os_gap_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
- explicit script identifier v57_horizon_crosslinks.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v857_simplex_fourier_winding.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 QuarticHalf.lean
literal source filename/path in TeX
- explicit file citation v358_grav_entropy_equilibrium.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 v803_e8_jetcode_affine_nsr.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v36_spectral_action_g2.py
literal source filename/path in TeX
- explicit file citation v726_phys_car_pp_index.py
literal source filename/path in TeX
- explicit file citation v898_kms_schur_mixing.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 v366_mmst_seam_collar.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v337_decoupling_theorem.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 file citation v817_positive_descent_master.py
literal source filename/path in TeX
- explicit script identifier v309_modular_bedrock.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 v369_qgamb_redundancy.py
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
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- 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 script identifier v359_grav_nonlinear_einstein.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 v274_scale_overdetermination.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 v799_seam_code_typeii.py
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 script identifier v888_finite_pfaffian_signature.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v153_no_unit_theorem.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation GaussianCodeBridge.lean
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 script identifier v36_spectral_action_g2.py
literal short identifier uniquely resolves in local script registry
- 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 file citation PositiveDescentMaster.lean
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 claim identifier status_ledger.csv
exact local ledger claim identifier
- 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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v28_gravity_fR.py
literal source filename/path in TeX
- explicit script identifier v817_positive_descent_master.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v157_rigid_fixed_point.py
literal source filename/path in TeX
- explicit script identifier v323_bw_geometric_modular.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_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 v874_feedback_decoder_lean.py
literal source filename/path in TeX
- explicit file citation v475_entropic_scalaron_gate.py
literal source filename/path in TeX
- explicit file citation v725_phys_vgeo_torsor_audit.py
literal source filename/path in TeX
- explicit script identifier v258_dirac_covariance_induction.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 v1_e8_glue.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 v359_grav_nonlinear_einstein.py
literal source filename/path in TeX
- explicit file citation v29_research_contract_certs.py
literal source filename/path in TeX
- explicit file citation FlavorFeedback.lean
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 v782_e8_transition_bus.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 v624_external_lattice_audit.py
literal source filename/path in TeX
- explicit script identifier v110_calderon_sheet.py
literal short identifier uniquely resolves in local script registry
- cross reference join TfptCarrier.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 v852_arf_vacuum_ovoid.py
literal source filename/path in TeX
- explicit script identifier v58_seam_horizon_chain.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v722_phys_ramified_ns_r.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 v845_cfin_normal_form.py
literal source filename/path in TeX
- explicit script identifier v168_qgeo_rigidity.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v715_qgeo_car_continuum.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 v116_resonance_uniqueness.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- 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 AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v972_seam_interaction_front.py
literal source filename/path in TeX
- explicit file citation v844_message_doily_rank.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 v158_fixed_point_stable.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 v752_projective_hamming_incidence.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v76_gmetric_reduction.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v690_quartic_half.py
literal source filename/path in TeX
- explicit script identifier v471_seam_horizon_replica.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v3_em_alpha.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v474_entropic_hodge_carrier.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v776_boundary_hamming_uniqueness.py
literal source filename/path in TeX
- explicit script identifier v113_quasifree_kernel.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v798_seam_clifford_modular_s.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 v809_curve_code_doily.py
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 v60_lambda_metrology_branch.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v476_entropic_compression_toy.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v898_kms_schur_mixing.py
literal short identifier uniquely resolves in local script registry
- cross reference join GlueUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v123_inventory_update.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v888_finite_pfaffian_signature.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