Some checks failed
CI / check (push) Has been cancelled
Capture uncommitted solver robustness work (regularization, domain errors, linear solver lifecycle, tube DP/MSH), web workbench updates, and synced BMAD skills across IDE agent folders before starting BPHX pressure-drop. Co-authored-by: Cursor <cursoragent@cursor.com>
98 lines
6.6 KiB
Markdown
98 lines
6.6 KiB
Markdown
---
|
|
deferred_work_file: '{implementation_artifacts}/deferred-work.md'
|
|
---
|
|
|
|
# Step 4: Review
|
|
|
|
## RULES
|
|
|
|
- YOU MUST ALWAYS SPEAK OUTPUT in your Agent communication style with the config `{communication_language}`
|
|
- No human interaction: do not ask questions or wait for approval in this step.
|
|
- All review subagents must run at the same model capability as the current session.
|
|
|
|
## INSTRUCTIONS
|
|
|
|
Change `{spec_file}` status to `in-review` in the frontmatter before continuing.
|
|
|
|
### Construct Diff
|
|
|
|
Read `{baseline_revision}` from `{spec_file}` frontmatter. If `{baseline_revision}` is missing or `NO_VCS`, use best effort to determine what changed. Otherwise, construct `{diff_output}` covering all changes — tracked and untracked — since `{baseline_revision}`.
|
|
|
|
Do NOT `git add` anything — this is read-only inspection.
|
|
|
|
### Review
|
|
|
|
Launch Blind Hunter and Edge Case Hunter in parallel without prior conversation context.
|
|
|
|
- **Blind Hunter** — prompt:
|
|
> Invoke the `bmad-review-adversarial-general` skill on this diff:
|
|
>
|
|
> {diff_output}
|
|
- **Edge Case Hunter** — prompt:
|
|
> Invoke the `bmad-review-edge-case-hunter` skill on this diff:
|
|
>
|
|
> {diff_output}
|
|
|
|
### Classify
|
|
|
|
1. Deduplicate all review findings.
|
|
2. Assign severity to each finding by consequence for the artifact's main consumer (software user, document reader, etc).
|
|
Disregard any severity assigned by a reviewing subagent. Review subagents operate under by-design information asymmetry and do not have enough context to set final severity for this workflow.
|
|
- `low`: none or cosmetic
|
|
- `medium`: tolerable
|
|
- `high`: intolerable
|
|
3. Route each finding into exactly one triage category. The first three categories are **this story's problem** — caused or exposed by the current change. The last two are **not this story's problem**.
|
|
- **intent_gap** — caused by the change; cannot be resolved from the spec because the captured intent is incomplete. Do not infer intent unless there is exactly one possible reading.
|
|
- **bad_spec** — caused by the change, including direct deviations from spec. The spec should have been clear enough to prevent it. When in doubt between bad_spec and patch, prefer bad_spec — a spec-level fix is more likely to produce coherent code.
|
|
- **patch** — caused by the change; trivially fixable without human input. Just part of the diff.
|
|
- **defer** — pre-existing issue not caused by this story, surfaced incidentally by the review. Collect for later focused attention.
|
|
- **reject** — noise. Drop silently. When unsure between defer and reject, prefer reject — only defer findings you are confident are real.
|
|
4. Append a new entry to the `## Review Triage Log` section in `{spec_file}`, in this format:
|
|
```markdown
|
|
### {date} — Review pass
|
|
- intent_gap: count
|
|
- bad_spec: count
|
|
- patch: count
|
|
- defer: count
|
|
- reject: count
|
|
- addressed_findings:
|
|
- `[high|medium|low]` `[patch|bad_spec]` <finding summary and action taken in this pass>
|
|
```
|
|
Where `count` is either just `0`, or total with breakdown by severity `N: (high Nhigh, medium Nmedium, low Nlow)`.
|
|
If no patch was fixed and no bad_spec repair loopback was triggered in this pass, write:
|
|
```markdown
|
|
- addressed_findings:
|
|
- none
|
|
```
|
|
5. Process findings in cascading order. If intent_gap exists, lower findings are moot; follow the intent_gap branch below. If bad_spec exists, lower findings are moot since code will be re-derived. If neither exists, process patch and defer normally. Before each bad_spec loopback, read `{spec_file}` frontmatter `review_loop_iteration` (missing means `0`), increment it by 1, and write it back. If it exceeds 5, append the triage-log entry for this pass with `addressed_findings: none`, then HALT with status `blocked` and blocking condition `review repair loop exceeded 5 iterations (non-convergence)`.
|
|
- **intent_gap** — Root cause is inside `<intent-contract>`. Revert code changes. Append the triage-log entry for this pass with `addressed_findings: none`, then HALT with status `blocked`, blocking condition `intent gap in intent contract`, and include the intent-gap findings.
|
|
- **bad_spec** — Root cause is outside `<intent-contract>`. Do not modify content inside `<intent-contract>`. Before reverting code: extract KEEP instructions for positive preservation (what worked well and must survive re-derivation). Revert code changes. Read the `## Spec Change Log` in `{spec_file}` and strictly respect all logged constraints when amending the sections outside `<intent-contract>` that contain the root cause. Append a new change-log entry recording: the triggering finding, what was amended, the known-bad state avoided, and the KEEP instructions. Append the triage-log entry for this pass, listing every bad_spec finding that triggered the spec amendment and implementation loopback under `addressed_findings`. Read fully and follow `./step-03-implement.md` to re-derive the code, then this step will run again.
|
|
- **patch** — Auto-fix. These are the only findings that survive loopbacks. After auto-fixing, append the triage-log entry for this pass, listing every patch fixed in this pass under `addressed_findings`.
|
|
- **defer** — Append one new entry to `{deferred_work_file}` using this format. Do not modify existing entries or look for duplicates.
|
|
```markdown
|
|
- source_spec: `{spec_file}`
|
|
summary: <one sentence>
|
|
evidence: <why this is real>
|
|
```
|
|
- **reject** — Drop silently.
|
|
|
|
## Finalize
|
|
|
|
Prepare `Auto Run Result` details:
|
|
- Summary of implemented change
|
|
- Files changed with one-line descriptions
|
|
- Review findings breakdown: patches applied, items deferred, items rejected
|
|
- Follow-up review recommendation: `true` when the final review pass made review-driven changes significant enough to benefit from an independent follow-up review; otherwise `false`. Use judgment, not a fixed numeric threshold. Base the judgment on the final pass's triage log and fixes, including patched-finding volume, consequence/severity, breadth, behavior/API/security/data impact, and implementation complexity. Many low-severity patched findings can be significant by volume. Do not recommend follow-up for only a few localized low-consequence fixes.
|
|
- Verification performed, including command outcomes or manual inspection notes
|
|
- Any residual risks
|
|
|
|
Set `{spec_file}` frontmatter `followup_review_recommended` from the judgment above.
|
|
|
|
If version control is available, commit. Do not push.
|
|
|
|
Capture `final_revision` (current HEAD after committing, or `NO_VCS` if version control is unavailable) into `{spec_file}` frontmatter.
|
|
|
|
Set `{spec_file}` frontmatter `status: done`.
|
|
|
|
HALT with status `done`.
|