pomaster 0.9.0 → 0.10.0

package/README.md

@@ -66,8 +66,11 @@ gate 运行结果走 `record gate-run` 产 **GRN 回执**入 evidence 平面；c
 
 ### ⑤ 计划驱动验证 + 控件数据流审计
 
-- `pomaster plan run` 直接执行 Verification Plan 已解析的 ToolBinding：每个 REQUIRED obligation 独立运行、独立生成 GRN，并绑定 task、execution、binding、gate 与 gate definition；部分成功保留 append-only 证据，混合结果保持非绿。
+- `pomaster plan run` 直接执行 Verification Plan 已解析的 ToolBinding：每个 REQUIRED obligation 独立运行、独立生成 GRN，并绑定 task、execution、binding、gate 与 gate definition；所有前检阻塞和非绿 GRN 都进入 `pomaster.plan-diagnosis/v1`，原始 error code / 七态 verdict 保持不变。
 - `pomaster control-data-flow analyze` 对 **Vue SFC 与 React TSX** 做受限 AST 数据链审计，追踪 `control → event → handler → state/effect → readback → feedback`，输出逐段源码锚和 `proven / broken / unknown` 结论。
+- `control_data_flow` 自动展开 `CONTROL_DATA_FLOW` 与 `CONTROL_DATA_FLOW_RUNTIME`。runtime 腿在启动工具前校验声明式 probe manifest，只允许 `READ_ONLY` 或隔离 fixture 且带 cleanup 的 `INTERACTIVE_REVERSIBLE`；规范 trace 内容寻址后绑定独立 GRN。
+- `pomaster finalize status/run` 是可重入的一键闭环入口：自动推进机器验证；`status` 从当前 GRN cohort、runtime artifact、replay、claim、ACCEPT 与 Task 派生真实阶段；在独立 verification 或 Human ACCEPT 处返回机器可读 pending，补齐后重放同一命令，由既有 closeout 五闸决定唯一完成态。
+- replay 裁决必须经 `pomaster finalize replay-adjudicate` 由独立 reviewer AGX 签发为内容寻址 artifact；`finalize run --replay-receipt` 只接受该 `sha256:` 引用，并复核 task、review range、plan fingerprint 与 reviewer 身份。任意自写 JSON 不进入受信裁决面。
 - 动态下标、跨组件封装与无法解析的目标保持 `unknown`；零控件或畸形报告保持 `not_run`。普通 click/submit 不会被猜成业务保存义务，只有显式 `data-pomaster-cdf-effect="required"` 才要求受信 effect sink。
 - 静态结构闭合始终保留 `runtime_confirmation_required=true`：它不能替代浏览器、真实 API、服务端持久化、错误恢复和最终用户可见效果的运行时证据。
 
@@ -298,6 +301,7 @@ pomaster brainstorm start/question-gate/status/decide/promote
 pomaster permit issue/check/steal/list
 
 # ③ PROJECTION —— 最小充分上下文投影（消费 confirmed baseline/tokens：确认态三态 + 25 资产 digest 摘要 +
+# spec 路由：spec-routing.json 声明协议元数据，context compile --stage/--trigger/--stack/--spec-ref 按任务选择协议并给命中理由——不全量注入）+
 # design-tokens 九组三态进 AUTHORITATIVE/ADVISORY 分区；baseline 漂移/改型 → --check STALE_GROUNDING 呈现）
 pomaster context compile/explain
 
@@ -305,9 +309,10 @@ pomaster context compile/explain
 pomaster exec-guard --attempt <file|->
 pomaster maintain <change-or-task> --ops <tx>
 
-# ⑤ VERIFY —— Verification Plan 编译 / FAST gate / gate recipes 派发 / 证据入账
+# ⑤ VERIFY —— Verification Plan 编译 / FAST gate / gate recipes 派发 / 证据入账（next-action 主链入口 = plan run；check --fast 仅局部自检，不满足未完成 obligation）
 pomaster plan compile/run    # compile 纯读编译证据计划；run 用 --task TASK.* --execution-id AGX-* 同源重编译并按 resolved_bindings 串行执行全部 REQUIRED obligations，每项独立 GRN、task/execution 归因、append-only；仅全 passed 成功，可选 --diagnose-on-failure；不自动 claim/independent verification/closeout
 pomaster control-data-flow analyze [--report-only] # Vue SFC / React TSX 控件数据流静态审计：control→event→handler→state/effect→readback→feedback；动态/跨边界保持 unknown，静态 proven/passed 不代表真实 API、持久化或浏览器旅程成功
+pomaster finalize status/replay-adjudicate/run TASK.* # status = 纯读派生当前 VERIFY/REPLAY/CLAIM/ACCEPT/CLOSEOUT 阶段；replay-adjudicate = 独立复盘主体签发内容寻址回执（--execution-id AGX-* --reviewed-by agent:name --review-range <range> --plan-fingerprint sha256:* --verdict allow-closeout）；run = 可重入收口（--verification-execution-id AGX-* --verifier agent:name --review-range <range> [--replay-receipt sha256:*]），独立/人工边界显式 pending
 pomaster tools list/validate # ToolBinding 统一注册面六分态（W1-R1-4；SP 提案待追认）：.pomaster/tools/bindings.json 在座即唯一工具事实源（detect/registered/validated/available/selected/executed 分态不可跃迁、缺口逐条显式；--plan 回喂计划工件对账 selected；executed 唯一事实源=GRN 真实回执——工具发现≠调用授权；registry 缺席时 plan compile 回退 legacy 探测）
 pomaster check --fast/--gates
 pomaster record gate-run/claim/verification
@@ -336,7 +341,7 @@ pomaster new-entity check <governed-id> [--need ...]
 pomaster inspect <governed-id>
 pomaster preset preview/drift/applicability   # 预设只读探测器三件套（W5；裁决 20⑥；词形 SP 提案待追认）：--family <id>（wired 闭包 design-tokens | baseline-framework + 5 扩展位登记）——preview = 预设→项目状态差异预览（create/fill/overwrite/none 动作预告 + 确认链效果预告，不应用）；drift = 当前值 vs 预设基准逐项对账（VALUE_DRIFT + verdict aligned|drifted|no_comparison——空分母显式，blindspot 纪律禁「没查就报干净」；漂移≠违规——Owner 定制合法）；applicability = 适用 lane/栈/对象面声明（native|mismatch|unresolved 只读匹配，不改 ADR-4 判卷）；预设值 governed 原地、ToolBinding 受信 adapter 执行表零注册；纯读零写入（探测≠写授权——写入唯一通路 = baseline set --change + confirm 确认链）
 pomaster graph <governed-id> [--view impact]
-pomaster recon import-graph|migrations|sbom|architecture-snapshot|token-sources|scripts|openapi    # 宿主代码 recon（七子命令均必持 --execution-id <AGX-n>——execution begin 登记的执行身份锚，观察回执的身份证明）：import 图静态扫描（unmapped 清单/externalImports/confidence → OBS 回执）/ migration 目录五栈词形盘点（prisma/flyway/liquibase/alembic/django_style 纯读盘零工具执行 → ENVREC 回执）/ SBOM 依赖清单采集（cdxgen 腿——工具缺席 NOT_INSTALLED、解析失败 INCONCLUSIVE 兜底）/ 架构快照（dependency-cruiser 巡报告落盘 + 官方 --baseline 存量底账增量 diff 三态 new/same/resolved；依赖边只计数零落盘提案）/ token 源词形枚举（DTCG/style-dictionary $value JSON + Tailwind v4 @theme/:root CSS 词法扫描 → readDesignTokens 权威面状态复用呈现；零值摘录零写口）/ package.json scripts 词面枚举（只枚举不执行 → ENVREC 回执）/ OpenAPI 运行时抓取（--url 探活 GET 落 blob——探活失败 NOT_INSTALLED 不降级；静态抽取保持 UNKNOWN）——全链 fail-closed（缺席 NOT_INSTALLED/NOT_RUN、解析失败 INCONCLUSIVE 负值兜底不伪造绿），产物只落 evidence sidecar 平面零权威写口
+pomaster recon import-graph|migrations|sbom|architecture-snapshot|token-sources|scripts|openapi|scope-review    # 宿主代码 recon（八子命令；采集类均必持 --execution-id <AGX-n>——execution begin 登记的执行身份锚，观察回执的身份证明）：import 图静态扫描（unmapped 清单/externalImports/confidence → OBS 回执）/ migration 目录五栈词形盘点（prisma/flyway/liquibase/alembic/django_style 纯读盘零工具执行 → ENVREC 回执）/ SBOM 依赖清单采集（cdxgen 腿——工具缺席 NOT_INSTALLED、解析失败 INCONCLUSIVE 兜底）/ 架构快照（dependency-cruiser 巡报告落盘 + 官方 --baseline 存量底账增量 diff 三态 new/same/resolved；依赖边只计数零落盘提案）/ token 源词形枚举（DTCG/style-dictionary $value JSON + Tailwind v4 @theme/:root CSS 词法扫描 → readDesignTokens 权威面状态复用呈现；零值摘录零写口）/ package.json scripts 词面枚举（只枚举不执行 → ENVREC 回执）/ OpenAPI 运行时抓取（--url 探活 GET 落 blob——探活失败 NOT_INSTALLED 不降级；静态抽取保持 UNKNOWN）/ scope-review freshness|adopt|show（对带 --root/--task 的 import-graph OBS 重算 v1 snapshot：fresh 才可采纳；stale/unjudgeable 阻断。adopt 将逐候选 accepted/excluded/unknown 与依据追加到 task payload.reality_scope_reviews；候选仍是 reviewed_input_only，不创建 relation、不扩大 Permit、不冒充 changed paths。plan compile/run 自动消费最新 fresh review并纳入指纹；旧任务没有 review 时保持兼容）——全链 fail-closed（缺席 NOT_INSTALLED/NOT_RUN、解析失败 INCONCLUSIVE 负值兜底不伪造绿），产物只落 evidence sidecar 平面零权威写口
 pomaster research list/inspect/request/handoff
 pomaster eval --suite behavioral
 pomaster catalog status/explain/relock
@@ -439,6 +444,17 @@ pomaster doctor        # 工具/MCP 探测：缺什么提示装什么
 
 工具缺席 = 显式 NOT_RUN（非绿非红），绝不假绿。浏览器双眼分工：`chrome-devtools` MCP 是观测诊断面（页面慢/报错/卡住必须实测真实浏览器），`playwright` MCP 是确定性 E2E 验证面——两边产物都进证据链。
 
+### ⑥ MASTer 经验驱动的验证闭环（v0.6.0）
+
+从真实失败语料提炼的六件治理能力（失败 → 根因 → 已有能力 → 最小结构修复 → Evidence）：
+
+- **⑤ 主链导航**：next-action 的 VERIFY 入口收正为 `pomaster plan run`（携在途 execution-id）；`check --fast` 保留局部自检语义——任务带场景义务时 fast 输出尾部显式提示「局部绿≠主链完成」。
+- **场景分母**：acceptance 可声明 scenarios 矩阵（scenario_ref/precondition/interaction/state_dimensions/expected_observation + 业务 oracle）——REQUIRED 义务按 acceptance×capability×scenario 展开，每场景独立 GRN；单态证据不满足多态分母，复用身份与 finalize cohort 键逐场景互斥。
+- **协议路由**：catalog 根 `spec-routing.json` 声明协议元数据（semantic_id/stage/trigger/stack/supersession/来源指纹），路由核确定性选择并给命中理由——不全量注入；消费端按 path 重算 sha256 对账声明指纹（漂移=stale 显式）。
+- **证据来源快照**：GRN 信封携带 `source_snapshot` 双采样（before/after + 窗口重算全等强校验）；证据用途声明 `worker_local`/`final_stable`——终验 cohort 只消费 final_stable，worker 中间证据 append-only 保留不入终验分母。
+- **依赖失效与 Attention**：跨平面派生闭包（truth/catalog/discovery/generated/source 五平面，派生边零落盘）→ 后果五分类（recompile/REBIND/requalify/review/no-current-task-impact）逐行携 why 链；同 scope 双 canonical 呈现 Conflict+provenance（mtime 裁胜者被结构性地排除）；Attention 三计数 project/relevant/needs_human——相关 unknown 不被过滤，无关 unknown 不阻塞。
+- **ui_surface 真实浏览器腿**：业务 oracle 声明可见性通道（visible_via/filter_context/mapping_fields）；浏览器工具（playwright / chrome-devtools-mcp）在座即启用真实浏览器观察腿——报告的 fixture_layer=real_browser 声明必须与 manifest 同源且有执行账本浏览器 GRN 支撑（无出生凭证的自称=blocked）；工具缺席诚实 NOT_RUN。
+
 ## 运行机制：State Control Plane
 
 ```mermaid

package/catalog/spec-routing.json

@@ -0,0 +1,6 @@
+{
+  "schema": "pomaster.spec-routing/1",
+  "profile": "universal-seed",
+  "entries": [],
+  "x-w4-note": "协议路由目录（W4 切片；FR-02 Spec Catalog 路由；AC-09/10）：universal seed 零条目——MASTer 等项目特例协议只进项目 overlay（消费方注入自有 catalog 根时本文件随项目侧 entries 原位扩展），不为 77 份 Markdown 强加第二结构、不建第二索引真值、不复制协议正文。字段定稿：semantic_id=PROTOCOL.* 机器身份（supersession/reference/requires/conflicts 全以它承载——W3 stable-reference 预留）、path=内容导航（不进机器关系）、stage∈{plan,implement,verify,maintain}、triggers/stack=词级精确 token（stack 为 not_configured 轴：任务未声明 ≠ 默认匹配）、superseded_by=显式退役（禁 mtime/文件名推断）、source_sha256=编译时登记的来源指纹（sha256:<64hex>）。装载与路由判定：@pomaster/kernel loadSpecRoutingManifest / routeSpecs（纯读零治理事实；路由结果只进 catalogEntries 策展分区，不进 mustEntries 判卷输入）。"
+}