Front matter / support
TFPT — Introduction and reading guide · Verification reference catalog
@p3.5cmY@ Script & What it machine-checks \\ Script & What it machine-checks (continued) \\ 2r@ continued on next page\\ v1_ e8_ glue.py & glue theorem [formula in source] : [formula in source] , [formula in source] , [formula in source] , [formula in source] \\ v2_ carrier_ pascal.py & [formula in source] unique Pascal solution; [formula in source] , [formula in source] , [formula in source] , [formula in source] ,
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
tex-artefacts/verification.tex · lines 1 to 738
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v471_seam_horizon_replica.py
literal source filename/path in TeX
- explicit script identifier v447_seam_edge_chern.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v261_modular_spectral_closure.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 v82_koide_attractor_splitting.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v87_bulk_uniqueness_reduction.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v529_seam_interacting_toy_fk.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 v253_kappa_scalaron_ps.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 script identifier v92_glue_uniqueness.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 file citation v337_decoupling_theorem.py
literal source filename/path in TeX
- explicit file citation v726_phys_car_pp_index.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 v273_eg_gauge_running.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 script identifier v520_celestial_wp5e_measure_decision.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v364_vgeo_sharpen.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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- 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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v222_cm_norm_duality.py
literal source filename/path in TeX
- explicit file citation v620_cyclic_n_census.py
literal source filename/path in TeX
- explicit script identifier v264_raw_seam_marklocal.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v211_axion_spine_angle.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1031_quantum_tensor_curvature.py
literal source filename/path in TeX
- 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 v852_arf_vacuum_ovoid.py
literal source filename/path in TeX
- explicit script identifier v440_seam_lto_rp_beta.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v243_haag_ruelle_braiding.py
literal source filename/path in TeX
- explicit script identifier v285_route_ii_seam_condensation.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v280_pillowcase_steklov.py
literal source filename/path in TeX
- explicit script identifier v48_em_ward.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v221_seam_qecc.py
literal source filename/path in TeX
- explicit file citation v144_detratio_family.py
literal source filename/path in TeX
- explicit script identifier v270_pmns_jarlskog_assembly.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v776_boundary_hamming_uniqueness.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v429_axion_pentagon_phi.py
literal source filename/path in TeX
- explicit file citation v466_seed_leptonmass_channel.py
literal source filename/path in TeX
- explicit file citation v486_transfer_full_rule.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 v375_observatory_registry.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 v364_vgeo_sharpen.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v433_alpha_quillen_heatkernel.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v984_markov_qca_dilation.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v197_rr_carrier_clifford_d5.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v149_cusp_normal.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 v409_coxeter_prime2_lemma.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v176_seam_collar_realisation.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v265_qft4d_fork_freeze.py
literal source filename/path in TeX
- explicit file citation v120_address_table.py
literal source filename/path in TeX
- cross reference join SeamEquivChain.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v430_other_side_reverse_audit.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1033_charged_disorder.py
literal source filename/path in TeX
- explicit script identifier v161_one_particle_reduction.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 file citation v153_no_unit_theorem.py
literal source filename/path in TeX
- explicit script identifier v136_dual_normal_selector.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v679_orbifold_continuum_os.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v216_marks_gauss_bonnet.py
literal source filename/path in TeX
- explicit file citation v502_celestial_wp5e_prefactor_level.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 v396_phi0_icosahedral.py
literal source filename/path in TeX
- explicit script identifier v572_rp_bit_form.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 v610_curve_landscape.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v394_coxeter_atoms.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v471_seam_horizon_replica.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v140_canonical_map.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v180_clock_is_mobius.py
literal source filename/path in TeX
- explicit file citation v503_qgeo_emergence_light.py
literal source filename/path in TeX
- explicit script identifier v422_galois_net_bridge.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v208_bh_thermodynamics.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 file citation v705_chain_deck_sector.py
literal source filename/path in TeX
- explicit file citation v1022_telb_round3_certificates.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v584_ext_source_response.py
literal source filename/path in TeX
- explicit file citation v93_koide_relaxation_toy.py
literal source filename/path in TeX
- explicit file citation v62_data_scorecard.py
literal source filename/path in TeX
- explicit file citation v484_seam_contact_unit.py
literal source filename/path in TeX
- cross reference join BoundaryYukawaKernelInterface.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v530_center_quotient_compiler.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v845_cfin_normal_form.py
literal source filename/path in TeX
- explicit file citation v327_hypergraph_rewrite.py
literal source filename/path in TeX
- explicit file citation v59_area_law_evidence.py
literal source filename/path in TeX
- explicit script identifier v444_seam_edge_scaling.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
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v225_dual_normal_frame.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 v992_joint_likelihood_v1.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 v833_gaussian_ramification_ladder.py
literal source filename/path in TeX
- explicit file citation v1026_telb_round4_closure.py
literal source filename/path in TeX
- explicit file citation v168_qgeo_rigidity.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
- explicit script identifier v106_review_validation.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 v334_conformal_resolution.py
literal source filename/path in TeX
- explicit file citation v175_net_existence_full_cone.py
literal source filename/path in TeX
- explicit script identifier v351_continuum_realisation_sharpened.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v151_bfk_split.py
literal source filename/path in TeX
- explicit file citation v127_ring_resummation.py
literal source filename/path in TeX
- explicit file citation v450_seam_edge_entanglement.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation FlavorFeedback.lean
literal source filename/path in TeX
- explicit script identifier v428_overdet_reclass.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v310_carrier_sm_anomaly.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v305_witness_independence.py
literal source filename/path in TeX
- 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 v147_clock_gaussian.py
literal source filename/path in TeX
- explicit file citation v76_gmetric_reduction.py
literal source filename/path in TeX
- explicit script identifier v151_bfk_split.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v7_gravity_cosmo.py
literal source filename/path in TeX
- explicit file citation v298_e8_network_attractor.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 v328_theta13_pressure.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v390_prime2_facet.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v218_diamond_axis_geometry.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v301_route_a_invertible.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1023_derivative_filtered_wall.py
literal source filename/path in TeX
- explicit file citation v254_inner_fluctuations.py
literal source filename/path in TeX
- explicit file citation v27_wall_representative.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v498_celestial_wp5b_singular_vector.py
literal source filename/path in TeX
- explicit script identifier v157_rigid_fixed_point.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v313_golden_atoms_spectral.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v999_weak_collision_hp.py
literal source filename/path in TeX
- explicit script identifier v352_framework_irreducible.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v339_firstprinciples_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
- explicit file citation v616_su2_internal_kinematic.py
literal source filename/path in TeX
- explicit file citation v615_gamma_toy_interacting.py
literal source filename/path in TeX
- explicit file citation v896_wick_block_functor.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 v133_zeta_budget.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v78_vgeo_floor.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v501_celestial_wp5d_two_interval_index.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v384_residual_certification.py
literal source filename/path in TeX
- explicit file citation v621_interacting_semigroup.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v814_k5_sixstep_transport.py
literal source filename/path in TeX
- explicit script identifier v347_seam_closure_modes.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
- explicit file citation v73_k_c3_half.py
literal source filename/path in TeX
- explicit script identifier v160_seam_gaussianity_from_pf.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v92_glue_uniqueness.py
literal source filename/path in TeX
- explicit script identifier v58_seam_horizon_chain.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v82_koide_attractor_splitting.py
literal source filename/path in TeX
- explicit script identifier v298_e8_network_attractor.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v178_marks_kernel_attempt.py
literal short identifier uniquely resolves in local script registry
- cross reference join WatataniIndexFour.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 v323_bw_geometric_modular.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 v81_singular_pencil_matrices.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v374_ftransfer_qcd.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 v111_quadratic_transport.py
literal source filename/path in TeX
- explicit file citation v996_gauge_grammar_kill.py
literal source filename/path in TeX
- explicit file citation v500_celestial_wp5c_gns_limit_state.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 v373_ftransfer_relic.py
literal source filename/path in TeX
- explicit file citation v518_celestial_wp5e_delta1_derived_kill.py
literal source filename/path in TeX
- explicit file citation v339_firstprinciples_boundary.py
literal source filename/path in TeX
- explicit file citation v161_one_particle_reduction.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 v608_gamma_free_slice.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1013_thermodynamic_dynamics.py
literal source filename/path in TeX
- explicit file citation v393_corrections_numeric.py
literal source filename/path in TeX
- explicit script identifier v319_translation_clock.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v353_selfloop_capstone.py
literal source filename/path in TeX
- explicit file citation v971_markov_embedding_generator.py
literal source filename/path in TeX
- cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v490_seam_parity_census.py
literal source filename/path in TeX
- explicit file citation v404_e8_char_cm_duality.py
literal source filename/path in TeX
- explicit file citation v72_q_det_from_cusp.py
literal source filename/path in TeX
- explicit file citation v229_lepton_frobenius_algebra.py
literal source filename/path in TeX
- explicit file citation v1000_spin2_sk_witnesses.py
literal source filename/path in TeX
- explicit file citation v83_e8net_holomorphic_uniqueness.py
literal source filename/path in TeX
- explicit file citation v10_projection_involution.py
literal source filename/path in TeX
- explicit file citation v880_finite_anchor_theorems.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v55_coxeter_cycle.py
literal source filename/path in TeX
- explicit script identifier v403_facet_compositum.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v278_lsz_bridge_unitarity.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v612_polarization_frame.py
literal source filename/path in TeX
- explicit script identifier v497_celestial_wp5a_null_ideal.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 ParityWeightLaws.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 file citation v479_kronheimer_quiver_bridge.py
literal source filename/path in TeX
- explicit file citation v394_coxeter_atoms.py
literal source filename/path in TeX
- 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
- explicit file citation v388_corrections_budget.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v622_seam_identification.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v487_transfer_clock_rungs.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v195_marks_lefschetz_character.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 v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v973_seam_route_narrowing.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 v53_compiler_core.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v251_first_order_sigma.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 v575_cr_continuous_uniflow.py
literal source filename/path in TeX
- explicit script identifier v807_lorentz_nullselector.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v997_spin2_smg_witnesses.py
literal source filename/path in TeX
- explicit script identifier v571_cr_discrete_corners.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v774_arf_spinor_compiler.py
literal source filename/path in TeX
- explicit file citation v206_h0_lambda_branch.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 file citation v33_explicit_flat_bundle.py
literal source filename/path in TeX
- explicit file citation v88_cp_phase_audit.py
literal source filename/path in TeX
- explicit script identifier v526_seam_thermal_kms_nariai_bridge.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v107_quantum_clock_target.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v259_modular_cutoff_kappa.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 v814_k5_sixstep_transport.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v274_scale_overdetermination.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v338_theta13_budget.py
literal source filename/path in TeX
- explicit file citation v475_entropic_scalaron_gate.py
literal source filename/path in TeX
- explicit file citation v516_celestial_wp5e_m2_twisted_ks_measure.py
literal source filename/path in TeX
- explicit file citation v975_dimension_selector_4d.py
literal source filename/path in TeX
- explicit script identifier v386_grav_amplitude.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v722_phys_ramified_ns_r.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v445_seam_rigidity_forcing.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v351_continuum_realisation_sharpened.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v279_qgeo_obligation_lemma.py
literal source filename/path in TeX
- explicit script identifier v489_seam_modular_commutator.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v652_orbifold_arf.py
literal source filename/path in TeX
- explicit script identifier v77_e8_conformal_net.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v632_ftransfer_pgl2.py
literal source filename/path in TeX
- explicit file citation v35_quark_qcd_boundary.py
literal source filename/path in TeX
- explicit file citation v983_simple_current_generator.py
literal source filename/path in TeX
- explicit file citation v203_eht_achromatic.py
literal source filename/path in TeX
- explicit script identifier v183_koide_f_corner_transfer.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v488_majorana_clebsch_door.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v117_monodromy_weyl_a3.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v248_ps_algebra.py
literal source filename/path in TeX
- explicit file citation v875_shell_global_lean.py
literal source filename/path in TeX
- explicit script identifier v303_ftransfer_dynamics.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 v802_gnet_martingale.py
literal source filename/path in TeX
- explicit script identifier v380_grav_kms_hessian.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v395_hypergraph_coupled.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v133_zeta_budget.py
literal source filename/path in TeX
- explicit file citation v395_hypergraph_coupled.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v230_center_budget_norms.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v249_ps_unification.py
literal source filename/path in TeX
- explicit file citation v1025_telb_c1_c2a_certificates.py
literal source filename/path in TeX
- explicit script identifier v332_qgamb_metric_sector.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v220_cp_hexagonal_modulus.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v95_centered_diamond.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v272_nu_mass_scale.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v12_mass_generation_polynomials.py
literal source filename/path in TeX
- explicit file citation v196_seam_energy_functional.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 file citation v75_upoint_to_vgeo.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 v646_rm13_reverse.py
literal source filename/path in TeX
- explicit file citation v210_mark_local_dtn.py
literal source filename/path in TeX
- explicit file citation v106_review_validation.py
literal source filename/path in TeX
- cross reference join tfpt_round4.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v371_ftransfer_pole.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v290_z4_smooth_curvature_adversary.py
literal short identifier uniquely resolves in local script registry
- cross reference join HammingCode.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v72_q_det_from_cusp.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v908_seam_equilibrium_wiring.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.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 v634_st31_structure.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v124_resummed_clock.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v318_arithmetic_capstone.py
literal source filename/path in TeX
- explicit file citation v451_seam_edge_cardy_tower.py
literal source filename/path in TeX
- explicit file citation v41_leg_assignment.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 v404_e8_char_cm_duality.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v378_seam_s3_modular.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation OrbitPacket.lean
literal source filename/path in TeX
- explicit script identifier v196_seam_energy_functional.py
literal short identifier uniquely resolves in local script registry
- 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 file citation v368_seam_s3_inflow.py
literal source filename/path in TeX
- explicit file citation v183_koide_f_corner_transfer.py
literal source filename/path in TeX
- explicit file citation v178_marks_kernel_attempt.py
literal source filename/path in TeX
- cross reference join G31WordOrders.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v519_woit_theta_rp_free.py
literal source filename/path in TeX
- explicit file citation v233_cp_triality_phase.py
literal source filename/path in TeX
- explicit file citation v991_detline_bulk_edge.py
literal source filename/path in TeX
- explicit file citation v1009_rho0_minimizer.py
literal source filename/path in TeX
- explicit script identifier v361_grav_backreaction.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v809_curve_code_doily.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
- 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 v418_cyclotomic_norm_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 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 v470_alpha_inflow_level.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v302_seam_gap.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v624_external_lattice_audit.py
literal source filename/path in TeX
- explicit file citation v986_nu_scalaron_rung.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 v494_cosmo_running_mu_record.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v486_transfer_full_rule.py
literal short identifier uniquely resolves in local script registry
- cross reference join CalderonProjector.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v467_thirdgen_mixing_pattern.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_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v76_gmetric_reduction.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v745_qgeo_car_l1_sector_lemma.py
literal source filename/path in TeX
- explicit file citation v36_spectral_action_g2.py
literal source filename/path in TeX
- explicit file citation v650_orbifold_modular.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v99_koide_flow_time.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v609_translator_factorization.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 script identifier v6_bootstrap.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 v376_seam_s3_centralcharge.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v90_conical_defect_chain.py
literal source filename/path in TeX
- explicit file citation v3_em_alpha.py
literal source filename/path in TeX
- explicit file citation v779_gnet_gns_arf.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 file citation v416_atom_trichotomy.py
literal source filename/path in TeX
- explicit script identifier v1026_telb_round4_closure.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.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 v320_galois_cp_relation.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v306_seed_crossval.py
literal source filename/path in TeX
- explicit file citation v326_ftransfer_suite.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 v974_alpha_faces_computed.py
literal source filename/path in TeX
- explicit file citation v57_horizon_crosslinks.py
literal source filename/path in TeX
- explicit script identifier v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v42_exterior_leg.py
literal source filename/path in TeX
- explicit script identifier v237_seam_sre_closure.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join CoverEmbedding.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 v614_transport_deck.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 v162_seam_transport_identification.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v469_seam_crossedproduct_route.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v79_review_identities.py
literal source filename/path in TeX
- explicit file citation v455_seam_bw_uniform.py
literal source filename/path in TeX
- explicit file citation v2_carrier_pascal.py
literal source filename/path in TeX
- explicit file citation v977_transfer_unistochastic_wilson.py
literal source filename/path in TeX
- explicit file citation v799_seam_code_typeii.py
literal source filename/path in TeX
- explicit script identifier v175_net_existence_full_cone.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v176_seam_collar_realisation.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v497_celestial_wp5a_null_ideal.py
literal source filename/path in TeX
- explicit file citation v777_ftransfer_clock_jets.py
literal source filename/path in TeX
- explicit file citation v185_axion_relic_solver.py
literal source filename/path in TeX
- explicit file citation v504_celestial_wp5d_klm_completeness.py
literal source filename/path in TeX
- explicit file citation v521_seam_bit_rp_blind.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v150_replica_eh_model.py
literal source filename/path in TeX
- explicit script identifier v239_kms_thermal_time.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v532_e8_degree_modular_checksum.py
literal source filename/path in TeX
- explicit file citation v994_mmst_criteria_battery.py
literal source filename/path in TeX
- explicit script identifier v312_hypergraph_substrate.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v57_horizon_crosslinks.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v145_pairing_atoms.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 v289_marklocal_raw.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 v617_seam_cover_forcing.py
literal source filename/path in TeX
- explicit file citation v301_route_a_invertible.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 v297_route_a_literature_stack.py
literal source filename/path in TeX
- explicit file citation v510_seam_bit_freedom.py
literal source filename/path in TeX
- explicit file citation v167_inventory_post_closure.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v46_grand_mass_volume.py
literal source filename/path in TeX
- explicit file citation v356_continuum_mmst_applicability.py
literal source filename/path in TeX
- explicit file citation v197_rr_carrier_clifford_d5.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v474_entropic_hodge_carrier.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v501_celestial_wp5d_two_interval_index.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v70_q_integer_lift.py
literal source filename/path in TeX
- explicit file citation v302_seam_gap.py
literal source filename/path in TeX
- explicit file citation v299_hypergraph_0d_autonomous.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v317_galois_family.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v646_rm13_reverse.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v737_seam48_intertwiner.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 v817_positive_descent_master.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v1_e8_glue.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
- explicit script identifier v84_frozen_registry.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v4_flavor_matrix.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 v179_conformal_realisation.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v311_gap_decoupled_measure.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 script identifier v275_qgamb_roadmap.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v622_seam_identification.py
literal source filename/path in TeX
- explicit script identifier v456_seam_chirality_from_c3.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v71_simple_r_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 file citation v442_seam_rigidity_uniform.py
literal source filename/path in TeX
- explicit script identifier v127_ring_resummation.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v629_root_incidence.py
literal source filename/path in TeX
- explicit file citation v316_galois_readout.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v128_graded_hull.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v496_celestial_wp4_character_shadow.py
literal source filename/path in TeX
- explicit file citation v911_wiring_freedom.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 v194_raw_seam_dtn_rp.py
literal source filename/path in TeX
- explicit file citation v261_modular_spectral_closure.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v520_celestial_wp5e_measure_decision.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 v300_flataway_rigid.py
literal source filename/path in TeX
- cross reference join SeamDeckClosure.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v467_thirdgen_mixing_pattern.py
literal source filename/path in TeX
- explicit file citation v898_kms_schur_mixing.py
literal source filename/path in TeX
- explicit file citation v736_orbit_packet.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v274_scale_overdetermination.py
literal source filename/path in TeX
- explicit file citation v84_frozen_registry.py
literal source filename/path in TeX
- explicit script identifier v192_qgeo_energy_clock.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v522_woit_beta1_gso_gauge.py
literal source filename/path in TeX
- explicit script identifier v325_pillowcase_keystone.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 file citation v113_quasifree_kernel.py
literal source filename/path in TeX
- explicit file citation v267_qgeo_rigidity_minimal_axiom.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 v343_four_routes_analysis.py
literal source filename/path in TeX
- explicit file citation v805_e8_syndrome_algebra.py
literal source filename/path in TeX
- explicit file citation v310_carrier_sm_anomaly.py
literal source filename/path in TeX
- explicit script identifier v100_numerology_null_mc.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1006_mmst_lemma_battery.py
literal source filename/path in TeX
- explicit script identifier v524_woit_beta2_os_quotient.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v639_twist_ope.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 v382_alpha_quillen_exact.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 v125_glue_qsystem.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v16_solar_dual_anchor.py
literal source filename/path in TeX
- explicit file citation v445_seam_rigidity_forcing.py
literal source filename/path in TeX
- explicit script identifier v219_icosahedral_mckay.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v437_e8_degree_joint.py
literal source filename/path in TeX
- explicit script identifier v349_raw_seam_golden_test.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v80_operator_pencil_geometry.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v265_qft4d_fork_freeze.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v325_pillowcase_keystone.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v478_entropic_continuum_legs.py
literal source filename/path in TeX
- explicit script identifier v354_e8_reverse_audit.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v164_qcd_scale.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v522_woit_beta1_gso_gauge.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v439_seam_lieb_robinson.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v5_e8_cascade.py
literal source filename/path in TeX
- cross reference join G31Orders.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 script identifier v977_transfer_unistochastic_wilson.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v193_qgeo_energy_commutator.py
literal source filename/path in TeX
- explicit file citation v489_seam_modular_commutator.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 script identifier v202_rare_kaon.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v16_solar_dual_anchor.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v131_measure_is_area.py
literal source filename/path in TeX
- explicit script identifier v97_sheet_conjugation_bridge.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v990_wj_transduction_mechanism.py
literal source filename/path in TeX
- cross reference join SpectralGapAttractor.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v94_sheet_diamond.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v326_ftransfer_suite.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v443_seam_e8_discriminator.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 file citation v469_seam_crossedproduct_route.py
literal source filename/path in TeX
- explicit script identifier v408_phi0_puncture_heatkernel.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v798_seam_clifford_modular_s.py
literal source filename/path in TeX
- explicit file citation v481_seesaw_carrier_ladder.py
literal source filename/path in TeX
- explicit file citation v746_phys_gnet_local_functor.py
literal source filename/path in TeX
- explicit file citation v426_seam_lto_rp_kms.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 v306_seed_crossval.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v307_data_watchdog.py
literal source filename/path in TeX
- explicit script identifier v382_alpha_quillen_exact.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 file citation v1_e8_glue.py
literal source filename/path in TeX
- explicit file citation v215_seam_deck_killtest.py
literal source filename/path in TeX
- explicit script identifier v377_seam_s3_e8character.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v73_k_c3_half.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v352_framework_irreducible.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v903_seam_rp_exclusion.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v9_neutrino_texture.py
literal source filename/path in TeX
- explicit file citation status_ledger.csv
literal source filename/path in TeX
- explicit file citation v371_ftransfer_pole.py
literal source filename/path in TeX
- explicit file citation v102_seam_orientation.py
literal source filename/path in TeX
- explicit script identifier v156_seam_net_construction.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 file citation v574_stageb_winding.py
literal source filename/path in TeX
- explicit file citation v1008_master_assembly_scaffold.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 v130_born_square.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 v239_kms_thermal_time.py
literal source filename/path in TeX
- explicit file citation v290_z4_smooth_curvature_adversary.py
literal source filename/path in TeX
- 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 file citation v1030_alg2_sector_frame.py
literal source filename/path in TeX
- explicit file citation v288_full_l2_subprincipal_z4.py
literal source filename/path in TeX
- explicit file citation v407_dn_pairings_omega.py
literal source filename/path in TeX
- explicit lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v154_simple_current_theorem.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1002_spin10_mirror_projector.py
literal source filename/path in TeX
- explicit script identifier v464_seam_oneparticle_rigidity.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v513_celestial_dterm_nonderivation.py
literal source filename/path in TeX
- explicit file citation v634_st31_structure.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 file citation v417_eisenstein_cp_operator.py
literal source filename/path in TeX
- explicit file citation v628_orbifold_casimir.py
literal source filename/path in TeX
- explicit script identifier v215_seam_deck_killtest.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v148_fock_census.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1012_toe_gate_witnesses.py
literal source filename/path in TeX
- explicit script identifier v223_coxeter_totative_clock.py
literal short identifier uniquely resolves in local script registry
- cross reference join BWKeystone.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v188_frontier_wording_guard.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 v464_seam_oneparticle_rigidity.py
literal source filename/path in TeX
- explicit script identifier v2_carrier_pascal.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v116_resonance_uniqueness.py
literal source filename/path in TeX
- explicit script identifier v137_qplus_cohomology.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v807_lorentz_nullselector.py
literal source filename/path in TeX
- explicit script identifier v410_sheet_generator_binary.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v654_st31_degree8.py
literal source filename/path in TeX
- explicit file citation v138_vw_firewall.py
literal source filename/path in TeX
- explicit file citation v436_overdet_floor2.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 v784_curve_code_2torsion.py
literal short identifier uniquely resolves in local script registry
- cross reference join LorentzCongruence.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v277_seam_calderon_e8_match.py
literal source filename/path in TeX
- explicit script identifier v506_seam_clock_rigidity.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v112_selfcounting_channel.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v413_sheet_characteristic_calculus.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 v85_master_cover.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v309_modular_bedrock.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v653_bond_defect.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v1027_signed_det_car_wall.py
literal source filename/path in TeX
- explicit file citation v230_center_budget_norms.py
literal source filename/path in TeX
- explicit lean symbol SeamDeckClosure.lean
exact texttt symbol under explicit Lean/theorem context
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v369_qgamb_redundancy.py
literal source filename/path in TeX
- explicit script identifier v314_rate_translation.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v391_alpha_quillen_progress.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 v87_bulk_uniqueness_reduction.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v998_seam_modular_closure.py
literal source filename/path in TeX
- explicit file citation v590_involution_existence.py
literal source filename/path in TeX
- explicit file citation v271_eg_oneloop_quartic.py
literal source filename/path in TeX
- explicit file citation v564_cp_fiber_pin.py
literal source filename/path in TeX
- explicit file citation v849_cfin_unique_cofinal_lean.py
literal source filename/path in TeX
- cross reference join AnchorLadder.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 v208_bh_thermodynamics.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_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 v163_rg_stability_flavor.py
literal source filename/path in TeX
- explicit file citation v335_seam_equiv_unify.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 v435_alpha_quillen_chernlevel.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v380_grav_kms_hessian.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 v6_bootstrap.py
literal source filename/path in TeX
- cross reference join tfpt_round4.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 v385_uvbranch_killtest.py
literal source filename/path in TeX
- explicit file citation v365_qg_oneloop_saddle.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 script identifier v304_idg_nonlocal_ghost.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 v78_vgeo_floor.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v391_alpha_quillen_progress.py
literal source filename/path in TeX
- explicit file citation v781_one_object_clock_census.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
- explicit script identifier v28_gravity_fR.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v23_anchor_generator.py
literal source filename/path in TeX
- explicit file citation v58_seam_horizon_chain.py
literal source filename/path in TeX
- explicit file citation v432_overdet_floor.py
literal source filename/path in TeX
- explicit file citation v200_seam_variational_scan.py
literal source filename/path in TeX
- explicit file citation v123_inventory_update.py
literal source filename/path in TeX
- explicit script identifier v268_theta13_carrier_trace.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v282_e8_tau_i_unification.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v381_qft4d_eg_allorder.py
literal source filename/path in TeX
- explicit file citation v96_branch_kernel_selection.py
literal source filename/path in TeX
- explicit file citation v813_p1_index_kms.py
literal source filename/path in TeX
- explicit file citation v778_qgeo_gridsup_logsum.py
literal source filename/path in TeX
- explicit file citation GaussianShells.lean
literal source filename/path in TeX
- explicit file citation v20_lepton_c_derivation.py
literal source filename/path in TeX
- explicit file citation v266_ps_threshold_proton.py
literal source filename/path in TeX
- explicit file citation v1034_parent_mirror.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v26_flavor_frontier_unification.py
literal source filename/path in TeX
- explicit file citation v792_ftransfer_kms_coset.py
literal source filename/path in TeX
- explicit file citation v528_seam_bit_twist_class_definition.py
literal source filename/path in TeX
- explicit file citation v18_quark_yukawa.py
literal source filename/path in TeX
- explicit script identifier v427_overdet_witness_map.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v490_seam_parity_census.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v360_grav_gap_corrections.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v25_frontier_conjectures.py
literal source filename/path in TeX
- cross reference join GlueUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v21_solar_product_quark.py
literal source filename/path in TeX
- explicit file citation v235_seam_chern_simons.py
literal source filename/path in TeX
- explicit file citation v189_riemann_roch_carrier.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 v97_sheet_conjugation_bridge.py
literal source filename/path in TeX
- explicit file citation v158_fixed_point_stable.py
literal source filename/path in TeX
- explicit file citation v157_rigid_fixed_point.py
literal source filename/path in TeX
- explicit script identifier v232_e8_kleinian_seam.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
- explicit script identifier v492_celestial_z4_orbifold.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v379_seam_s3_rp.py
literal source filename/path in TeX
- explicit file citation v403_facet_compositum.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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v119_review_validation_2.py
literal source filename/path in TeX
- explicit file citation v1001_nu_pentagon_chain.py
literal source filename/path in TeX
- explicit script identifier v189_riemann_roch_carrier.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v47_selection_theorem.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v348_seam_rigidity_route.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v224_diamond_ftransfer_path.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v444_seam_edge_scaling.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 v171_os_moment_cluster.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation ProjectiveHamming.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
- explicit script identifier v93_koide_relaxation_toy.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v342_em_ward_heatkernel.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v14_carrier_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v312_hypergraph_substrate.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 v99_koide_flow_time.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v220_cp_hexagonal_modulus.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v468_dm2_ratio_jarlskog.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v346_seam_geometric_bridge.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v502_celestial_wp5e_prefactor_level.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v482_seesaw_rung_decision.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v260_k3_kummer_unification.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v431_e8_degree_ladder.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v517_celestial_wp5e_m3_a0_uplift.py
literal source filename/path in TeX
- explicit script identifier v628_orbifold_casimir.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v521_seam_bit_rp_blind.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v62_data_scorecard.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v505_celestial_wp5e_beta_equivariant_ledger.py
literal source filename/path in TeX
- cross reference join SeamRigidityForcing.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v402_ftransfer_suite.py
literal source filename/path in TeX
- explicit file citation v330_qgamb_admissible_measure.py
literal source filename/path in TeX
- explicit script identifier v7_gravity_cosmo.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v799_seam_code_typeii.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v853_bent_css_mangoldt.py
literal source filename/path in TeX
- explicit file citation v492_celestial_z4_orbifold.py
literal source filename/path in TeX
- explicit script identifier v479_kronheimer_quiver_bridge.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v102_seam_orientation.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v387_corrections_gap.py
literal source filename/path in TeX
- explicit script identifier v238_modular_lindblad_dynamics.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 v256_orientability_poincare.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v533_ftransfer_disc7_norm.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v425_dyn_transfer_universal.py
literal source filename/path in TeX
- explicit file citation v348_seam_rigidity_route.py
literal source filename/path in TeX
- explicit script identifier v104_nariai_clock.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 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 v416_atom_trichotomy.py
literal short identifier uniquely resolves in local script registry
- explicit file citation ps_threshold_proton.json
literal source filename/path in TeX
- explicit file citation v77_e8_conformal_net.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v247_e8_branching_no126.py
literal source filename/path in TeX
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier 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 v448_seam_edge_fourpoint.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 v783_two_qubit_clifford.py
literal source filename/path in TeX
- explicit script identifier v119_review_validation_2.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v13_open_gates.py
literal source filename/path in TeX
- explicit file citation v459_seam_lattice_voa_route.py
literal source filename/path in TeX
- explicit file citation v22_open_gates_audit.py
literal source filename/path in TeX
- explicit script identifier v365_qg_oneloop_saddle.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v1011_3p1d_ladder_battery.py
literal source filename/path in TeX
- explicit script identifier v419_seam_galois_carrier.py
literal short identifier uniquely resolves in local script registry
- cross reference join HiggsTopForm.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v484_seam_contact_unit.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v283_live_killtest_scorecard.py
literal source filename/path in TeX
- explicit script identifier v337_decoupling_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 file citation v124_resummed_clock.py
literal source filename/path in TeX
- explicit script identifier v246_unification_data_crosscheck.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v262_fqcd_mp_me.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
- explicit file citation v603_seam_marks.py
literal source filename/path in TeX
- explicit file citation v700_orbit60_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 v796_duad_syntheme_bridge.py
literal source filename/path in TeX
- explicit script identifier v329_os_gap_reduction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v908_seam_equilibrium_wiring.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v11_unique_KQ.py
literal source filename/path in TeX
- explicit file citation v115_anchor_residue.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 script identifier v632_ftransfer_pgl2.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v224_diamond_ftransfer_path.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 v378_seam_s3_modular.py
literal source filename/path in TeX
- explicit file citation v526_seam_thermal_kms_nariai_bridge.py
literal source filename/path in TeX
- explicit file citation v597_mu4_cover_model.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v221_seam_qecc.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v69_d4_q_geometry.py
literal source filename/path in TeX
- explicit file citation v355_e8_unmapped_bandwidth.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 SquareParity.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v414_center_resolvent_portal.py
literal source filename/path in TeX
- explicit script identifier v116_resonance_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v40_harmonic_metric.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 file citation v105_residual_inventory.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v608_gamma_free_slice.py
literal source filename/path in TeX
- explicit file citation v135_det_surface.py
literal source filename/path in TeX
- explicit script identifier v629_root_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 v66_e8_casimir_degrees.py
literal source filename/path in TeX
- explicit file citation v281_holomorphy_modular_data.py
literal source filename/path in TeX
- explicit file citation v472_quillen_detline_moduli.py
literal source filename/path in TeX
- explicit script identifier v139_selector_triangle.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v463_seam_c8_holomorphic_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v511_celestial_wp5e_delta2_tensor_ledger.py
literal source filename/path in TeX
- explicit script identifier v158_fixed_point_stable.py
literal short identifier uniquely resolves in local script registry
- cross reference join ArfSpinorCompiler.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v65_falsification_layer.py
literal source filename/path in TeX
- explicit script identifier v652_orbifold_arf.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v91_spine_tetrahedron.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v190_nariai_entropy_bound.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v567_carrier_free_q_reconstruction.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v523_celestial_wp5e_wm_derived.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_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v422_galois_net_bridge.py
literal source filename/path in TeX
- explicit script identifier v249_ps_unification.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v122_margin_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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v273_eg_gauge_running.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v624_external_lattice_audit.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v277_seam_calderon_e8_match.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v602_duality_forms.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 v167_inventory_post_closure.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v599_real_structure.py
literal source filename/path in TeX
- explicit script identifier v487_transfer_clock_rungs.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v516_celestial_wp5e_m2_twisted_ks_measure.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v418_cyclotomic_norm_triple.py
literal source filename/path in TeX
- explicit script identifier v80_operator_pencil_geometry.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v898_kms_schur_mixing.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v345_hypergraph_homotopy.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v141_deck_selection.py
literal source filename/path in TeX
- explicit file citation v49_readout_rigidity.py
literal source filename/path in TeX
- explicit script identifier v49_readout_rigidity.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v307_data_watchdog.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v578_native_jets.py
literal source filename/path in TeX
- explicit script identifier v55_coxeter_cycle.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v511_celestial_wp5e_delta2_tensor_ledger.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v396_phi0_icosahedral.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 v212_leptogenesis_decuple.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v63_seam_engineering_index.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- 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 script identifier v705_chain_deck_sector.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v216_marks_gauss_bonnet.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- 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 v1032_covariant_curvature.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v181_clock_is_conformal_symmetry.py
literal source filename/path in TeX
- explicit file citation v463_seam_c8_holomorphic_uniqueness.py
literal source filename/path in TeX
- explicit script identifier v496_celestial_wp4_character_shadow.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 v193_qgeo_energy_commutator.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v203_eht_achromatic.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v334_conformal_resolution.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation SeamResidualAxiom.lean
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v1002_spin10_mirror_projector.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v144_detratio_family.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v604_equivariant_order.py
literal source filename/path in TeX
- explicit script identifier v449_seam_mmst_uniform.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v1014_bridge_refinements.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v409_coxeter_prime2_lemma.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v647_st31_degree24.py
literal source filename/path in TeX
- explicit script identifier v498_celestial_wp5b_singular_vector.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 v321_killtest_board.py
literal source filename/path in TeX
- explicit file citation v252_full_finite_triple.py
literal source filename/path in TeX
- explicit file citation v67_area_law_coefficient.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 v832_anchor_flavor_checksum.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v30_d4_character_variety.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 v405_seam_equiv_omega.py
literal source filename/path in TeX
- explicit file citation v228_rr_index_gate.py
literal source filename/path in TeX
- explicit file citation v810_cutcode_moment.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 file citation v24_quark_ratio_closure.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 v236_brieskorn_capstone.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v202_rare_kaon.py
literal source filename/path in TeX
- explicit file citation v94_sheet_diamond.py
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
- explicit script identifier v279_qgeo_obligation_lemma.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v515_celestial_wp5e_m1_omega_n.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v341_alpha_quillen.py
literal source filename/path in TeX
- explicit file citation v462_seam_spinor_continuum.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v439_seam_lieb_robinson.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v86_nstar_reheating.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v44_carrier_exterior.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 v461_seam_strict_locality.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v165_premise_a_closure.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v598_cover_dictionary.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v415_gaussian_operator.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v300_flataway_rigid.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v387_corrections_gap.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 v1003_nu_structural_nulls.py
literal source filename/path in TeX
- explicit file citation v651_orbifold_assembly.py
literal source filename/path in TeX
- explicit file citation v45_family_exterior.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 v299_hypergraph_0d_autonomous.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v633_orbit60_quotient.py
literal source filename/path in TeX
- explicit file citation v482_seesaw_rung_decision.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 file citation v512_seam_tau_flag.py
literal source filename/path in TeX
- explicit script identifier v53_compiler_core.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v35_quark_qcd_boundary.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v777_ftransfer_clock_jets.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v142_frame_integrality.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v401_metrology_closure.py
literal source filename/path in TeX
- cross reference join OrbitPacket.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v100_numerology_null_mc.py
literal source filename/path in TeX
- explicit script identifier v485_contact_diagonal_closed.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
- 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 v180_clock_is_mobius.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v465_seed_crosssector_joint.py
literal source filename/path in TeX
- explicit file citation v238_modular_lindblad_dynamics.py
literal source filename/path in TeX
- explicit script identifier v4_flavor_matrix.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v328_theta13_pressure.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 v164_qcd_scale.py
literal source filename/path in TeX
- explicit file citation v372_ftransfer_boltzmann.py
literal source filename/path in TeX
- explicit script identifier v478_entropic_continuum_legs.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v857_simplex_fourier_winding.py
literal source filename/path in TeX
- explicit script identifier v508_celestial_wp5e_gamma_pairing.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v107_quantum_clock_target.py
literal source filename/path in TeX
- explicit file citation v336_continuum_limit.py
literal source filename/path in TeX
- explicit file citation v493_celestial_wp2_clock_deformation.py
literal source filename/path in TeX
- explicit file citation v104_nariai_clock.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v20_lepton_c_derivation.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v568_bit_selector_ladder.py
literal source filename/path in TeX
- explicit file citation v874_feedback_decoder_lean.py
literal source filename/path in TeX
- explicit file citation v454_seam_edge_virasoro.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v506_seam_clock_rigidity.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v297_route_a_literature_stack.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v233_cp_triality_phase.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v460_seam_s3_lto.py
literal source filename/path in TeX
- explicit file citation v366_mmst_seam_collar.py
literal source filename/path in TeX
- explicit file citation v1005_relative_pencil_bridges.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v210_mark_local_dtn.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v311_gap_decoupled_measure.py
literal source filename/path in TeX
- explicit script identifier v222_cm_norm_duality.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v381_qft4d_eg_allorder.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v110_calderon_sheet.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v182_reviewer_residual_map.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v723_phys_modular_clock.py
literal source filename/path in TeX
- explicit file citation v1018_e8_directed_readout.py
literal source filename/path in TeX
- explicit script identifier v723_phys_modular_clock.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 v68_seeley_dewitt_residual.py
literal source filename/path in TeX
- explicit file citation v292_flataway_heat_reduction.py
literal source filename/path in TeX
- explicit file citation v349_raw_seam_golden_test.py
literal source filename/path in TeX
- explicit file citation v1024_parent_internal_boundaries.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 v803_e8_jetcode_affine_nsr.py
literal source filename/path in TeX
- explicit script identifier v578_native_jets.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v408_phi0_puncture_heatkernel.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v295_flataway_a2_exact.py
literal source filename/path in TeX
- explicit script identifier v135_det_surface.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v317_galois_family.py
literal source filename/path in TeX
- explicit script identifier v105_residual_inventory.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v223_coxeter_totative_clock.py
literal source filename/path in TeX
- explicit file citation v808_petersen_sixthroot.py
literal source filename/path in TeX
- explicit script identifier v37_plucker_anchor.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v190_nariai_entropy_bound.py
literal source filename/path in TeX
- explicit script identifier v976_seam_lift_birkhoff.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 v509_celestial_wp5e_eps2_level_from_flux.py
literal source filename/path in TeX
- 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 v344_detk_synthesis.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
- 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 v258_dirac_covariance_induction.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 v607_selection_rule.py
literal source filename/path in TeX
- explicit script identifier v292_flataway_heat_reduction.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v121_address_pinning.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 v315_coxeter_coupling.py
literal source filename/path in TeX
- explicit file citation v101_horizon_anchor.py
literal source filename/path in TeX
- explicit file citation v386_grav_amplitude.py
literal source filename/path in TeX
- explicit file citation v374_ftransfer_qcd.py
literal source filename/path in TeX
- explicit file citation v427_overdet_witness_map.py
literal source filename/path in TeX
- cross reference join CoxeterPrime2.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v156_seam_net_construction.py
literal source filename/path in TeX
- explicit file citation v52_pencil_endpoints.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 v505_celestial_wp5e_beta_equivariant_ledger.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v174_seam_fock_readings.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v37_plucker_anchor.py
literal source filename/path in TeX
- explicit file citation v139_selector_triangle.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 v262_fqcd_mp_me.py
literal source filename/path in TeX
- explicit file citation v993_minimal_defect_selector.py
literal source filename/path in TeX
- explicit file citation v114_torsion_delta.py
literal source filename/path in TeX
- explicit script identifier v184_etaB_anchored_boltzmann.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v988_psi_lambda_reduction.py
literal source filename/path in TeX
- explicit file citation v148_fock_census.py
literal source filename/path in TeX
- explicit script identifier v269_spert_paqft_skeleton.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v204_muon_seam_g2.py
literal source filename/path in TeX
- explicit file citation v689_gaussian_code_bridge.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v185_axion_relic_solver.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v211_axion_spine_angle.py
literal source filename/path in TeX
- explicit script identifier v638_code_semantics.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v147_clock_gaussian.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v324_hypergraph_fiber.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v166_higgs_free_seam.py
literal source filename/path in TeX
- explicit file citation v527_seam_clock_silver_spectrum.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v237_seam_sre_closure.py
literal source filename/path in TeX
- explicit script identifier v481_seesaw_carrier_ladder.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v390_prime2_facet.py
literal source filename/path in TeX
- explicit file citation v878_ledger_integrity.py
literal source filename/path in TeX
- explicit file citation v601_equivariant_dual.py
literal source filename/path in TeX
- explicit script identifier v214_seam_pillowcase.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v574_stageb_winding.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v86_nstar_reheating.py
literal source filename/path in TeX
- explicit script identifier v425_dyn_transfer_universal.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v477_entropic_scaleflow.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 v370_grav_spin2_unitarity.py
literal source filename/path in TeX
- explicit file citation v508_celestial_wp5e_gamma_pairing.py
literal source filename/path in TeX
- explicit file citation v207_asymptotic_safety.py
literal source filename/path in TeX
- explicit script identifier v451_seam_edge_cardy_tower.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v531_coxeter_tensor_stage_a.py
literal source filename/path in TeX
- explicit file citation v1016_state_gap_batteries.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 v247_e8_branching_no126.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v752_projective_hamming_incidence.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v95_centered_diamond.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 v495_celestial_wp3_gs_alignment.py
literal source filename/path in TeX
- explicit file citation v98_discriminant_dictionary.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 v383_dynamics_universal.py
literal source filename/path in TeX
- explicit file citation v28_gravity_fR.py
literal source filename/path in TeX
- 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
- explicit script identifier v359_grav_nonlinear_einstein.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v340_As_reconcile.py
literal source filename/path in TeX
- explicit file citation v126_clock_wall_bridge.py
literal source filename/path in TeX
- explicit file citation v525_seam_bit_twist_blind.py
literal source filename/path in TeX
- explicit file citation v231_cp_mu6_phases.py
literal source filename/path in TeX
- explicit file citation v217_marks_emergence_scan.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v613_canonical_periods.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v460_seam_s3_lto.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1035_matter_coupling.py
literal source filename/path in TeX
- explicit file citation v473_entropic_action_bridge.py
literal source filename/path in TeX
- cross reference join CohomologyGrading.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 freeze_file.csv
literal source filename/path in TeX
- explicit file citation v423_no_ambient_dependency.py
literal source filename/path in TeX
- cross reference join PascalLadder.lean
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
- explicit file citation v331_necessity_of_H.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
- 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 v610_curve_landscape.py
literal source filename/path in TeX
- explicit file citation v485_contact_diagonal_closed.py
literal source filename/path in TeX
- explicit file citation v420_fpole_qed_running.py
literal source filename/path in TeX
- explicit file citation v434_alpha_quillen_betafunction.py
literal source filename/path in TeX
- explicit file citation v132_detratio_anomaly.py
literal source filename/path in TeX
- explicit file citation v561_cp_channel_identities.py
literal source filename/path in TeX
- explicit file citation v137_qplus_cohomology.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v51_boundary_half_step.py
literal source filename/path in TeX
- explicit file citation v118_hexagon_family_dictionary.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 v271_eg_oneloop_quartic.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v155_quasifree_boundary.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v64_causal_boundary_nogo.py
literal source filename/path in TeX
- 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
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v800_e8_torsor_fourier.py
literal source filename/path in TeX
- explicit script identifier v123_inventory_update.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v515_celestial_wp5e_m1_omega_n.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 v903_seam_rp_exclusion.py
literal source filename/path in TeX
- explicit file citation v241_dhr_sectors.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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v240_gns_os_reconstruction.py
literal source filename/path in TeX
- explicit script identifier v243_haag_ruelle_braiding.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v1005_relative_pencil_bridges.py
literal short identifier uniquely resolves in local script registry
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v308_seam_equiv_chain.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v745_qgeo_car_l1_sector_lemma.py
literal short identifier uniquely resolves in local script registry
- 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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v534_seam_straddle_cone.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v442_seam_rigidity_uniform.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1014_bridge_refinements.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 v605_translator.py
literal source filename/path in TeX
- explicit file citation v8_horizon.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 v503_qgeo_emergence_light.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v205_xi_threequarter.py
literal source filename/path in TeX
- explicit file citation v54_seam_horizon_keystones.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v293_flataway_spectral_hessian.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 v1015_axiom_core_closure.py
literal source filename/path in TeX
- explicit file citation v989_lattice_gate_battery.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v295_flataway_a2_exact.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v623_covered_seam.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1028_gauss_d4_cap.py
literal source filename/path in TeX
- explicit script identifier v338_theta13_budget.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v56_unique_attractor.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v412_sheet_source_corner_J.py
literal source filename/path in TeX
- explicit file citation v985_quillen_channel_swap.py
literal source filename/path in TeX
- explicit script identifier v305_witness_independence.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v15_bootstrap_classification.py
literal source filename/path in TeX
- explicit file citation v600_joint_embedding.py
literal source filename/path in TeX
- 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 v333_cm_selection.py
literal source filename/path in TeX
- explicit file citation v457_seam_character_killtest.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 file citation v397_external_clock_probe.py
literal source filename/path in TeX
- explicit script identifier v519_woit_theta_rp_free.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v388_corrections_budget.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v304_idg_nonlocal_ghost.py
literal source filename/path in TeX
- explicit script identifier v245_spectral_matter_content.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v17_hexagonal_resolvent.py
literal source filename/path in TeX
- explicit file citation v411_ud_ratio_vpower.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v518_celestial_wp5e_delta1_derived_kill.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 file citation v309_modular_bedrock.py
literal source filename/path in TeX
- explicit script identifier v228_rr_index_gate.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v459_seam_lattice_voa_route.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_round4.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 script identifier v911_wiring_freedom.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v775_gaussian_class_d5_purity.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 v336_continuum_limit.py
literal short identifier uniquely resolves in local script registry
- explicit lean symbol SeamDeckClosure.lean
exact texttt symbol under explicit Lean/theorem context
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v775_gaussian_class_d5_purity.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v315_coxeter_coupling.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v68_seeley_dewitt_residual.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v724_phys_t3b_modular_flows.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v649_discipline_audit.py
literal source filename/path in TeX
- explicit script identifier v187_ftransfer_laws.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v383_dynamics_universal.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v227_degree_exponent_channel_split.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v212_leptogenesis_decuple.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 v172_trace_anomaly_seed.py
literal source filename/path in TeX
- explicit file citation v449_seam_mmst_uniform.py
literal source filename/path in TeX
- explicit script identifier v431_e8_degree_ladder.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v389_grav_loop_finiteness.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 v89_carrier_index_lemma.py
literal source filename/path in TeX
- explicit file citation v468_dm2_ratio_jarlskog.py
literal source filename/path in TeX
- explicit file citation v1004_milnor_frobenius_gray.py
literal source filename/path in TeX
- explicit file citation v446_seam_clock_invariance.py
literal source filename/path in TeX
- explicit script identifier v782_e8_transition_bus.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v333_cm_selection.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v128_graded_hull.py
literal source filename/path in TeX
- explicit file citation v29_research_contract_certs.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 v165_premise_a_closure.py
literal source filename/path in TeX
- explicit script identifier v256_orientability_poincare.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v406_pmns_phase_origin.py
literal source filename/path in TeX
- explicit file citation v255_spectral_action_expansion.py
literal source filename/path in TeX
- cross reference join AuditCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v430_other_side_reverse_audit.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
- 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 v715_qgeo_car_continuum.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v725_phys_vgeo_torsor_audit.py
literal source filename/path in TeX
- explicit file citation v398_seam_state_rigidity.py
literal source filename/path in TeX
- explicit file citation v214_seam_pillowcase.py
literal source filename/path in TeX
- explicit file citation v56_unique_attractor.py
literal source filename/path in TeX
- explicit file citation v433_alpha_quillen_heatkernel.py
literal source filename/path in TeX
- explicit script identifier v327_hypergraph_rewrite.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 v125_glue_qsystem.py
literal source filename/path in TeX
- 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
- explicit file citation v170_diamond_slice_compression.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 v782_e8_transition_bus.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit 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 file citation v294_flataway_rp_energy.py
literal source filename/path in TeX
- cross reference join CartanDeterminants.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v59_area_law_evidence.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v9_neutrino_texture.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v638_code_semantics.py
literal source filename/path in TeX
- explicit file citation v187_ftransfer_laws.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v291_flataway_contract.py
literal source filename/path in TeX
- explicit file citation v507_seam_bit_origin.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v456_seam_chirality_from_c3.py
literal source filename/path in TeX
- explicit file citation v112_selfcounting_channel.py
literal source filename/path in TeX
- explicit script identifier v150_replica_eh_model.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v231_cp_mu6_phases.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v131_measure_is_area.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v355_e8_unmapped_bandwidth.py
literal short identifier uniquely resolves in local script registry
- 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 script identifier v507_seam_bit_origin.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v140_canonical_map.py
literal source filename/path in TeX
- explicit file citation v213_ftransfer_functor.py
literal source filename/path in TeX
- explicit script identifier v141_deck_selection.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v296_flataway_a2_closed.py
literal source filename/path in TeX
- explicit lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
- explicit file citation v43_exterior_bridge.py
literal source filename/path in TeX
- explicit file citation v1010_simplicity_bridge_census.py
literal source filename/path in TeX
- cross reference join TfptCarrier.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v270_pmns_jarlskog_assembly.py
literal source filename/path in TeX
- explicit file citation v844_message_doily_rank.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v13_open_gates.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v159_pyrate_gauge_crosscheck.py
literal source filename/path in TeX
- explicit script identifier v426_seam_lto_rp_kms.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v291_flataway_contract.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v473_entropic_action_bridge.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v1007_det16_stability_battery.py
literal source filename/path in TeX
- explicit file citation v347_seam_closure_modes.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- 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 file citation v218_diamond_axis_geometry.py
literal source filename/path in TeX
- explicit script identifier v284_route_i_rp_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v405_seam_equiv_omega.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 file citation v435_alpha_quillen_chernlevel.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v258_dirac_covariance_induction.py
literal source filename/path in TeX
- explicit file citation v611_periods.py
literal source filename/path in TeX
- explicit file citation v39_uwall_selectors.py
literal source filename/path in TeX
- explicit script identifier v450_seam_edge_entanglement.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v509_celestial_wp5e_eps2_level_from_flux.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v987_os_dilation_package.py
literal source filename/path in TeX
- explicit script identifier v64_causal_boundary_nogo.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v103_trisection_normal_form.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v514_celestial_wp5e_eps1_axion_slot.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v737_seam48_intertwiner.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 v241_dhr_sectors.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v453_seam_mu4_from_marks.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 file citation v572_rp_bit_form.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v415_gaussian_operator.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v136_dual_normal_selector.py
literal source filename/path in TeX
- explicit file citation tfpt_readouts_extension.wl
literal source filename/path in TeX
- cross reference join tfpt_round7.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v194_raw_seam_dtn_rp.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v48_em_ward.py
literal source filename/path in TeX
- cross reference join SeamWindingInterface.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v184_etaB_anchored_boltzmann.py
literal source filename/path in TeX
- explicit script identifier v69_d4_q_geometry.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v332_qgamb_metric_sector.py
literal source filename/path in TeX
- explicit script identifier v244_spectral_action_contract.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v533_ftransfer_disc7_norm.py
literal source filename/path in TeX
- explicit file citation v192_qgeo_energy_clock.py
literal source filename/path in TeX
- explicit file citation v400_grav_nonlocal_action.py
literal source filename/path in TeX
- explicit script identifier v18_quark_yukawa.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v483_pillowcase_exact_traces.py
literal source filename/path in TeX
- explicit file citation v313_golden_atoms_spectral.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 v331_necessity_of_H.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 v122_margin_theorem.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v173_pfaffian_cp_car.py
literal source filename/path in TeX
- explicit file citation v499_p2_weights_deligne_bg.py
literal source filename/path in TeX
- explicit script identifier v88_cp_phase_audit.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v534_seam_straddle_cone.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 v201_seam_subprincipal_marks.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v458_seam_mmst_citation_audit.py
literal source filename/path in TeX
- explicit script identifier v23_anchor_generator.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v109_sheet_pairing.py
literal source filename/path in TeX
- explicit script identifier v225_dual_normal_frame.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v108_pascal_ladder.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 v690_quartic_half.py
literal source filename/path in TeX
- explicit file citation v160_seam_gaussianity_from_pf.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v74_compiler_micro_lemmas.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 file citation v752_projective_hamming_incidence.py
literal source filename/path in TeX
- explicit script identifier v514_celestial_wp5e_eps1_axion_slot.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 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 v817_positive_descent_master.py
literal source filename/path in TeX
- explicit script identifier v280_pillowcase_steklov.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v438_seam_hsmi_borchers.py
literal source filename/path in TeX
- cross reference join tfpt_round7.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v132_detratio_anomaly.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v66_e8_casimir_degrees.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v91_spine_tetrahedron.py
literal source filename/path in TeX
- explicit script identifier v250_dirac_triple_contract.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v260_k3_kummer_unification.py
literal source filename/path in TeX
- explicit file citation v245_spectral_matter_content.py
literal source filename/path in TeX
- explicit file citation v606_mode_separation.py
literal source filename/path in TeX
- explicit file citation v143_graded_frobenius.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 HiggsSchemeCohomologyShadow.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v888_finite_pfaffian_signature.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
- explicit file citation v287_free_rp_bulk_to_holomorphic_boundary.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 v605_translator.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v354_e8_reverse_audit.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v957_ccc_crossover_kinematics.py
literal source filename/path in TeX
- explicit file citation v275_qgamb_roadmap.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 v11_unique_KQ.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v246_unification_data_crosscheck.py
literal source filename/path in TeX
- explicit file citation v724_phys_t3b_modular_flows.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 v145_pairing_atoms.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v320_galois_cp_relation.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 v393_corrections_numeric.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 v276_qgeo_flat_closes_commutator.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join GaussianCodeBridge.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v480_multilocal_four_interval.py
literal source filename/path in TeX
- explicit script identifier v51_boundary_half_step.py
literal short identifier uniquely resolves in local script registry
- explicit file citation ArfSpinorCompiler.lean
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join BoundaryPolarization.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v278_lsz_bridge_unitarity.py
literal source filename/path in TeX
- explicit file citation v419_seam_galois_carrier.py
literal source filename/path in TeX
- explicit script identifier v495_celestial_wp3_gs_alignment.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v488_majorana_clebsch_door.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 v834_pg32_flag_completion.py
literal source filename/path in TeX
- explicit file citation v613_canonical_periods.py
literal source filename/path in TeX
- explicit script identifier v248_ps_algebra.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v188_frontier_wording_guard.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v976_seam_lift_birkhoff.py
literal source filename/path in TeX
- explicit file citation v1020_spectator_sector_obstruction.py
literal source filename/path in TeX
- explicit file citation v169_etaB_boltzmann_interface.py
literal source filename/path in TeX
- explicit file citation v679_orbifold_continuum_os.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v129_entropy_power_law.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 v1029_local_tensor_constraints.py
literal source filename/path in TeX
- explicit script identifier v446_seam_clock_invariance.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v209_bh_regular_core.py
literal source filename/path in TeX
- explicit script identifier v424_seam_lto_rp_reduction.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v566_parabolic_anchor_selfcode.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 v191_universal_branch_line.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v330_qgamb_admissible_measure.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v303_ftransfer_dynamics.py
literal source filename/path in TeX
- explicit file citation v664_look_elsewhere.py
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 v60_lambda_metrology_branch.py
literal source filename/path in TeX
- explicit file citation v264_raw_seam_marklocal.py
literal source filename/path in TeX
- explicit file citation v428_overdet_reclass.py
literal source filename/path in TeX
- explicit file citation v314_rate_translation.py
literal source filename/path in TeX
- explicit file citation v14_carrier_uniqueness.py
literal source filename/path in TeX
- explicit file citation v272_nu_mass_scale.py
literal source filename/path in TeX
- explicit script identifier v590_involution_existence.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v346_seam_geometric_bridge.py
literal source filename/path in TeX
- explicit file citation v345_hypergraph_homotopy.py
literal source filename/path in TeX
- explicit script identifier v566_parabolic_anchor_selfcode.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v491_p2_partition_corollary.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
- explicit file citation v329_os_gap_reduction.py
literal source filename/path in TeX
- explicit script identifier v417_eisenstein_cp_operator.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 v517_celestial_wp5e_m3_a0_uplift.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v774_arf_spinor_compiler.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v60_lambda_metrology_branch.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v285_route_ii_seam_condensation.py
literal source filename/path in TeX
- explicit file citation v392_seam_s3_scalinglimit.py
literal source filename/path in TeX
- explicit script identifier v434_alpha_quillen_betafunction.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v257_quasiorient_modpd.py
literal source filename/path in TeX
- explicit script identifier v448_seam_edge_fourpoint.py
literal short identifier uniquely resolves in local script registry
- cross reference join CarrierRankUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v236_brieskorn_capstone.py
literal source filename/path in TeX
- explicit script identifier v46_grand_mass_volume.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v491_p2_partition_corollary.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v529_seam_interacting_toy_fk.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 v530_center_quotient_compiler.py
literal source filename/path in TeX
- explicit script identifier v432_overdet_floor.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 AuditContract.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
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v858_g31_clock_alphabet.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v458_seam_mmst_citation_audit.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v234_seam_holomorphy_selection.py
literal source filename/path in TeX
- explicit file citation v152_norm_is_anchor.py
literal source filename/path in TeX
- explicit script identifier v129_entropy_power_law.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v50_q_geometry.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v323_bw_geometric_modular.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v411_ud_ratio_vpower.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v617_seam_cover_forcing.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v199_seam_state_invariance.py
literal source filename/path in TeX
- explicit file citation v154_simple_current_theorem.py
literal source filename/path in TeX
- explicit file citation v174_seam_fock_readings.py
literal source filename/path in TeX
- explicit script identifier v493_celestial_wp2_clock_deformation.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v227_degree_exponent_channel_split.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 v242_spin_statistics_modular.py
literal source filename/path in TeX
- explicit file citation v250_dirac_triple_contract.py
literal source filename/path in TeX
- explicit file citation v812_flavor_graph_filtration.py
literal source filename/path in TeX
- explicit file citation v269_spert_paqft_skeleton.py
literal source filename/path in TeX
- explicit file citation v146_moebius_d4.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
- explicit script identifier v169_etaB_boltzmann_interface.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v757_fano_disc7_bridge.py
literal source filename/path in TeX
- explicit script identifier v368_seam_s3_inflow.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v398_seam_state_rigidity.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v38_uwall_killswitch.py
literal source filename/path in TeX
- explicit file citation v322_cp_lock_sharpened.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v499_p2_weights_deligne_bg.py
literal short identifier uniquely resolves in local script registry
- 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 v61_cft_bridge.py
literal source filename/path in TeX
- explicit file citation v319_translation_clock.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
- explicit script identifier v808_petersen_sixthroot.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v32_rh_splitting.py
literal source filename/path in TeX
- explicit script identifier v242_spin_statistics_modular.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v598_cover_dictionary.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v219_icosahedral_mckay.py
literal source filename/path in TeX
- explicit file citation v263_mnu_from_df.py
literal source filename/path in TeX
- explicit script identifier v512_seam_tau_flag.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 v653_bond_defect.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v253_kappa_scalaron_ps.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 v399_gravity_complete.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 v524_woit_beta2_os_quotient.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v110_calderon_sheet.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v441_seam_applicability_ledger.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v447_seam_edge_chern.py
literal source filename/path in TeX
- explicit file citation v117_monodromy_weyl_a3.py
literal source filename/path in TeX
- explicit script identifier v234_seam_holomorphy_selection.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v179_conformal_realisation.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 file citation v376_seam_s3_centralcharge.py
literal source filename/path in TeX
- explicit file citation v623_covered_seam.py
literal source filename/path in TeX
- explicit script identifier v974_alpha_faces_computed.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v356_continuum_mmst_applicability.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamStandardPair.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v101_horizon_anchor.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v410_sheet_generator_binary.py
literal source filename/path in TeX
- explicit script identifier v235_seam_chern_simons.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v341_alpha_quillen.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v358_grav_entropy_equilibrium.py
literal source filename/path in TeX
- explicit file citation v424_seam_lto_rp_reduction.py
literal source filename/path in TeX
- explicit file citation v565_woit_beta3_pt_duality.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v324_hypergraph_fiber.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 v429_axion_pentagon_phi.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v195_marks_lefschetz_character.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v268_theta13_carrier_trace.py
literal source filename/path in TeX
- explicit script identifier v316_galois_readout.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 v645_klein_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 v40_harmonic_metric.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 v159_pyrate_gauge_crosscheck.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v342_em_ward_heatkernel.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 v626_e8_code.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v63_seam_engineering_index.py
literal short identifier uniquely resolves in local script registry
- cross reference join YukawaStageDExistence.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v350_bootstrap_inputs_correction.py
literal source filename/path in TeX
- explicit file citation v477_entropic_scaleflow.py
literal source filename/path in TeX
- explicit script identifier v465_seed_crosssector_joint.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_round7.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v361_grav_backreaction.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v476_entropic_compression_toy.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v475_entropic_scalaron_gate.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
- 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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v599_real_structure.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1019_coxeter_euler_completion.py
literal source filename/path in TeX
- explicit file citation v470_alpha_inflow_level.py
literal source filename/path in TeX
- explicit script identifier v457_seam_character_killtest.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v142_frame_integrality.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 v232_e8_kleinian_seam.py
literal source filename/path in TeX
- explicit file citation v784_curve_code_2torsion.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v19_monodromy_moduli.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v571_cr_discrete_corners.py
literal source filename/path in TeX