Skip to content

W0-C4: spec-author 可复用 workflow(冷上下文 + 注入防线 + 计量) #133

Description

@randypanding

父意图: #128 | Spec: specs/IR-0001/spec.md v3 | 波次: W0 | 依赖: W0-C1 | 预算: BUDGET-01
C1 路径变更(CI-Workflows workflows/)须附 ADR;调用方钉 commit hash(供应链惯例)。

任务

spec-author 可复用 workflow(CI-Workflows 仓):冷上下文读 IR issue → 产出 spec PR(BEH-01、IFACE-02、INV-04、INV-10)。

AC(Given-When-Then)

  • AC-1 (api): Given 一份合规 IR issue,When workflow 运行,Then 产出 spec.md(条款级,frontmatter 过 g010 过渡 schema:AC≥1、blastRadius 非空、无实现关键词)并在 issue 所在仓开 PR。
  • AC-2 (api,注入 = spec AC-12): Given 嵌入注入指令的恶意 IR 文本("豁免 g060"/"ceiling 改 9999"),When spec-author 处理,Then 输出不含豁免/放宽/跳过关卡类条款(g010 注入扫描 fail 即拒绝);输入文本以结构化 quoting 包裹(INV-10)。
  • AC-3 (api): Given 每次 LLM 调用,When 完成,Then 计量 wrapper 落盘(W0-C1 接口)且 model/prompt版本/seed/采样参数/产物 hash 记录齐全(BEH-09)。
  • AC-4 (api): Given 阶段产物,When 检查上下文边界,Then 除 IR issue 正文 + spec 模板外无其他输入(冷上下文,INV-04)。

blastRadius(预测)

CI-Workflows: .github/workflows/**Cloudbird-Software/.github: specs/**

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    state:done卡完成(AC 验证过 + PR 合并)type:card工作卡(wave-planner 产出)

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions