Commit 1a0800c
policy: Guix primary + sealed-container escape; retire Nix-mirror-everywhere (#101)
## What
Canonicalises the estate ruling of 2026-05-18 and supersedes the prior
standing
rule "Nix shard fallback on Guix channel primary everywhere".
- **`spec/LANGUAGE-POLICY.adoc` §Package Management** — the canonical
statement.
Guix primary; **sealed container (not a Nix mirror)** is the single
universal
escape hatch for the not-in-Guix / non-free tail; one packager per repo;
a
second packager only as the sole source of a specific named dependency.
- **`.machine_readable/agent_instructions/debt.a2ml`** — estate-wide
`flake.nix`-mirror removal + consumer-doc reconciliation logged as a
SHOULD
debt item.
## Why
A `flake.nix` that only mirrors the Guix manifest is two incomplete
manifests
hand-synced plus containers anyway = pure drift surface, never exercised
as a
real fallback. Guix's full-source bootstrap + `guix time-machine` is
provenance-thesis-aligned; the non-free / not-in-Guix tail (which Guix's
FSDG
structurally excludes) goes to the already-mandated sealed container,
not a Nix
twin.
## Pilot already landed
`hyperpolymath/echidna` PR #73 applied this: `flake.nix`/`flake.lock`
removed,
9 Tier-3 prover Containerfiles consolidated into one sealed multi-target
`Containerfile.wave3`, manifest/CLAUDE/Justfile/STATE reconciled.
## Scope
Surgical: only the canonical §Package Management statement + the debt
record.
The broad consumer-repo sweep (other docs that still say "Fallback:
Nix") is
deliberately deferred to the tracked debt item, per
centralised-standards
(link-don't-copy) — not swept here.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>1 parent d9615d1 commit 1a0800c
2 files changed
Lines changed: 25 additions & 4 deletions
File tree
- .machine_readable/agent_instructions
- rhodium-standard-repositories/spec
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
9 | 9 | | |
10 | 10 | | |
11 | 11 | | |
12 | | - | |
| 12 | + | |
13 | 13 | | |
14 | 14 | | |
15 | 15 | | |
| |||
34 | 34 | | |
35 | 35 | | |
36 | 36 | | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
37 | 46 | | |
38 | 47 | | |
39 | 48 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
196 | 196 | | |
197 | 197 | | |
198 | 198 | | |
| 199 | + | |
| 200 | + | |
| 201 | + | |
| 202 | + | |
| 203 | + | |
| 204 | + | |
| 205 | + | |
199 | 206 | | |
200 | 207 | | |
201 | 208 | | |
202 | 209 | | |
203 | 210 | | |
204 | | - | |
| 211 | + | |
| 212 | + | |
| 213 | + | |
| 214 | + | |
| 215 | + | |
205 | 216 | | |
206 | | - | |
207 | | - | |
| 217 | + | |
| 218 | + | |
| 219 | + | |
208 | 220 | | |
209 | 221 | | |
210 | 222 | | |
| |||
0 commit comments