pub fn check_coverage(
root: &Path,
tree: &str,
required: &[String],
) -> Result<Findings, CoverageError>Expand description
Do the required gates declare, completely, everything tree tracks?
Declared inputs are only as good as their completeness: a gate whose spec omits something it reads is skipped wrongly the day that something changes. This is the proof that closes the gap: per gate, by real ancestry, never by union and never by first path component. The spec is read from the tree, not the working copy.