create-yss-spec 3.5.3 → 3.5.4

package/template/.template-spec/process/strategic-handoff-package.md

@@ -6,7 +6,7 @@
 
 1. 源仓必须为 `project-instance`。新交付使用 Domain Strategy v3 与 Stage Decision Package v3；规则、场景、决定、假设、约束、成功标准、测试 seam 与 downstream mapping 使用稳定 ID 和证据。v2 仅用于历史 Handoff v3 的只读验证；修改或重发须显式迁移、重新批准。不得用行号、文字 hash 或导出顺序生成业务身份。
 2. 每个场景明确 `critical`、`rule_refs`、`success_results` 和既有 `failure_results`；兼容字段 `rules` 必须与引用规则正文一致。不变量使用 `rule_ref`，并通过 `scenario_refs` 指向确实覆盖该规则的场景。缺身份或关联先回战略方确认、更新并重新批准，导出器不猜测。
-3. 新原型与既有 UI 交接都使用 Handoff v5，分别选择 `prototype` 或 `existing-ui-baseline`。历史 Handoff v3/v4 与既有裸 v5 包继续按冻结 schema 执行 `verify/import`，但 v3/v4 不再创建新 export；修改或重新交付必须迁移到 v5 并重新批准。校验器先读取 `schema_version` 再选择固定 schema，未知版本输出支持列表并 fail closed。`package_export` 的 `approvals` 按 `source` 字段及 `handoff` 绑定批准记录，声明 `record_ref`、`gate_id`、`digest_kind`。当前战略 profile 的领域战略、阶段决策和业务 Ticket 绑定 `gate.plan-approved`，Spec 绑定 `gate.spec-baseline-approved`，原型、视觉或既有 UI 基线绑定 `gate.product-design-approved`，交接自身绑定 `gate.strategic-design-handoff-approved`。历史包仍按包内明确登记的源批准规则验证，但旧门禁只能作为历史证据，不能作为当前输入继续流转。
+3. 新原型与既有 UI 交接都使用 Handoff v5，分别选择 `prototype` 或 `existing-ui-baseline`。历史 Handoff v3/v4 与既有裸 v5 包继续按冻结 schema 执行 `verify/import`，但 v3/v4 不再创建新 export；修改或重新交付必须迁移到 v5 并重新批准。校验器先读取 `schema_version` 再选择固定 schema，未知版本输出支持列表并 fail closed。`package_export` 的 `approvals` 按 `source` 字段及 `handoff` 绑定批准记录，声明 `record_ref`、`gate_id`、`digest_kind`。当前战略 profile 的领域战略和阶段决策绑定 `gate.plan-approved`；声明 `business-ticket-approval-v1` 的业务 Ticket 集绑定当前 `gate.strategic-design-handoff-approved`（未声明能力的历史包保持原规则），Spec 绑定 `gate.spec-baseline-approved`，原型、视觉或既有 UI 基线绑定 `gate.product-design-approved`，交接自身绑定 `gate.strategic-design-handoff-approved`。历史包仍按包内明确登记的源批准规则验证，但旧门禁只能作为历史证据，不能作为当前输入继续流转。
 4. 批准记录除既有会签字段，还要在 `artifact_bindings` 中逐项绑定 `{id, version, digest}`。战略/阶段建议 `canonical-json`；普通文件使用 `sha256-bytes`；视觉基线使用 `visual-baseline`。正文中的 `approved` 和可读取批准路径不能替代当前字节的批准绑定。源角色表要求用户决定记录时，接收端必须支持并核验该策略；旧工具缺少该能力时阻断并要求升级，不能按旧规则放行。
 5. `additional_files` 明确补充依赖；`reference_map` 将 `evidence.*` 稳定证据引用解析为仓内路径。源资产、批准记录、证据引用、Markdown 本地链接和显式目录共同形成依赖闭包。HTTP 引用保留为引用，不在导出时下载网页。
 6. 原型分支的 `prototype` 指定 `profile`、`preview_root`、`entry_ref`、`verification_ref`、`verification_digest`（验证记录的字节摘要）；H2 另须 `source_root`、`lock_ref` 和 `source_digest`（源码目录树摘要，算法同下述预览树）。源码交付目录不含 node_modules / .git；锁文件与源码一同保存。预览目录须资源闭合，可通过本地静态服务离线浏览。源码、锁文件或验证记录变化须更新交接摘要并重新批准。
@@ -114,3 +114,5 @@ scripts/strategic-feedback verify-adjudication --root <消费者项目根> <adju
 源 `work-unit.technical-design` 保留不变，目标主控 `consumer_entry_routes` 持有精确映射；`plan-to-backend` 和完整主模板进入 `work-unit.technical-analysis`，专职后端进入自己的 `work-unit.technical-design`。目标工作单元不存在或超出 profile/职责范围时阻断。后端插件的 scope 只选择 backend-technical-design；源包保留完整前端、协调路线，不宣称已接管或完成。
 
 正式交付目录导入生成 Receipt v3；现有运输 package.zip 按已有协议生成 v2 收据，源包、批准、逻辑摘要仍须完整校验，不能补造 source-delivery-record。消费校验、反馈裁决和 Slice Contract 的实现门禁保持不变。
+
+业务集合、逐票正文和专业审查按 [业务 Ticket 协议](business-tickets.md) 校验并导出依赖闭包。研发承接 rows 同时登记业务 Ticket ID 与原规则/场景；source_digest 为业务票原字节摘要，dependent_slice_refs 按真实依赖登记，未知依赖阻断相关整体范围。

package/template/.template-spec/process/templates/stage-checkpoint-template.md

@@ -24,9 +24,12 @@ context_reconciliation:
 phase_boundary:
   decision: <continue|clear|handoff|subagent|compact>
   reason: <decision evidence>
-  next_phase: <next phase or pause reason>
+  # compact 填当前 registry 的 stage ID；handoff 填 source_ref / destination_ref；
+  # subagent 填 task_package_ref / convergence_ref。引用均为本地可读交接证据。
+  next_phase: <stage ID，仅 compact 时填写>
 stage_trace:
   stage: <current stage>
+  completed_work_unit: <已完成前驱，仅声明当前流转时填写>
   upstream_refs: []
   artifact_refs: []
   gate_decisions: []
@@ -50,3 +53,5 @@ rollback: []
 ```
 
 阶段 checkpoint 只在会签暂停、handoff、进入实现、合并或发布边界集中回写；出现阻塞、责任人变化或资产单独批准时立即回写，并保留阶段因果。`paused-human-gate` 表示等待 YAML `gate_policy` 指定的会签人（数字人或生物人），不是「必须是生物人」。会签桶内门禁标为 `approved` 时必须有可读的 `approval_ref`。
+
+当前边界必须具有非空 decision/reason 及完整 stage_trace；普通入口分诊不要求尚未产生的交接证据。`verify-lifecycle-checkpoint --history` 仅检查旧记录结构，不证明当前流转或批准。

package/template/.template-spec/templates/business-ticket-review-template.yaml

@@ -0,0 +1,11 @@
+schema_version: 1
+kind: business-ticket-review
+result: blocked
+subject_ref: docs/.scratch/<feature>/business-ticket-set.yaml
+subject_digest: sha256:<raw-bytes>
+drafter: <drafter-runtime-id>
+reviewer: <independent-reviewer-runtime-id>
+evidence:
+  - ref: docs/.scratch/<feature>/verification/business-ticket-review.md
+    version: v1
+    digest: sha256:<raw-bytes>

package/template/.template-spec/templates/business-ticket-set-template.yaml

@@ -0,0 +1,16 @@
+schema_version: 1
+kind: business-ticket-set
+id: business-ticket-set.<feature>
+version: v1
+status: draft
+spec:
+  ref: docs/.scratch/<feature>/spec.md
+  version: v1
+  digest: sha256:<raw-bytes>
+tickets:
+  - id: BT-001
+    ref: docs/.scratch/<feature>/business-tickets/BT-001.md
+    version: v1
+    digest: sha256:<raw-bytes>
+coverage_deferred: []
+review_ref: docs/.scratch/<feature>/verification/business-ticket-review.yaml

package/template/.template-spec/templates/business-ticket-template.md

@@ -0,0 +1,38 @@
+---
+schema_version: 1
+kind: business-ticket
+id: BT-<stable-id>
+version: v1
+status: draft
+spec:
+  ref: docs/.scratch/<feature>/spec.md
+  version: v1
+  digest: sha256:<raw-bytes>
+requirement_refs: [FR-001]
+acceptance_refs: [AC-001]
+dependencies: []
+source_refs: []
+open_questions: []
+---
+
+# <用户行为与可验收结果>
+
+## 业务结果
+
+<哪个角色完成什么行为，获得什么可观察结果。>
+
+## 范围
+
+<业务边界、适用规则、成功与失败/恢复路径；source_refs 按需绑定规则、场景和设计，使用精确 ID 或标题。>
+
+## 非目标
+
+<明确不覆盖的业务范围。>
+
+## 验收
+
+<引用原始 AC 并解释本票交付的行为；不得在这里改变已批准规则。>
+
+## 风险
+
+<风险、约束与处置；未决项在 frontmatter.open_questions 登记责任人、解决时点和 blocking。>

package/template/.template-spec/templates/examples/lifecycle-writing-examples.md

@@ -136,3 +136,19 @@
 | T4 | 验证段 | seam 明确，未臆造工程命令 |
 | T5 | 状态段 | 两项阻塞均展示，未只保留一个下一步 |
 | T6 | 范围、验证及状态段 | 状态未提前推进；未扩大范围 |
+
+## 4. 附件提交校验的来源、稳定 ID 与变更追溯
+
+以下配套文件全部是虚构输入，仅供模板和诊断练习；不代表产品决定、测量结果或已批准资产。前文 S1–S7 与“读取失败行为待确认”的限制在固定来源表中保留，不能把样本中的数字当成生产承诺。
+
+| 目的 | 可读资产 |
+|---|---|
+| 原始输入与保真基线 | [附件业务输入](plan-spec/ordinary-source.md) |
+| Plan 指标未知但有补齐动作 | [轻量 Plan](plan-spec/ordinary-plan.md) |
+| 来源 → FR → AC → 未决项 | [附件 Spec](plan-spec/ordinary-valid.md) |
+| 有意缺陷：重复 ID、断链、来源缺失 | [附件反例](plan-spec/ordinary-defective.md) |
+| 复杂状态、并发和恢复未知 | [状态输入](plan-spec/complex-source.md)、[状态 Spec](plan-spec/complex-valid.md)、[反例](plan-spec/complex-defective.md) |
+| 冻结基线上的权限变化 | [权限输入](plan-spec/high-risk-source.md)、[旧基线](plan-spec/high-risk-before.md)、[候选新 Spec](plan-spec/high-risk-valid.md)、[反例](plan-spec/high-risk-defective.md) |
+| 预登记发现与样本类别 | [样本清单](plan-spec/expectations.json) |
+
+附件案例的变化练习：若将 FR-002 的“一次列出全部缺失名称”改成“仅显示一项”，应同时审查 S3 和 AC-001。`diff` 能展示原文字节、FR 和 AC 引用的变化，但不能决定业务含义等价，也不能据此继续使用原批准。读取附件清单失败的行为仍为 Q-001，不能由成功路径的测试例子擅自确定。

package/template/.template-spec/templates/examples/plan-spec/complex-defective.md

@@ -0,0 +1,38 @@
+---
+content_profile: plan-spec-v1
+---
+
+# 审批状态流程
+
+> 虚构输入；仅为确定性 fixture，不代表已批准业务。
+
+## 功能需求
+
+| ID | 需求 | 优先级 | 来源引用 | 验收引用 | 未决项 |
+|---|---|---|---|---|---|
+| FR-001 | 仅草稿可提交；其他状态拒绝重复提交且状态不变 | P0 | .template-spec/templates/examples/plan-spec/complex-source.md :: id:C1 | AC-001 | 无 |
+| FR-002 | 提交成功进入待审核；审批通过进入已生效；驳回回草稿并保留原因 | P0 | .template-spec/templates/examples/plan-spec/complex-source.md :: id:C2；.template-spec/templates/examples/plan-spec/complex-source.md :: id:C3 | AC-002, AC-003 | 无 |
+| FR-003 | 并发审批仅首个合法转换生效，后续提示状态变化 | P0 | .template-spec/templates/examples/plan-spec/complex-source.md :: id:C999 | 无 | 无 |
+
+## 非功能需求
+
+not-applicable
+
+## 验收标准
+
+| ID | 需求引用 | 前提 | 触发 | 可观察结果 | 场景类型 | 未决项 |
+|---|---|---|---|---|---|---|
+| AC-001 | FR-001 | 单据为已生效 | 重复提交 | 拒绝，状态不变 | 拒绝 | 无 |
+| AC-002 | FR-002 | 草稿满足其他提交条件 | 提交后由审核员通过 | 依次进入待审核、已生效 | 状态变化 | 无 |
+| AC-003 | FR-002 | 待审核单据 | 审核员驳回并填写原因 | 回到草稿且原因可查看 | 恢复 | 无 |
+| AC-004 | FR-003 | 两位审核员并发操作同一待审核版本 | 首个通过，第二个驳回 | 首个转换生效，第二个显示状态已变化 | 边界 | 无 |
+
+## 未决项
+
+| ID | 问题 | 判断依据 | 责任人 | 解决时点 | 接收方 / 解决证据 |
+|---|---|---|---|---|---|
+| Q-001 | 审批超时恢复策略未知，需确认失败恢复方式 | .template-spec/templates/examples/plan-spec/complex-source.md :: id:C5；不承诺自动重试 | 业务负责人（虚构角色） | 冻结前 | Spec 起草者 / 待确认 |
+
+## 非目标范围
+
+不改变历史已生效单据，不增加补偿自动撤销。来源：.template-spec/templates/examples/plan-spec/complex-source.md :: id:C6

package/template/.template-spec/templates/examples/plan-spec/complex-source.md

@@ -0,0 +1,12 @@
+# 业务输入
+
+> 全部为虚构输入，仅用于模板和诊断验证；不是产品事实或批准。
+
+| ID | 原始规则 |
+|---|---|
+| C1 | 仅草稿允许提交，其他状态拒绝重复提交且不改变状态。 |
+| C2 | 提交成功后进入待审核；审批通过后进入已生效。 |
+| C3 | 驳回后回到草稿，并保留驳回原因。 |
+| C4 | 并发审批仅首个合法状态转换生效，后续请求提示状态已变化。 |
+| C5 | 审批服务超时后的恢复策略未知，未确认前不承诺自动重试。 |
+| C6 | 不改变历史已生效单据，不增加补偿自动撤销。 |

package/template/.template-spec/templates/examples/plan-spec/complex-valid.md

@@ -0,0 +1,38 @@
+---
+content_profile: plan-spec-v1
+---
+
+# 审批状态流程
+
+> 虚构输入；仅为确定性 fixture，不代表已批准业务。
+
+## 功能需求
+
+| ID | 需求 | 优先级 | 来源引用 | 验收引用 | 未决项 |
+|---|---|---|---|---|---|
+| FR-001 | 仅草稿可提交；其他状态拒绝重复提交且状态不变 | P0 | .template-spec/templates/examples/plan-spec/complex-source.md :: id:C1 | AC-001 | 无 |
+| FR-002 | 提交成功进入待审核；审批通过进入已生效；驳回回草稿并保留原因 | P0 | .template-spec/templates/examples/plan-spec/complex-source.md :: id:C2；.template-spec/templates/examples/plan-spec/complex-source.md :: id:C3 | AC-002, AC-003 | 无 |
+| FR-003 | 并发审批仅首个合法转换生效，后续提示状态变化 | P0 | .template-spec/templates/examples/plan-spec/complex-source.md :: id:C4 | AC-004 | 无 |
+
+## 非功能需求
+
+not-applicable：本样本未新增独立非功能目标。
+
+## 验收标准
+
+| ID | 需求引用 | 前提 | 触发 | 可观察结果 | 场景类型 | 未决项 |
+|---|---|---|---|---|---|---|
+| AC-001 | FR-001 | 单据为已生效 | 重复提交 | 拒绝，状态不变 | 拒绝 | 无 |
+| AC-002 | FR-002 | 草稿满足其他提交条件 | 提交后由审核员通过 | 依次进入待审核、已生效 | 状态变化 | 无 |
+| AC-003 | FR-002 | 待审核单据 | 审核员驳回并填写原因 | 回到草稿且原因可查看 | 恢复 | 无 |
+| AC-004 | FR-003 | 两位审核员并发操作同一待审核版本 | 首个通过，第二个驳回 | 首个转换生效，第二个显示状态已变化 | 边界 | 无 |
+
+## 未决项
+
+| ID | 问题 | 判断依据 | 责任人 | 解决时点 | 接收方 / 解决证据 |
+|---|---|---|---|---|---|
+| Q-001 | 审批超时恢复策略未知，需确认失败恢复方式 | .template-spec/templates/examples/plan-spec/complex-source.md :: id:C5；不承诺自动重试 | 业务负责人（虚构角色） | 冻结前 | Spec 起草者 / 待确认 |
+
+## 非目标范围
+
+不改变历史已生效单据，不增加补偿自动撤销。来源：.template-spec/templates/examples/plan-spec/complex-source.md :: id:C6

package/template/.template-spec/templates/examples/plan-spec/expectations.json

@@ -0,0 +1,46 @@
+{
+  "fictional": true,
+  "human_trial": "pending",
+  "families": [
+    {
+      "id": "ordinary",
+      "source": "ordinary-source.md",
+      "valid": "ordinary-valid.md",
+      "defective": "ordinary-defective.md",
+      "expected_defect_codes": [
+        "DUPLICATE_ID",
+        "DANGLING_REFERENCE",
+        "REFERENCE_MISMATCH",
+        "INPUT_UNREADABLE"
+      ],
+      "defective_exit_code": 2,
+      "preservation_review": "原始规则、否定、量词、例外、非目标与未知项逐项核对；不作为真实业务批准"
+    },
+    {
+      "id": "complex",
+      "source": "complex-source.md",
+      "valid": "complex-valid.md",
+      "defective": "complex-defective.md",
+      "expected_defect_codes": [
+        "AC_MISSING",
+        "SOURCE_LOCATOR",
+        "NA_REASON"
+      ],
+      "defective_exit_code": 0,
+      "preservation_review": "原始规则、否定、量词、例外、非目标与未知项逐项核对；不作为真实业务批准"
+    },
+    {
+      "id": "high-risk",
+      "source": "high-risk-source.md",
+      "valid": "high-risk-valid.md",
+      "defective": "high-risk-defective.md",
+      "expected_defect_codes": [
+        "REQUIRED_FIELD",
+        "UNKNOWN_TARGET",
+        "TARGET_STATUS"
+      ],
+      "defective_exit_code": 0,
+      "preservation_review": "原始规则、否定、量词、例外、非目标与未知项逐项核对；不作为真实业务批准"
+    }
+  ]
+}

package/template/.template-spec/templates/examples/plan-spec/high-risk-before.md

@@ -0,0 +1,32 @@
+---
+content_profile: plan-spec-v1
+---
+
+# 权限查看基线
+
+> 虚构输入；仅为确定性 fixture，不代表已批准业务。
+
+## 功能需求
+
+| ID | 需求 | 优先级 | 来源引用 | 验收引用 | 未决项 |
+|---|---|---|---|---|---|
+| FR-001 | 具有审批权限的审核员可查看本部门单据 | P0 | .template-spec/templates/examples/plan-spec/high-risk-source.md :: id:H1 | AC-001 | 无 |
+
+## 非功能需求
+
+not-applicable：本样本未新增独立非功能目标。
+
+## 验收标准
+
+| ID | 需求引用 | 前提 | 触发 | 可观察结果 | 场景类型 | 未决项 |
+|---|---|---|---|---|---|---|
+| AC-001 | FR-001 | 具有权限且单据属于本部门 | 查看单据 | 可见单据内容 | 成功 | 无 |
+
+## 未决项
+
+| ID | 问题 | 判断依据 | 责任人 | 解决时点 | 接收方 / 解决证据 |
+|---|---|---|---|---|---|
+
+## 非目标范围
+
+不主动清除客户端已返回历史内容；权限传播目标未知。虚构冻结基线，用于差异比较，不构成真实批准。

package/template/.template-spec/templates/examples/plan-spec/high-risk-defective.md

@@ -0,0 +1,39 @@
+---
+content_profile: plan-spec-v1
+---
+
+# 权限查看变更
+
+> 虚构输入；仅为确定性 fixture，不代表已批准业务。
+
+## 功能需求
+
+| ID | 需求 | 优先级 | 来源引用 | 验收引用 | 未决项 |
+|---|---|---|---|---|---|
+| FR-001 | 具有审批权限的审核员可查看本部门单据 | P0 | .template-spec/templates/examples/plan-spec/high-risk-source.md :: id:H1 | AC-001 | 无 |
+| FR-002 | 撤销审批权限后的后续查看请求拒绝且不显示单据内容 | P0 | .template-spec/templates/examples/plan-spec/high-risk-source.md :: id:H2 | AC-002 | 无 |
+
+## 非功能需求
+
+| ID | 需求 | 适用条件/负载 | 指标及单位 | 目标 | 确认状态 | 验证方法 | 来源引用 | 验收引用 | 未决项 |
+|---|---|---|---|---|---|---|---|---|---|
+| NFR-001 | 权限撤销传播时效 |  | 传播延迟 / 毫秒 | 未知 | 已确认 |  | .template-spec/templates/examples/plan-spec/high-risk-source.md :: id:H4 | AC-002 | 无 |
+| NFR-002 | 日志不包含单据正文 | 本次拒绝路径日志 | 检查：不存在单据正文 | 日志无单据正文 | 已确认 | 检查拒绝日志样本 | .template-spec/templates/examples/plan-spec/high-risk-source.md :: id:H5 | AC-003 | 无 |
+
+## 验收标准
+
+| ID | 需求引用 | 前提 | 触发 | 可观察结果 | 场景类型 | 未决项 |
+|---|---|---|---|---|---|---|
+| AC-001 | FR-001 | 具有权限且单据属于本部门 | 查看单据 | 可见单据内容 | 成功 | 无 |
+| AC-002 | FR-002, NFR-001 | 当前服务已读到撤销后的权限状态 | 发起后续查看 | 拒绝且不返回单据内容；传播窗口仍待确认 | 拒绝 / 状态变化 | Q-001 |
+| AC-003 | NFR-002 | 请求被拒绝 | 检查该请求的日志 | 日志不存在单据正文 | 拒绝 | 无 |
+
+## 未决项
+
+| ID | 问题 | 判断依据 | 责任人 | 解决时点 | 接收方 / 解决证据 |
+|---|---|---|---|---|---|
+| Q-001 | 权限传播延迟目标未知；采集传播记录后由负责人确认 | .template-spec/templates/examples/plan-spec/high-risk-source.md :: id:H4；冻结前补齐，不补造阈值 | 安全负责人（虚构角色） | Spec 冻结前 | 工程契约 / 待确认目标 |
+
+## 非目标范围
+
+不主动清除已返回客户端的历史内容。来源：.template-spec/templates/examples/plan-spec/high-risk-source.md :: id:H3。不承诺即时全局失效；当前行为候选，按既有决定协议确认。

package/template/.template-spec/templates/examples/plan-spec/high-risk-source.md

@@ -0,0 +1,11 @@
+# 业务输入
+
+> 全部为虚构输入，仅用于模板和诊断验证；不是产品事实或批准。
+
+| ID | 原始规则 |
+|---|---|
+| H1 | 既有冻结基线：具有审批权限的审核员可查看本部门单据。 |
+| H2 | 候选变化：撤销审批权限后，后续查看请求拒绝，不显示单据内容。 |
+| H3 | 已返回客户端的历史内容不在本期主动清除。 |
+| H4 | 权限传播延迟目标未知，等待安全负责人确认；不承诺即时全局失效。 |
+| H5 | 本次拒绝路径日志不得包含单据正文；使用日志检查进行验证。 |

package/template/.template-spec/templates/examples/plan-spec/high-risk-valid.md

@@ -0,0 +1,39 @@
+---
+content_profile: plan-spec-v1
+---
+
+# 权限查看变更
+
+> 虚构输入；仅为确定性 fixture，不代表已批准业务。
+
+## 功能需求
+
+| ID | 需求 | 优先级 | 来源引用 | 验收引用 | 未决项 |
+|---|---|---|---|---|---|
+| FR-001 | 具有审批权限的审核员可查看本部门单据 | P0 | .template-spec/templates/examples/plan-spec/high-risk-source.md :: id:H1 | AC-001 | 无 |
+| FR-002 | 撤销审批权限后的后续查看请求拒绝且不显示单据内容 | P0 | .template-spec/templates/examples/plan-spec/high-risk-source.md :: id:H2 | AC-002 | Q-001 |
+
+## 非功能需求
+
+| ID | 需求 | 适用条件/负载 | 指标及单位 | 目标 | 确认状态 | 验证方法 | 来源引用 | 验收引用 | 未决项 |
+|---|---|---|---|---|---|---|---|---|---|
+| NFR-001 | 权限撤销传播时效 | 权限变更至各校验服务观测期间 | 传播延迟 / 毫秒 | 未知 | 候选 | 分析权限传播记录；目标确认后按窗口测试 | .template-spec/templates/examples/plan-spec/high-risk-source.md :: id:H4 | AC-002 | Q-001 |
+| NFR-002 | 日志不包含单据正文 | 本次拒绝路径日志 | 检查：不存在单据正文 | 日志无单据正文 | 已确认 | 检查拒绝日志样本 | .template-spec/templates/examples/plan-spec/high-risk-source.md :: id:H5 | AC-003 | 无 |
+
+## 验收标准
+
+| ID | 需求引用 | 前提 | 触发 | 可观察结果 | 场景类型 | 未决项 |
+|---|---|---|---|---|---|---|
+| AC-001 | FR-001 | 具有权限且单据属于本部门 | 查看单据 | 可见单据内容 | 成功 | 无 |
+| AC-002 | FR-002, NFR-001 | 当前服务已读到撤销后的权限状态 | 发起后续查看 | 拒绝且不返回单据内容；传播窗口仍待确认 | 拒绝 / 状态变化 | Q-001 |
+| AC-003 | NFR-002 | 请求被拒绝 | 检查该请求的日志 | 日志不存在单据正文 | 拒绝 | 无 |
+
+## 未决项
+
+| ID | 问题 | 判断依据 | 责任人 | 解决时点 | 接收方 / 解决证据 |
+|---|---|---|---|---|---|
+| Q-001 | 权限传播延迟目标未知；采集传播记录后由负责人确认 | .template-spec/templates/examples/plan-spec/high-risk-source.md :: id:H4；冻结前补齐，不补造阈值 | 安全负责人（虚构角色） | Spec 冻结前 | 工程契约 / 待确认目标 |
+
+## 非目标范围
+
+不主动清除已返回客户端的历史内容。来源：.template-spec/templates/examples/plan-spec/high-risk-source.md :: id:H3。不承诺即时全局失效；当前行为候选，按既有决定协议确认。

package/template/.template-spec/templates/examples/plan-spec/ordinary-defective.md

@@ -0,0 +1,36 @@
+---
+content_profile: plan-spec-v1
+---
+
+# 附件提交校验
+
+> 虚构输入；仅为确定性 fixture，不代表已批准业务。
+
+## 功能需求
+
+| ID | 需求 | 优先级 | 来源引用 | 验收引用 | 未决项 |
+|---|---|---|---|---|---|
+| FR-001 | 点击提交时检查本单据必需附件，缺少任一项时拒绝且保持草稿 | P0 | .template-spec/templates/examples/plan-spec/missing-source.md :: id:S1；.template-spec/templates/examples/plan-spec/ordinary-source.md :: id:S2 | AC-001 | 无 |
+| FR-001 | 一次列出全部缺失附件名称，并保留当前页面已填数据 | P0 | .template-spec/templates/examples/plan-spec/ordinary-source.md :: id:S3；.template-spec/templates/examples/plan-spec/ordinary-source.md :: id:S4 | AC-001 | 无 |
+| FR-003 | 补齐后重新提交并重新校验，齐全且其他条件满足时沿既有流程 | P0 | .template-spec/templates/examples/plan-spec/ordinary-source.md :: id:S5；.template-spec/templates/examples/plan-spec/ordinary-source.md :: id:S6 | AC-002 | 无 |
+
+## 非功能需求
+
+not-applicable：本样本未新增独立非功能目标。
+
+## 验收标准
+
+| ID | 需求引用 | 前提 | 触发 | 可观察结果 | 场景类型 | 未决项 |
+|---|---|---|---|---|---|---|
+| AC-001 | FR-001, FR-002 | 草稿缺少两项必需附件且页面有已填数据 | 点击提交 | 拒绝提交；保持草稿；同时列出两项名称并保留当前页面数据 | 拒绝 / 边界 | 无 |
+| AC-002 | FR-099 | 已补齐全部必需附件且其他提交条件满足 | 再次点击提交 | 重新检查并沿既有流程提交 | 恢复 / 成功 | 无 |
+
+## 未决项
+
+| ID | 问题 | 判断依据 | 责任人 | 解决时点 | 接收方 / 解决证据 |
+|---|---|---|---|---|---|
+| Q-001 | 读取附件清单失败时的行为待确认；安排需求澄清 | .template-spec/templates/examples/plan-spec/ordinary-source.md :: id:S8；关键行为未知，不延期越过冻结 | 产品负责人（虚构角色） | Spec 冻结前 | Spec 起草者 / 待取得真实决定 |
+
+## 非目标范围
+
+不校验附件真实性；不承诺刷新或关闭后的恢复。来源：.template-spec/templates/examples/plan-spec/ordinary-source.md :: id:S7。读取清单失败时行为仍未知，验收例子不确定它。

package/template/.template-spec/templates/examples/plan-spec/ordinary-plan.md

@@ -0,0 +1,27 @@
+---
+content_profile: plan-spec-v1
+---
+
+# 附件提交校验 Plan
+
+> 虚构输入；时间、角色及目标均为样本，不代表实际业务承诺。
+
+本期帮助经办人在提交前发现缺失附件；只检查是否齐全，不判定真实性，不承诺刷新恢复。来源见 `.template-spec/templates/examples/plan-spec/ordinary-source.md` S1–S8。
+
+## 成功标准
+
+| ID | 指标定义 | 基线或未知原因 | 目标 | 确认状态 | 观测窗口 | 数据来源 | 验证方式 | 未决项 |
+|---|---|---|---|---|---|---|---|---|
+| SC-001 | 在已登记拒绝场景中一次展示全部缺失名称 | 未知：尚无原型观察记录 | 未知 | 候选 | 下一次人工阅读与原型试用 | .template-spec/templates/examples/plan-spec/ordinary-source.md :: id:S3 | 演示两项同时缺失；记录观察结果后确认目标 | Q-001 |
+
+## 关键取舍
+
+| 决定 / 权威引用 | 真实候选 | 本期选择及理由 | 主要代价 | 重新考虑条件 |
+|---|---|---|---|---|
+| 轻量案例：附件范围 | 仅检查齐全；追加真实性检查 | 本期仅检查齐全；真实性规则未确认 | 无法发现附件内容造假 | 真实性规则及责任人明确后重新立项 |
+
+## 未决项
+
+| ID | 问题 | 判断依据 | 责任人 | 解决时点 | 接收方 / 解决证据 |
+|---|---|---|---|---|---|
+| Q-001 | 基线及目标未知，安排人工观察后确认 | 虚构输入无测量证据，不制造目标值 | 产品负责人（虚构角色） | 规划确认前 | 规划审查者 / 待观察记录 |

package/template/.template-spec/templates/examples/plan-spec/ordinary-source.md

@@ -0,0 +1,14 @@
+# 业务输入
+
+> 全部为虚构输入，仅用于模板和诊断验证；不是产品事实或批准。
+
+| ID | 原始规则 |
+|---|---|
+| S1 | 经办人点击提交时检查本单据要求的附件清单。 |
+| S2 | 缺少任一必需附件时拒绝提交，单据仍为草稿。 |
+| S3 | 一次列出全部缺失附件名称。 |
+| S4 | 保留当前页面已填数据；不承诺刷新或关闭后的恢复。 |
+| S5 | 补齐后重新点击提交，重新执行校验。 |
+| S6 | 全部必需附件齐全且其他提交条件满足时，沿既有提交流程。 |
+| S7 | 本期不校验附件内容真实性，不处理刷新恢复。 |
+| S8 | 附件清单读取失败时的行为未知，需在 Spec 冻结前确认。 |

package/template/.template-spec/templates/examples/plan-spec/ordinary-valid.md

@@ -0,0 +1,36 @@
+---
+content_profile: plan-spec-v1
+---
+
+# 附件提交校验
+
+> 虚构输入；仅为确定性 fixture，不代表已批准业务。
+
+## 功能需求
+
+| ID | 需求 | 优先级 | 来源引用 | 验收引用 | 未决项 |
+|---|---|---|---|---|---|
+| FR-001 | 点击提交时检查本单据必需附件，缺少任一项时拒绝且保持草稿 | P0 | .template-spec/templates/examples/plan-spec/ordinary-source.md :: id:S1；.template-spec/templates/examples/plan-spec/ordinary-source.md :: id:S2 | AC-001 | 无 |
+| FR-002 | 一次列出全部缺失附件名称，并保留当前页面已填数据 | P0 | .template-spec/templates/examples/plan-spec/ordinary-source.md :: id:S3；.template-spec/templates/examples/plan-spec/ordinary-source.md :: id:S4 | AC-001 | 无 |
+| FR-003 | 补齐后重新提交并重新校验，齐全且其他条件满足时沿既有流程 | P0 | .template-spec/templates/examples/plan-spec/ordinary-source.md :: id:S5；.template-spec/templates/examples/plan-spec/ordinary-source.md :: id:S6 | AC-002 | 无 |
+
+## 非功能需求
+
+not-applicable：本样本未新增独立非功能目标。
+
+## 验收标准
+
+| ID | 需求引用 | 前提 | 触发 | 可观察结果 | 场景类型 | 未决项 |
+|---|---|---|---|---|---|---|
+| AC-001 | FR-001, FR-002 | 草稿缺少两项必需附件且页面有已填数据 | 点击提交 | 拒绝提交；保持草稿；同时列出两项名称并保留当前页面数据 | 拒绝 / 边界 | 无 |
+| AC-002 | FR-003 | 已补齐全部必需附件且其他提交条件满足 | 再次点击提交 | 重新检查并沿既有流程提交 | 恢复 / 成功 | 无 |
+
+## 未决项
+
+| ID | 问题 | 判断依据 | 责任人 | 解决时点 | 接收方 / 解决证据 |
+|---|---|---|---|---|---|
+| Q-001 | 读取附件清单失败时的行为待确认；安排需求澄清 | .template-spec/templates/examples/plan-spec/ordinary-source.md :: id:S8；关键行为未知，不延期越过冻结 | 产品负责人（虚构角色） | Spec 冻结前 | Spec 起草者 / 待取得真实决定 |
+
+## 非目标范围
+
+不校验附件真实性；不承诺刷新或关闭后的恢复。来源：.template-spec/templates/examples/plan-spec/ordinary-source.md :: id:S7。读取清单失败时行为仍未知，验收例子不确定它。

package/template/.template-spec/templates/local-parent-ticket-template.md

@@ -26,14 +26,18 @@ Status: ready-for-human
 | publication | local / pending |
 | pending_publication_to | none / github / gitlab |
 
-## 生命周期状态
+## 生命周期查询
 
-| 字段 | 值 |
-|---|---|
-| stage | `<current-stage>` |
-| lifecycle_status | routing / running / paused-human-gate / blocked / completed |
-| ticket_role | needs-triage / needs-info / ready-for-agent / ready-for-human / wontfix |
-| gate_summary | `<approved / blocked / not-applicable summary>` |
+Checkpoint：`docs/.scratch/<feature>/checkpoint.yaml`（填写实际存在的路径）。
+
+阶段、阻塞、门禁摘要与下一工作单元从同一 checkpoint 按需查询；本票只保存 Ticket 五态、业务说明与资产入口。
+
+```sh
+scripts/lifecycle-status --root . --checkpoint docs/.scratch/<feature>/checkpoint.yaml
+scripts/stage-tracking check --root . --checkpoint docs/.scratch/<feature>/checkpoint.yaml
+```
+
+查询不写文件，也不授予执行权限。批准依据仍读取下方会签记录。
 
 ## 资产与证据
 
@@ -50,16 +54,20 @@ Status: ready-for-human
 
 会签记录写在 `docs/.scratch/<feature>/gates/<gate-id>-approval.yaml`。会签桶内门禁标为 `approved` 前必须通过 `scripts/verify-approval-record`。
 
-| 门禁 | 记录路径 | 会签角色 | 状态 |
-|---|---|---|---|
-|  | `docs/.scratch/<feature>/gates/<gate-id>-approval.yaml` | 见 `.template-spec/agents/digital-human-roles.yaml` | pending / approved / blocked / not-applicable |
+| 门禁 | 记录路径 | 会签角色 |
+|---|---|---|
+|  | `docs/.scratch/<feature>/gates/<gate-id>-approval.yaml` | 见 `.template-spec/agents/digital-human-roles.yaml` |
 
-## 阻塞关系
+会签结果读取记录原件；阻塞关系与下一工作单元读取上述 checkpoint，不在本票重填状态表。
 
-- 无 / 被 `<ticket-path>` 阻塞
+## Comments
 
-## 下一工作单元
+## 拆分与就绪
 
-`<next-work-unit>`
+| 维度 | 资产与证据入口 |
+|---|---|
+| 业务拆分 | <business-ticket-set.yaml / 业务正式化记录> |
+| 实现拆分 | <issues/ 与 Ticket 正式化记录> |
+| 实现就绪 | <当前合同批准、仓库准备与就绪检查引用> |
 
-## Comments
+如声明业务集合已同步，在 frontmatter 增加 business_ticket_set_ref 与 business_ticket_set_digest（当前集合原字节），不复制票据正文。

package/template/.template-spec/templates/spec-delta-template.md

@@ -16,11 +16,13 @@
 
 ## 2. 行为差异
 
-| 类型 | 行为 | 当前状态 | 目标状态 | 影响范围 |
-|---|---|---|---|---|
-| ADDED |  |  |  |  |
-| MODIFIED |  |  |  |  |
-| REMOVED |  |  |  |  |
+| 类型 | 行为 | 当前状态 | 目标状态 | 影响范围 | 关联 FR/NFR/AC |
+|---|---|---|---|---|---|
+| ADDED |  |  |  |  |  |
+| MODIFIED |  |  |  |  |  |
+| REMOVED |  |  |  |  |  |
+
+关联使用稳定 ID 并注明旧 / 新基线文件；删除项保留旧 ID，不复用。可附 `inspect-plan-spec diff` 的诊断和原始字节差异，缺少旧基线时明确“无法比较”。该辅助证据不判定语义等价、不延续批准、不缩小验证范围。
 
 说明：