verifier-state-architect

# Verifier-State Architect 架构顾问 Skill：Verifier/State 是可插拔外挂，不为展示 Kernel 强行加入。只产出设计计划，不写 `VERIFIER.md`、`STATE.md`、Pack 脚本或 Kernel 源码。 ## 适用边界 - **适用**：规划/审查 Skill 的 Verifier/State 接入、把自然语言判断映射到 Kernel 契约、生成实现交接计划。 - **不适用**：直接实现已确定组件、修 Kernel bug、写普通 Skill 内容，或跳过分析直接改代码；这些任务可把本 Skill 计划作为前置阶段。 ## 输入、输出与工作区 - **必需输入**：目标 Skill 根目录或完整内容、业务目标和已知约束。 - **可选输入**：Kernel 路径（默认 `packages/bensz-skill-kernel`）、`runtime` 声明、Pack、测试、历史报告和输出路径。 - **默认计划**：`./.bensz-api/task-{yyyymmdd-hhmm}-{简短描述}/verifier-state-architect/output/design-plan.md`；用户指定正式计划时优先写 `docs/plans/` 或指定路径，不把正式交付藏在 `.bensz-api`。 - 计划只作后续 Agent 的短契约：引用用相对路径和行号/标题锚点，日志只写脱敏摘要。 - 复用会话已声明的任务根目录；否则用 `bsk workspace init . --description verifier-state-architect` 初始化，并在 Skill 专属 `input|output|log` 边界工作。记录目标路径、读取清单、Kernel 版本和计划路径。 ## 核心工作流 ### 理解服务对象 读取目标 `SKILL.md`、`config.yaml`、脚本、references、模板和运行声明；按需读取 Kernel Pack、ID 与运行时文档。绘制目标、输入/输出、阶段、风险、失败/回退、人工介入和产物；从证据列出稳定命题的 Verifier 候选与持续阶段的 State 候选，标记来源和不确定性，不从文件名或关键词臆测。 ### 删除影响闸门 逐项回答： - 删除 Verifier 是否损失可复核的安全/质量边界，而非只少形式检查？ - 删除 State 是否损失恢复、协作、Gate 或阶段可见性，而非只少标签？ - 组件是否改变下一步决策、阻止高代价错误、支持重放/审计或提供可行动的人工复核？ - 是否已有更通用的内置 Pack/State？只有通用组件无法表达稳定命题时才设计专用组件。 若删除不改变能力、决策或审计性，明确“不接入”；零组件或只保留一个均合法。 ### Kernel 复用与元组件二层审查 在专用设计前完成以下盘点，避免重复造轮子，也不默认新增 Kernel 功能： 1. 读取 `packages/bensz-skill-kernel` 的 `verifiers/index.json`、`states/index.json`、对应 `VERIFIER.md`/`STATE.md`、README 和版本声明；记录 canonical ID、版本、classification/kind、输入契约、入口及限制，不能只看名称/标签。 2. 为每个候选标记“直接复用 / 组合复用 / 适配后复用 / 不适用”...