mirror of
https://github.com/Druthulu/BFM-decomp
synced 2026-09-27 22:45:39 -04:00
0c29c9e16b
- decomp-architect/corpus/record/: the how-to (13), decision-log, accelerators, retrospective, story, wave-playbook, effort-map, gen3-standards, gen3-handoff, DIGEST and every PhaseEnd (34) verbatim behind an authored front page (what each is, how to read it, what is NOT there — the phase logs, R19 — and that the mining pass is their distillation); tool_census: RECORD_SOURCES + record_dest + the third corpus in plan/write/check (358 copies + 28 pointers, --check OK); kit_lint exempts corpus/record; SETUP Step 6 gains 2c docs/inherited-record.md (+ the verify line; expected-manifest +1); ops-setup/README/tree/methodology/ wiki page/Home/Tools page/README bullet/SETUP row: "two dictionaries" → three - tools/kit_coverage.py (+ config/kit_coverage_map.tsv): derives R1..R83 from DIGEST §3 (asserted contiguous) and the 58 accelerator entries (headings + numbered items), asserts each is cited by a provenance line of the registry seed / the kernels or dispositioned (G / DK / FOLDED:G / ENV / PA / SEED: / KIT: / RECORD / COOKBOOK / NOT-PORTABLE; unknown ids refused); first run: 26 uncited rules + 21 uncited entries → DK-66 (a ledger's tie-break, a checker's widening and a blanket commit are part of the instrument — R70/R80/R52), DK-67 (the ignore file's directory-form wall — S91 (1)), DK-68 (a summarised signal is a claim, not ground truth — R14/R66) in a new kernels section 8 (the museum is 9; "In all" 68) + 41 dispositions (15 PA, 3 ENV, folds into G6/G18/G38/G66/DK-12/19/20/22/25/26/31/35/44/45/46/57/61, 1 KIT template, 1 COOKBOOK); now 0 UNCOVERED on both populations; wired into tools-health after tool_census --check; SETUP row + dictionary row - verify: tool_census --check OK; kit_coverage OK (rules 57 cited + 26 dispositioned / 83; accelerators 41 + 15 / 58); kit_lint OK; doc_links --strict OK; wiki_render --selftest 32 pages / 0 unlisted
4.8 KiB
4.8 KiB
| 1 | kind | key | disposition | note |
|---|---|---|---|---|
| 2 | rule | R2 | ENV | all-in-WSL, one ext4 clone, loopback MCP — the source project's machine |
| 3 | rule | R3 | PA | tooling under tools/ is ProjectArchitect's layout convention (its templates carry it) |
| 4 | rule | R4 | PA | plan mode every phase = ProjectArchitect's gate 1 |
| 5 | rule | R5 | PA | no attribution trailers — ProjectArchitect's SETUP/commit rule |
| 6 | rule | R6 | PA | the agent commits, the owner pushes — ProjectArchitect's git posture (never push) |
| 7 | rule | R7 | PA | the effort-map check before each phase plan — ProjectArchitect's effort protocol; the kit adds the decomp rows |
| 8 | rule | R8 | PA | commit cadence — superseded in the source project by per-task commits (R42, cited); ProjectArchitect's own |
| 9 | rule | R9 | FOLDED:G6+SEED:mcp-reconnect-after-restart.md | verify the oracle database persisted after a save — inside G6 (mirror + verify) and the reconnect seed |
| 10 | rule | R11 | ENV | the Windows-native emulator bridged over a web API — the source project's machine |
| 11 | rule | R12 | KIT:templates/run-README.md | no /tmp; project-local scratch under .run/ with dated tracked exceptions — the kit's run-README template + the firewall's scratch block |
| 12 | rule | R14 | DK-68 | a summarised signal is a claim, not ground truth — realised as a kernel by the coverage pass |
| 13 | rule | R18 | PA | the plain-English recap at every session/phase end — ProjectArchitect's PhaseEnd template |
| 14 | rule | R19 | PA | the worklog archived under logs/, out of the load order — ProjectArchitect's close step (the kit's Step 10 does the same) |
| 15 | rule | R20 | FOLDED:G18 | the private-repo backup policy, amended by R78 (cited) — G18's text carries the backup home |
| 16 | rule | R21 | PA | keep the ops reference current in the same change — ProjectArchitect's ops-setup contract; the kit adds the decomp rows |
| 17 | rule | R23 | ENV | stop the Ghidra MCP before a checkpoint commit; the database churn is never staged — Ghidra-specific; the firewall template ignores the database directory |
| 18 | rule | R25 | PA | the recap stored in the PhaseEnd — ProjectArchitect's PhaseEnd template |
| 19 | rule | R26 | PA | prompt for breadth (multi-agent) on breadth-shaped work — ProjectArchitect's effort protocol |
| 20 | rule | R27 | PA | every effort transition prompted and waited for — ProjectArchitect's effort protocol |
| 21 | rule | R28 | PA | build the harness task list right after plan approval — ProjectArchitect's phase start |
| 22 | rule | R30 | PA | capture context-dependent knowledge during the producing session — ProjectArchitect X5 (cited by the methodology) |
| 23 | rule | R31 | PA | the decision log's WHY entries — ProjectArchitect's decision log; the kit's record ships the source project's |
| 24 | rule | R52 | DK-66 | a blanket committer must not adopt a collapsed file — realised as a kernel by the coverage pass |
| 25 | rule | R70 | DK-66 | a ledger's tie-break is part of the instrument — realised as a kernel by the coverage pass |
| 26 | rule | R79 | DK-22 | pkill -f never with a literal the shell's own command line contains — DK-22's second wound |
| 27 | rule | R80 | DK-66 | a widened checker classifies a missing promised page as PENDING — realised as a kernel by the coverage pass |
| 28 | accelerator | #12 | DK-25 | byte-locate the residual before blaming the draft — DK-25 is this entry under its own title |
| 29 | accelerator | #13 | DK-31 | census what is already drafted before drawing — DK-31 is this entry under its own title |
| 30 | accelerator | #14 | DK-26 | the cheap probe must call the real planner — DK-26 is this entry |
| 31 | accelerator | #18 | DK-20 | a claim derived from bytes is not verified by a compiler — DK-20 (a claim names the compilation it survived) |
| 32 | accelerator | #20 | DK-12 | unit boundaries at the jump-table spans at segmentation time — DK-12 (the segmentation law) |
| 33 | accelerator | S77 (2) | DK-19+G25 | a refusal-check measured against what the real pipeline does — DK-19 + G25 (negative-control every refusal-check) |
| 34 | accelerator | S77 (3) | G38 | an exclusion reason is a claim about the tooling on the day — G38 (draw-time bankability; re-probe the exclude list) |
| 35 | accelerator | P32 T3 (2) | DK-35 | a shared scratch directory is a shared blast radius — DK-35 (per-item work directories) |
| 36 | accelerator | P32 T3 (4) | COOKBOOK | the rematerialisation slider is a computation from the dump's counts — an idiom-level lever; lives in the cookbook corpus |
| 37 | accelerator | P32 T3 (11) | DK-44 | attribute the residual to a pass with a dump line — DK-44 is this entry |
| 38 | accelerator | P32 T3 (14) | DK-46 | the similarity score is not a shape oracle; grep the constants, objdump the window — DK-46 |
| 39 | accelerator | P32 T3 (15) | DK-45 | re-run the producer census with the combiner's bookkeeping in view — DK-45 (a producer census before a spelling sweep) |
| 40 | accelerator | P33.5 S91 (2) | DK-57 | a typed figure against a derived one — DK-57 (numbers generated, never typed) |
| 41 | accelerator | P33.5 S91 (3) | DK-61 | a dry-run judge is an instrument; negative-control it — DK-61 (a known-true case before reading any instrument's output) |
| 42 | accelerator | P33.5 S91 (4) | G66 | a tool without a dictionary row is invisible — G66 (consult the tool dictionary first) |