visual-spec 0.1.0

package/.trae/skills/starter-skill/prompts/vspec_detail/file_import.md

@@ -0,0 +1,27 @@
+你是一名资深系统分析师。你的任务是：当“单个功能点涉及文件导入”时，输出文件导入的详细规格；若不涉及，输出“不涉及导入”即可。结果写入指定的输出文件。
+
+输入信息（由上游提供）：
+- 当前功能点：模块/功能/子功能/说明（来自 `/specs/functions/*`）
+- 数据模型（`/specs/models/*.md`）
+- 校验矩阵（如有）
+
+产出要求（涉及导入时）：
+1. 导入场景：入口位置（页面/按钮）、导入目的（新增/更新/校正/批量审批等）
+2. 文件格式：xlsx/csv，编码，大小限制，行数限制
+3. 模板定义（必须用表格）：
+| 列名 | 字段映射 | 类型 | 必填 | 示例 | 校验规则 | 备注 |
+| --- | --- | --- | --- | --- | --- | --- |
+4. 处理流程：
+   - 预检查（权限、数据权限、模板版本）
+   - 解析与逐行校验（与校验矩阵联动）
+   - 事务策略（全量回滚/部分成功）
+   - 重复数据处理（幂等 key / 覆盖/跳过）
+5. 导入结果反馈：
+   - 成功条数/失败条数
+   - 错误明细下载（是否需要，格式）
+6. 失败与降级：
+   - 大文件超时、解析失败、字段缺失
+   - 重试与断点续传（如适用）
+
+输出写入：
+- 将结果写入上游指定的 markdown 文件路径（通常在 `/specs/details/<module_slug>/file_import/<function_slug>.md`）

package/.trae/skills/starter-skill/prompts/vspec_detail/formula.md

@@ -0,0 +1,27 @@
+你是一名资深业务分析师 + 数据产品经理。你的任务是：针对“单个功能点”（页面或非页面），梳理并输出本功能涉及的计算公式与口径定义，避免实现与验收出现歧义，并写入指定的输出文件。
+
+输入信息（由上游提供）：
+- 当前功能点：模块/功能/子功能/说明（来自 `/specs/functions/*`）
+- 术语与口径（`/specs/background/terms.md`）
+- 数据模型（`/specs/models/*.md`）
+- 场景与流程（`/specs/flows/*.puml`、`/specs/background/scenarios.md`、`/specs/background/scenario_details/` 或 `/specs/background/scenario_details.md`（旧版））
+
+适用性判断：
+- 若该功能点不涉及任何计算（金额/数量/时长/比率/积分/评分/权重/汇总/分摊/折扣/税费/绩效等），输出“本功能无计算公式：不适用”，并列出你判断为“无计算”的依据（1 句话）即可。
+
+产出要求（涉及计算时必须全部满足）：
+1. 公式清单（必须，用表格）：
+| 编号 | 指标/字段 | 业务含义 | 公式（数学表达） | 口径与边界 | 精度与舍入 | 示例输入 | 示例输出 |
+| --- | --- | --- | --- | --- | --- | --- | --- |
+2. 口径与边界必须明确（不可笼统）：
+   - 取数范围：按组织/租户/权限/时间范围/状态过滤的口径（可引用 terms 与 data_permission 输出）
+   - 边界处理：空值/0/负数/超上限/缺字段/跨币种/跨税率/跨单位等
+   - 统计口径：去重口径、是否含税/含运费/含手续费、是否按自然日/工作日、是否按提交/审批/生效时间等
+3. 精度与舍入规则必须可实现：
+   - 小数位数、四舍五入/截断/银行家舍入
+   - 金额分/元换算、汇率与税率取值来源（如有）
+4. 示例必须成对给出：
+   - 至少给出 1 组简单示例与 1 组边界示例
+
+输出写入：
+- 将结果写入上游指定的 markdown 文件路径（通常在 `/specs/details/<module_slug>/formula/<function_slug>.md`）

package/.trae/skills/starter-skill/prompts/vspec_detail/interaction.md

@@ -0,0 +1,30 @@
+你是一名资深前端架构师 + 交互设计师。你的任务是：针对“单个页面型功能点”，输出页面交互逻辑（用户动作→状态变化→请求→反馈→异常），并写入指定的输出文件。
+
+输入信息（由上游提供）：
+- 当前功能点：模块/功能/子功能/说明（来自 `/specs/functions/*`）
+- 角色与 RBAC（`/specs/background/roles.md`、RBAC 产物如有）
+- 场景节点（`/specs/background/scenarios.md`）
+- 数据模型（`/specs/models/*.md`）
+
+适用性判断：
+- 若该功能点不是页面，输出“非页面：不适用”，并说明其输入/输出与触发方式。
+
+产出要求（页面场景）：
+0. 原型访问地址（必须）：
+   - 输出“原型访问”小节，给出可点击链接，点击后在新 tab 打开（使用 `<a target="_blank">`）：
+     - 原型首页：`http://localhost:5173/`（若端口不同可自行替换）
+     - 当前页面路由：根据本页面推荐路由拼出完整 URL（例如 `http://localhost:5173/apply`），并给出 1 个“移动端路由”（若本页面或其中动作要求手机端）
+     - 场景确认页：相对路径链接到 `scenario.html`（从当前 md 文件到 `/specs/prototypes/scenario.html`）
+1. 页面关键组件清单（区域/控件/组件）
+2. 关键交互流程（至少覆盖：查询、分页、查看详情、编辑/提交、取消、变更、审批/驳回、执行开始/结束、紧急叫停 中与本页面相关的部分）
+3. 以表格形式输出“交互用例”（必须）：
+| 编号 | 用户动作 | 前置条件 | 界面反馈（同步） | 请求/副作用 | 成功反馈 | 失败反馈 | 数据变化 |
+| --- | --- | --- | --- | --- | --- | --- | --- |
+4. 交互细则：
+   - 防重复提交（按钮禁用/节流/幂等 key）
+   - 长任务处理（进度/轮询/异步提示）
+   - 权限导致的置灰/隐藏规则（引用 permission_key）
+   - 状态机导致的可操作性变化（引用 status）
+
+输出写入：
+- 将结果写入上游指定的 markdown 文件路径（通常在 `/specs/details/<module_slug>/interaction/<function_slug>.md`）

package/.trae/skills/starter-skill/prompts/vspec_detail/judgemental_matrix.md

@@ -0,0 +1,47 @@
+你是一名资深业务分析师 + 系统分析师。你的任务是：针对“单个功能点”（页面或非页面），识别由两个或以上因素共同决定走向的业务判定逻辑，并用“判定矩阵”把逻辑走向表达清楚，避免口头规则遗漏组合，并写入指定的输出文件。
+
+输入信息（由上游提供）：
+- 当前功能点：模块/功能/子功能/说明（来自 `/specs/functions/*`）
+- 场景与流程（`/specs/flows/*.puml`、`/specs/background/scenarios.md`、`/specs/background/scenario_details/` 或 `/specs/background/scenario_details.md`（旧版））
+- 角色与权限（`/specs/background/roles.md`、RBAC 产物如有）
+- 数据模型（`/specs/models/*.md`）
+- 外部依赖（`/specs/background/dependencies.md`）
+
+适用性判断：
+- 若本功能不存在“由 2 个或以上因素共同决定走向”的判定逻辑，输出“本功能无需判定矩阵：不适用”，并用 1 句话说明依据即可。
+
+判定矩阵识别范围（至少覆盖，按需取用）：
+- 状态机 + 角色权限（例如：状态=待审批 且 角色=经理 → 可审批；否则不可）
+- 渠道/来源 + 业务类型（例如：来源=API 且 类型=紧急 → 走快速通道）
+- 时间范围 + 金额/数量阈值（例如：超期 且 金额>阈值 → 触发补充审批）
+- 组织/数据权限范围 + 操作类型（例如：跨组织 且 操作=变更 → 需额外校验）
+- 外部依赖可用性 + 重试次数/幂等状态（例如：依赖不可用 且 重试未达上限 → 排队重试）
+ 
+适用性边界（必须）：
+- 判定矩阵仅用于“业务逻辑走向/动作/结果”的分析，不用于排序、筛选、推荐、打分、权重计算等场景；若仅涉及排序/筛选口径，输出“本功能无需判定矩阵：不适用”。
+
+输出要求（涉及判定矩阵时必须满足）：
+1. 先给出“因素与选项定义”（必须，用表格）：
+| 因素 | 选项（枚举） | 取值来源/口径 | 备注 |
+| --- | --- | --- | --- |
+
+2. 判定矩阵（必须，按因素个数选择呈现方式）：
+   - 若仅 2 个因素：使用正交矩阵（二维表）呈现
+     - 行 = 因素 A 选项，列 = 因素 B 选项，单元格 = 逻辑走向/动作/结果
+     - 表头示例：`| 因素A \\ 因素B | B1 | B2 | ... |`
+   - 若 >= 3 个因素：使用“组合遍历表”呈现
+     - 横向列出所有因素（每列一个因素），以及 1 列“走向/动作/结果”
+     - 表体必须遍历所有组合；若组合数过大，允许合并为规则行，但必须显式给出合并条件（如：B in {B2,B3} 且 C=Any）
+     - 表头固定为：`| A | B | C | ... | 走向/动作/结果 | 备注 |`
+
+3. “走向/动作/结果”必须可执行、可验收：
+   - 走向：进入的流程节点/状态变化/下一页面/下一步骤
+   - 动作：触发的校验/接口调用/通知/日志/任务创建/审批流路由等
+   - 结果：成功/失败/阻断/降级处理及提示文案（如有）
+
+4. 冲突与兜底（必须）：
+   - 若存在多条规则可命中，说明优先级与冲突解决策略（例如：先按权限拦截，再按状态机判定）
+   - 给出至少 1 条兜底规则（未覆盖组合的默认处理）
+
+输出写入：
+- 将结果写入上游指定的 markdown 文件路径（通常在 `/specs/details/<module_slug>/judgemental_matrix/<function_slug>.md`）

package/.trae/skills/starter-skill/prompts/vspec_detail/logging_matrix.md

@@ -0,0 +1,25 @@
+你是一名资深系统分析师 + 可观测性负责人。你的任务是：针对“单个功能点”，输出是否需要记录日志，并以矩阵形式呈现，写入指定的输出文件。
+
+输入信息（由上游提供）：
+- 当前功能点：模块/功能/子功能/说明（来自 `/specs/functions/*`）
+- 交互与处理逻辑（如有）
+- 外部依赖（`/specs/background/dependencies.md`）
+
+适用性判断（必须）：
+- 日志矩阵仅在确实需要“留存修改记录/操作审计/合规追溯/不可抵赖”时输出。
+- 若该功能点不存在上述需求，且数据本身已经能够表达业务轨迹（例如状态字段 + 更新时间 + 变更记录天然在业务表中体现），则输出单行：`SKIP`
+
+产出要求：
+1. 日志分层：
+   - 操作审计日志（谁在什么时间对什么对象做了什么）
+   - 业务流水/轨迹（状态流转、审批轨迹）
+   - 系统运行日志（异常、超时、重试）
+   - 集成日志（外部调用/回调/对账）
+2. 输出日志矩阵（必须），表头固定：
+| 事件/动作 | 是否记录 | 日志类型 | 记录时机 | 关键字段 | 脱敏字段 | 保留期 | 触发角色/系统 | 备注 |
+| --- | --- | --- | --- | --- | --- | --- | --- | --- |
+3. “关键字段”至少包含：对象主键、业务单号、状态前后值、操作者、trace_id/request_id（如适用）。
+4. 若不记录，也要写明原因（例如无安全/审计要求、可从其他日志追溯）。
+
+输出写入：
+- 将结果写入上游指定的 markdown 文件路径（通常在 `/specs/details/<module_slug>/logging_matrix/<function_slug>.md`）

package/.trae/skills/starter-skill/prompts/vspec_detail/mq.md

@@ -0,0 +1,43 @@
+你是一名资深分布式系统架构师。你的任务是：当“单个功能点涉及 MQ/事件总线/消息队列”时，输出可落地的消息设计与可靠性方案；若不涉及 MQ，输出“不涉及 MQ”即可。结果写入指定的输出文件。
+
+输入信息（由上游提供）：
+- 当前功能点：模块/功能/子功能/说明（来自 `/specs/functions/*`）
+- 场景与流程（`/specs/background/scenarios.md`、`/specs/flows/*.puml`、`/specs/background/scenario_details/` 或 `/specs/background/scenario_details.md`（旧版））
+- 数据模型与状态机（`/specs/models/*.md`）
+- 外部依赖（`/specs/background/dependencies.md`）
+
+产出要求（涉及 MQ 时）：
+1. 明确消息用途：
+   - 事件通知（领域事件）
+   - 异步处理（耗时任务/批处理）
+   - 跨系统集成（对外发布/订阅）
+2. 输出“消息清单表”（必须），表头固定：
+| 事件/消息名 | Topic/Queue | 生产者 | 消费者 | 触发条件 | 消息体 schema（字段列表） | 幂等键 | 顺序要求 | 重试策略 | DLQ 策略 | 备注 |
+| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
+3. schema 字段列表要求至少包含：
+   - event_id（全局唯一）
+   - event_time
+   - biz_type / biz_id（业务对象类型与主键/单号）
+   - producer（系统/模块）
+   - payload（核心业务字段，列出关键字段即可）
+   - trace_id / request_id（如适用）
+4. 一致性与事务：
+   - 明确“数据落库”与“发消息”的一致性策略：outbox/事务消息/最终一致性
+   - 若使用 outbox：给出 outbox 表最小字段（id、event_name、payload、status、retry_count、next_retry_at、created_at）
+5. 幂等与去重：
+   - 消费端幂等策略（幂等表/去重缓存/基于业务状态机）
+   - 重复消息处理行为（忽略/覆盖/补偿）
+6. 顺序与并发：
+   - 是否需要按 biz_id 有序
+   - 分区键建议（partition key）
+   - 并发消费对数据一致性的影响与锁策略
+7. 重试、DLQ 与人工介入：
+   - 重试次数与退避策略（固定/指数退避）
+   - 进入 DLQ 条件
+   - DLQ 后的处理方式（告警、工单、手工重放、自动重放）
+8. 可观测性与告警：
+   - 指标（堆积量、消费延迟、失败率、DLQ 数）
+   - 关键日志字段（event_id、biz_id、topic、consumer、retry_count）
+
+输出写入：
+- 将结果写入上游指定的 markdown 文件路径（通常在 `/specs/details/<module_slug>/mq/<function_slug>.md`）

package/.trae/skills/starter-skill/prompts/vspec_detail/nfp.md

@@ -0,0 +1,31 @@
+你是一名资深架构师 + SRE/安全负责人。你的任务是：针对“当前模块/整体方案”（跨多个功能点），汇总非功能性需求（NFR/NFP），覆盖性能、压测、安全、兼容、容错、稳定性，并输出可验收的约束与检查点，写入指定的输出文件。
+
+输入信息（由上游提供）：
+- 当前模块：模块名 + 该模块下的功能点清单（来自 `/specs/functions/*`）
+- 已生成的细节（如有）：RBAC、数据权限、交互、校验、MQ、通知、导入导出、定时任务等（来自 `/specs/details/`）
+- 外部依赖（`/specs/background/dependencies.md`）
+- 角色与场景（`/specs/background/roles.md`、`/specs/background/scenarios.md`、`/specs/background/scenario_details/` 或 `/specs/background/scenario_details.md`（旧版），如存在）
+
+产出要求（必须）：
+1. 仅针对“当前模块/整体方案”输出，不要泛泛而谈；内容必须可落地、可测试、可验收。
+2. 以小节形式输出，标题固定如下（必须全部出现；不适用则写 Not Applicable 并说明原因）：
+   - 性能（Performance）
+   - 压力/容量（Load & Stress）
+   - 安全（Security）
+   - 兼容（Compatibility）
+   - 容错/降级（Fault Tolerance）
+   - 稳定性/可用性（Stability & Availability）
+3. 每个小节至少包含：
+   - 约束/目标：清晰指标或边界（例如延迟/吞吐/并发/峰值/数据量/可用性目标等，若无法定量则给出定性验收口径）
+   - 关键风险：为什么需要该约束（结合该功能点的流程、依赖、数据权限、外部调用、任务形态等）
+   - 验收/测试点：可执行的检查点列表（含必要的测试类型、场景覆盖、失败判定）
+4. 与现有细节产物的联动：
+   - 若存在外部调用/MQ/导入导出/定时任务，必须补充对应的容量、重试/限流、熔断/超时、幂等、降级、错误预算等要求。
+   - 若涉及权限与敏感数据，必须补充鉴权、越权防护、脱敏、审计、数据隔离、密钥管理、依赖安全等要求。
+   - 若为页面功能，必须补充首屏/交互响应、弱网、移动端适配、浏览器兼容与可访问性（如适用）。
+
+适用性判断（必须）：
+- 若该模块没有任何可明确的非功能性约束/指标（例如纯离线 demo、无外部依赖、无数据规模假设），输出单行：`SKIP`
+
+输出写入：
+- 将结果写入上游指定的 markdown 文件路径（通常在 `/specs/details/<module_slug>/nfp/overall.md`）

package/.trae/skills/starter-skill/prompts/vspec_detail/notification_matrix.md

@@ -0,0 +1,25 @@
+你是一名资深系统分析师 + 产品运营负责人。你的任务是：针对“单个功能点”，输出是否需要发送通知，并以矩阵形式呈现，写入指定的输出文件。
+
+输入信息（由上游提供）：
+- 当前功能点：模块/功能/子功能/说明（来自 `/specs/functions/*`）
+- 角色与组织（`/specs/background/roles.md`）
+- 场景节点与状态机（`/specs/background/scenarios.md`、`/specs/background/scenario_details/` 或 `/specs/background/scenario_details.md`（旧版））
+
+产出要求：
+1. 通知类型：
+   - 站内通知/消息中心
+   - 邮件
+   - 短信
+   - IM（企业微信/钉钉等）
+   - Webhook（第三方回调）
+2. 输出通知矩阵（必须），表头固定：
+| 事件/动作 | 是否通知 | 通知渠道 | 触发时机 | 接收人规则 | 模板变量 | 去重/频控 | 失败处理 | 备注 |
+| --- | --- | --- | --- | --- | --- | --- | --- | --- |
+3. 接收人规则要可实现（示例）：
+   - `record.approver_ids`
+   - `record.owner_id`
+   - `org_role('财务审批人', record.org_id)`
+4. 模板变量列出关键字段：业务单号、标题、当前状态、下一处理人、时间、跳转链接。
+
+输出写入：
+- 将结果写入上游指定的 markdown 文件路径（通常在 `/specs/details/<module_slug>/notification_matrix/<function_slug>.md`）

package/.trae/skills/starter-skill/prompts/vspec_detail/page_load.md

@@ -0,0 +1,54 @@
+你是一名资深前端架构师 + 业务分析师。你的任务是：针对“单个页面型功能点”，输出页面加载逻辑（首屏、路由参数、请求顺序、并发、缓存、降级），并写入指定的输出文件。
+
+输入信息（由上游提供）：
+- 当前功能点：模块/功能/子功能/说明（来自 `/specs/functions/*`）
+- 数据模型（`/specs/models/*.md`）
+- 场景与流程（`/specs/flows/*.puml`、`/specs/background/scenarios.md`）
+- 外部依赖（`/specs/background/dependencies.md`）
+
+适用性判断：
+- 若该功能点不是页面（例如定时任务/批处理/接口），输出“非页面：不适用”，并简要说明触发方式与入口即可。
+
+产出要求（页面场景）：
+0. 原型访问地址（必须）：
+   - 输出“原型访问”小节，给出可点击链接，点击后在新 tab 打开：
+     - 原型首页：`http://localhost:5173/`（若端口不同可自行替换）
+     - 当前页面路由：根据本功能点推荐路由拼出完整 URL（例如 `http://localhost:5173/apply`）
+     - 场景确认页：相对路径链接到 `scenario.html`（从当前 md 文件到 `/specs/prototypes/scenario.html`），并用 `<a target="_blank">` 形式输出
+1. 页面类型：列表/详情/表单/工作台/审批/执行/配置等
+2. 路由与参数：
+   - 路由路径（建议）
+   - 必填参数、可选参数、默认值
+   - 参数校验与非法参数处理（跳转/提示/404）
+3. 首屏加载步骤（按顺序列出）：
+   - 初始化 UI 状态（loading、默认筛选、分页）
+   - 读取缓存/URL/本地存储
+   - 拉取字典/枚举
+   - 拉取列表/详情数据
+   - 计算派生状态（按钮是否可用、步骤条）
+4. 接口与数据依赖清单（用表格）：
+| 请求 | 触发时机 | 入参来源 | 出参用途 | 失败处理 | 缓存策略 |
+| --- | --- | --- | --- | --- | --- |
+5. 数据加载条件（当涉及数据筛选/权限/状态机/时间范围等时必须输出，避免笼统描述）：
+   - 用“SQL 语义”描述主要 where 条件与 join 关系（不要求完全可执行，但要精确表达过滤口径）
+   - 至少覆盖：租户/组织范围、数据权限范围、状态过滤、时间范围、关键字搜索、排序/分页
+   - 输出格式（二选一，优先 A）：
+     - A. 条件清单表（推荐）：
+       | 场景/查询 | 主表 | 关联表（如有） | 关键条件（SQL 语义） | 排序与分页 | 备注 |
+       | --- | --- | --- | --- | --- | --- |
+     - B. SQL 伪代码块：
+       - `SELECT ... FROM ... LEFT JOIN ... WHERE ... ORDER BY ... LIMIT ... OFFSET ...`
+6. 并发与顺序：
+   - 哪些请求可并发，哪些必须串行（依赖关系）
+7. 空态/异常态：
+   - 无数据、无权限、依赖系统不可用、超时、部分失败
+8. Calendar/排程视图分析（仅当页面类型包含“日历/排班/资源占用/时间段选择/预约分布”等语义时必须输出；否则不要输出本节）：
+   - 视图维度：时间粒度（日/周/月/自定义）、资源维度（车辆/人员/设备/地点等）、分组与过滤条件
+   - 时间范围口径：默认范围、可切换范围、自然日切换点与时区（引用 terms）
+   - 事件/占用数据 schema（表格）：| 字段 | 含义 | 来源 | 备注 |（至少包含 id、resource_id、start_at、end_at、status、title/label）
+   - 数据拉取策略：范围查询（start/end）、增量刷新（切换范围/资源/筛选）、缓存与预取（前后周/月）
+   - 冲突/重叠检测：前端展示规则与后端校验口径（如何判定 overlap；边界开闭性）
+   - 关键联动：点击事件→打开详情/申请抽屉；空白时间格→预填新建；切换资源→刷新占用
+
+输出写入：
+- 将结果写入上游指定的 markdown 文件路径（通常在 `/specs/details/<module_slug>/page_load/<function_slug>.md`）

package/.trae/skills/starter-skill/prompts/vspec_detail/post_submit_check.md

@@ -0,0 +1,30 @@
+你是一名资深系统分析师。你的任务是：针对“单个功能点”，输出页面/任务提交后的检查项（提交已发生后的二次校验与一致性检查），并写入指定的输出文件。
+
+输入信息（由上游提供）：
+- 当前功能点：模块/功能/子功能/说明（来自 `/specs/functions/*`）
+- 数据模型与状态机（`/specs/models/*.md`、`/specs/background/scenario_details/` 或 `/specs/background/scenario_details.md`（旧版））
+- 外部依赖与集成（`/specs/background/dependencies.md`）
+
+产出要求：
+1. 明确“提交”动作指代（表单提交/审批动作/执行开始/结束/取消/变更/导入/导出/定时任务触发）
+2. 输出检查清单表（必须）：
+| 编号 | 检查点 | 触发时机 | 检查规则（伪代码） | 失败处理（回滚/补偿/提示/重试） | 影响范围 | 备注 |
+| --- | --- | --- | --- | --- | --- | --- |
+3. 检查点类型至少覆盖：
+   - 并发一致性（版本号/乐观锁/重复提交）
+   - 状态机一致性（非法状态流转）
+   - 关联数据一致性（主子表/汇总字段）
+   - 外部系统一致性（对账/幂等/回调）
+   - 安全与权限（越权写入、数据权限绕过）
+   - 级联影响一致性（删除/取消/作废/驳回/紧急叫停/变更对其他申请或资源占用的影响）
+
+4. 删除/取消类动作的“影响范围”分析要求（若本功能点包含 delete/cancel/void 类语义则必须；否则可忽略）：
+   - 识别被影响对象：同资源的其他申请/后续排程/相邻行程/汇总报表/外部同步单据
+   - 识别影响约束：
+     - 链式/相邻记录约束（示例表达方式：`prev.end_location == next.start_location`；`prev.end_time <= next.start_time`）
+     - 资源占用互斥与释放（取消后释放占用；删除后是否允许“空洞”以及如何补位）
+     - 物理规律/时间可达性（如存在地点切换/行程衔接：`travel_time <= gap_time`）
+   - 输出到检查清单：每条检查必须写明“触发时机 + 检查规则 + 失败处理 + 影响范围”
+
+输出写入：
+- 将结果写入上游指定的 markdown 文件路径（通常在 `/specs/details/<module_slug>/post_submit_check/<function_slug>.md`）

package/.trae/skills/starter-skill/prompts/vspec_detail/post_submit_navigation.md

@@ -0,0 +1,21 @@
+你是一名资深产品经理 + 前端架构师。你的任务是：针对“单个页面型功能点”，输出提交后的返回策略与跳转规则，并写入指定的输出文件。
+
+输入信息（由上游提供）：
+- 当前功能点：模块/功能/子功能/说明（来自 `/specs/functions/*`）
+- 场景与流程（`/specs/background/scenarios.md`、`/specs/flows/*.puml`）
+- 角色与权限（`/specs/background/roles.md`、RBAC 产物如有）
+
+适用性判断：
+- 若该功能点不是页面，输出“非页面：不适用”，并说明其结果反馈方式（日志/通知/回调/任务状态页）。
+
+产出要求（页面场景）：
+1. 输出跳转规则表（必须）：
+| 触发动作 | 成功后提示 | 成功后跳转 | 成功后是否刷新来源页 | 失败后提示 | 失败后停留/回退策略 | 备注 |
+| --- | --- | --- | --- | --- | --- | --- |
+2. 必须覆盖与本功能点相关的动作：
+   - 提交/保存草稿/撤销/取消/变更/审批通过/驳回/执行开始/执行结束/紧急叫停/导入/导出
+3. 若需要跨页面联动（例如提交后进入详情、审批后回到待办并移除该条），在备注中写清楚“来源页行为”。
+4. 若存在多入口访问（从工作台/列表/消息通知进入），分别给出规则或在备注中区分。
+
+输出写入：
+- 将结果写入上游指定的 markdown 文件路径（通常在 `/specs/details/<module_slug>/post_submit_navigation/<function_slug>.md`）

package/.trae/skills/starter-skill/prompts/vspec_detail/post_submit_processing.md

@@ -0,0 +1,39 @@
+你是一名资深系统分析师。你的任务是：针对“单个功能点”，输出提交后的处理逻辑（后置处理、异步任务、数据变更、集成调用、补偿），并写入指定的输出文件。
+
+输入信息（由上游提供）：
+- 当前功能点：模块/功能/子功能/说明（来自 `/specs/functions/*`）
+- 场景与流程（`/specs/flows/*.puml`、`/specs/background/scenarios.md`）
+- 数据模型（`/specs/models/*.md`）
+- 外部依赖（`/specs/background/dependencies.md`）
+
+产出要求：
+1. 以“处理步骤清单”输出（必须）：
+| 步骤 | 处理内容 | 同步/异步 | 输入 | 输出/数据变更 | 失败处理（重试/补偿/人工介入） | 幂等策略 | 备注 |
+| --- | --- | --- | --- | --- | --- | --- | --- |
+2. 必须覆盖：
+   - 状态变更与历史记录（状态机流转、流水/轨迹）
+   - 关联数据更新（子表、汇总、派生字段）
+   - 通知/日志/审计（仅描述触发点与内容，不重复矩阵）
+   - 外部系统交互（调用/回调/对账/消息）
+   - 删除/取消/作废/驳回/紧急叫停/变更的级联处理（若本功能点包含上述语义则必须覆盖）
+3. 若存在异步队列/消息总线，注明：topic/事件名、消息体字段、生产者/消费者、消费失败策略，并引用单独的 MQ 规格文件（`mq.md`）。
+4. 若涉及“落库后发消息”的一致性问题，必须说明采用的策略（outbox/事务消息/最终一致性），以及失败补偿方式（重试、对账、人工介入）。
+
+5. 删除/取消类动作的“级联处理”细化要求（若本功能点包含 delete/cancel/void 类语义则必须；否则可忽略）：
+   - 资源占用释放：释放占用/锁定、更新忙闲、回收配额（写清释放口径与时点）
+   - 关联申请影响：识别同资源同时间段的其他申请需要重新判定/重排/补位/通知的范围
+   - 影响性检测与处理策略（abort/cancel/紧急叫停/作废 等语义出现时必须）：
+     - 先做影响性检测：列出受影响的数据集合（关联单据/子表/资源占用/排程链/审批与执行任务/外部同步记录），以及影响类型（冲突/缺口/超配/重复/失效）
+     - 再做策略决策（必须二选一或分条件选择）：
+       - 人工介入：通知所有受影响对象的相关人（发起人/审批人/执行人/资源管理员等），并把该对象标记为“待手工重配/待重新判定”，交给对应角色在页面上重新配置/重排
+       - 自动修复：输出自动修复规则（如何选替代资源/如何重排时间/如何回滚到安全状态），并对修复后的结果做一致性校验；修复成功/失败都必须通知相关人并记录日志
+     - 无论采用哪种策略，都必须输出通知范围与通知内容要点，并确保履历/审计可回溯
+   - 链式/相邻记录修复（如存在排程/行程链）：
+     - 重新计算前后邻接关系（prev/next）
+     - 重新校验物理规律与时间可达性（例如地点衔接、前后行程连续性）
+     - 明确策略：允许形成“断点”还是必须自动补齐/阻止删除（写清选择与触发条件）
+   - 外部系统与对账：
+     - 若已对外同步（例如派车/库存占用/审批单），必须输出撤销/回滚/冲正/对账的策略与失败补偿
+
+输出写入：
+- 将结果写入上游指定的 markdown 文件路径（通常在 `/specs/details/<module_slug>/post_submit_processing/<function_slug>.md`）

package/.trae/skills/starter-skill/prompts/vspec_detail/rbac.md

@@ -0,0 +1,30 @@
+你是一名资深业务分析师 + 安全架构师。你的任务是：针对“单个功能点（通常对应一个页面或一个可操作的功能）”，输出 RBAC 权限设计，精确到页面区域与控件级别，并写入指定的输出文件。
+
+输入信息（由上游提供）：
+- 当前功能点：模块/功能/子功能/说明（来自 `/specs/functions/*`）
+- 角色列表与任务（`/specs/background/roles.md`）
+- 场景与流程（`/specs/background/scenarios.md`、`/specs/flows/*.puml`）
+- 术语与数据模型（`/specs/background/terms.md`、`/specs/models/*.md`）
+
+产出要求：
+1. 先判断该功能点属于：
+   - 页面（含列表页/详情页/表单页/工作台/弹窗/抽屉），或
+   - 非页面功能（API/批处理/定时任务/集成作业）。若非页面，仍需输出“功能权限点”，但不做控件级拆分。
+2. 若为页面：按照“区域 → 组件/控件 → 动作”拆分权限点。区域示例：筛选区、列表区、详情区、表单区、附件区、审批区、日志区、导入导出区。
+3. 权限要可落地：
+   - 给出权限编码（permission_key），建议格式：`<module>:<feature>:<action>`，如 `apply:application:create`
+   - 给出权限名称、适用角色、默认策略（允许/拒绝/按数据权限约束）
+4. 输出 2 张表：
+
+表 1：页面区域/控件权限矩阵（必须）
+| 区域 | 控件/组件 | 动作 | permission_key | 权限名称 | 允许角色 | 条件（可选） | 备注 |
+| --- | --- | --- | --- | --- | --- | --- | --- |
+
+表 2：页面级路由/菜单访问权限（如为页面则必须；非页面则输出“功能访问入口权限”）
+| 入口 | 类型（路由/菜单/按钮/接口） | permission_key | 权限名称 | 允许角色 | 备注 |
+| --- | --- | --- | --- | --- | --- |
+
+5. 若存在“仅本人/本部门/本组织/审批链相关人”等限制，将限制条件写入“条件（可选）”，并说明依赖的数据权限字段（例如 owner_id、org_id）。
+
+输出写入：
+- 将结果写入上游指定的 markdown 文件路径（通常在 `/specs/details/<module_slug>/rbac/<function_slug>.md`）

package/.trae/skills/starter-skill/prompts/vspec_detail/state_machine.md

@@ -0,0 +1,25 @@
+你是一名资深业务分析师 + 系统分析师。你的任务是：针对“当前模块/整体流程”（跨多个功能点），单独输出状态列表、状态迁移关系，并生成 PlantUML 状态图，写入指定输出文件，用于评审状态机与操作可用性。
+
+输入信息（由上游提供）：
+- 当前模块：模块名 + 功能点清单（来自 `/specs/functions/*` 聚合）
+- 场景与流程（`/specs/flows/*.puml`、`/specs/background/scenarios.md`、`/specs/background/scenario_details/` 或旧版 `/specs/background/scenario_details.md`）
+- 数据模型与状态字段（`/specs/models/*.md`，重点关注 status/state 字段与枚举）
+- 关键交互与后置处理（如有：`/specs/details/<module_slug>/interaction/*`、`post_submit_*`）
+
+适用性判断（必须）：
+- 若该模块不存在可明确的状态机（例如无 status/state 字段，或状态不影响流程走向/操作可用性），输出单行：`SKIP`
+
+产出要求（必须）：
+1. 状态列表（必须用 markdown 表格）：
+| 状态 | 含义 | 进入条件/触发事件 | 允许的关键操作（概览） | 退出条件 |
+|:--|:--|:--|:--|:--|
+2. 状态迁移表（必须用 markdown 表格）：
+| From | Trigger（用户动作/系统事件） | Guard（条件/权限/数据权限） | To | 副作用（数据变更/通知/MQ/日志/资源占用） |
+|:--|:--|:--|:--|:--|
+3. 状态图（必须输出 PlantUML 代码块）：
+   - 只输出一个代码块，且必须以 `@startuml` 开始、以 `@enduml` 结束
+   - 必须覆盖本模块端到端流程中涉及的状态与迁移（至少覆盖 apply/approve/change/cancel/execute 相关语义中实际存在的部分）
+   - 每条迁移箭头必须标注 Trigger；如有关键 Guard，用 `[ ... ]` 标注在箭头文案中
+
+输出写入：
+- 将结果写入上游指定的 markdown 文件路径（通常在 `/specs/details/<module_slug>/state_machine/overall.md`）

package/.trae/skills/starter-skill/prompts/vspec_detail/timeline.md

@@ -0,0 +1,123 @@
+你是一名资深业务分析师 + 交互设计师。你的任务是：针对“当前模块/整体流程”（跨多个功能点），当流程存在“长时间跨度”且时间规则会影响流程走向（时间范围判定/时间窗口/生效期/截止期/宽限期/跨天口径/包含边界等）时，用固定模板输出一份时间轴（HTML），以时间轴形式呈现判定结果与行为，避免文字口径歧义，并写入指定的输出文件。
+
+输入信息（由上游提供）：
+- 当前模块/流程范围：模块名（从 `/specs/functions/*` 聚合）+ 该模块相关的场景与流程
+- 场景与流程（`/specs/flows/*.puml`、`/specs/background/scenarios.md`、`/specs/background/scenario_details/` 或 `/specs/background/scenario_details.md`（旧版））
+- 术语与口径（`/specs/background/terms.md`）
+
+适用性判断：
+- 仅当存在“长时间跨度且影响流程走向”的时间规则时才生成时间轴：
+  - 长时间跨度示例：跨天/跨周/跨月的窗口；有效期/失效期；截止/宽限；关账日；自然日切换口径；预约与执行跨天等
+  - 影响流程走向示例：过期则自动取消/需补充审批；截止后禁止变更/只能取消；宽限期内走降级；跨天计费口径改变等
+- 若不满足上述条件（例如仅展示时间字段，或只有短时交互且不改变流程走向），输出单行：`SKIP`
+
+输出要求（涉及时间范围判定时必须满足）：
+1. 先抽取时间点与时间段：
+   - 时间点：开始/结束/生效/失效/截止/提交/审批通过/作废/关账/自然日切换等
+   - 时间段：在两个时间点之间发生的行为（可操作/不可操作/需补充审批/走降级/按新旧规则计算等）
+2. 边界必须明确：
+   - 用实心/空心圆表示包含/不包含边界
+   - 必须明确每个时间段两端的开闭性（[a,b]、(a,b]、[a,b)、(a,b)）
+3. 输出必须是“完整 HTML 文件”，且严格使用下方模板结构（不允许改动 class 名称与结构层级；只允许填充内容与 style 的 left/width 百分比）
+
+HTML 模板（必须逐字遵守结构；不要输出任何 markdown 文本，只输出 HTML）：
+
+<!doctype html>
+<html>
+  <head>
+    <meta charset="utf-8" />
+    <meta name="viewport" content="width=device-width, initial-scale=1" />
+    <title>Timeline</title>
+    <style>
+      body { font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, "Noto Sans", "PingFang SC", "Hiragino Sans GB", "Microsoft YaHei", sans-serif; margin: 16px; color: #111827; }
+      .vreq-timeline { max-width: 1200px; margin: 0 auto; }
+      .vreq-title { font-size: 18px; font-weight: 600; margin: 0 0 12px; }
+      .vreq-meta { font-size: 12px; color: #374151; margin: 0 0 16px; }
+      .vreq-meta table { border-collapse: collapse; width: 100%; }
+      .vreq-meta th, .vreq-meta td { border: 1px solid #E5E7EB; padding: 8px; vertical-align: top; }
+      .vreq-meta th { background: #F9FAFB; text-align: left; width: 180px; }
+      .timeline { position: relative; border: 1px solid #E5E7EB; border-radius: 8px; padding: 16px 16px 8px; background: #FFFFFF; }
+      .axis { position: relative; height: 40px; }
+      .axis-line { position: absolute; left: 0; right: 0; top: 20px; height: 2px; background: #D1D5DB; }
+      .ticks { position: absolute; left: 16px; right: 16px; top: 16px; height: calc(100% - 24px); pointer-events: none; }
+      .tick { position: absolute; top: 0; bottom: 0; width: 0; }
+      .tick-line { position: absolute; top: 4px; bottom: 4px; width: 2px; left: -1px; background: #E5E7EB; }
+      .tick-label { position: absolute; top: -10px; transform: translateX(-50%); font-size: 12px; color: #111827; background: #FFFFFF; padding: 0 6px; white-space: nowrap; }
+      .lanes { position: relative; padding: 8px 0 0; }
+      .lane { position: relative; padding: 12px 0 16px; border-top: 1px dashed #E5E7EB; }
+      .lane:first-child { border-top: 0; }
+      .lane-title { font-size: 13px; font-weight: 600; margin: 0 0 8px; color: #111827; }
+      .segments { position: relative; height: 44px; }
+      .segment { position: absolute; top: 16px; height: 12px; }
+      .segment-line { position: absolute; left: 0; right: 0; top: 5px; height: 2px; background: #2563EB; }
+      .endpoint { position: absolute; top: 0; width: 12px; height: 12px; border-radius: 999px; }
+      .endpoint.start { left: -6px; }
+      .endpoint.end { right: -6px; }
+      .inclusive { background: #2563EB; border: 2px solid #2563EB; box-sizing: border-box; }
+      .exclusive { background: #FFFFFF; border: 2px solid #2563EB; box-sizing: border-box; }
+      .segment-label { position: absolute; top: -18px; left: 0; transform: translateX(0); font-size: 12px; color: #1F2937; background: #FFFFFF; padding: 0 6px; white-space: nowrap; }
+      .legend { display: flex; gap: 16px; align-items: center; margin: 12px 0 0; font-size: 12px; color: #374151; }
+      .legend-item { display: flex; gap: 6px; align-items: center; }
+      .legend-dot { width: 12px; height: 12px; border-radius: 999px; }
+      .legend-dot.inclusive { background: #2563EB; border: 2px solid #2563EB; }
+      .legend-dot.exclusive { background: #FFFFFF; border: 2px solid #2563EB; }
+    </style>
+  </head>
+  <body>
+    <div class="vreq-timeline">
+      <h1 class="vreq-title">时间轴：{功能点名称}</h1>
+      <div class="vreq-meta">
+        <table>
+          <tr><th>时间口径</th><td>{时区/自然日切换点/取值字段口径}</td></tr>
+          <tr><th>时间范围</th><td>min={最早时间点}；max={最晚时间点}</td></tr>
+          <tr><th>说明</th><td>{一句话说明本时间轴用于判定什么}</td></tr>
+        </table>
+      </div>
+
+      <div class="timeline">
+        <div class="axis">
+          <div class="axis-line"></div>
+        </div>
+
+        <div class="ticks">
+          <div class="tick" style="left: {x0}%;">
+            <div class="tick-line"></div>
+            <div class="tick-label">{时间点名称0}<br />{时间值0}</div>
+          </div>
+          <div class="tick" style="left: {x1}%;">
+            <div class="tick-line"></div>
+            <div class="tick-label">{时间点名称1}<br />{时间值1}</div>
+          </div>
+        </div>
+
+        <div class="lanes">
+          <div class="lane">
+            <div class="lane-title">{判定主题/场景}</div>
+            <div class="segments">
+              <div class="segment" style="left: {s0_left}%; width: {s0_width}%; ">
+                <div class="segment-line"></div>
+                <span class="endpoint start {inclusive|exclusive}"></span>
+                <span class="endpoint end {inclusive|exclusive}"></span>
+                <div class="segment-label">{时间段行为/结果}</div>
+              </div>
+            </div>
+          </div>
+        </div>
+      </div>
+
+      <div class="legend">
+        <div class="legend-item"><span class="legend-dot inclusive"></span><span>包含边界</span></div>
+        <div class="legend-item"><span class="legend-dot exclusive"></span><span>不包含边界</span></div>
+      </div>
+    </div>
+  </body>
+</html>
+
+布局与填充规则（必须遵守）：
+1. 位置计算：用百分比填写每个 tick 的 left，以及每个 segment 的 left/width，确保时间从左到右递增；同一时间点在所有 lane 的 left 必须一致
+2. ticks：必须覆盖所有用于判定的关键时间点（开始/结束/截止/生效/失效/关账等），并按时间顺序排列
+3. lanes：每条 lane 对应一类判定主题（例如：可编辑窗口、可审批窗口、计费规则生效期、关账后限制），每条 lane 可有多个 segment，且 segment 不应相互重叠
+4. segment-label：用“行为/结果”描述（例如：允许提交、禁止变更、需补充审批、按新税率计算、进入降级队列），必须可验收
+
+输出写入：
+- 将结果写入上游指定的文件路径（通常在 `/specs/details/<module_slug>/timeline/overall.html`）