pomaster 0.3.0 → 0.5.0

package/seeds/specs/evidence/accessibility.md

@@ -0,0 +1,89 @@
+# Evidence Spec — 可访问性
+
+- 路径:specs/evidence/accessibility.md
+- 对象面词形:SPEC.ACCESSIBILITY(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/quality 的 a11y 面,严重级发现零未处置。
+
+## Subjects
+
+- 变更触碰页面与其交互组件(键盘可达/焦点/对比度/语义标注面)。
+
+## Claims
+
+- claim 词形:CLM-*(07 schema 词面);claim 由运行时 record 通路登记(UNVERIFIED 起步,声称方禁自填 VERIFIED)——本 Spec 只定义可立 claim 的语句类型,不产生判定值。
+
+- 可立 claim 语句类型:「zero unhandled serious accessibility findings against the registered a11y baseline」类。
+
+## Required Observations
+
+- 自动核查发现清单(逐条:规则/严重度/命中元素)。
+
+- 对标标准与其版本(baseline/quality a11y 登记引用);人工核查记录(如适用)。
+
+## Allowed Producers
+
+- 项目登记的自动核查工具执行;人工核查可补充,不可替代自动清单。
+
+## Tool Bindings
+
+- PRD §2.8 词形池:axe;由项目登记规则集与扫描范围。
+
+## 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
+
+- 激活时点:页面/组件交互面变更;发布前。
+
+## Ownership
+
+- 要求属主:项目 Owner(条款与例外裁决)。
+
+- 证据生产:变更执行 lane 角色(Activation Guidance 所列时点);判定:Verification/Gate 通路——角色分离,生产者不得自判 PASS。
+
+## Change Policy
+
+- 本文件是项目可编辑要求面:条款修订走项目变更流程(CHANGE.* 登记);要求条款(必要性)修订需 Owner 确认,措辞/呈现类修订不受限。
+
+- 阈值联动:数值阈值只住 baseline/quality 登记(§13.2「阈值必须项目化」);本文件修订只改要求条款,不改阈值数字。

package/seeds/specs/evidence/architecture.md

@@ -0,0 +1,89 @@
+# Evidence Spec — 架构核查
+
+- 路径:specs/evidence/architecture.md
+- 对象面词形:SPEC.ARCHITECTURE(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/architecture.md 与 directory-structure.md 登记的规则集)经机器核查,违规清单在座且逐条处置。
+
+## Subjects
+
+- 变更触碰模块及其依赖闭包(以 baseline/backend/architecture.md 的层/模块登记为准;前端同构对应 frontend 分区)。
+
+## Claims
+
+- claim 词形:CLM-*(07 schema 词面);claim 由运行时 record 通路登记(UNVERIFIED 起步,声称方禁自填 VERIFIED)——本 Spec 只定义可立 claim 的语句类型,不产生判定值。
+
+- 可立 claim 语句类型:「changed code respects the registered dependency and layering rules」类。
+
+## Required Observations
+
+- 规则集锚(登记引用);违规清单(逐条:源/目标/规则)。
+
+- 违规处置记录(修复/例外登记)。
+
+## Allowed Producers
+
+- 项目登记的架构核查工具机判;人工评审可补充,不可替代机判。
+
+## Tool Bindings
+
+- PRD §2.8 词形池:dependency-cruiser、ArchUnit(vNext 既有 ARCHITECTURE 门禁腿 import-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 具体条款:违规清单为空,或每条违规都有例外登记。
+
+- 判定值由 Verification Result / Gate Result 写——本文件不自填 PASS。
+
+### FAIL
+
+- 资格:任一必需要求不满足(观察缺席/出自资格外生产者/工件缺席或不可解析/claim_refs·gate_refs 清单外或跨对象借证)。
+
+- 本 Spec 具体情形:任一违规无处置;规则集与 baseline 登记漂移。
+
+### 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/browser-e2e.md

@@ -0,0 +1,91 @@
+# Evidence Spec — 浏览器端到端
+
+- 路径:specs/evidence/browser-e2e.md
+- 对象面词形:SPEC.BROWSER_E2E(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 定义「关键用户路径可用」这一证据的要求:在册 journey 清单在真实浏览器执行,逐步结果可溯,证据必含 console error 与 network 维度(vNext BROWSER 门禁确定性腿既有语义)。
+
+## Subjects
+
+- 变更触碰页面(PAGE.* 面)上的关键 journey;journey 清单由项目登记。
+
+## Claims
+
+- claim 词形:CLM-*(07 schema 词面);claim 由运行时 record 通路登记(UNVERIFIED 起步,声称方禁自填 VERIFIED)——本 Spec 只定义可立 claim 的语句类型,不产生判定值。
+
+- 可立 claim 语句类型:「registered journeys pass in a real browser with zero unhandled console errors」类。
+
+## Required Observations
+
+- journey 逐步执行结果(逐条:步骤/期望/实测)。
+
+- console error 清单(逐条未处置项);network 维度(失败请求/异常时延)。
+
+- 执行环境锚(浏览器与视口;base_url 与环境登记一致)。
+
+## Allowed Producers
+
+- 浏览器自动化执行(确定性腿);交互腿 MCP 通道(chrome-devtools/playwright MCP——既有 Browser Eyes 双通道语义)按各自动作资格补位,通道名随 receipt 登记。
+
+## Tool Bindings
+
+- PRD §2.8 词形池:Playwright(确定性腿);MCP 交互腿通道登记于项目 .mcp.json。
+
+## 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 具体条款:在册 journey 全通过;console error 零未处置;network 维度零未解释失败。
+
+- 判定值由 Verification Result / Gate Result 写——本文件不自填 PASS。
+
+### FAIL
+
+- 资格:任一必需要求不满足(观察缺席/出自资格外生产者/工件缺席或不可解析/claim_refs·gate_refs 清单外或跨对象借证)。
+
+- 本 Spec 具体情形:journey 失败;未处置 console error;环境与登记漂移。
+
+### UNKNOWN
+
+- 证据在座但不足以判定(receipt 维度不全/工件损坏/口径未登记)——诚实位,禁当 PASS 呈现;补证后重判。
+
+### NOT_RUN
+
+- 本证据类型未被产出(工具未执行/环境缺席)或范围显式不适用且例外已登记——显式缺席诚实位,禁把未跑写成 PASS/UNKNOWN。
+
+## Required Artifacts
+
+- 执行 trace 与截图(blob,内容寻址);console/network 明细。
+
+## Retention
+
+- 证据与 raw artifact 至少保留至对应 claim 关账;发布面证据按 baseline/platform/delivery.md 登记的保留策略;blob 面优先内容寻址(PRD §3.4)。
+
+## Exceptions
+
+- journey 级豁免(功能暂缓)逐条登记(理由+复归触发)。
+
+## Activation Guidance
+
+- 激活时点:页面/交互面变更;发布前冒烟。
+
+## Ownership
+
+- 要求属主:项目 Owner(条款与例外裁决)。
+
+- 证据生产:变更执行 lane 角色(Activation Guidance 所列时点);判定:Verification/Gate 通路——角色分离,生产者不得自判 PASS。
+
+## Change Policy
+
+- 本文件是项目可编辑要求面:条款修订走项目变更流程(CHANGE.* 登记);要求条款(必要性)修订需 Owner 确认,措辞/呈现类修订不受限。
+
+- 阈值联动:数值阈值只住 baseline/quality 登记(§13.2「阈值必须项目化」);本文件修订只改要求条款,不改阈值数字。

package/seeds/specs/evidence/build.md

@@ -0,0 +1,91 @@
+# Evidence Spec — 构建成功
+
+- 路径:specs/evidence/build.md
+- 对象面词形:SPEC.BUILD(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/platform/delivery.md 的交付登记一致且可取回。构建成功是其余全部证据类型的前提位。
+
+## Subjects
+
+- 变更涉及的全部构建单元(前端/后端/包/镜像等——以 baseline/platform/delivery.md 登记的构建单元清单为准)。
+
+## Claims
+
+- claim 词形:CLM-*(07 schema 词面);claim 由运行时 record 通路登记(UNVERIFIED 起步,声称方禁自填 VERIFIED)——本 Spec 只定义可立 claim 的语句类型,不产生判定值。
+
+- 可立 claim 语句类型:「changed code builds successfully in the registered environment」类。
+
+## Required Observations
+
+- 构建命令与参数(与登记逐字一致);退出码。
+
+- 执行锚:execution_id/AGX 与 store seq(时间锚恒 seq,零墙钟)。
+
+- 产物清单(名称+内容寻址引用)。
+
+## Allowed Producers
+
+- 项目登记的构建工具链执行(本地或 CI);Agent 自述「我构建过了」不是合法生产者。
+
+## Tool Bindings
+
+- 构建命令以 baseline/platform/delivery.md 登记为准;CI 产出的完整构建日志是合法观察来源。
+
+## 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;产物清单与交付登记一致(缺产物/多产物均不满足)。
+
+- 判定值由 Verification Result / Gate Result 写——本文件不自填 PASS。
+
+### FAIL
+
+- 资格:任一必需要求不满足(观察缺席/出自资格外生产者/工件缺席或不可解析/claim_refs·gate_refs 清单外或跨对象借证)。
+
+- 本 Spec 具体情形:退出码非 0;产物缺席;实际命令与登记漂移。
+
+### UNKNOWN
+
+- 证据在座但不足以判定(receipt 维度不全/工件损坏/口径未登记)——诚实位,禁当 PASS 呈现;补证后重判。
+
+### NOT_RUN
+
+- 本证据类型未被产出(工具未执行/环境缺席)或范围显式不适用且例外已登记——显式缺席诚实位,禁把未跑写成 PASS/UNKNOWN。
+
+## Required Artifacts
+
+- 完整构建日志;产物清单及其内容寻址引用(evidence/blobs/,优先内容寻址)。
+
+## Retention
+
+- 证据与 raw artifact 至少保留至对应 claim 关账;发布面证据按 baseline/platform/delivery.md 登记的保留策略;blob 面优先内容寻址(PRD §3.4)。
+
+## Exceptions
+
+- 环境不可得(如需密钥/专用机)→ NOT_RUN + 例外显式登记;禁口头豁免。
+
+## Activation Guidance
+
+- 激活时点:变更涉及构建面;发布前;CI 门禁放行前。
+
+## Ownership
+
+- 要求属主:项目 Owner(条款与例外裁决)。
+
+- 证据生产:变更执行 lane 角色(Activation Guidance 所列时点);判定:Verification/Gate 通路——角色分离,生产者不得自判 PASS。
+
+## Change Policy
+
+- 本文件是项目可编辑要求面:条款修订走项目变更流程(CHANGE.* 登记);要求条款(必要性)修订需 Owner 确认,措辞/呈现类修订不受限。
+
+- 阈值联动:数值阈值只住 baseline/quality 登记(§13.2「阈值必须项目化」);本文件修订只改要求条款,不改阈值数字。

package/seeds/specs/evidence/business-acceptance.md

@@ -0,0 +1,89 @@
+# Evidence Spec — 业务验收
+
+- 路径:specs/evidence/business-acceptance.md
+- 对象面词形:SPEC.BUSINESS_ACCEPTANCE(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 定义「业务期望被证实」这一证据的要求:specs/acceptance/ 登记的验收场景逐条有 Observable Expected State 的证据与业务侧确认记录。
+
+## Subjects
+
+- 变更对应的验收场景(以 specs/acceptance/ 的 Acceptance Spec 登记为准)。
+
+## Claims
+
+- claim 词形:CLM-*(07 schema 词面);claim 由运行时 record 通路登记(UNVERIFIED 起步,声称方禁自填 VERIFIED)——本 Spec 只定义可立 claim 的语句类型,不产生判定值。
+
+- 可立 claim 语句类型:「acceptance scenario expected state is evidenced and confirmed」类。
+
+## Required Observations
+
+- 场景执行记录(逐条:场景引用/前置/实测状态)。
+
+- 业务侧确认记录(确认人角色/确认结论/范围);与场景 Evidence Spec References 的对账(每场景引用的本 Kit spec 已各自满足)。
+
+## Allowed Producers
+
+- 场景执行证据出自本 Kit 其余 spec 的合格产出;业务确认记录来自 Owner/Actor 登记面(具名,禁匿名汇总)。
+
+## Tool Bindings
+
+- 无专用工具:本 Spec 的资格锚是 acceptance spec 登记与其引用的证据 spec 判定结果;确认记录形态由项目登记。
+
+## 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 具体条款:验收场景逐条有确认记录;场景引用的证据 spec 各自判定非 FAIL/UNKNOWN/NOT_RUN(四值闭包逐项核——显式缺席不构成验收通过)。
+
+- 判定值由 Verification Result / Gate Result 写——本文件不自填 PASS。
+
+### FAIL
+
+- 资格:任一必需要求不满足(观察缺席/出自资格外生产者/工件缺席或不可解析/claim_refs·gate_refs 清单外或跨对象借证)。
+
+- 本 Spec 具体情形:场景缺确认;引用证据与场景期望不一致;匿名/转述类确认(不具名)。
+
+### UNKNOWN
+
+- 证据在座但不足以判定(receipt 维度不全/工件损坏/口径未登记)——诚实位,禁当 PASS 呈现;补证后重判。
+
+### NOT_RUN
+
+- 本证据类型未被产出(工具未执行/环境缺席)或范围显式不适用且例外已登记——显式缺席诚实位,禁把未跑写成 PASS/UNKNOWN。
+
+## Required Artifacts
+
+- 确认记录;场景执行证据引用(指向本 Kit 其余 spec 的 artifact)。
+
+## 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/complexity-crap.md

@@ -0,0 +1,97 @@
+# Evidence Spec — 复杂度风险(CRAP)
+
+- 路径:specs/evidence/complexity-crap.md
+- 对象面词形:SPEC.COMPLEXITY_CRAP(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 定义「复杂度风险被度量与处置」这一证据的要求。CRAP v1:
+
+```text
+CRAP = Complexity² × (1 - Coverage)³ + Complexity
+```
+
+其中 Coverage 使用 0~1。CRAP 目的:识别 High Complexity + Low Test Protection(高复杂度且缺测试保护);不是评价代码优不优雅。
+
+阈值必须项目化,不能把某个数字写成全世界永久真理(§13.2 逐字)——项目阈值只住 baseline/quality 的 CRAP 登记,本 Spec 不设通用数字。
+
+## Subjects
+
+- 变更触碰的符号(函数/方法级;语言以项目登记的分析器覆盖面为准)。
+
+## Claims
+
+- claim 词形:CLM-*(07 schema 词面);claim 由运行时 record 通路登记(UNVERIFIED 起步,声称方禁自填 VERIFIED)——本 Spec 只定义可立 claim 的语句类型,不产生判定值。
+
+- 可立 claim 语句类型:「changed code complexity risk is measured and mitigated」类。
+
+## Required Observations
+
+- 逐符号 Complexity 与 Coverage 及其 CRAP 值(计算原始输出)。
+
+- 超阈值符号清单与逐个处置记录(补测试/重构/例外登记)。
+
+## Allowed Producers
+
+- 复杂度分析与覆盖率数据的合法组合产出;数值必须出自工具输出。
+
+## Tool Bindings
+
+- PRD §13.2 逐字词形:允许前端 Complexity Adapter + Istanbul/V8/c8 coverage;允许 Java Complexity source + JaCoCo。
+
+## 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 具体条款:变更面逐符号 CRAP 计算在座;超阈值符号逐个有处置(测试保护提升/重构/例外登记)。
+
+- 判定值由 Verification Result / Gate Result 写——本文件不自填 PASS。
+
+### FAIL
+
+- 资格:任一必需要求不满足(观察缺席/出自资格外生产者/工件缺席或不可解析/claim_refs·gate_refs 清单外或跨对象借证)。
+
+- 本 Spec 具体情形:计算缺席;超阈值符号无处置;Coverage 输入缺席(公式不可计算)。
+
+### UNKNOWN
+
+- 证据在座但不足以判定(receipt 维度不全/工件损坏/口径未登记)——诚实位,禁当 PASS 呈现;补证后重判。
+
+### NOT_RUN
+
+- 本证据类型未被产出(工具未执行/环境缺席)或范围显式不适用且例外已登记——显式缺席诚实位,禁把未跑写成 PASS/UNKNOWN。
+
+## Required Artifacts
+
+- 逐符号 CRAP 表(原始输出);处置记录。
+
+## Retention
+
+- 证据与 raw artifact 至少保留至对应 claim 关账;发布面证据按 baseline/platform/delivery.md 登记的保留策略;blob 面优先内容寻址(PRD §3.4)。
+
+## Exceptions
+
+- 符号级豁免逐条登记(理由+复核触发);豁免不改变计算,只改变处置要求。
+
+## Activation Guidance
+
+- 激活时点:代码变更提交前(与 coverage 同窗);CI 门禁放行前。
+
+## Ownership
+
+- 要求属主:项目 Owner(条款与例外裁决)。
+
+- 证据生产:变更执行 lane 角色(Activation Guidance 所列时点);判定:Verification/Gate 通路——角色分离,生产者不得自判 PASS。
+
+## Change Policy
+
+- 本文件是项目可编辑要求面:条款修订走项目变更流程(CHANGE.* 登记);要求条款(必要性)修订需 Owner 确认,措辞/呈现类修订不受限。
+
+- 阈值联动:数值阈值只住 baseline/quality 登记(§13.2「阈值必须项目化」);本文件修订只改要求条款,不改阈值数字。

package/seeds/specs/evidence/contract.md

@@ -0,0 +1,89 @@
+# Evidence Spec — API 契约兼容
+
+- 路径:specs/evidence/contract.md
+- 对象面词形:SPEC.CONTRACT(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 定义「API 契约兼容」这一证据的要求:契约源在座,机器 diff 与兼容性判定完成,破坏性变更对照 baseline/backend/api-contract.md 的版本承诺逐条处置。
+
+## Subjects
+
+- 变更触碰的 API(以 API_REQ.* governed 面与契约源登记为准)。
+
+## Claims
+
+- claim 词形:CLM-*(07 schema 词面);claim 由运行时 record 通路登记(UNVERIFIED 起步,声称方禁自填 VERIFIED)——本 Spec 只定义可立 claim 的语句类型,不产生判定值。
+
+- 可立 claim 语句类型:「api contract diff is compatible within the registered versioning promise」类。
+
+## Required Observations
+
+- 契约源(OpenAPI 或等价)与其版本锚;diff 清单(逐条:路径/方法/变更类别)。
+
+- 兼容性判定结果(逐条:兼容/破坏);破坏性变更的处置(版本升级/例外登记)。
+
+## Allowed Producers
+
+- 项目登记的契约 diff 工具与属性用例生成器(vNext 既有 CONTRACT 门禁双腿语义:oasdiff/schemathesis 词形族);判定必须出自工具输出。
+
+## Tool Bindings
+
+- diff 工具与契约源位置由项目登记;双独立腿(diff+用例)结果都需在座,禁合并为单一绿灯。
+
+## 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 非破坏,或破坏性变更已按登记的版本承诺处置(版本升级/废弃流程在座)。
+
+- 判定值由 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
+
+- 激活时点:变更触碰 API 面;契约文件修订;对外发布前。
+
+## Ownership
+
+- 要求属主:项目 Owner(条款与例外裁决)。
+
+- 证据生产:变更执行 lane 角色(Activation Guidance 所列时点);判定:Verification/Gate 通路——角色分离,生产者不得自判 PASS。
+
+## Change Policy
+
+- 本文件是项目可编辑要求面:条款修订走项目变更流程(CHANGE.* 登记);要求条款(必要性)修订需 Owner 确认,措辞/呈现类修订不受限。
+
+- 阈值联动:数值阈值只住 baseline/quality 登记(§13.2「阈值必须项目化」);本文件修订只改要求条款,不改阈值数字。