X-6 · Accepted
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
The supply chain: nixpkgs content, cache signatures, input-addressed store paths
| Breaks | Status | Mitigation | Closes in |
|---|---|---|---|
| Correct | Accepted | Nix’s boundary, not Planarian’s | — |
The guarantees it narrows
Every invariant.