dot-iu-cutter v0.5 First Snapshot MARK Dry-run — coverage_proof.json (verbatim artifact)

KB-B145

dot-iu-cutter v0.5 First Snapshot MARK Dry-run — coverage_proof.json (verbatim artifact)

1 min read Revision 1

dot-iu-cutterv0.5first-snapshot-mark-dryruncoverage-proofartifactdieu442026-05-18

coverage_proof.json — verbatim emitted artifact (out-dir $WD/manifest), first Constitution snapshot MARK dry-run, executed 2026-05-19. reconstruction_ok=true ⇒ candidate ∪ excluded ∪ noncontent covers every region line, no gap/overlap.

{
  "region_length": 17522,
  "lines_total": 308,
  "candidate_lines": 229,
  "excluded_lines": 10,
  "noncontent_lines": 69,
  "reconstruction_ok": true
}