Find the original argument.

Search the paper sections, open their original context and follow the checks they actually cite. The knowledge atlas explains the result; this library locates its source.

Matching source sections

6 sections found. Current publication documents are listed before historical material.

-1.2cm Topological Fixed-Point Theory (TFPT)\\[1.5mm] A discrete compiler for the constants of physics\\[2.5mm] Two inputs — the boundary constant [formula in source] and a five-slot carrier — build [formula in source] \\ and read off the Standard Model: status assessment and reading guide

TFPT — Introduction and reading guide · Verification reference catalog

positioning,arrows.meta,fit,backgrounds,calc,shapes.geometric,shapes.misc

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: TFPT — Introduction and reading guide Read the paper: Verification reference catalog

Source location and explicit evidence links

documents/introduction/preamble.tex · lines 1 to 53

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

No explicit verification citation is attached to this section in the registry.

Front matter / support

origin theory · tfpt research contracts · tfpt 1 architecture e8 · tfpt 2 standard model · tfpt research contracts · tfpt 1 architecture e8 · input 4 origin theory · input 5 tfpt 3 e8 audit bootstrap · TFPT — Introduction and reading guide · Origin Theory · Architecture, E8 and the electromagnetic fixed point · Standard Model and flavor structure · E8 audit and bootstrap · Frontier and open physical interfaces · Red-team audit · Horizon readouts · Research contracts · Verification safeguards · input 4 origin theory · input 5 tfpt 3 e8 audit bootstrap · Verification reference catalog

\\[2pt] [formula in source] — the unique even unimodular rank- [formula in source] glue \ [E] exact (lattice).

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: TFPT — Introduction and reading guide Read the paper: Origin Theory Read the paper: Architecture, E8 and the electromagnetic fixed point Read the paper: Standard Model and flavor structure Read the paper: E8 audit and bootstrap Read the paper: Frontier and open physical interfaces Read the paper: Red-team audit Read the paper: Horizon readouts Read the paper: Research contracts Read the paper: Verification safeguards Read the paper: Verification reference catalog

Source location and explicit evidence links

tex-artefacts/tfpt_figures.tex · lines 1 to 150

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

No explicit verification citation is attached to this section in the registry.

Front matter / support

positioning,arrows.meta,fit,backgrounds,calc,shapes.geometric,shapes.misc

Opening source excerpt. Formulas and the full argument remain in the original document.

Source location and explicit evidence links

tex-artefacts/tfpt_style.tex · lines 1 to 145

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit file citation status_ledger.csv
literal source filename/path in TeX

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.

Read the original section Read the paper: TFPT — Introduction and reading guide Read the paper: Verification reference catalog

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

Front matter / support

Opening source excerpt. Formulas and the full argument remain in the original document.

Source location and explicit evidence links

tex-artefacts/version.tex · lines 1 to 22

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

No explicit verification citation is attached to this section in the registry.

TFPT Verification Catalog

Verification reference catalog

TFPT Verification Catalog Source registry edition This reference volume lists the registered verification modules and their stated checks. It is generated from the script registry. A row or a passing finite check is not a proof of the complete physical theory. Claim status and scope remain governed by verification/status_ledger.csv and original sources. The reading guide, research contracts and dated publication hist

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Verification reference catalog

Source location and explicit evidence links

verification_catalog.tex · lines 1 to 18

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit file citation status_ledger.csv
literal source filename/path in TeX

What this source index covers

The public registry includes 116 document views, 6,693 section records and 985 physical LaTeX sources. Active publication documents, research material and archives retain their recorded roles. This is source navigation, not a new semantic review or proof run.

Complete structured registry How source relations are recorded Knowledge and evidence coverage