MatrixSpec 工作流演进
2026-10-11 研究快照(未打包)
证据页 / 进化入口

进化入口索引

先从实际选中的 Weakness / Proposal 回放责任,再进入正式结果。每个 namespace 都保留 generation、analysisRunId 与 W/P 编号。

Card 谱系保留 Markdown 正文离线可读

本页回放的 H0 W-03 来自 Luna/xhigh 历史轨迹;主指南的成绩端点比较改用 H0 Terra/high,与 H0601 匹配被测执行模型。查看主指南的比较口径

研究快照 · 2026-10-11

原文中的“主归档”和“main”指 Workflow Arena 原来源仓。本目录发布汇总与选卡证据;原始会话、完整 Judge packages 与运行 HOME 未打包。未打包来源只保留定位信息。查看归档范围 · 查看来源与发布文件 hash

MatrixSpec 进化入口

直接答案

“正式结果入口”指向一代跑完后的 aggregate、Judge packages 和分数;“进化入口”指向启动这一代之前实际选中的 Weakness Card 与 Proposal Card。因此,读者从某一代的进化入口点进去,应当立即看到“上一代暴露了什么问题、选中了什么干预策略、为什么形成当前代”。

H0 是基线,没有进化入口;Bare 是独立 no-SDD comparator,也没有进化入口。H05 与 H052 是从 H04 分裂出的两个 sibling,不是串行关系。

H1 / H01

H02

H03

H04

H05

H052

H0601

H0601 有两个相互独立、同时被选中实施的进化入口;它们是对 H052→H0601 历史决定的 retrospective 固化,不是新的 pending Proposal。

  1. Semantic closure
  1. REQ-bound Candidate-visible evidence

边界与验证

保留原始 Markdown 内容(展开查看权威文本)
# MatrixSpec 进化入口

## 直接答案

> 迁入说明(2026-10-11):本文来自 Workflow Arena 的研究档案。下文“主归档”和“main”指原来源仓;本目录仅发布可复核的汇总与选卡证据,未打包的原始材料以文字来源定位信息保留。链接与本机路径已为离线阅读整理;原始文件 hash 和发布文件 hash 分开记录,见本目录的来源核验清单。

“正式结果入口”指向一代跑完后的 aggregate、Judge packages 和分数;“进化入口”指向**启动这一代之前实际选中的 Weakness Card 与 Proposal Card**。因此,读者从某一代的进化入口点进去,应当立即看到“上一代暴露了什么问题、选中了什么干预策略、为什么形成当前代”。

H0 是基线,没有进化入口;Bare 是独立 no-SDD comparator,也没有进化入口。H05 与 H052 是从 H04 分裂出的两个 sibling,不是串行关系。

| 当前代 | 进化入口 |
| --- | --- |
| H1 / H01 | [H0 W-03 → P-02](#h1--h01) |
| H02 | [H1 W-01 → P-01](#h02) |
| H03 | [H02 W-01 → P-01](#h03) |
| H04 | [H02 agent-derived W-02 → P-01](#h04) |
| H05 | [H04 W-04 → P-04](#h05) |
| H052 | [H04 W-01 → P-01](#h052) |
| H0601 | [H052 W-01/P-01 + W-02/P-02](#h0601) |

## H1 / H01

- **Weakness Card**:H0 `W-03 — Unreachable cross-stage repair ownership`。Checker 能发现上游 blocker,但 Controller 没有把责任交回真正 artifact owner 的可达路径。[打开 H0 Weakness Cards](../archive/matrixspec-evolution/analyses/H0/h0-root-cause-20260809-a/weakness-shortlist.json)
- **Proposal Card**:`P-02 / H5-inspired — Reachable Cross-Stage Repair`。把 negative verdict 变成 typed Controller signal,并提供 back、invalidation、owner repair、reconfirm/recheck。[打开 P-02 Card](matrixspec-proposal-card-w03-h5.md#p-02reachable-cross-stage-repairh5-inspired)
- **形成的当前代**:仓库正式 generation ID 为 H1;“H5-inspired”只是当时的策略标签,不是另一个正式 generation。

## H02

- **Weakness Card**:`H1/h1-root-cause-20260811-a/W-01 — 跨阶段恢复责任与可达权限不匹配`。独立 Validation 能发现上游 blocker,却仍不能关闭。[打开 H1 W-01 Card](../archive/matrixspec-evolution/analyses/H1/h1-root-cause-20260811-a/weakness-shortlist.yaml)
- **Proposal Card**:`H1/h1-root-cause-20260811-a/P-01`。删除 standalone Validation,把必要验证责任并入 Review,同时保留 H1 v2 recovery。[打开 H1 P-01 Card](../archive/matrixspec-evolution/analyses/H1/h1-root-cause-20260811-a/proposals.yaml)
- **形成的当前代**:H02 六阶段流程。

## H03

- **Weakness Card**:`H02/h02-root-cause-20260811-a/W-01`。Implementation readiness 可能早于逐义务 evidence closure,缺口直到 Review 才出现。[打开 H02 W-01 Card](../archive/matrixspec-evolution/analyses/H02/h02-root-cause-20260811-a/weakness-shortlist.yaml)
- **Proposal Card**:`H02/h02-root-cause-20260811-a/P-01`。只有每个 confirmed obligation 都有对应实现/验证证据时,才确认 Implementation ready。[打开 H02 P-01 Card](../archive/matrixspec-evolution/analyses/H02/h02-root-cause-20260811-a/proposals.yaml)
- **形成的当前代**:H03 obligation-level implementation readiness。

## H04

- **Weakness Card**:`H02/h02-agent-analysis-20260811-a/W-02 — Review approval is not bound to controller-owned verification truth`。Review approved 可能与 Controller 的真实验证结果矛盾。[打开 H02 agent-derived W-02 Card](../archive/matrixspec-evolution/analyses/H02/h02-agent-analysis-20260811-a/weakness-shortlist.yaml)
- **Proposal Card**:`H02/h02-agent-analysis-20260811-a/P-01 — Controller-Evidence-Bound Review Approval`。Positive Review 必须绑定 current/passed Controller receipt。[打开 H02 agent-derived P-01 Card](../archive/matrixspec-evolution/analyses/H02/h02-agent-analysis-20260811-a/proposals.yaml)
- **形成的当前代**:H04 controller-evidence-bound Review treatment。该卡最初是 agent-derived candidate,后来才由用户选择并授权实施。

## H05

- **Weakness Card**:`H04/h04-postformal-20260812-019ff55f-a/W-04`。跨阶段 authority conflict 被退回无权修改上游权威的 downstream stage。[打开 H04 W-04 Card](../archive/matrixspec-evolution/analyses/H04/h04-postformal-20260812-019ff55f-a/weakness-shortlist.yaml)
- **Proposal Card**:`H04/h04-postformal-20260812-019ff55f-a/P-04`。把 authority conflict 路由到最早必须改变的权威 owner;修改、重新确认或建立明确 precedence 后才允许重入。[打开 H04 P-04 Card](../archive/matrixspec-evolution/analyses/H04/h04-postformal-20260812-019ff55f-a/proposals.yaml)
- **形成的当前代**:H05 P-04 authority-conflict recovery。

## H052

- **Weakness Card**:`H04/h04-postformal-20260812-019ff55f-a/W-01 — conflicting implementation terminal contracts`。同一 Implement context 同时暴露 Controller readiness contract 与 legacy `IMPLEMENTATION_COMPLETE`。[打开 H04 W-01 Card](../archive/matrixspec-evolution/analyses/H04/h04-postformal-20260812-019ff55f-a/weakness-shortlist.yaml)
- **Proposal Card**:`H04/h04-postformal-20260812-019ff55f-a/P-01`。Execution 时只暴露一个 Controller-owned implementation terminal contract。[打开 H04 P-01 Card](../archive/matrixspec-evolution/analyses/H04/h04-postformal-20260812-019ff55f-a/proposals.yaml)
- **形成的当前代**:H052 exact Change Spec → fresh Implement,以及 workflow completion、product verification、Audit findings 分栏。

## H0601

H0601 有两个相互独立、同时被选中实施的进化入口;它们是对 H052→H0601 历史决定的 retrospective 固化,不是新的 pending Proposal。

1. **Semantic closure**
   - Weakness:`H052/h052-postformal-20260814-019ff5c4-a/W-01 — Spec-to-Implement handoff does not require real semantic closure`。[打开 W-01 Card](../archive/matrixspec-evolution/analyses/H052/h052-postformal-20260814-019ff5c4-a/weakness-shortlist.yaml)
   - Proposal:`H052/h052-postformal-20260814-019ff5c4-a/P-01 — Semantic Closure as the Change Spec Handoff Predicate`。[打开 P-01 Card](../archive/matrixspec-evolution/analyses/H052/h052-postformal-20260814-019ff5c4-a/proposals.yaml)

2. **REQ-bound Candidate-visible evidence**
   - Weakness:`H052/h052-postformal-20260814-019ff5c4-a/W-02 — Confirmed obligations are disconnected from Candidate-visible independent evidence`。[打开 W-02 Card](../archive/matrixspec-evolution/analyses/H052/h052-postformal-20260814-019ff5c4-a/weakness-shortlist.yaml)
   - Proposal:`H052/h052-postformal-20260814-019ff5c4-a/P-02 — REQ-Bound Candidate-Visible Independent Verification Receipts`。[打开 P-02 Card](../archive/matrixspec-evolution/analyses/H052/h052-postformal-20260814-019ff5c4-a/proposals.yaml)

- **形成的当前代**:H0601 semantic closure + per-REQ visible verification。H0601 本身没有 canonical H06/W-xx Card;`H060101`–`H060103` 仍只是检查码。

## 边界与验证

- 本文记录的是实际选中并进入下一代的 Card,不等同于列出某次分析生成的所有候选。
- 点击 Card 文件后,应以本文给出的完整 stable ref 定位同一文件中的具体条目;不能只凭 `W-01` 或 `P-01` 跨 namespace 串联。
- Proposal 选择、实现授权和正式实验授权仍是三个不同事件;本文只回放已经发生的历史选择。
- H0 与 Bare 没有上游进化入口;H05/H052 分别由 H04 的不同 Card 驱动。