pub fn seal(
project_state: &Path,
unit: &str,
key: &str,
manifest: &Manifest,
contents: &[(String, String)],
) -> Result<SealedRef, String>Expand description
Seals a held-out set keyed by (unit, requirement) — the entry point
for sets decided before a run (a bug’s reproduction variants, a
review’s oracle): the one store protocol, each manifest entry citing
its statements or scenarios.