MatrixSpec 进化入口
直接答案
“正式结果入口”指向一代跑完后的 aggregate、Judge packages 和分数;“进化入口”指向启动这一代之前实际选中的 Weakness Card 与 Proposal Card。因此,读者从某一代的进化入口点进去,应当立即看到“上一代暴露了什么问题、选中了什么干预策略、为什么形成当前代”。
H0 是基线,没有进化入口;Bare 是独立 no-SDD comparator,也没有进化入口。H05 与 H052 是从 H04 分裂出的两个 sibling,不是串行关系。
| 当前代 | 进化入口 |
|---|---|
| H1 / H01 | H0 W-03 → P-02 |
| H02 | H1 W-01 → P-01 |
| H03 | H02 W-01 → P-01 |
| H04 | H02 agent-derived W-02 → P-01 |
| H05 | H04 W-04 → P-04 |
| H052 | H04 W-01 → P-01 |
| H0601 | H052 W-01/P-01 + W-02/P-02 |
H1 / H01
- Weakness Card:H0
W-03 — Unreachable cross-stage repair ownership。Checker 能发现上游 blocker,但 Controller 没有把责任交回真正 artifact owner 的可达路径。打开 H0 Weakness Cards - Proposal Card:
P-02 / H5-inspired — Reachable Cross-Stage Repair。把 negative verdict 变成 typed Controller signal,并提供 back、invalidation、owner repair、reconfirm/recheck。打开 P-02 Card - 形成的当前代:仓库正式 generation ID 为 H1;“H5-inspired”只是当时的策略标签,不是另一个正式 generation。
H02
- Weakness Card:
H1/h1-root-cause-20260811-a/W-01 — 跨阶段恢复责任与可达权限不匹配。独立 Validation 能发现上游 blocker,却仍不能关闭。打开 H1 W-01 Card - Proposal Card:
H1/h1-root-cause-20260811-a/P-01。删除 standalone Validation,把必要验证责任并入 Review,同时保留 H1 v2 recovery。打开 H1 P-01 Card - 形成的当前代:H02 六阶段流程。
H03
- Weakness Card:
H02/h02-root-cause-20260811-a/W-01。Implementation readiness 可能早于逐义务 evidence closure,缺口直到 Review 才出现。打开 H02 W-01 Card - Proposal Card:
H02/h02-root-cause-20260811-a/P-01。只有每个 confirmed obligation 都有对应实现/验证证据时,才确认 Implementation ready。打开 H02 P-01 Card - 形成的当前代: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 - 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 - 形成的当前代: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 - Proposal Card:
H04/h04-postformal-20260812-019ff55f-a/P-04。把 authority conflict 路由到最早必须改变的权威 owner;修改、重新确认或建立明确 precedence 后才允许重入。打开 H04 P-04 Card - 形成的当前代: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 与 legacyIMPLEMENTATION_COMPLETE。打开 H04 W-01 Card - Proposal Card:
H04/h04-postformal-20260812-019ff55f-a/P-01。Execution 时只暴露一个 Controller-owned implementation terminal contract。打开 H04 P-01 Card - 形成的当前代:H052 exact Change Spec → fresh Implement,以及 workflow completion、product verification、Audit findings 分栏。
H0601
H0601 有两个相互独立、同时被选中实施的进化入口;它们是对 H052→H0601 历史决定的 retrospective 固化,不是新的 pending Proposal。
- Semantic closure
- Weakness:
H052/h052-postformal-20260814-019ff5c4-a/W-01 — Spec-to-Implement handoff does not require real semantic closure。打开 W-01 Card - Proposal:
H052/h052-postformal-20260814-019ff5c4-a/P-01 — Semantic Closure as the Change Spec Handoff Predicate。打开 P-01 Card
- 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 - Proposal:
H052/h052-postformal-20260814-019ff5c4-a/P-02 — REQ-Bound Candidate-Visible Independent Verification Receipts。打开 P-02 Card
- 形成的当前代: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 驱动。