mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-29 15:18:24 -04:00
Code Issues Packages Projects Releases Wiki Activity

phase-36: T8 — kit_coverage: the P36 S99 and S105 accelerator entries dispositioned (DK-61, DK-69)

Browse Source
This commit is contained in:
Drew T
2026-09-11 21:14:59 -06:00
parent 0fcf000c5a
commit c0f2fc7ab2
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
config/kit_coverage_map.tsv
+2
View File
@@ -56,3 +56,5 @@ rule R96 DK-81 a scratch prune is an instrument change: every tool that writes u
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
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
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
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
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
Can't render this file because it contains an unexpected character in line 52 and column 78.