菜单
对规格文档（PRD + arch_spec + MAS）做对抗性评审：完整性 / 一致性 / 可实现性 / 验证覆盖。默认 role=ruthless（规格阶段错误成本最高）。在 MAS frozen 前调用。触发场景：(1) bba-architect 写完 MAS；(2) 显式 /bb-spec-review。
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
| name | bb-spec-review |
| description | 对规格文档（PRD + arch_spec + MAS）做对抗性评审：完整性 / 一致性 / 可实现性 / 验证覆盖。默认 role=ruthless（规格阶段错误成本最高）。在 MAS frozen 前调用。触发场景：(1) bba-architect 写完 MAS；(2) 显式 /bb-spec-review。 |
| user-invocable | true |
跨文档检查 PRD ↔ arch_spec ↔ MAS 一致性、可实现性、验证覆盖；输出严重程度分级 issues。
bba-architectbb-challenge-code（通用）| arg | type | required | 默认 | 说明 |
|---|---|---|---|---|
| prd_path | path | true | — | PRD.md |
| arch_spec_dir | path | true | — | arch_spec 目录 |
| mas_dir | path | true | — | spec_mas/（directory containing MAS markdown files） |
| role | enum | false | ruthless | ruthless|linus|balanced |
| focus | string | false | feasibility,consistency,coverage | — |
| design_name | string | true | — | — |
| stamp | string | false | <auto> | — |
| field | 值 |
|---|---|
artifact_path | designs/<name>/spec_review_<stamp>.md |
issues_found | int |
severity_summary | {critical,high,medium,low} |
consistency_issues | list[str] |
feasibility_issues | list[str] |
coverage_issues | list[str] |
pass | bool（critical==0 && high≤2） |
valid | bool |
prd = open(prd_path).read()
arch = {p.name: p.read_text() for p in Path(arch_spec_dir).glob("*.md")}
mas = {p.name: p.read_text() for p in Path(mas_dir).glob("*.md")}
prompt = render_spec_review_prompt(role, focus, prd, arch, mas)
claude --print "<prompt>" > <artifact_path> 或 agent 内部生成。15 min timeout（文档可能很长）。
scripts/parse_spec_review.py：
## Consistency / ## Feasibility / ## Coverage 段pass = (critical == 0 && high <= 2)返回 JSON。pass=false → bba-architect 修 MAS（≤2 iter），仍失败 → escalate 用户。
| 维度 | 检查 |
|---|---|
| consistency | PRD FR ↔ arch module ↔ MAS FSM 三层一致 |
| feasibility | 频率/面积/PDK 能力匹配 |
| coverage | verif_plan_seed 完整、corner 覆盖 |
| ambiguity | 模糊描述、边界缺失 |
| 级别 | 通过 |
|---|---|
| critical | == 0 |
| high | ≤ 2 |
| 状态 | 行动 |
|---|---|
| pass=true | frozen MAS + 开 ready-for-rtl |
| pass=false & iter<2 | bba-architect 修 MAS 重评 |
| iter≥2 | escalate 用户 |
scripts/build_prompt.py、scripts/run_review.py、scripts/parse_spec_review.pyreferences/spec_review_dimensions.md基于 AST 检查 CDC/RDC 违例：对比 MAS clock_domains 找跨域信号，检查是否被 2ff-sync CBB 保护。触发场景：(1) bba-guru-synthesis 综合前；(2) 显式 /bb-check-cdc。
调用 verible-verilog-lint 检查 SV 源码。src 必须可综合（零 syntax error），tb 允许 verification constructs。发现 src error 时自动修复重检（max 3 iter）。触发：(1) bba-guru-rtl 生成后；(2) RTL 修复重检；(3) 显式 /bb-check-lint。
解析 Verilator coverage.dat + sim log，输出 functional + code coverage 数值，判断是否 100% 达标。触发场景：(1) bb-invoke-verilator 后；(2) 每次回归后；(3) 显式 /bb-collect-coverage。
从 MAS（io_ring/pad_list/clock_plan）+ 综合网表生成 Magic floorplan TCL，交给 bb-invoke-magic 执行。触发场景：(1) bba-guru-pd 综合后做 floorplan；(2) DRC 失败后调整 utilization 重生成；(3) 显式 /bb-create-floorplan。
从 MAS（clock_domains / io_timing / path_exceptions）派生 Synopsys SDC 时序约束文件，OpenSTA 语法校验。触发场景：(1) bba-guru-synthesis 综合前；(2) post-PD timing fail 修订约束；(3) 显式 /bb-create-sdc。
扫描 RTL 目录提取模块层次依赖，拓扑排序后写 file_list.f（叶模块在前，top 在最后），供 Yosys/Verilator 使用。触发场景：(1) bba-guru-rtl 生成 RTL 后生成 file_list；(2) 显式 /bb-find-module-deps。