pomaster 0.3.0 → 0.5.0

package/seeds/specs/evidence/coverage.md

@@ -0,0 +1,91 @@
+# Evidence Spec — 测试覆盖率
+
+- 路径:specs/evidence/coverage.md
+- 对象面词形:SPEC.COVERAGE(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 语句类型:「coverage meets the registered layered budget」类。
+
+## Required Observations
+
+- 各分组×各指标(lines/statements/functions/branches)数值。
+
+- 口径定义(Total/Executable 类执行口径)与排除项清单生效证明。
+
+- 变化代码覆盖率(变更面单独口径)。
+
+## Allowed Producers
+
+- 项目登记的 coverage runner;数值必须出自原始报告,禁手写。
+
+## Tool Bindings
+
+- PRD §13.2 词形:Istanbul/V8/c8 coverage(前端)、JaCoCo(Java);由项目按技术栈登记。
+
+## 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 具体条款:各分组指标不低于 baseline/quality 登记的项目阈值;分母排除项与登记一致(无 generated/mock 扭曲)。
+
+- 判定值由 Verification Result / Gate Result 写——本文件不自填 PASS。
+
+### FAIL
+
+- 资格:任一必需要求不满足(观察缺席/出自资格外生产者/工件缺席或不可解析/claim_refs·gate_refs 清单外或跨对象借证)。
+
+- 本 Spec 具体情形:任一分组低于阈值无例外;分母被生成物/ mock 扭曲;口径与登记漂移。
+
+### UNKNOWN
+
+- 证据在座但不足以判定(receipt 维度不全/工件损坏/口径未登记)——诚实位,禁当 PASS 呈现;补证后重判。
+
+### NOT_RUN
+
+- 本证据类型未被产出(工具未执行/环境缺席)或范围显式不适用且例外已登记——显式缺席诚实位,禁把未跑写成 PASS/UNKNOWN。
+
+## Required Artifacts
+
+- 原始 coverage 报告(blob,内容寻址);分组×指标明细表。
+
+## 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/data-migration.md

@@ -0,0 +1,91 @@
+# Evidence Spec — 数据迁移
+
+- 路径:specs/evidence/data-migration.md
+- 对象面词形:SPEC.DATA_MIGRATION(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 定义「数据迁移安全」这一证据的要求:迁移按登记策略(baseline/data/migration.md 的 expand/migrate/contract/rollback)逐阶段执行,前后 schema 快照与数据校验在座,回滚面可执行。
+
+## Subjects
+
+- 变更触碰的 schema 对象与数据面(与 baseline/data/model.md 登记对账)。
+
+## Claims
+
+- claim 词形:CLM-*(07 schema 词面);claim 由运行时 record 通路登记(UNVERIFIED 起步,声称方禁自填 VERIFIED)——本 Spec 只定义可立 claim 的语句类型,不产生判定值。
+
+- 可立 claim 语句类型:「migration executed per plan with verifiable rollback」类。
+
+## Required Observations
+
+- 迁移脚本与其版本锚;逐阶段执行记录(阶段/范围/影响行数口径)。
+
+- 前后 schema 快照(内容寻址);数据校验结果(校验和/抽样对账口径)。
+
+- 回滚面:方案在座且经演练或论证(演练记录/不可演练的理由论证)。
+
+## Allowed Producers
+
+- 迁移执行通路与校验工具;schema 快照出自数据库实际内省,禁以迁移脚本自述替代。
+
+## Tool Bindings
+
+- 迁移工具与快照/校验手段由项目登记(baseline/data/migration.md 登记引用);evidence-model 五类中 migration-schema 证据类的落位。
+
+## 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
+
+- 执行记录;前后 schema 快照;校验报告;回滚演练/论证材料。
+
+## Retention
+
+- 证据与 raw artifact 至少保留至对应 claim 关账;发布面证据按 baseline/platform/delivery.md 登记的保留策略;blob 面优先内容寻址(PRD §3.4)。
+
+## Exceptions
+
+- 不可回滚阶段必须事前登记(理由+补偿方案);禁事后补登。
+
+## Activation Guidance
+
+- 激活时点:schema 变更;数据订正;发布含迁移时。
+
+## Ownership
+
+- 要求属主:项目 Owner(条款与例外裁决)。
+
+- 证据生产:变更执行 lane 角色(Activation Guidance 所列时点);判定:Verification/Gate 通路——角色分离,生产者不得自判 PASS。
+
+## Change Policy
+
+- 本文件是项目可编辑要求面:条款修订走项目变更流程(CHANGE.* 登记);要求条款(必要性)修订需 Owner 确认,措辞/呈现类修订不受限。
+
+- 阈值联动:数值阈值只住 baseline/quality 登记(§13.2「阈值必须项目化」);本文件修订只改要求条款,不改阈值数字。

package/seeds/specs/evidence/dead-code-duplicate.md

@@ -0,0 +1,89 @@
+# Evidence Spec — 死代码与重复代码
+
+- 路径:specs/evidence/dead-code-duplicate.md
+- 对象面词形:SPEC.DEAD_CODE_DUPLICATE(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
+
+- 变更触碰的模块与其入口面(可达性口径以项目登记的入口清单为准)。
+
+## Claims
+
+- claim 词形:CLM-*(07 schema 词面);claim 由运行时 record 通路登记(UNVERIFIED 起步,声称方禁自填 VERIFIED)——本 Spec 只定义可立 claim 的语句类型,不产生判定值。
+
+- 可立 claim 语句类型:「no unhandled dead or duplicated code introduced by the change」类。
+
+## Required Observations
+
+- 死代码清单(逐条:符号+不可达判定口径);重复块清单(逐条:位置+重复度)。
+
+- 逐条处置记录(删除/保留+理由)。
+
+## Allowed Producers
+
+- 项目登记的静态分析工具机判;人工发现可补充登记,不可替代清单机判。
+
+## 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
+
+- 保留类豁免(如对外契约要求的导出)逐条登记(理由+复核触发)。
+
+## Activation Guidance
+
+- 激活时点:代码变更提交前;重构收口前。
+
+## Ownership
+
+- 要求属主:项目 Owner(条款与例外裁决)。
+
+- 证据生产:变更执行 lane 角色(Activation Guidance 所列时点);判定:Verification/Gate 通路——角色分离,生产者不得自判 PASS。
+
+## Change Policy
+
+- 本文件是项目可编辑要求面:条款修订走项目变更流程(CHANGE.* 登记);要求条款(必要性)修订需 Owner 确认,措辞/呈现类修订不受限。
+
+- 阈值联动:数值阈值只住 baseline/quality 登记(§13.2「阈值必须项目化」);本文件修订只改要求条款,不改阈值数字。

package/seeds/specs/evidence/dependency-supply-chain.md

@@ -0,0 +1,89 @@
+# Evidence Spec — 依赖与供应链
+
+- 路径:specs/evidence/dependency-supply-chain.md
+- 对象面词形:SPEC.DEPENDENCY_SUPPLY_CHAIN(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
+
+- 变更涉及的依赖闭包(新增/升级/移除的包与其传递面)。
+
+## Claims
+
+- claim 词形:CLM-*(07 schema 词面);claim 由运行时 record 通路登记(UNVERIFIED 起步,声称方禁自填 VERIFIED)——本 Spec 只定义可立 claim 的语句类型,不产生判定值。
+
+- 可立 claim 语句类型:「dependency changes are registered, audited and vulnerability-screened」类。
+
+## Required Observations
+
+- 锁文件 diff 与依赖树变更清单(逐包:版本/来源/许可证)。
+
+- 已知漏洞扫描结果(逐条:包/严重度/修复建议);新依赖审批记录。
+
+## Allowed Producers
+
+- 锁文件工具与漏洞扫描工具执行;审批记录来自项目登记面(许可/例外台账)。
+
+## Tool Bindings
+
+- 锁文件与扫描工具由项目登记(与 SPEC.SECURITY 依赖审计腿衔接——本 Spec 管登记与溯源面,该腿管门禁判定面);来源可信口径以 baseline 登记为准。
+
+## 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
+
+- 锁文件 diff;依赖树快照;扫描原始输出。
+
+## Retention
+
+- 证据与 raw artifact 至少保留至对应 claim 关账;发布面证据按 baseline/platform/delivery.md 登记的保留策略;blob 面优先内容寻址(PRD §3.4)。
+
+## Exceptions
+
+- 逐包豁免(理由+期限+复核触发);升级受阻等运营性例外登记处置计划。
+
+## Activation Guidance
+
+- 激活时点:依赖变更;lockfile 修订;发布前。
+
+## Ownership
+
+- 要求属主:项目 Owner(条款与例外裁决)。
+
+- 证据生产:变更执行 lane 角色(Activation Guidance 所列时点);判定:Verification/Gate 通路——角色分离,生产者不得自判 PASS。
+
+## Change Policy
+
+- 本文件是项目可编辑要求面:条款修订走项目变更流程(CHANGE.* 登记);要求条款(必要性)修订需 Owner 确认,措辞/呈现类修订不受限。
+
+- 阈值联动:数值阈值只住 baseline/quality 登记(§13.2「阈值必须项目化」);本文件修订只改要求条款,不改阈值数字。

package/seeds/specs/evidence/index.md

@@ -0,0 +1,55 @@
+# Evidence Spec Kit —— 证据要求面索引
+
+- 路径:specs/evidence/index.md
+- 职责(PRD §13):Evidence Spec Kit 索引——19 份证据要求面 + §13.1 十七段固定结构 + 判卷四值词形闭包 + 文件↔对象面词形映射。
+- 纪律:Evidence Spec 持要求不持判定(PRD §9.2/§2.5)——判定值只在 Verification Result(claim 四态)/Gate Result(七态);本目录全部文件是项目可编辑要求面(播种 marker-free,seed-once-missing-only)。
+
+## Kit 分母(19 spec + index = 20)
+
+| 文件 | 对象面词形 | 要求面一句话 |
+|---|---|---|
+| build.md | SPEC.BUILD | 构建成功证据:登记命令在登记环境退出码 0,产物清单与交付登记一致且可取回 |
+| typecheck-lint.md | SPEC.TYPECHECK_LINT | 静态检查证据:类型检查与 lint 零未处置 error 级发现,规则集配置锚在座 |
+| unit-component-integration.md | SPEC.UNIT_COMPONENT_INTEGRATION | 三层测试证据:unit/component/integration 全部在册命令执行,计数与失败清单可溯,范围覆盖变更面 |
+| contract.md | SPEC.CONTRACT | 契约证据:契约 diff 在座,兼容判定对照登记的版本承诺,破坏性变更零未处置 |
+| coverage.md | SPEC.COVERAGE | 覆盖率证据:分层口径(全局/关键模块/变化代码)逐层在座,对照项目登记阈值,分母不被生成物扭曲 |
+| complexity-crap.md | SPEC.COMPLEXITY_CRAP | CRAP 证据:按 v1 公式逐符号计算在座,超阈值符号逐个处置;目的=高复杂度+低测试保护,阈值项目化 |
+| mutation.md | SPEC.MUTATION | 变异测试证据:六维在册(score/survivors/killed/timeout/not-covered/affected scope),score 对照项目阈值,survivors 逐个处置 |
+| architecture.md | SPEC.ARCHITECTURE | 架构证据:依赖方向与分层约定的机判结果在座,违规零未处置,规则集对照 baseline 登记 |
+| dead-code-duplicate.md | SPEC.DEAD_CODE_DUPLICATE | 死代码/重复证据:可达性口径与重复块清单在座,新引入项零未处置 |
+| browser-e2e.md | SPEC.BROWSER_E2E | E2E 证据:在册 journey 在真实浏览器逐项通过,evidence 必含 console error/network 维度,trace 在座 |
+| visual-regression.md | SPEC.VISUAL_REGRESSION | 视觉回归证据:渲染快照与基准逐 viewport 对比,diff 全部属已登记的有意变更或零漂移 |
+| accessibility.md | SPEC.ACCESSIBILITY | 可访问性证据:自动核查发现清单在座,对标标准登记于 baseline,严重级发现零未处置 |
+| performance.md | SPEC.PERFORMANCE | 性能证据:预算字段对照 baseline,实验室判卷面与字段判卷面双 observation 独立在座不聚合 |
+| security.md | SPEC.SECURITY | 安全证据:三独立腿(secret 泄露/依赖漏洞/静态分析)各自在座各自判定,禁合并为单一绿灯 |
+| dependency-supply-chain.md | SPEC.DEPENDENCY_SUPPLY_CHAIN | 供应链证据:锁文件与声明一致,新依赖有登记审批,已知漏洞与来源可信逐项在座 |
+| data-migration.md | SPEC.DATA_MIGRATION | 迁移证据:expand/migrate/contract 各阶段执行记录与前后 schema 快照在座,校验通过,回滚面可执行 |
+| business-acceptance.md | SPEC.BUSINESS_ACCEPTANCE | 验收证据:acceptance spec 的 Expected State 逐场景被证据覆盖,业务侧确认记录在座 |
+| runtime-observability.md | SPEC.RUNTIME_OBSERVABILITY | 运行时证据:部署锚+log/metric/trace 登记面在目标环境可取回,关联 ID 贯通 |
+| release.md | SPEC.RELEASE | 发布证据:制品 hash 可追溯,审批链完整,版本与回滚面对照交付登记 |
+
+## 固定结构(§13.1 十七段)
+
+顶层 13 段:Purpose / Subjects / Claims / Required Observations / Allowed Producers / Tool Bindings / Assertions / Required Artifacts / Retention / Exceptions / Activation Guidance / Ownership / Change Policy;
+Assertions 段带四个判定词位:PASS / FAIL / UNKNOWN / NOT_RUN。
+
+## 判卷四值词形(§13.1 闭包——禁发明第五值)
+
+- PASS:要求条款逐条满足且证据资格成立——由 Verification Result / Gate Result 判定,Spec 文件不自填。
+- FAIL:任一必需要求不满足或证据资格不成立(资格清单外/跨对象借证)。
+- UNKNOWN:证据在座但不足以判定——诚实位,禁当 PASS。
+- NOT_RUN:证据类型未被产出或范围显式不适用且例外已登记——显式缺席诚实位(证据不可得一律落本位),禁静默缺证当 PASS。
+
+## 对象面衔接(B2 Evidence Spec 一等对象——gates 绑定登记级)
+
+- 登记词形:SPEC.* governed id(21-evidence-spec kind profile:kind=business_rule + payload.spec_kind=evidence_spec 判别;词形随 PR-0008 在 vocab-lock prefixes_v0 闭包)。
+- 登记通路:对应 store 对象由 init 步骤 4.7 预植(裁定批 D D2——kernel applyTransaction upsert_object 单事务,PROPOSED 起步,seed-once);此后对象演进归项目运行时 applyTransaction。requirements[].claim_refs/gate_refs 是资格清单——closeout 按资格判卷,资格外 claim/run 不满足条款。
+- 文件↔对象绑定 = 登记级(本索引映射表 + 各 spec 头行词形),无第二套机器绑定机制(无消费者不加机制——对象面 requirements 已承载资格判定)。
+- catalog gate recipe 零引用字段位:gate recipe 判卷走 03-gate-result 七态词表,与本 Kit 的衔接经由对象面 requirements.gate_refs,不新增词形不动 catalog。
+
+## 生产/消费平面(PRD §3)
+
+- claims:.pomaster/evidence/claims/(claim 禁自填 PASSED——经 Verification)。
+- runs:.pomaster/evidence/runs/(一个 Run 文件即该次 observation 的 normalized receipt,不另设 receipt/result 同义件)。
+- blobs:.pomaster/evidence/blobs/(raw artifact,优先内容寻址)。
+- binding:claim → run_ids → blob_refs → task → governed_object → git_sha(稳定引用完成,不建独立目录)。

package/seeds/specs/evidence/mutation.md

@@ -0,0 +1,89 @@
+# Evidence Spec — 变异测试
+
+- 路径:specs/evidence/mutation.md
+- 对象面词形:SPEC.MUTATION(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 定义「测试有效性」这一证据的要求:变异测试在变更面执行,六维证据在座,mutation score 对照项目登记阈值,survivors 逐个处置。
+
+## Subjects
+
+- 变更触碰的执行类代码(范围=affected scope;生成物/声明类不入围)。
+
+## Claims
+
+- claim 词形:CLM-*(07 schema 词面);claim 由运行时 record 通路登记(UNVERIFIED 起步,声称方禁自填 VERIFIED)——本 Spec 只定义可立 claim 的语句类型,不产生判定值。
+
+- 可立 claim 语句类型:「tests kill the registered share of mutants on changed scope」类。
+
+## Required Observations
+
+- PRD §13.3 六维逐字:mutation score;survivors;killed;timeout;not-covered;affected scope。
+
+- survivors 逐个处置记录(补断言/等价变异论证/豁免登记)。
+
+## Allowed Producers
+
+- 项目登记的变异测试框架执行;六维必须出自原始报告。
+
+## Tool Bindings
+
+- PRD §13.3 逐字:支持 Stryker、PIT / PITest;由项目按技术栈登记其一。
+
+## 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 具体条款:score 不低于 baseline/quality 登记的项目阈值;survivors 逐个有处置;not-covered 面与 coverage 证据一致。
+
+- 判定值由 Verification Result / Gate Result 写——本文件不自填 PASS。
+
+### FAIL
+
+- 资格:任一必需要求不满足(观察缺席/出自资格外生产者/工件缺席或不可解析/claim_refs·gate_refs 清单外或跨对象借证)。
+
+- 本 Spec 具体情形:score 低于阈值无例外;survivors 未处置;六维缺任一。
+
+### UNKNOWN
+
+- 证据在座但不足以判定(receipt 维度不全/工件损坏/口径未登记)——诚实位,禁当 PASS 呈现;补证后重判。
+
+### NOT_RUN
+
+- 本证据类型未被产出(工具未执行/环境缺席)或范围显式不适用且例外已登记——显式缺席诚实位,禁把未跑写成 PASS/UNKNOWN。
+
+## Required Artifacts
+
+- 完整 mutation 报告(blob,内容寻址);survivors 明细。
+
+## Retention
+
+- 证据与 raw artifact 至少保留至对应 claim 关账;发布面证据按 baseline/platform/delivery.md 登记的保留策略;blob 面优先内容寻址(PRD §3.4)。
+
+## Exceptions
+
+- 等价变异/性能受限豁免逐条登记(理由+复核触发)。
+
+## Activation Guidance
+
+- 激活时点:关键执行类变更(与 baseline/quality 登记的适用范围一致);CI 门禁放行前。
+
+## Ownership
+
+- 要求属主:项目 Owner(条款与例外裁决)。
+
+- 证据生产:变更执行 lane 角色(Activation Guidance 所列时点);判定:Verification/Gate 通路——角色分离,生产者不得自判 PASS。
+
+## Change Policy
+
+- 本文件是项目可编辑要求面:条款修订走项目变更流程(CHANGE.* 登记);要求条款(必要性)修订需 Owner 确认,措辞/呈现类修订不受限。
+
+- 阈值联动:数值阈值只住 baseline/quality 登记(§13.2「阈值必须项目化」);本文件修订只改要求条款,不改阈值数字。

package/seeds/specs/evidence/performance.md

@@ -0,0 +1,89 @@
+# Evidence Spec — 性能
+
+- 路径:specs/evidence/performance.md
+- 对象面词形:SPEC.PERFORMANCE(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 定义「性能预算被满足」这一证据的要求:实验室判卷面与字段判卷面两类 observation 独立在座(vNext 既有 PERFORMANCE 双 runner 语义:lighthouse=实验室判卷/web vitals=字段判卷——禁聚合为单一绿灯),逐项对照性能预算字段判定。
+
+## Subjects
+
+- 变更触碰页面(预算字段以项目登记的 §29 性能预算面为准)。
+
+## Claims
+
+- claim 词形:CLM-*(07 schema 词面);claim 由运行时 record 通路登记(UNVERIFIED 起步,声称方禁自填 VERIFIED)——本 Spec 只定义可立 claim 的语句类型,不产生判定值。
+
+- 可立 claim 语句类型:「pages meet the registered performance budget」类。
+
+## Required Observations
+
+- 预算字段(逐项:指标/预算/实测/口径)。
+
+- 实验室判卷报告;字段判卷数据(样本量与采集口径在座)。
+
+## Allowed Producers
+
+- 双 runner 各自独立执行;两类报告各自在座,禁以一类替代另一类。
+
+## Tool Bindings
+
+- PRD §2.8 词形池:Lighthouse(实验室面);字段面按项目登记的采集通道。
+
+## 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 具体条款:预算字段逐项实测不劣于 baseline 登记(超限逐项有例外——预算方向随指标语义:延迟类上限/吞吐类下限);双面 observation 都在座。
+
+- 判定值由 Verification Result / Gate Result 写——本文件不自填 PASS。
+
+### FAIL
+
+- 资格:任一必需要求不满足(观察缺席/出自资格外生产者/工件缺席或不可解析/claim_refs·gate_refs 清单外或跨对象借证)。
+
+- 本 Spec 具体情形:任一预算项超限无例外;单面缺席;样本口径不可溯。
+
+### UNKNOWN
+
+- 证据在座但不足以判定(receipt 维度不全/工件损坏/口径未登记)——诚实位,禁当 PASS 呈现;补证后重判。
+
+### NOT_RUN
+
+- 本证据类型未被产出(工具未执行/环境缺席)或范围显式不适用且例外已登记——显式缺席诚实位,禁把未跑写成 PASS/UNKNOWN。
+
+## Required Artifacts
+
+- 双 runner 原始报告(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「阈值必须项目化」);本文件修订只改要求条款,不改阈值数字。