Outcome
Red-team audit
What the red team changed. No target broke on the load-bearing surface. The hardest gate (A) is now closed modulo cited theorems on its MMST route SEAM.EQUIV.MMST.01 (the lattice/ [formula in source] round pins it at every computable level, Lean-formalised, only an external published existence theorem left, v367/ v368/ v376– v379); four targets (B, D, E, F) survive once a silent assumption is named; one (C) survives
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_5_redteam/sections/002-section-outcome.tex · lines 1 to 355
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v315_coxeter_coupling.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v58_seam_horizon_chain.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v465_seed_crosssector_joint.py
literal source filename/path in TeX
- explicit file citation v100_numerology_null_mc.py
literal source filename/path in TeX
- explicit script identifier v467_thirdgen_mixing_pattern.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v175_net_existence_full_cone.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 AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v368_seam_s3_inflow.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v66_e8_casimir_degrees.py
literal source filename/path in TeX
- explicit script identifier v219_icosahedral_mckay.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v135_det_surface.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v320_galois_cp_relation.py
literal source filename/path in TeX
- explicit script identifier v376_seam_s3_centralcharge.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v182_reviewer_residual_map.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 v450_seam_edge_entanglement.py
literal source filename/path in TeX
- explicit script identifier v354_e8_reverse_audit.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v534_seam_straddle_cone.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v86_nstar_reheating.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 v466_seed_leptonmass_channel.py
literal source filename/path in TeX
- cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v231_cp_mu6_phases.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 v444_seam_edge_scaling.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- 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 v469_seam_crossedproduct_route.py
literal source filename/path in TeX
- explicit file citation freeze_file.csv
literal source filename/path in TeX
- explicit file citation v453_seam_mu4_from_marks.py
literal source filename/path in TeX
- explicit file citation v447_seam_edge_chern.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 v451_seam_edge_cardy_tower.py
literal source filename/path in TeX
- explicit file citation v88_cp_phase_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 file citation v225_dual_normal_frame.py
literal source filename/path in TeX
- explicit script identifier v176_seam_collar_realisation.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 TfptCarrier.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v328_theta13_pressure.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v174_seam_fock_readings.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 v6_bootstrap.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v564_cp_fiber_pin.py
literal source filename/path in TeX
- explicit file citation v446_seam_clock_invariance.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v160_seam_gaussianity_from_pf.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 v233_cp_triality_phase.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v66_e8_casimir_degrees.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v306_seed_crossval.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v155_quasifree_boundary.py
literal short identifier uniquely resolves in local script registry
- 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 v143_graded_frobenius.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v561_cp_channel_identities.py
literal source filename/path in TeX
- explicit file citation v452_seam_e8_modular.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v302_seam_gap.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
- 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 v3_em_alpha.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v354_e8_reverse_audit.py
literal source filename/path in TeX
- explicit script identifier v336_continuum_limit.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v379_seam_s3_rp.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v375_observatory_registry.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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v348_seam_rigidity_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
- explicit file citation v83_e8net_holomorphic_uniqueness.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 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 script identifier v84_frozen_registry.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v92_glue_uniqueness.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamRigidityForcing.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v91_spine_tetrahedron.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 v219_icosahedral_mckay.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join AuditCheck.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
- 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 v529_seam_interacting_toy_fk.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v449_seam_mmst_uniform.py
literal source filename/path in TeX
- explicit script identifier v156_seam_net_construction.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
- 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 v437_e8_degree_joint.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 script identifier v125_glue_qsystem.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v431_e8_degree_ladder.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 SeamEquivChain.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v305_witness_independence.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v268_theta13_carrier_trace.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v154_simple_current_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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v312_hypergraph_substrate.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v314_rate_translation.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v162_seam_transport_identification.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 v87_bulk_uniqueness_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 file citation v355_e8_unmapped_bandwidth.py
literal source filename/path in TeX
- explicit file citation v89_carrier_index_lemma.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 v430_other_side_reverse_audit.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v445_seam_rigidity_forcing.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 v227_degree_exponent_channel_split.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
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v92_glue_uniqueness.py
literal source filename/path in TeX
- explicit script identifier v88_cp_phase_audit.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 CartanDeterminants.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v99_koide_flow_time.py
literal source filename/path in TeX
- explicit script identifier v431_e8_degree_ladder.py
literal short identifier uniquely resolves in local script registry
- cross reference join AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join GlueUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v148_fock_census.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 v430_other_side_reverse_audit.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v429_axion_pentagon_phi.py
literal source filename/path in TeX
- explicit file citation v220_cp_hexagonal_modulus.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 v89_carrier_index_lemma.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v100_numerology_null_mc.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 KronheimerMarks.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 v306_seed_crossval.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join BWKeystone.lean
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
- explicit script identifier v232_e8_kleinian_seam.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred