pomaster 0.3.0 → 0.5.0

package/seeds/specs/evidence/release.md

@@ -0,0 +1,91 @@
+# Evidence Spec — 发布
+
+- 路径:specs/evidence/release.md
+- 对象面词形:SPEC.RELEASE(B2 Evidence Spec 一等对象——kind=business_rule + payload.spec_kind=evidence_spec 判别;本文件是项目可编辑要求面,对应对象由 init 步骤 4.7 预植 SPEC.* store 对象(PROPOSED 起步,裁定批 D D2);本文件为该对象 requirements 的播种底稿,对象演进归项目运行时 applyTransaction)
+- 语义锚:Project-Store PRD §13(Evidence Spec Kit)——要求面非证据面:持要求不持判定,判定值只在 Verification Result(claim 四态)/Gate Result(七态)。
+
+## Purpose
+
+本 Spec 定义「发布可信」这一证据的要求:发布制品 hash 可追溯,审批链完整,版本词形与回滚面对照 baseline/platform/delivery.md 登记逐项在座。
+
+## Subjects
+
+- 发布单元(以 baseline/platform/delivery.md 登记的发布单元为准)。
+
+## Claims
+
+- claim 词形:CLM-*(07 schema 词面);claim 由运行时 record 通路登记(UNVERIFIED 起步,声称方禁自填 VERIFIED)——本 Spec 只定义可立 claim 的语句类型,不产生判定值。
+
+- 可立 claim 语句类型:「release artifact is traceable, approved and rollback-capable」类。
+
+## Required Observations
+
+- 制品清单及内容寻址 hash(与构建产物对账——SPEC.BUILD 产物引用)。
+
+- 版本词形与来源(登记引用);审批链记录(逐节点:角色/结论)。
+
+- 回滚面:方案在座且具备可执行性(演练记录或论证)。
+
+## Allowed Producers
+
+- 构建通路(制品 hash);审批登记面(审批链);禁以聊天记录替代登记审批。
+
+## Tool Bindings
+
+- 制品库与审批登记面由项目登记(baseline/platform/delivery.md 引用);hash 词形内容寻址(PRD §3.4 同源纪律)。
+
+## Assertions
+
+- 判定资格总则:四值词形闭包(PASS/FAIL/UNKNOWN/NOT_RUN——PRD §13.1;禁发明第五值);判卷执行归 Verification Result(claim 四态)/Gate Result(七态),本文件不自填判定值。
+
+- 资格判定:可满足本 Spec 条款的 claim/run 必须出自对象面 requirements 资格清单(claim_refs/gate_refs 在册;资格外一律不满足,跨对象借证=资格不成立——21-evidence-spec kind profile 词形)。
+
+### PASS
+
+- 资格:全部 Required Observations 在座且出自 Allowed Producers/Tool Bindings 资格面;Required Artifacts 齐备且可取回;要求条款逐条满足。
+
+- 本 Spec 具体条款:制品 hash 与构建产物一致;审批链完整;版本与回滚面登记在座。
+
+- 判定值由 Verification Result / Gate Result 写——本文件不自填 PASS。
+
+### FAIL
+
+- 资格:任一必需要求不满足(观察缺席/出自资格外生产者/工件缺席或不可解析/claim_refs·gate_refs 清单外或跨对象借证)。
+
+- 本 Spec 具体情形:hash 对不上;审批缺节点;回滚面缺席。
+
+### UNKNOWN
+
+- 证据在座但不足以判定(receipt 维度不全/工件损坏/口径未登记)——诚实位,禁当 PASS 呈现;补证后重判。
+
+### NOT_RUN
+
+- 本证据类型未被产出(工具未执行/环境缺席)或范围显式不适用且例外已登记——显式缺席诚实位,禁把未跑写成 PASS/UNKNOWN。
+
+## Required Artifacts
+
+- 制品(内容寻址引用);审批记录;回滚演练/论证材料。
+
+## Retention
+
+- 证据与 raw artifact 至少保留至对应 claim 关账;发布面证据按 baseline/platform/delivery.md 登记的保留策略;blob 面优先内容寻址(PRD §3.4)。
+
+## Exceptions
+
+- 紧急发布快速通道逐次登记(理由+事后补审时限);补审逾期即登记违规。
+
+## Activation Guidance
+
+- 激活时点:每次发布;回滚后重新发布。
+
+## Ownership
+
+- 要求属主:项目 Owner(条款与例外裁决)。
+
+- 证据生产:变更执行 lane 角色(Activation Guidance 所列时点);判定:Verification/Gate 通路——角色分离,生产者不得自判 PASS。
+
+## Change Policy
+
+- 本文件是项目可编辑要求面:条款修订走项目变更流程(CHANGE.* 登记);要求条款(必要性)修订需 Owner 确认,措辞/呈现类修订不受限。
+
+- 阈值联动:数值阈值只住 baseline/quality 登记(§13.2「阈值必须项目化」);本文件修订只改要求条款,不改阈值数字。

package/seeds/specs/evidence/runtime-observability.md

@@ -0,0 +1,91 @@
+# Evidence Spec — 运行时可观测
+
+- 路径:specs/evidence/runtime-observability.md
+- 对象面词形:SPEC.RUNTIME_OBSERVABILITY(B2 Evidence Spec 一等对象——kind=business_rule + payload.spec_kind=evidence_spec 判别;本文件是项目可编辑要求面,对应对象由 init 步骤 4.7 预植 SPEC.* store 对象(PROPOSED 起步,裁定批 D D2);本文件为该对象 requirements 的播种底稿,对象演进归项目运行时 applyTransaction)
+- 语义锚:Project-Store PRD §13(Evidence Spec Kit)——要求面非证据面:持要求不持判定,判定值只在 Verification Result(claim 四态)/Gate Result(七态)。
+
+## Purpose
+
+本 Spec 定义「运行时行为可观测」这一证据的要求:部署锚与 log/metric/trace 登记面(baseline/platform/observability.md 口径)在目标环境可取回,关联 ID 贯通请求链路。
+
+## Subjects
+
+- 变更部署到的运行环境与环境登记(ENV.* 面;环境差异以 baseline/platform/environment.md 登记为准)。
+
+## Claims
+
+- claim 词形:CLM-*(07 schema 词面);claim 由运行时 record 通路登记(UNVERIFIED 起步,声称方禁自填 VERIFIED)——本 Spec 只定义可立 claim 的语句类型,不产生判定值。
+
+- 可立 claim 语句类型:「registered observability surfaces are retrievable in the target environment」类。
+
+## Required Observations
+
+- 部署锚(部署清单/版本/实例)与目标环境登记一致。
+
+- log/metric/trace 各面取样(按 baseline 登记口径);关联 ID 贯通证明(同一请求跨面可串联)。
+
+- audit 面(登记的审计事件可取回,如适用)。
+
+## Allowed Producers
+
+- 目标环境的观测通道取样(读侧);取样必须带环境锚,禁跨环境混样。
+
+## Tool Bindings
+
+- 观测通道由项目登记(baseline/platform/observability.md 引用);证据形态对应 evidence-model 五类中 runtime-deployment 类。
+
+## Assertions
+
+- 判定资格总则:四值词形闭包(PASS/FAIL/UNKNOWN/NOT_RUN——PRD §13.1;禁发明第五值);判卷执行归 Verification Result(claim 四态)/Gate Result(七态),本文件不自填判定值。
+
+- 资格判定:可满足本 Spec 条款的 claim/run 必须出自对象面 requirements 资格清单(claim_refs/gate_refs 在册;资格外一律不满足,跨对象借证=资格不成立——21-evidence-spec kind profile 词形)。
+
+### PASS
+
+- 资格:全部 Required Observations 在座且出自 Allowed Producers/Tool Bindings 资格面;Required Artifacts 齐备且可取回;要求条款逐条满足。
+
+- 本 Spec 具体条款:登记 observation 面逐项可取回;关联 ID 贯通;部署锚与环境登记一致。
+
+- 判定值由 Verification Result / Gate Result 写——本文件不自填 PASS。
+
+### FAIL
+
+- 资格:任一必需要求不满足(观察缺席/出自资格外生产者/工件缺席或不可解析/claim_refs·gate_refs 清单外或跨对象借证)。
+
+- 本 Spec 具体情形:登记面在目标环境不可取回;关联 ID 断链;环境漂移未登记。
+
+### UNKNOWN
+
+- 证据在座但不足以判定(receipt 维度不全/工件损坏/口径未登记)——诚实位,禁当 PASS 呈现;补证后重判。
+
+### NOT_RUN
+
+- 本证据类型未被产出(工具未执行/环境缺席)或范围显式不适用且例外已登记——显式缺席诚实位,禁把未跑写成 PASS/UNKNOWN。
+
+## Required Artifacts
+
+- 取样原始数据(blob);部署锚快照。
+
+## Retention
+
+- 证据与 raw artifact 至少保留至对应 claim 关账;发布面证据按 baseline/platform/delivery.md 登记的保留策略;blob 面优先内容寻址(PRD §3.4)。
+
+## Exceptions
+
+- 环境级豁免(如本地环境无 trace 后端)逐环境登记(理由+目标环境复归条件)。
+
+## Activation Guidance
+
+- 激活时点:部署后验证;运行时缺陷排查收口;发布前演练。
+
+## Ownership
+
+- 要求属主:项目 Owner(条款与例外裁决)。
+
+- 证据生产:变更执行 lane 角色(Activation Guidance 所列时点);判定:Verification/Gate 通路——角色分离,生产者不得自判 PASS。
+
+## Change Policy
+
+- 本文件是项目可编辑要求面:条款修订走项目变更流程(CHANGE.* 登记);要求条款(必要性)修订需 Owner 确认,措辞/呈现类修订不受限。
+
+- 阈值联动:数值阈值只住 baseline/quality 登记(§13.2「阈值必须项目化」);本文件修订只改要求条款,不改阈值数字。

package/seeds/specs/evidence/security.md

@@ -0,0 +1,89 @@
+# Evidence Spec — 安全核查
+
+- 路径:specs/evidence/security.md
+- 对象面词形:SPEC.SECURITY(B2 Evidence Spec 一等对象——kind=business_rule + payload.spec_kind=evidence_spec 判别;本文件是项目可编辑要求面,对应对象由 init 步骤 4.7 预植 SPEC.* store 对象(PROPOSED 起步,裁定批 D D2);本文件为该对象 requirements 的播种底稿,对象演进归项目运行时 applyTransaction)
+- 语义锚:Project-Store PRD §13(Evidence Spec Kit)——要求面非证据面:持要求不持判定,判定值只在 Verification Result(claim 四态)/Gate Result(七态)。
+
+## Purpose
+
+本 Spec 定义「安全核查通过」这一证据的要求:三条独立腿(secret 泄露扫描/依赖漏洞审计/静态分析)各自产出发现清单并各自判定(vNext 既有 SECURITY 门禁三腿语义:三个独立 adapter,禁止合并为单一 security ok 绿灯),未处置发现逐腿呈现。
+
+## Subjects
+
+- 变更触碰代码与仓库面(密钥/凭据/依赖声明)。
+
+## Claims
+
+- claim 词形:CLM-*(07 schema 词面);claim 由运行时 record 通路登记(UNVERIFIED 起步,声称方禁自填 VERIFIED)——本 Spec 只定义可立 claim 的语句类型,不产生判定值。
+
+- 可立 claim 语句类型:「three security legs each pass with zero unhandled findings」类。
+
+## Required Observations
+
+- 三腿各自:工具/范围/发现清单(逐条:类别/严重度/位置)/误报与豁免登记。
+
+- 未处置发现汇总(逐腿)。
+
+## Allowed Producers
+
+- 三腿各自独立工具执行(vNext 既有词形族:gitleaks/pip_audit/semgrep 类);任一腿缺席=本证据 NOT_RUN,禁以其余腿补位。
+
+## Tool Bindings
+
+- 三腿工具由项目登记(登记配置锚在座);腿间禁合并判定(聚合绿灯=资格不成立)。
+
+## Assertions
+
+- 判定资格总则:四值词形闭包(PASS/FAIL/UNKNOWN/NOT_RUN——PRD §13.1;禁发明第五值);判卷执行归 Verification Result(claim 四态)/Gate Result(七态),本文件不自填判定值。
+
+- 资格判定:可满足本 Spec 条款的 claim/run 必须出自对象面 requirements 资格清单(claim_refs/gate_refs 在册;资格外一律不满足,跨对象借证=资格不成立——21-evidence-spec kind profile 词形)。
+
+### PASS
+
+- 资格:全部 Required Observations 在座且出自 Allowed Producers/Tool Bindings 资格面;Required Artifacts 齐备且可取回;要求条款逐条满足。
+
+- 本 Spec 具体条款:三腿各自零未处置发现(发现=已处置或已登记豁免)。
+
+- 判定值由 Verification Result / Gate Result 写——本文件不自填 PASS。
+
+### FAIL
+
+- 资格:任一必需要求不满足(观察缺席/出自资格外生产者/工件缺席或不可解析/claim_refs·gate_refs 清单外或跨对象借证)。
+
+- 本 Spec 具体情形:任一腿存在未处置发现;腿缺席冒充通过。
+
+### UNKNOWN
+
+- 证据在座但不足以判定(receipt 维度不全/工件损坏/口径未登记)——诚实位,禁当 PASS 呈现;补证后重判。
+
+### NOT_RUN
+
+- 本证据类型未被产出(工具未执行/环境缺席)或范围显式不适用且例外已登记——显式缺席诚实位,禁把未跑写成 PASS/UNKNOWN。
+
+## Required Artifacts
+
+- 三腿各自原始输出;豁免登记引用。
+
+## Retention
+
+- 证据与 raw artifact 至少保留至对应 claim 关账;发布面证据按 baseline/platform/delivery.md 登记的保留策略;blob 面优先内容寻址(PRD §3.4)。
+
+## Exceptions
+
+- 逐发现豁免(理由+期限+复核触发),按腿登记;期限到期未复核即转 FAIL。
+
+## Activation Guidance
+
+- 激活时点:代码/依赖变更提交前;CI 门禁放行前;发布前。
+
+## Ownership
+
+- 要求属主:项目 Owner(条款与例外裁决)。
+
+- 证据生产:变更执行 lane 角色(Activation Guidance 所列时点);判定:Verification/Gate 通路——角色分离,生产者不得自判 PASS。
+
+## Change Policy
+
+- 本文件是项目可编辑要求面:条款修订走项目变更流程(CHANGE.* 登记);要求条款(必要性)修订需 Owner 确认,措辞/呈现类修订不受限。
+
+- 阈值联动:数值阈值只住 baseline/quality 登记(§13.2「阈值必须项目化」);本文件修订只改要求条款,不改阈值数字。

package/seeds/specs/evidence/typecheck-lint.md

@@ -0,0 +1,91 @@
+# Evidence Spec — 类型检查与静态检查
+
+- 路径:specs/evidence/typecheck-lint.md
+- 对象面词形:SPEC.TYPECHECK_LINT(B2 Evidence Spec 一等对象——kind=business_rule + payload.spec_kind=evidence_spec 判别;本文件是项目可编辑要求面,对应对象由 init 步骤 4.7 预植 SPEC.* store 对象(PROPOSED 起步,裁定批 D D2);本文件为该对象 requirements 的播种底稿,对象演进归项目运行时 applyTransaction)
+- 语义锚:Project-Store PRD §13(Evidence Spec Kit)——要求面非证据面:持要求不持判定,判定值只在 Verification Result(claim 四态)/Gate Result(七态)。
+
+## Purpose
+
+本 Spec 定义「静态检查通过」这一证据的要求:项目登记的类型检查器与 linter 在变更面执行完成,零未处置的 error 级发现,规则集配置锚在座可溯。
+
+## Subjects
+
+- 变更触碰的代码文件及其类型依赖闭包(闭包口径以项目登记的检查范围为准)。
+
+## Claims
+
+- claim 词形:CLM-*(07 schema 词面);claim 由运行时 record 通路登记(UNVERIFIED 起步,声称方禁自填 VERIFIED)——本 Spec 只定义可立 claim 的语句类型,不产生判定值。
+
+- 可立 claim 语句类型:「changed code passes typecheck and lint with zero unresolved error-level findings」类。
+
+## Required Observations
+
+- 类型检查命令退出码与发现清单(逐条:文件/位置/规则)。
+
+- lint 命令退出码与发现清单(同上)。
+
+- 规则集配置锚(配置文件路径+内容寻址引用),证明发现清单出自登记规则集。
+
+## Allowed Producers
+
+- 项目登记的类型检查器与 linter;发现清单必须出自工具原始输出,禁人工转述替代。
+
+## Tool Bindings
+
+- 类型检查器/linter 的具体工具与规则集由项目登记(配置锚在座);未登记工具的发现清单不具备资格。
+
+## Assertions
+
+- 判定资格总则:四值词形闭包(PASS/FAIL/UNKNOWN/NOT_RUN——PRD §13.1;禁发明第五值);判卷执行归 Verification Result(claim 四态)/Gate Result(七态),本文件不自填判定值。
+
+- 资格判定:可满足本 Spec 条款的 claim/run 必须出自对象面 requirements 资格清单(claim_refs/gate_refs 在册;资格外一律不满足,跨对象借证=资格不成立——21-evidence-spec kind profile 词形)。
+
+### PASS
+
+- 资格:全部 Required Observations 在座且出自 Allowed Producers/Tool Bindings 资格面;Required Artifacts 齐备且可取回;要求条款逐条满足。
+
+- 本 Spec 具体条款:两类命令退出码 0;发现清单为空,或每条发现都有例外登记(Exceptions 通道)。
+
+- 判定值由 Verification Result / Gate Result 写——本文件不自填 PASS。
+
+### FAIL
+
+- 资格:任一必需要求不满足(观察缺席/出自资格外生产者/工件缺席或不可解析/claim_refs·gate_refs 清单外或跨对象借证)。
+
+- 本 Spec 具体情形:任一 error 级发现无例外登记;配置锚缺席(发现不可溯源)。
+
+### UNKNOWN
+
+- 证据在座但不足以判定(receipt 维度不全/工件损坏/口径未登记)——诚实位,禁当 PASS 呈现;补证后重判。
+
+### NOT_RUN
+
+- 本证据类型未被产出(工具未执行/环境缺席)或范围显式不适用且例外已登记——显式缺席诚实位,禁把未跑写成 PASS/UNKNOWN。
+
+## Required Artifacts
+
+- 工具原始输出(逐字);例外登记引用。
+
+## Retention
+
+- 证据与 raw artifact 至少保留至对应 claim 关账;发布面证据按 baseline/platform/delivery.md 登记的保留策略;blob 面优先内容寻址(PRD §3.4)。
+
+## Exceptions
+
+- 逐发现登记豁免(理由+批准者+复核触发);批量豁免禁用。
+
+## Activation Guidance
+
+- 激活时点:每次代码变更提交前;CI 门禁放行前。
+
+## Ownership
+
+- 要求属主:项目 Owner(条款与例外裁决)。
+
+- 证据生产:变更执行 lane 角色(Activation Guidance 所列时点);判定:Verification/Gate 通路——角色分离,生产者不得自判 PASS。
+
+## Change Policy
+
+- 本文件是项目可编辑要求面:条款修订走项目变更流程(CHANGE.* 登记);要求条款(必要性)修订需 Owner 确认,措辞/呈现类修订不受限。
+
+- 阈值联动:数值阈值只住 baseline/quality 登记(§13.2「阈值必须项目化」);本文件修订只改要求条款,不改阈值数字。

package/seeds/specs/evidence/unit-component-integration.md

@@ -0,0 +1,91 @@
+# Evidence Spec — 单元/组件/集成测试
+
+- 路径:specs/evidence/unit-component-integration.md
+- 对象面词形:SPEC.UNIT_COMPONENT_INTEGRATION(B2 Evidence Spec 一等对象——kind=business_rule + payload.spec_kind=evidence_spec 判别;本文件是项目可编辑要求面,对应对象由 init 步骤 4.7 预植 SPEC.* store 对象(PROPOSED 起步,裁定批 D D2);本文件为该对象 requirements 的播种底稿,对象演进归项目运行时 applyTransaction)
+- 语义锚:Project-Store PRD §13(Evidence Spec Kit)——要求面非证据面:持要求不持判定,判定值只在 Verification Result(claim 四态)/Gate Result(七态)。
+
+## Purpose
+
+本 Spec 定义「测试通过且范围充分」这一证据的要求:单元/组件/集成三层测试按登记命令执行,结果计数与失败清单可溯,执行范围覆盖变更面。
+
+## Subjects
+
+- 变更触碰的代码及其直接协作面(范围口径以 baseline/quality 登记为准)。
+
+## Claims
+
+- claim 词形:CLM-*(07 schema 词面);claim 由运行时 record 通路登记(UNVERIFIED 起步,声称方禁自填 VERIFIED)——本 Spec 只定义可立 claim 的语句类型,不产生判定值。
+
+- 可立 claim 语句类型:「changed code is sufficiently test protected」类(PRD §3.2 例文同族)。
+
+## Required Observations
+
+- 测试命令(与登记一致)与退出码;用例计数(total/passed/failed/skipped)。
+
+- 失败与跳过清单(逐条:用例+理由);随机种子(如适用,保复现)。
+
+- 执行范围声明(三层各自覆盖的变更面)。
+
+## Allowed Producers
+
+- 项目登记的测试 runner 执行;计数必须出自 runner 原始报告,禁手写计数。
+
+## Tool Bindings
+
+- 测试 runner 由项目登记(PRD §2.8 词形池:Vitest 等);未登记 runner 的结果不具备资格。
+
+## Assertions
+
+- 判定资格总则:四值词形闭包(PASS/FAIL/UNKNOWN/NOT_RUN——PRD §13.1;禁发明第五值);判卷执行归 Verification Result(claim 四态)/Gate Result(七态),本文件不自填判定值。
+
+- 资格判定:可满足本 Spec 条款的 claim/run 必须出自对象面 requirements 资格清单(claim_refs/gate_refs 在册;资格外一律不满足,跨对象借证=资格不成立——21-evidence-spec kind profile 词形)。
+
+### PASS
+
+- 资格:全部 Required Observations 在座且出自 Allowed Producers/Tool Bindings 资格面;Required Artifacts 齐备且可取回;要求条款逐条满足。
+
+- 本 Spec 具体条款:全部在册命令退出码 0;failed=0;执行范围覆盖变更面(范围缺口逐条有例外登记)。
+
+- 判定值由 Verification Result / Gate Result 写——本文件不自填 PASS。
+
+### FAIL
+
+- 资格:任一必需要求不满足(观察缺席/出自资格外生产者/工件缺席或不可解析/claim_refs·gate_refs 清单外或跨对象借证)。
+
+- 本 Spec 具体情形:任一命令失败;范围缺口无例外;计数与原始报告不一致。
+
+### UNKNOWN
+
+- 证据在座但不足以判定(receipt 维度不全/工件损坏/口径未登记)——诚实位,禁当 PASS 呈现;补证后重判。
+
+### NOT_RUN
+
+- 本证据类型未被产出(工具未执行/环境缺席)或范围显式不适用且例外已登记——显式缺席诚实位,禁把未跑写成 PASS/UNKNOWN。
+
+## Required Artifacts
+
+- runner 原始报告(junit/json 形态);失败用例的诊断输出。
+
+## Retention
+
+- 证据与 raw artifact 至少保留至对应 claim 关账;发布面证据按 baseline/platform/delivery.md 登记的保留策略;blob 面优先内容寻址(PRD §3.4)。
+
+## Exceptions
+
+- skipped/范围缺口逐条登记(理由+补测触发);禁整层静默跳过。
+
+## Activation Guidance
+
+- 激活时点:每次代码变更提交前;CI 门禁放行前;重构前后对照。
+
+## Ownership
+
+- 要求属主:项目 Owner(条款与例外裁决)。
+
+- 证据生产:变更执行 lane 角色(Activation Guidance 所列时点);判定:Verification/Gate 通路——角色分离,生产者不得自判 PASS。
+
+## Change Policy
+
+- 本文件是项目可编辑要求面:条款修订走项目变更流程(CHANGE.* 登记);要求条款(必要性)修订需 Owner 确认,措辞/呈现类修订不受限。
+
+- 阈值联动:数值阈值只住 baseline/quality 登记(§13.2「阈值必须项目化」);本文件修订只改要求条款,不改阈值数字。

package/seeds/specs/evidence/visual-regression.md

@@ -0,0 +1,89 @@
+# Evidence Spec — 视觉回归
+
+- 路径:specs/evidence/visual-regression.md
+- 对象面词形:SPEC.VISUAL_REGRESSION(B2 Evidence Spec 一等对象——kind=business_rule + payload.spec_kind=evidence_spec 判别;本文件是项目可编辑要求面,对应对象由 init 步骤 4.7 预植 SPEC.* store 对象(PROPOSED 起步,裁定批 D D2);本文件为该对象 requirements 的播种底稿,对象演进归项目运行时 applyTransaction)
+- 语义锚:Project-Store PRD §13(Evidence Spec Kit)——要求面非证据面:持要求不持判定,判定值只在 Verification Result(claim 四态)/Gate Result(七态)。
+
+## Purpose
+
+本 Spec 定义「视觉呈现未发生意外漂移」这一证据的要求:渲染快照与基准逐 viewport 对比,diff 清单逐条判定(有意变更登记/意外漂移)。
+
+## Subjects
+
+- 变更触碰页面与其关键状态(状态集合由项目登记)。
+
+## Claims
+
+- claim 词形:CLM-*(07 schema 词面);claim 由运行时 record 通路登记(UNVERIFIED 起步,声称方禁自填 VERIFIED)——本 Spec 只定义可立 claim 的语句类型,不产生判定值。
+
+- 可立 claim 语句类型:「visual diffs are limited to the registered intended changes」类。
+
+## Required Observations
+
+- 快照集(逐 viewport)与基准版本锚;diff 清单(逐条:页面/状态/viewport/差异度)。
+
+- diff 判定(有意变更登记引用/意外漂移)。
+
+## Allowed Producers
+
+- 项目登记的快照对比执行;基准更新必须走登记通路,禁就地改基准消 diff。
+
+## Tool Bindings
+
+- 快照/对比工具由项目登记(可与 SPEC.BROWSER_E2E 同链路);基准存储位置与版本锚登记在座。
+
+## Assertions
+
+- 判定资格总则:四值词形闭包(PASS/FAIL/UNKNOWN/NOT_RUN——PRD §13.1;禁发明第五值);判卷执行归 Verification Result(claim 四态)/Gate Result(七态),本文件不自填判定值。
+
+- 资格判定:可满足本 Spec 条款的 claim/run 必须出自对象面 requirements 资格清单(claim_refs/gate_refs 在册;资格外一律不满足,跨对象借证=资格不成立——21-evidence-spec kind profile 词形)。
+
+### PASS
+
+- 资格:全部 Required Observations 在座且出自 Allowed Producers/Tool Bindings 资格面;Required Artifacts 齐备且可取回;要求条款逐条满足。
+
+- 本 Spec 具体条款:diff 全部属于已登记的有意变更,或 diff 为零。
+
+- 判定值由 Verification Result / Gate Result 写——本文件不自填 PASS。
+
+### FAIL
+
+- 资格:任一必需要求不满足(观察缺席/出自资格外生产者/工件缺席或不可解析/claim_refs·gate_refs 清单外或跨对象借证)。
+
+- 本 Spec 具体情形:意外漂移未处置;基准版本锚缺席。
+
+### UNKNOWN
+
+- 证据在座但不足以判定(receipt 维度不全/工件损坏/口径未登记)——诚实位,禁当 PASS 呈现;补证后重判。
+
+### NOT_RUN
+
+- 本证据类型未被产出(工具未执行/环境缺席)或范围显式不适用且例外已登记——显式缺席诚实位,禁把未跑写成 PASS/UNKNOWN。
+
+## Required Artifacts
+
+- 前后快照与 diff 图(blob,内容寻址);有意变更登记引用。
+
+## Retention
+
+- 证据与 raw artifact 至少保留至对应 claim 关账;发布面证据按 baseline/platform/delivery.md 登记的保留策略;blob 面优先内容寻址(PRD §3.4)。
+
+## Exceptions
+
+- 动态区域掩码逐条登记(理由+范围);禁全页掩码。
+
+## Activation Guidance
+
+- 激活时点:样式/布局/组件视觉面变更;发布前。
+
+## Ownership
+
+- 要求属主:项目 Owner(条款与例外裁决)。
+
+- 证据生产:变更执行 lane 角色(Activation Guidance 所列时点);判定:Verification/Gate 通路——角色分离,生产者不得自判 PASS。
+
+## Change Policy
+
+- 本文件是项目可编辑要求面:条款修订走项目变更流程(CHANGE.* 登记);要求条款(必要性)修订需 Owner 确认,措辞/呈现类修订不受限。
+
+- 阈值联动:数值阈值只住 baseline/quality 登记(§13.2「阈值必须项目化」);本文件修订只改要求条款,不改阈值数字。

package/seeds/specs/hard/stacks/antdesign/antdesign-ui-overlay.md

@@ -0,0 +1,48 @@
+---
+seed_source: pomaster/components/frontend-hard-spec/assets/stacks/antdesign/antdesign-ui-overlay.md
+seed_source_sha256: e70a6dad3fedbf8c4a182d92af9c9229e13cc368f880b3ccd96fe11ccdbdd7be
+seed_version: B6F
+lane: frontend
+status: CURRENT
+authority_scope: mixed_required_and_advisory
+applies_to: [frontend]
+related_evidence_specs: []
+related_tools: []
+legacy_id: frontend-stack:antdesign
+capability: ui-component-library
+requires: [frontend-stack:vue3]
+conflicts: []
+coexistence: independent
+stages: [prepare, implement, check, release]
+x-research-anchors:
+  note: >-
+    Ant Design Vue 4.2.6（npm registry + antdv.com 站点头部版本选择器双源一致，2026-09-05
+    实抓；antdv.com 为 JS 渲染站点，经 chrome-devtools 实载取证）。v4 主题 = CSS-in-JS
+    为官方口径（v3 的 less / CSS 变量降级为构建期静态消费兼容通道）。React 版 Ant Design
+    （ant.design，v6.6.2 实抓，external-sites-index 既有锚）仅作跨栈对照注明，组件 API
+    与主题机制不混用于 Vue 栈。
+  sources:
+    - url: https://antdv.com/docs/vue/introduce
+      fetched: 2026-09-05
+    - url: https://antdv.com/docs/vue/customize-theme
+      fetched: 2026-09-05
+---
+
+# Ant Design Vue 组件库 Overlay
+
+## Scope
+
+本 Overlay 具体化 Ant Design Vue 组件库的引入、按需加载、主题（CSS-in-JS Design Token）与 React 版 antd 的对照边界。
+
+## Rules
+
+- 必须固定组件库词形与版本位：Vue 栈为 ant-design-vue 4.x 线；React 版 Ant Design 仅作跨栈对照，其组件 API 与主题机制不得混用。
+- 引入与按需加载必须走官方口径：全局重置用 `import 'ant-design-vue/dist/reset.css'`；按需加载用 unplugin-vue-components + AntDesignVueResolver（官方示例 importStyle: false 旁注 css in js）。
+- 主题定制主通路为 v4 CSS-in-JS：ConfigProvider 的 theme prop（Design Token 三层派生 Seed → Map → Alias、default / dark / compact 三算法、组件级 Component Token），运行时消费用 useToken；v3 less 变量只作构建期静态消费兼容通道（theme.defaultAlgorithm(defaultSeed) + less-loader modifyVars），两条通路不得未声明混装。
+- 不得由组件库选型推断 CSS 作用域体系、预处理器或 utility 方案（css 键独立选型）；组件库主题 token 不替代项目 design token 分层协议。
+
+## Checklist
+
+- [ ] 版本位经 npm registry 实抓（4.2.6 双源一致）并记录在项目技术基线。
+- [ ] 主题通路（运行时 CSS-in-JS / 构建期 less 兼容）已显式声明且与实际接线一致。
+

package/seeds/specs/hard/stacks/antdesign/index.md

@@ -0,0 +1,20 @@
+---
+seed_source: pomaster/components/frontend-hard-spec/assets/stacks/antdesign/index.md
+seed_source_sha256: 261b20e682f7907813dbf46d10391022bf9212e62e6964c33d1d7cbf57128b45
+seed_version: B6F
+lane: frontend
+status: CURRENT
+authority_scope: mixed_required_and_advisory
+applies_to: [frontend]
+related_evidence_specs: []
+related_tools: []
+---
+
+# Ant Design Vue Overlay 索引
+
+本目录只描述 Ant Design Vue 组件库能力（v4 CSS-in-JS 主题与按需加载），不推断 Vue 版本与 CSS 作用域体系，也不混用 React 版 Ant Design 形态。
+
+| ID | 文件 | 能力 |
+|---|---|---|
+| `frontend-stack:antdesign` | `antdesign-ui-overlay.md` | `ui-component-library` |
+

package/seeds/specs/hard/stacks/css/css-system-overlay.md

@@ -0,0 +1,52 @@
+---
+seed_source: pomaster/components/frontend-hard-spec/assets/stacks/css/css-system-overlay.md
+seed_source_sha256: 4167e2a2d4c457f594db95336470dca4f0778e76df006e815207c0761667692a
+seed_version: B6G
+lane: frontend
+status: CURRENT
+authority_scope: mixed_required_and_advisory
+applies_to: [frontend]
+related_evidence_specs: []
+related_tools: []
+legacy_id: frontend-stack:css
+capability: css-system
+requires: [frontend-stack:vue3]
+conflicts: []
+coexistence: independent
+stages: [prepare, implement, check, release]
+x-research-anchors:
+  note: >-
+    css 键选型 = Owner 裁定 D8（09-05-spec-thematic-reorg）：组合词形
+    scoped-sfc+antdv-cssinjs-tokens+antdv-reset-css。版本位 vue 3.5.42 /
+    ant-design-vue 4.2.6（npm registry 实抓 2026-09-05；ant-design-vue 另经 antdv.com
+    站点头部版本选择器双源一致；antdv.com 为 JS 渲染站点，经 chrome-devtools 实载
+    取证）。scoped CSS / :deep() / :slotted() / :global() 词形与子组件根元素口径
+    出自 vuejs.org SFC CSS Features 特性页（vue 3.5.42 时点滚动站）；CSS-in-JS 主题
+    （ConfigProvider theme + useToken）与 reset.css 引入词形出自 antdv.com 官方文档。
+  sources:
+    - url: https://vuejs.org/api/sfc-css-features.html
+      fetched: 2026-09-05
+    - url: https://antdv.com/docs/vue/customize-theme
+      fetched: 2026-09-05
+    - url: https://antdv.com/docs/vue/introduce
+      fetched: 2026-09-05
+---
+
+# CSS 体系 Overlay
+
+## Scope
+
+本 Overlay 具体化项目 CSS 体系选型（裁定 D8 组合词形 scoped-sfc+antdv-cssinjs-tokens+antdv-reset-css）的官方词形与版本边界：SFC scoped 作用域机制、Ant Design Vue CSS-in-JS 主题 token 消费与官方全局重置。
+
+## Rules
+
+- 必须固定并记录 CSS 体系组合词形与版本位：scoped-sfc+antdv-cssinjs-tokens+antdv-reset-css（vue 3.5.42 / ant-design-vue 4.2.6，npm registry 实抓双源一致）；组合之外的作用域/utility 方案属 css 键改型，不得未声明引入。
+- scoped 作用域以 SFC `<style scoped>` 为项目主机制（编译为 data-v-hash 属性选择器）；穿透与例外必须用官方逃逸词形 `:deep()`（子组件穿透）、`:slotted()`（slot 内容）、`:global()`（全局例外）；子组件根元素同时受父 scoped 影响为官方口径。
+- antdv 主题 token 消费走 v4 CSS-in-JS 官方通路：ConfigProvider 的 theme prop（Design Token 三层派生 Seed → Map → Alias、default / dark / compact 三算法、组件级 Component Token），运行时消费用 useToken；组件库主题 token 不替代项目 design token 分层协议。
+- 全局重置以官方单一来源承载：`import 'ant-design-vue/dist/reset.css'`；不得未声明引入与之竞争的第二套全局重置。
+
+## Checklist
+
+- [ ] css 键组合词形与版本位（vue / ant-design-vue）经 npm registry 实抓并记录在项目技术基线。
+- [ ] scoped 逃逸词形（:deep() / :slotted() / :global()）、antdv 主题通路（ConfigProvider theme + useToken）与全局重置（reset.css import）与实际接线一致。
+