Skip to content
Merged
20 changes: 20 additions & 0 deletions src/v4/BRIEF_TEMPLATE.md
Original file line number Diff line number Diff line change
Expand Up @@ -41,6 +41,26 @@ DISCIPLINE (non-negotiable):
- Cost-of-change: changes here should not ripple to other files
(if they do, the substrate is wrong β€” surface, do not work around)

BURN-DOWN OUTPUT BAR (per docs/modeling-discipline.md β€” Practices 4, 7–10;
same numbering as that doc only; not a parallel rubric):
- **Practice 7 β€” projection, not enumeration:** derived operations (map /
filter / …) come from eliminators (`fold`, projections), not hand-zoos
of nominal one-field wrappers.
- **Practices 8 / 9 β€” fact-bundle / no-prose:** no hollow carriers;
deferral rationale lives in `DECISIONS.md` / ledger rows β€” not multi-line
`.dag` comment expansion.
- **Practice 4 β€” dissolution dispositions on substrate PRs:** any
dissolution-class surface in the diff must carry an explicit **πŸ”΄ / 🟑 /
🟒** disposition (shared legend in modeling-discipline) consistent with PR
#3244: **🟒** means *genuinely no dissolution work* (must **not** name a
downstream dissolve substrate in the same breath); **🟑** names the **named
primitive + substrate node + dissolve-on-arrival** follow-up; **πŸ”΄** fixes
here. (Practice 10 in that doc is the derived-operation / dissolution-
findings *review* class; disposition tags themselves are Practice 4.)
- **Manager pre-gate (burn-down lane):** before `gh pr ready`, the manager
reads every disposition for internal consistency; workers do not flip
ready on self-disposition alone.

TEST SURFACE:
src/v4/test/claim/<path>/*.dag β€” TestClaim data
Each TestClaim is typed input + expected output, no Rust
Expand Down
Loading