diff --git a/config/kit_coverage_map.tsv b/config/kit_coverage_map.tsv index 5d3f428e8..122383156 100644 --- a/config/kit_coverage_map.tsv +++ b/config/kit_coverage_map.tsv @@ -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