BFM-decomp/config/kit_coverage_map.tsv

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)
43	rule	R84	DK-67	the ignore file's directory-form wall — DK-67 IS this rule
44	rule	R85	DK-57	two DERIVED figures per check, never a typed one — DK-57 (numbers generated, never typed) carries it; G58 for documents
45	rule	R86	DK-66	a dry-run judge is an instrument, negative-controlled before a FAIL is believed — DK-66 (the instrument's own parts)
46	rule	R87	G66	a tool ships with its dictionary row or the health check fails — G66 (the tool dictionary)
47	rule	R88	DK-80	re-run the link checker after ANY untrack or archive move — DK-80 (checks that pass vacuously before an untracking)
48	rule	R89	KIT:SETUP.md	an unattended installer's manifest is a derivable SET — the kit's installer states it that way
49	rule	R90	KIT:templates/firewall.txt	transcripts kept in the repository need the firewall's class-7 line — the kit's firewall template carries it
50	rule	R91	RECORD	a foreign project's path is named in prose, never as a backticked citation — a rule of this repository's link checker, not portable
51	rule	R92	DK-69	a distillation ships with a coverage check against the populations it claims to distil — DK-69 (blind spots by construction)
52	rule	R94	DK-66	a snapshot instrument never .strip()s a porcelain listing — one of the judge's own false flags, DK-66
53	rule	R95	DK-65	types are a banking lever and a width lever — DK-65 (and G62's bank-time clause)
54	rule	R96	DK-81	a scratch prune is an instrument change: every tool that writes under a pruned tree is re-run — DK-81 fact (4) IS this rule
55	rule	R97	G29	green is read from a check's EXIT CODE with pipefail, never its last line — G29 (a soft error inside a success envelope is that error; provenance R49 + R53) carries it; the P34 masked-tail commit is its instance
56	rule	R98	DK-81	a third-party hand-off file is proven through that party's own toolchain and the proving tool writes the paste — DK-81 fact (1) IS this rule
57	rule	R99	DK-81	the public tree's contents decided before the flip; a retired document gets its Archive-index row and is deleted in the same commit — DK-81 fact (2) IS this rule
58	accelerator	P36 S99	DK-61	the search harness whose target was a disassembly — a known-true case (a body the tree already matches) read before any verdict; DK-61
59	accelerator	P36 S105	DK-69	a generator's refusals are an unaudited population — the tests that pass by construction; a negative-control corpus per generator; DK-69
60	rule	R100	DK-64	one source per shared function, a duplicate a defect the health chain asserts — the dedup shape of DK-64 (readability at bank time) and the S1 gate; RECORD carries the P35 PhaseEnd
61	rule	R101	DK-59	every task-advancing commit carries its log line and the checkpoint headline — DK-59 (the checkpoint is written to be replayed): a checkpoint older than HEAD is a dead session's
62	rule	R102	DK-66	a tool restores from its own snapshot, never git checkout on a tree it did not commit — DK-66 (the restore path is part of the instrument)
63	rule	R103	DK-69	a failure-cause extractor is negative-controlled against the compiler's real message forms — DK-69 (the tests that pass by construction)
64	rule	R104	DK-9	build the disagreeing oracle before the batch runs and measure the disagreement first — DK-9 (the differential-oracle harness) with DK-61's known-true case
65	rule	R105	DK-70	a registry lists a member only after the gate spoke for it; a listed member whose site does not share is a named defect — DK-70 (the health suite asserts the work was done)
66	rule	R106	DK-71	a policy taken on a remembered precedent is a belief — read the target project's tree — DK-71 (what earns belief)
67	accelerator	P37 S106	DK-65	a stress-test before the fleet run and an audit's rejections read before believed: the struct-spelling byte finding corrects DK-65 (per-access spelling under the gate); the probe-first order and the known-true discipline are DK-61; DK-65
68	accelerator	P37 S107	DK-65	the engine's first day: a linked-identity oracle is the build's own link (DK-61's known-true discipline, on a linker); a control that builds is a writer of build/ and the snapshot refuses what it cannot reproduce (DK-65's byte-gated spelling needs a baseline it can trust); process pools before threads, a selftest's scratch never live, typed signatures after the sites are members — engine-building lessons that ride with DK-65