feat(factory): plan a reviewable design and vertical slices in Tracer v4 #772

Open

dries wants to merge 1 commit from feat/factory-tracer-v4 into main

dries commented

2026-09-29 11:34:02 +02:00

Owner

Summary

New built-in workflow ocman/tracer@4, prompt changes only:

Plan: writes the design into rationale_markdown (product, architecture, program design: types, signatures, call flow) so approval covers it. Restores the tracer-bullet vertical-slice split that v2 had and v3 dropped. Each task carries the design part it implements, because implementation sessions only see their task.
Implement: follows the approved program design, or says why it can't.
Verify: reads the approved proposal rationale and reports departures from it.
Deliver: PR lists departures first, then maps each change to its design item and acceptance criterion.

Epics pinned to @3 keep their prompts; @3 stays readable through GetFormula and compositionSource.

Testing

New TestBuiltInFormulaAsksForDesignAndVerticalSlices: fails against the v3 prompts, passes with v4.
TestBuiltInFormulaContainsItsPrompts now checks v3 is not rewritten.
go test ./internal/factory/... ./internal/server/... ./internal/mcp/... and golangci-lint run ./internal/factory/... pass.

## Summary New built-in workflow `ocman/tracer@4`, prompt changes only: - **Plan:** writes the design into `rationale_markdown` (product, architecture, program design: types, signatures, call flow) so approval covers it. Restores the tracer-bullet vertical-slice split that v2 had and v3 dropped. Each task carries the design part it implements, because implementation sessions only see their task. - **Implement:** follows the approved program design, or says why it can't. - **Verify:** reads the approved proposal rationale and reports departures from it. - **Deliver:** PR lists departures first, then maps each change to its design item and acceptance criterion. Epics pinned to `@3` keep their prompts; `@3` stays readable through `GetFormula` and `compositionSource`. ## Testing - New `TestBuiltInFormulaAsksForDesignAndVerticalSlices`: fails against the v3 prompts, passes with v4. - `TestBuiltInFormulaContainsItsPrompts` now checks v3 is not rewritten. - `go test ./internal/factory/... ./internal/server/... ./internal/mcp/...` and `golangci-lint run ./internal/factory/...` pass.

dries added 1 commit

2026-09-29 11:34:03 +02:00