Find the original argument.

experiments/theory-contracts/universalraum-fable-kernfragen-20260910/context/fortsetzung/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 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 script identifier v57_horizon_crosslinks.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 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 script identifier v799_seam_code_typeii.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation v799_seam_code_typeii.py

  literal source filename/path in TeX

• explicit script identifier v60_lambda_metrology_branch.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 v128_graded_hull.py

  literal source filename/path in TeX

• explicit file citation v972_seam_interaction_front.py

  literal source filename/path in TeX

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit file citation v808_petersen_sixthroot.py

  literal source filename/path in TeX

• explicit script identifier v880_finite_anchor_theorems.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 v471_seam_horizon_replica.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation v878_ledger_integrity.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 v160_seam_gaussianity_from_pf.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 file citation v802_gnet_martingale.py

  literal source filename/path in TeX

• explicit file citation v880_finite_anchor_theorems.py

  literal source filename/path in TeX

• cross reference join AxiomCheck.lean

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• cross reference join tfpt_readouts_extension.wl

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• explicit script identifier v475_entropic_scalaron_gate.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 claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit script identifier v329_os_gap_reduction.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 file citation v156_seam_net_construction.py

  literal source filename/path in TeX

• cross reference join tfpt_readouts_extension.wl

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• cross reference join ArfSpinorCompiler.lean

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• explicit file citation v852_arf_vacuum_ovoid.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_extension.wl

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• explicit script identifier v152_norm_is_anchor.py

  literal short identifier uniquely resolves in local script registry

• 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 v125_glue_qsystem.py

  literal source filename/path in TeX

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit script identifier v116_resonance_uniqueness.py

  literal short identifier uniquely resolves in local script registry

• cross reference join SeamScalingLimit.lean

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• cross reference join tfpt_readouts_extension.wl

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit file citation v898_kms_schur_mixing.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 v903_seam_rp_exclusion.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation v911_wiring_freedom.py

  literal source filename/path in TeX

• explicit file citation v705_chain_deck_sector.py

  literal source filename/path in TeX

• explicit script identifier v309_modular_bedrock.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 file citation v796_duad_syntheme_bridge.py

  literal source filename/path in TeX

• explicit script identifier v364_vgeo_sharpen.py

  literal short identifier uniquely resolves in local script registry

• explicit script identifier v157_rigid_fixed_point.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation v154_simple_current_theorem.py

  literal source filename/path in TeX

• explicit file citation v160_seam_gaussianity_from_pf.py

  literal source filename/path in TeX

• explicit file citation v779_gnet_gns_arf.py

  literal source filename/path in TeX

• explicit script identifier v361_grav_backreaction.py

  literal short identifier uniquely resolves in local script registry

• cross reference join tfpt_readouts.wl

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• cross reference join tfpt_readouts.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 claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit file citation v158_fixed_point_stable.py

  literal source filename/path in TeX

• explicit file citation v151_bfk_split.py

  literal source filename/path in TeX

• explicit script identifier v286_seam_equivalence_contract.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation GramCompactness.lean

  literal source filename/path in TeX

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit file citation v365_qg_oneloop_saddle.py

  literal source filename/path in TeX

• explicit script identifier v216_marks_gauss_bonnet.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation GaussianShells.lean

  literal source filename/path in TeX

• explicit script identifier v798_seam_clifford_modular_s.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.wl

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• cross reference join BWKeystone.lean

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit script identifier v358_grav_entropy_equilibrium.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 v478_entropic_continuum_legs.py

  literal source filename/path in TeX

• 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

• cross reference join tfpt_readouts_extension.wl

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• explicit script identifier v137_qplus_cohomology.py

  literal short identifier uniquely resolves in local script registry

• explicit script identifier v972_seam_interaction_front.py

  literal short identifier uniquely resolves in local script registry

• explicit script identifier v110_calderon_sheet.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation v814_k5_sixstep_transport.py

  literal source filename/path in TeX

• explicit script identifier v279_qgeo_obligation_lemma.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

• explicit file citation v474_entropic_hodge_carrier.py

  literal source filename/path in TeX

• explicit file citation v175_net_existence_full_cone.py

  literal source filename/path in TeX

• explicit file citation v807_lorentz_nullselector.py

  literal source filename/path in TeX

• explicit script identifier v1_e8_glue.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation v726_phys_car_pp_index.py

  literal source filename/path in TeX

• cross reference join ProjectiveHamming.lean

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• cross reference join SeamApplicabilityLedger.lean

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• explicit script identifier v334_conformal_resolution.py

  literal short identifier uniquely resolves in local script registry

• explicit script identifier v115_anchor_residue.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation v153_no_unit_theorem.py

  literal source filename/path in TeX

• explicit file citation v813_p1_index_kms.py

  literal source filename/path in TeX

• explicit file citation v805_e8_syndrome_algebra.py

  literal source filename/path in TeX

• explicit file citation v812_flavor_graph_filtration.py

  literal source filename/path in TeX

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit file citation v844_message_doily_rank.py

  literal source filename/path in TeX

• explicit file citation v148_fock_census.py

  literal source filename/path in TeX

• cross reference join tfpt_readouts_extension.wl

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• explicit file citation v857_simplex_fourier_winding.py

  literal source filename/path in TeX

• explicit script identifier v143_graded_frobenius.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation v476_entropic_compression_toy.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_extension.wl

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• explicit file citation v803_e8_jetcode_affine_nsr.py

  literal source filename/path in TeX

• explicit script identifier v344_detk_synthesis.py

  literal short identifier uniquely resolves in local script registry

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit script identifier v336_continuum_limit.py

  literal short identifier uniquely resolves in local script registry

• explicit script identifier v113_quasifree_kernel.py

  literal short identifier uniquely resolves in local script registry

• explicit 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 v161_one_particle_reduction.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation v858_g31_clock_alphabet.py

  literal source filename/path in TeX

• cross reference join tfpt_readouts_extension.wl

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• cross reference join tfpt_readouts_extension.wl

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• explicit file citation v143_graded_frobenius.py

  literal source filename/path in TeX

• explicit file citation v798_seam_clifford_modular_s.py

  literal source filename/path in TeX

• 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 v845_cfin_normal_form.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 file citation v155_quasifree_boundary.py

  literal source filename/path in TeX

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit file citation v908_seam_equilibrium_wiring.py

  literal source filename/path in TeX

• explicit script identifier v89_carrier_index_lemma.py

  literal short identifier uniquely resolves in local script registry

• explicit script identifier v715_qgeo_car_continuum.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation v690_quartic_half.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

• 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 v274_scale_overdetermination.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 v473_entropic_action_bridge.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 v170_diamond_slice_compression.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 v903_seam_rp_exclusion.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 v68_seeley_dewitt_residual.py

  literal short identifier uniquely resolves in local script registry

• explicit script identifier v354_e8_reverse_audit.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation status_ledger.csv

  literal source filename/path in TeX

• explicit file citation v29_research_contract_certs.py

  literal source filename/path in TeX

• 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 file citation v849_cfin_unique_cofinal_lean.py

  literal source filename/path in TeX

• explicit script identifier v323_bw_geometric_modular.py

  literal short identifier uniquely resolves in local script registry

• explicit script identifier v44_carrier_exterior.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation v896_wick_block_functor.py

  literal source filename/path in TeX

• explicit script identifier v784_curve_code_2torsion.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation v150_replica_eh_model.py

  literal source filename/path in TeX

• explicit script identifier v158_fixed_point_stable.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation v853_bent_css_mangoldt.py

  literal source filename/path in TeX

• explicit script identifier v83_e8net_holomorphic_uniqueness.py

  literal short identifier uniquely resolves in local script registry

• 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 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 claim identifier status_ledger.csv

  exact local ledger claim identifier

• 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 v162_seam_transport_identification.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 v359_grav_nonlinear_einstein.py

  literal source filename/path in TeX

• explicit script identifier v355_e8_unmapped_bandwidth.py

  literal short identifier uniquely resolves in local script registry

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit script identifier v480_multilocal_four_interval.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 claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit file citation v477_entropic_scaleflow.py

  literal source filename/path in TeX

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit 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 v817_positive_descent_master.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 claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit script identifier v3_em_alpha.py

  literal short identifier uniquely resolves in local script registry

• cross reference join SpectralGapAttractor.lean

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• explicit 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 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

• cross reference join LorentzCongruence.lean

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• cross reference join tfpt_readouts.wl

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• explicit script identifier v359_grav_nonlinear_einstein.py

  literal short identifier uniquely resolves in local script registry

• explicit script identifier v168_qgeo_rigidity.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 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

• explicit file citation v36_spectral_action_g2.py

  literal source filename/path in TeX

• explicit script identifier v59_area_law_evidence.py

  literal short identifier uniquely resolves in local script registry

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit file citation QuarticHalf.lean

  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 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 GlueUniqueness.lean

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• explicit file citation seam_equivalence.json

  literal source filename/path in TeX

• explicit file citation v364_vgeo_sharpen.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 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

• 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 PositiveDescentMaster.lean

  literal source filename/path in TeX

• explicit file citation v475_entropic_scalaron_gate.py

  literal source filename/path in TeX

• 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 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 v526_seam_thermal_kms_nariai_bridge.py

  literal short identifier uniquely resolves in local script registry

• explicit script identifier v36_spectral_action_g2.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 v76_gmetric_reduction.py

  literal source filename/path in TeX

• explicit file citation v165_premise_a_closure.py

  literal source filename/path in TeX

• explicit file citation v809_curve_code_doily.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 file citation v776_boundary_hamming_uniqueness.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 claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit file citation v810_cutcode_moment.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 v59_area_law_evidence.py

  literal source filename/path in TeX

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit file citation v875_shell_global_lean.py

  literal source filename/path in TeX

• explicit file citation v874_feedback_decoder_lean.py

  literal source filename/path in TeX

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit script identifier v369_qgamb_redundancy.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation v624_external_lattice_audit.py

  literal source filename/path in TeX

• explicit file citation v689_gaussian_code_bridge.py

  literal source filename/path in TeX

• cross reference join Mu4Commutation.lean

  TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

• explicit script identifier v330_qgamb_admissible_measure.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation GaussianCodeBridge.lean

  literal source filename/path in TeX

• explicit script identifier v783_two_qubit_clifford.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation v995_kms_subnet_rigidity.py

  literal source filename/path in TeX

• explicit file citation v28_gravity_fR.py

  literal source filename/path in TeX

• explicit script identifier v898_kms_schur_mixing.py

  literal short identifier uniquely resolves in local script registry

• explicit script identifier v782_e8_transition_bus.py

  literal short identifier uniquely resolves in local script registry

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit file citation v77_e8_conformal_net.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 claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit script identifier v908_seam_equilibrium_wiring.py

  literal short identifier uniquely resolves in local script registry

• explicit script identifier v817_positive_descent_master.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation v725_phys_vgeo_torsor_audit.py

  literal source filename/path in TeX

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• 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

• explicit file citation v157_rigid_fixed_point.py

  literal source filename/path in TeX

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• explicit file citation v473_entropic_action_bridge.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 v56_unique_attractor.py

  literal short identifier uniquely resolves in local script registry

• explicit file citation v752_projective_hamming_incidence.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 v123_inventory_update.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 script identifier v2_carrier_pascal.py

  literal short identifier uniquely resolves in local script registry

• explicit claim identifier status_ledger.csv

  exact local ledger claim identifier

• cross reference join OrbitPacket.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 v369_qgamb_redundancy.py

  literal source filename/path in TeX