官网报告：实验硬门状态说明（2026-05-13）

标题卫生 · 2026-09-08。 本页「实验闭合」指 2026-05-13 当时冻结的硬门工程状态。同页写明 closure_level_statement_allowed = false。这不是定理级闭合，不是发生学付款，也不是 2026-09 的现行状态板。

1）范围

本报告用于说明在冻结治理与机读锁文件下，当前研究纲领的实验相关闭合状态。仅回答“哪些硬门已通过、哪些叙事边界仍有效”，不做竞品评估。

SSOT 锁文件：05_Core_Source_Code/GO/07_Theorem_Breakthrough_Programme/00_LOCKS/THEOREM_CLAIM_HARD_GATES_STATUS_20260511.json
治理版本：V7_20260512
当前聚合状态：
- theorem_claim_readiness.all_relevant_hard_gates_pass = true
- closure_level_statement_allowed = false
- claim_boundary.claim_tier_upgrade_allowed = false

在冻结定义与归档证据下，项目在硬门真值层已形成聚合闭合：

T1：主工程门通过（existence、minimality_uniqueness、stability_gate_ge_95pct、bootstrap_robustness）
T2：Stage-B、跨 seed/日程鲁棒性、外部风格复跑指标匹配通过
T3：scoped 非套套/有限 N、holdout 扰动、clean-dir 独立复跑通过
T4：扩展必要性优胜稳定性、竞争者失败一致性通过

本报告不主张数学定理级闭合。

真值门闭合 = 已达成
定理级闭合叙事 = 未授权

.../THEOREM_CLAIM_HARD_GATES_STATUS_20260511.json
.../output/runs/20260512_audit_order9_hard_gates_checklist_roll_v49_post_truth_first_governance_v7/HARD_GATES_CHECKLIST_AUDIT_ORDER9_ALIGN_20260512.json
.../output/runs/20260512_t1_n21_bootstrap_ci_explore_dpt500_v1/T1_N21_STABILITY_BOOTSTRAP_CI_SUMMARY_20260512T071647Z.json
.../output/runs/20260512_t1_uniqueness_nsweep_n17to26_seed2026051222_dpn512_confirm_v1/T1_UNIQUENESS_STRICT_SUMMARY_20260512T082929Z.json
.../output/runs/20260512_t1_uniqueness_nsweep_n17to26_seed2026051227_dpn512_batch_v1/T1_UNIQUENESS_STRICT_SUMMARY_20260512T083144Z.json
.../output/runs/20260512_t2_r2a_stageb_confirmatory_mainline_push_v9/T2_R2A_STAGEB_CONFIRMATORY_SUMMARY_20260512T144847Z.json
.../output/runs/20260512_t2_r2a_cross_seed_schedule_robustness_mainline_push_v9/T2_R2A_CROSS_SEED_SCHEDULE_SUMMARY_20260512T152808Z.json
.../output/runs/20260512_t3_audit_order7_scoped_confirm_v1/T3_AUDIT_ORDER7_SCOPED_CONFIRM_SUMMARY_20260511T164125Z.json
.../output/runs/20260512_t3_holdout_hr1_prereg_exec_v1/T3_HOLDOUT_HR1_PREREG_MANIFEST.json
.../output/runs/20260512_t3_holdout_hr1_clean_dir_replay_v1/T3_HOLDOUT_HR1_CLEAN_DIR_REPLAY_SUMMARY_20260512T032442Z.json
.../output/runs/20260512_t4_audit_order6_expanded_confirm_v2/T4_AUDIT_ORDER6_EXPANDED_CONFIRM_SUMMARY_20260511T163834Z.json

在 V7_20260512 治理下，机读真值硬门已通过（all_relevant_hard_gates_pass=true）且证据可复核；同时闭合级叙事仍受独立边界约束（closure_level_statement_allowed=false）。