pomaster 0.3.0 → 0.4.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/backend/01-architecture-governance-protocol.md

@@ -0,0 +1,68 @@
+---
+seed_source: pomaster/components/backend-hard-spec/assets/universal/01-architecture-governance-protocol.md
+seed_source_sha256: 726502f4e5a5dcf2e8076fafa943b33de4b7ab9bd0fc2d8551479b43385e7636
+seed_version: B6C
+lane: backend
+status: CURRENT
+authority_scope: mixed_required_and_advisory
+applies_to: [backend]
+related_evidence_specs: []
+related_tools: []
+legacy_id: backend:architecture-governance-protocol
+criticality: critical
+injection_mode: reference
+stages: [prepare, check]
+triggers: [architecture, technology-baseline, deployment-topology]
+requires: []
+---
+
+# 架构治理协议
+
+## Scope
+
+规范系统边界、架构层级、技术决策、ADR 与演进门禁。
+
+## Non-Scope
+
+不规定具体项目的模块名、部署数量或技术版本。
+
+## Terms
+
+架构决策指影响边界、数据所有权、部署单元或公共契约的长期选择。
+
+## MUST
+
+- 架构选择必须记录候选、取舍、风险、ADR 坐标和复审条件。
+
+## MUST NOT
+
+- 不得以局部代码便利替代边界、数据所有权或部署约束分析。
+
+## SHOULD
+
+- 应优先选择能由现有团队、工具和运行证据持续验证的方案。
+
+## Contract
+
+架构记录至少输出稳定决策 ID、适用范围、被放弃方案、依赖与验证方式。
+
+## Checklist
+
+- [ ] 边界、依赖方向、部署单元和数据所有权已明确。
+
+## Examples
+
+- 将单体与服务拆分作为候选比较，并记录选择理由和复审触发条件。
+
+## Anti-patterns
+
+- 只画理想架构图，不绑定构建产物、部署单元或实际依赖。
+
+## Ownership
+
+后端技术负责人维护决策，模块维护者提供实现与运行证据。
+
+## Change Policy
+
+改变已采用架构必须新增或替代 ADR，不得静默改写历史结论。
+

package/seeds/specs/hard/backend/02-project-structure-governance-protocol.md

@@ -0,0 +1,68 @@
+---
+seed_source: pomaster/components/backend-hard-spec/assets/universal/02-project-structure-governance-protocol.md
+seed_source_sha256: add6e21ffa5dd45940dda725e8d4e234c9d2a49775139c895cc7ad5f7caf7bf0
+seed_version: B6C
+lane: backend
+status: CURRENT
+authority_scope: mixed_required_and_advisory
+applies_to: [backend]
+related_evidence_specs: []
+related_tools: []
+legacy_id: backend:project-structure-governance-protocol
+criticality: standard
+injection_mode: triggered
+stages: [prepare, implement, check]
+triggers: [project-structure, module-layout]
+requires: []
+---
+
+# 项目结构治理协议
+
+## Scope
+
+规范消费项目的后端目录分区、模块入口和结构检查。
+
+## Non-Scope
+
+不强制所有语言和框架采用同一目录树。
+
+## Terms
+
+公开入口是其他模块被允许依赖的稳定包、接口或构建产物。
+
+## MUST
+
+- 新目录和模块必须有单一职责、公开入口和明确依赖方向。
+
+## MUST NOT
+
+- 不得创建无法解释职责的顶层目录或把业务代码放入通用工具区。
+
+## SHOULD
+
+- 应沿用仓库已验证的结构模式，并在新增结构前搜索现有实现。
+
+## Contract
+
+结构变更必须给出目标路径、所有者、入口、消费者和迁移计划。
+
+## Checklist
+
+- [ ] 已搜索同类模块并检查构建、测试和部署发现路径。
+
+## Examples
+
+- 为独立领域建立模块，并通过公开接口而不是内部包提供能力。
+
+## Anti-patterns
+
+- 复制相似模块后仅改名，造成规则和修复长期漂移。
+
+## Ownership
+
+模块所有者维护结构，评审者检查跨模块依赖和重复实现。
+
+## Change Policy
+
+目录迁移必须同步引用、构建、测试、文档和兼容入口。
+