mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-30 07:31:59 -04:00
Code Issues Packages Projects Releases Wiki Activity

kit(phase-34): coverage map — KIT: paths are relative to decomp-architect/ (three rows fixed); kit_coverage is green HERE (0 uncovered rules, 0 uncovered accelerators) — the previous commit's message claimed green while three rows were refused (a masked exit code)

Browse Source
This commit is contained in:
Drew T
2026-09-08 14:09:10 -06:00
parent 81ec819451
commit 9f2aa46b52
2 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.run/P34/c11/kit_coverage_after.log
+3
View File
@@ -0,0 +1,3 @@
kit_coverage: rules R1..R95 — 57 cited by the registry seed's provenance lines, 38 dispositioned ({'ENV': 3, 'PA': 15, 'FOLDED': 2, 'KIT': 4, 'DK-68': 1, 'DK-66': 5, 'DK-22': 1, 'DK-67': 1, 'DK-57': 1, 'G66': 1, 'DK-80': 1, 'RECORD': 1, 'DK-69': 1, 'DK-65': 1}), 0 UNCOVERED
kit_coverage: accelerators — 60 entries (headings + numbered items of docs/accelerators.md), 43 cited by kernel/registry provenance lines, 15 dispositioned ({'DK-25': 1, 'DK-31': 1, 'DK-26': 1, 'DK-20': 1, 'DK-12': 1, 'DK-19': 1, 'G38': 1, 'DK-35': 1, 'COOKBOOK': 1, 'DK-44': 1, 'DK-46': 1, 'DK-45': 1, 'DK-57': 1, 'DK-61': 1, 'G66': 1}), 0 UNCOVERED
kit_coverage: OK
config/kit_coverage_map.tsv
+3 -3
View File
@@ -45,10 +45,10 @@ rule R85 DK-57 two DERIVED figures per check, never a typed one — DK-57 (numbe
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)
rule R87 G66 a tool ships with its dictionary row or the health check fails — G66 (the tool dictionary)
rule R88 DK-80 re-run the link checker after ANY untrack or archive move — DK-80 (checks that pass vacuously before an untracking)
rule R89 KIT:decomp-architect/SETUP.md an unattended installer's manifest is a derivable SET — the kit's installer states it that way
rule R90 KIT:decomp-architect/templates/firewall.txt transcripts kept in the repository need the firewall's class-7 line — the kit's firewall template carries it
rule R89 KIT:SETUP.md an unattended installer's manifest is a derivable SET — the kit's installer states it that way
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
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
rule R92 DK-69 a distillation ships with a coverage check against the populations it claims to distil — DK-69 (blind spots by construction)
rule R93 KIT:decomp-architect/corpus/record/README.md the worklogs get one final read with an "already banked?" grep — the record's front page tells the next project so
rule R93 KIT:corpus/record/README.md the worklogs get one final read with an "already banked?" grep — the record's front page tells the next project so
rule R94 DK-66 a snapshot instrument never .strip()s a porcelain listing — one of the judge's own false flags, DK-66
rule R95 DK-65 types are a banking lever and a width lever — DK-65 (and G62's bank-time clause)
Can't render this file because it contains an unexpected character in line 52 and column 78.