Research Contract 1 — [formula in source]
tfpt research contracts
Goal. Prove [formula in source] with [formula in source] and [formula in source] at the four points of [formula in source] . The substrate is standard: degree-zero stable parabolic bundles correspond to unitary representations with prescribed local monodromies (Mehta–Seshadri); tame non-abelian Hodge gives the Higgs / flat-connection side. The TFPT content is to pin the one [formula in source] -symmetric, rank-3, fou
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 208 to 2321
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v241_dhr_sectors.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v290_z4_smooth_curvature_adversary.py
literal source filename/path in TeX
- explicit script identifier v71_simple_r_bridge.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 v73_k_c3_half.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 v248_ps_algebra.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamRigidityForcing.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v256_orientability_poincare.py
literal source filename/path in TeX
- explicit script identifier v276_qgeo_flat_closes_commutator.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 v512_seam_tau_flag.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 v228_rr_index_gate.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v214_seam_pillowcase.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 v426_seam_lto_rp_kms.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v599_real_structure.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
- explicit file citation v300_flataway_rigid.py
literal source filename/path in TeX
- explicit file citation v45_family_exterior.py
literal source filename/path in TeX
- explicit file citation rt_F_qft4d.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 v464_seam_oneparticle_rigidity.py
literal source filename/path in TeX
- cross reference join BWKeystone.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 file citation v503_qgeo_emergence_light.py
literal source filename/path in TeX
- explicit file citation v368_seam_s3_inflow.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 v399_gravity_complete.py
literal source filename/path in TeX
- explicit file citation v447_seam_edge_chern.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 v175_net_existence_full_cone.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v309_modular_bedrock.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 file citation v193_qgeo_energy_commutator.py
literal source filename/path in TeX
- explicit script identifier v247_e8_branching_no126.py
literal short identifier uniquely resolves in local script registry
- cross reference join MobiusUniformisation.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 v181_clock_is_conformal_symmetry.py
literal source filename/path in TeX
- explicit file citation v217_marks_emergence_scan.py
literal source filename/path in TeX
- cross reference join CalderonInterface.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v438_seam_hsmi_borchers.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v295_flataway_a2_exact.py
literal short identifier uniquely resolves in local script registry
- explicit lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
- explicit file citation v195_marks_lefschetz_character.py
literal source filename/path in TeX
- explicit file citation v490_seam_parity_census.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v125_glue_qsystem.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v529_seam_interacting_toy_fk.py
literal source filename/path in TeX
- explicit file citation v446_seam_clock_invariance.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 v469_seam_crossedproduct_route.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 script identifier v476_entropic_compression_toy.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v528_seam_bit_twist_class_definition.py
literal source filename/path in TeX
- explicit file citation v458_seam_mmst_citation_audit.py
literal source filename/path in TeX
- explicit script identifier v282_e8_tau_i_unification.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 v197_rr_carrier_clifford_d5.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 v251_first_order_sigma.py
literal source filename/path in TeX
- explicit script identifier v36_spectral_action_g2.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 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
- explicit file citation v280_pillowcase_steklov.py
literal source filename/path in TeX
- explicit file citation v228_rr_index_gate.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 v30_d4_character_variety.py
literal source filename/path in TeX
- cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v255_spectral_action_expansion.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v64_causal_boundary_nogo.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 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
- explicit script identifier v506_seam_clock_rigidity.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v590_involution_existence.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 v75_upoint_to_vgeo.py
literal source filename/path in TeX
- explicit file citation v192_qgeo_energy_clock.py
literal source filename/path in TeX
- explicit script identifier v308_seam_equiv_chain.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 file citation v243_haag_ruelle_braiding.py
literal source filename/path in TeX
- explicit script identifier v597_mu4_cover_model.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v240_gns_os_reconstruction.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v294_flataway_rp_energy.py
literal source filename/path in TeX
- explicit script identifier v137_qplus_cohomology.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v287_free_rp_bulk_to_holomorphic_boundary.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v445_seam_rigidity_forcing.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v117_monodromy_weyl_a3.py
literal source filename/path in TeX
- explicit script identifier v480_multilocal_four_interval.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
- explicit script identifier v69_d4_q_geometry.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
- explicit script identifier v398_seam_state_rigidity.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v426_seam_lto_rp_kms.py
literal source filename/path in TeX
- explicit file citation v366_mmst_seam_collar.py
literal source filename/path in TeX
- explicit script identifier v49_readout_rigidity.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v463_seam_c8_holomorphic_uniqueness.py
literal source filename/path in TeX
- explicit file citation v254_inner_fluctuations.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v201_seam_subprincipal_marks.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 file citation SeamStandardPair.lean
literal source filename/path in TeX
- explicit script identifier v236_brieskorn_capstone.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v243_haag_ruelle_braiding.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v210_mark_local_dtn.py
literal source filename/path in TeX
- explicit script identifier v478_entropic_continuum_legs.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 v379_seam_s3_rp.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v98_discriminant_dictionary.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 file citation v273_eg_gauge_running.py
literal source filename/path in TeX
- explicit file citation v289_marklocal_raw.py
literal source filename/path in TeX
- explicit file citation v376_seam_s3_centralcharge.py
literal source filename/path in TeX
- explicit file citation v444_seam_edge_scaling.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 v297_route_a_literature_stack.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 v136_dual_normal_selector.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 v1_e8_glue.py
literal short identifier uniquely resolves in local script registry
- explicit lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
- explicit script identifier v194_raw_seam_dtn_rp.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v489_seam_modular_commutator.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 v207_asymptotic_safety.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v424_seam_lto_rp_reduction.py
literal source filename/path in TeX
- explicit script identifier v177_seam_marking_kernel.py
literal short identifier uniquely resolves in local script registry
- 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 v237_seam_sre_closure.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 v356_continuum_mmst_applicability.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v449_seam_mmst_uniform.py
literal source filename/path in TeX
- explicit file citation v266_ps_threshold_proton.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v244_spectral_action_contract.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v114_torsion_delta.py
literal source filename/path in TeX
- 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 v246_unification_data_crosscheck.py
literal source filename/path in TeX
- explicit script identifier v277_seam_calderon_e8_match.py
literal short identifier uniquely resolves in local script registry
- explicit lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
- explicit script identifier v507_seam_bit_origin.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 v142_frame_integrality.py
literal source filename/path in TeX
- explicit file citation v297_route_a_literature_stack.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 v512_seam_tau_flag.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v32_rh_splitting.py
literal source filename/path in TeX
- 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 v150_replica_eh_model.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v370_grav_spin2_unitarity.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 SeamScalingLimit.lean
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v566_parabolic_anchor_selfcode.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v176_seam_collar_realisation.py
literal source filename/path in TeX
- explicit script identifier v259_modular_cutoff_kappa.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
- 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 file citation v249_ps_unification.py
literal source filename/path in TeX
- explicit file citation v238_modular_lindblad_dynamics.py
literal source filename/path in TeX
- cross reference join SeamStandardPair.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v442_seam_rigidity_uniform.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 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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v301_route_a_invertible.py
literal source filename/path in TeX
- explicit file citation v240_gns_os_reconstruction.py
literal source filename/path in TeX
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v118_hexagon_family_dictionary.py
literal source filename/path in TeX
- explicit script identifier v30_d4_character_variety.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v235_seam_chern_simons.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 v260_k3_kummer_unification.py
literal source filename/path in TeX
- explicit file citation v378_seam_s3_modular.py
literal source filename/path in TeX
- explicit file citation v40_harmonic_metric.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v38_uwall_killswitch.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v239_kms_thermal_time.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v384_residual_certification.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v122_margin_theorem.py
literal source filename/path in TeX
- explicit script identifier v378_seam_s3_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
- 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 script identifier v302_seam_gap.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 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 v301_route_a_invertible.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v335_seam_equiv_unify.py
literal short identifier uniquely resolves in local script registry
- explicit file citation SeamEquivChain.lean
literal source filename/path in TeX
- explicit script identifier v304_idg_nonlocal_ghost.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v601_equivariant_dual.py
literal short identifier uniquely resolves in local script registry
- explicit file citation CohomologyGrading.lean
literal source filename/path in TeX
- explicit script identifier v198_modular_commutator_reduction.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v252_full_finite_triple.py
literal source filename/path in TeX
- explicit file citation v139_selector_triangle.py
literal source filename/path in TeX
- explicit file citation v264_raw_seam_marklocal.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 v118_hexagon_family_dictionary.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 v462_seam_spinor_continuum.py
literal source filename/path in TeX
- explicit file citation v291_flataway_contract.py
literal source filename/path in TeX
- explicit file citation v234_seam_holomorphy_selection.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 v215_seam_deck_killtest.py
literal short identifier uniquely resolves in local script registry
- cross reference join KronheimerMarks.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v347_seam_closure_modes.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v452_seam_e8_modular.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 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 file citation v39_uwall_selectors.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 GlueUniqueness.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 v308_seam_equiv_chain.py
literal source filename/path in TeX
- explicit file citation v510_seam_bit_freedom.py
literal source filename/path in TeX
- explicit file citation v215_seam_deck_killtest.py
literal source filename/path in TeX
- explicit file citation v115_anchor_residue.py
literal source filename/path in TeX
- explicit file citation v245_spectral_matter_content.py
literal source filename/path in TeX
- explicit script identifier v489_seam_modular_commutator.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 v148_fock_census.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v70_q_integer_lift.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v119_review_validation_2.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v149_cusp_normal.py
literal source filename/path in TeX
- explicit file citation v507_seam_bit_origin.py
literal source filename/path in TeX
- explicit file citation CoverEmbedding.lean
literal source filename/path in TeX
- explicit file citation v279_qgeo_obligation_lemma.py
literal source filename/path in TeX
- explicit script identifier v289_marklocal_raw.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 v46_grand_mass_volume.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v601_equivariant_dual.py
literal source filename/path in TeX
- explicit script identifier v33_explicit_flat_bundle.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 SeamApplicabilityLedger.lean
literal source filename/path in TeX
- explicit file citation v284_route_i_rp_uniqueness.py
literal source filename/path in TeX
- 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
- 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
- explicit script identifier v154_simple_current_theorem.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 v122_margin_theorem.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v76_gmetric_reduction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v286_seam_equivalence_contract.py
literal short identifier uniquely resolves in local script registry
- cross reference join YukawaPrimitive.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v296_flataway_a2_closed.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v253_kappa_scalaron_ps.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
- explicit file citation v377_seam_s3_e8character.py
literal source filename/path in TeX
- explicit script identifier v90_conical_defect_chain.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 v44_carrier_exterior.py
literal source filename/path in TeX
- explicit file citation v42_exterior_leg.py
literal source filename/path in TeX
- explicit file citation v453_seam_mu4_from_marks.py
literal source filename/path in TeX
- explicit file citation v602_duality_forms.py
literal source filename/path in TeX
- explicit script identifier v254_inner_fluctuations.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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v460_seam_s3_lto.py
literal source filename/path in TeX
- explicit file citation v455_seam_bw_uniform.py
literal source filename/path in TeX
- explicit file citation v177_seam_marking_kernel.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v248_ps_algebra.py
literal source filename/path in TeX
- explicit file citation v121_address_pinning.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
- explicit file citation v461_seam_strict_locality.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 v469_seam_crossedproduct_route.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v19_monodromy_moduli.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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v71_simple_r_bridge.py
literal source filename/path in TeX
- explicit script identifier v68_seeley_dewitt_residual.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v450_seam_edge_entanglement.py
literal short identifier uniquely resolves in local script registry
- cross reference join CartanDeterminants.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v525_seam_bit_twist_blind.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v234_seam_holomorphy_selection.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v286_seam_equivalence_contract.py
literal source filename/path in TeX
- explicit script identifier v572_rp_bit_form.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v92_glue_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v250_dirac_triple_contract.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v179_conformal_realisation.py
literal source filename/path in TeX
- explicit script identifier v442_seam_rigidity_uniform.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v367_seam_s3_lattice.py
literal source filename/path in TeX
- explicit file citation v253_kappa_scalaron_ps.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 lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
- cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SeamEquivChain.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v5_e8_cascade.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v441_seam_applicability_ledger.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 v311_gap_decoupled_measure.py
literal source filename/path in TeX
- explicit file citation v450_seam_edge_entanglement.py
literal source filename/path in TeX
- explicit file citation v168_qgeo_rigidity.py
literal source filename/path in TeX
- explicit file citation v448_seam_edge_fourpoint.py
literal source filename/path in TeX
- explicit lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
- explicit script identifier v239_kms_thermal_time.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v95_centered_diamond.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v302_seam_gap.py
literal source filename/path in TeX
- 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_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v165_premise_a_closure.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 v261_modular_spectral_closure.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v323_bw_geometric_modular.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v457_seam_character_killtest.py
literal source filename/path in TeX
- explicit file citation v443_seam_e8_discriminator.py
literal source filename/path in TeX
- explicit script identifier v54_seam_horizon_keystones.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v258_dirac_covariance_induction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v344_detk_synthesis.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 v235_seam_chern_simons.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v159_pyrate_gauge_crosscheck.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v281_holomorphy_modular_data.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v480_multilocal_four_interval.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v242_spin_statistics_modular.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 v255_spectral_action_expansion.py
literal source filename/path in TeX
- explicit file citation v285_route_ii_seam_condensation.py
literal source filename/path in TeX
- explicit file citation v282_e8_tau_i_unification.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 qft4d_fork_freeze.json
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 v973_seam_route_narrowing.py
literal source filename/path in TeX
- explicit file citation v41_leg_assignment.py
literal source filename/path in TeX
- explicit script identifier v600_joint_embedding.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 v196_seam_energy_functional.py
literal source filename/path in TeX
- explicit script identifier v288_full_l2_subprincipal_z4.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v119_review_validation_2.py
literal source filename/path in TeX
- explicit script identifier v293_flataway_spectral_hessian.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v528_seam_bit_twist_class_definition.py
literal short identifier uniquely resolves in local script registry
- cross reference join CohomologyGrading.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v134_dual_anchor.py
literal source filename/path in TeX
- explicit file citation v49_readout_rigidity.py
literal source filename/path in TeX
- explicit script identifier v4_flavor_matrix.py
literal short identifier uniquely resolves in local script registry
- explicit lean symbol SeamDeckClosure.lean
exact texttt symbol under explicit Lean/theorem context
- explicit file citation v250_dirac_triple_contract.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v198_modular_commutator_reduction.py
literal source filename/path in TeX
- explicit file citation v506_seam_clock_rigidity.py
literal source filename/path in TeX
- explicit file citation v401_metrology_closure.py
literal source filename/path in TeX
- explicit script identifier v510_seam_bit_freedom.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 v43_exterior_bridge.py
literal source filename/path in TeX
- explicit file citation v440_seam_lto_rp_beta.py
literal source filename/path in TeX
- explicit file citation v257_quasiorient_modpd.py
literal source filename/path in TeX
- explicit script identifier v238_modular_lindblad_dynamics.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v41_leg_assignment.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v261_modular_spectral_closure.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
- explicit file citation v439_seam_lieb_robinson.py
literal source filename/path in TeX
- cross reference join AuditContract.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 v249_ps_unification.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v309_modular_bedrock.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v515_celestial_wp5e_m1_omega_n.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamDeckClosure.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v120_address_table.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 v454_seam_edge_virasoro.py
literal source filename/path in TeX
- explicit script identifier v179_conformal_realisation.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v265_qft4d_fork_freeze.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 v241_dhr_sectors.py
literal source filename/path in TeX
- explicit script identifier v20_lepton_c_derivation.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v195_marks_lefschetz_character.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v376_seam_s3_centralcharge.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
- explicit script identifier v139_selector_triangle.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v368_seam_s3_inflow.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
- explicit script identifier v217_marks_emergence_scan.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v264_raw_seam_marklocal.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v446_seam_clock_invariance.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 v135_det_surface.py
literal source filename/path in TeX
- explicit script identifier v168_qgeo_rigidity.py
literal short identifier uniquely resolves in local script registry
- explicit lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
- explicit script identifier v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v116_resonance_uniqueness.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 v267_qgeo_rigidity_minimal_axiom.py
literal source filename/path in TeX
- explicit file citation SeamResidualAxiom.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 v377_seam_s3_e8character.py
literal short identifier uniquely resolves in local script registry
- explicit file citation MobiusUniformisation.lean
literal source filename/path in TeX
- explicit file citation v271_eg_oneloop_quartic.py
literal source filename/path in TeX
- explicit file citation v180_clock_is_mobius.py
literal source filename/path in TeX
- explicit script identifier v199_seam_state_invariance.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v29_research_contract_certs.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 v247_e8_branching_no126.py
literal source filename/path in TeX
- explicit file citation v194_raw_seam_dtn_rp.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 v114_torsion_delta.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 file citation v445_seam_rigidity_forcing.py
literal source filename/path in TeX
- explicit script identifier v40_harmonic_metric.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v293_flataway_spectral_hessian.py
literal source filename/path in TeX
- explicit file citation v216_marks_gauss_bonnet.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v162_seam_transport_identification.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v153_no_unit_theorem.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 v310_carrier_sm_anomaly.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 v214_seam_pillowcase.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 v493_celestial_wp2_clock_deformation.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v459_seam_lattice_voa_route.py
literal source filename/path in TeX
- explicit file citation v237_seam_sre_closure.py
literal source filename/path in TeX
- explicit script identifier v242_spin_statistics_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
- 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 script identifier v519_woit_theta_rp_free.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 v180_clock_is_mobius.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v113_quasifree_kernel.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v252_full_finite_triple.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 v117_monodromy_weyl_a3.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
- explicit file citation v288_full_l2_subprincipal_z4.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v392_seam_s3_scalinglimit.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 v155_quasifree_boundary.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v34_h2_bridge_attempt.py
literal source filename/path in TeX
- cross reference join ArfSpinorCompiler.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v178_marks_kernel_attempt.py
literal source filename/path in TeX
- explicit file citation v379_seam_s3_rp.py
literal source filename/path in TeX
- explicit file citation v199_seam_state_invariance.py
literal source filename/path in TeX
- explicit file citation v244_spectral_action_contract.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 script identifier v380_grav_kms_hessian.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v597_mu4_cover_model.py
literal source filename/path in TeX
- explicit file citation v295_flataway_a2_exact.py
literal source filename/path in TeX
- explicit file citation v265_qft4d_fork_freeze.py
literal source filename/path in TeX
- explicit script identifier v134_dual_anchor.py
literal short identifier uniquely resolves in local script registry
- explicit file citation freeze_file.csv
literal source filename/path in TeX
- explicit file citation v33_explicit_flat_bundle.py
literal source filename/path in TeX
- explicit file citation v269_spert_paqft_skeleton.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 file citation v145_pairing_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
- 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 v158_fixed_point_stable.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v278_lsz_bridge_unitarity.py
literal source filename/path in TeX
- explicit file citation SeamDeckClosure.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 lean symbol SeamDeckClosure.lean
exact texttt symbol under explicit Lean/theorem context
- 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 v156_seam_net_construction.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 v534_seam_straddle_cone.py
literal source filename/path in TeX
- explicit file citation v456_seam_chirality_from_c3.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v200_seam_variational_scan.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v31_R_dictionary.py
literal source filename/path in TeX
- explicit file citation v356_continuum_mmst_applicability.py
literal source filename/path in TeX
- explicit file citation v521_seam_bit_rp_blind.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 v83_e8net_holomorphic_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v58_seam_horizon_chain.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 v160_seam_gaussianity_from_pf.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v398_seam_state_rigidity.py
literal source filename/path in TeX
- explicit script identifier v351_continuum_realisation_sharpened.py
literal short identifier uniquely resolves in local script registry
- cross reference join CoverEmbedding.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v18_quark_yukawa.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v42_exterior_leg.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v292_flataway_heat_reduction.py
literal source filename/path in TeX
- cross reference join ParityWeightLaws.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v508_celestial_wp5e_gamma_pairing.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
- cross reference join YukawaTrilinearForm.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 v451_seam_edge_cardy_tower.py
literal source filename/path in TeX
- explicit file citation v276_qgeo_flat_closes_commutator.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