Commit 6174c66
fix(pkg): retire Nix-mirror per Guix-primary ruling (standards#101) (#289)
Refs standards#101 standards#102. Refs not Closes — this PR does not
close any issue.
## What
Retire the Nix-mirror in hypatia. Guix-primary + sealed-container-escape
is the canonical packaging policy per
[standards#101](hyperpolymath/standards#101);
the Nix-mirror was a hand-mirrored twin retired estate-wide.
## Verified pure mirror (the standards#102 gate)
`guix.scm` covers the entire flake devShell dep set verbatim:
| flake devShell buildInput | guix.scm native-input |
|---|---|
| elixir | elixir |
| erlang | erlang |
| rustc + cargo + clippy + rustfmt | rust + rust-cargo |
| idris2 | idris2 |
| zig | zig |
| pkg-config | pkg-config |
| openssl | openssl |
Every flake dep is mirrored — pure mirror per the campaign gate (`flake
vs Guix ∪ sealed-container`). `guix.scm`'s `(source #f)` is the standard
dev-shell form (paired with a real `native-inputs` list); not the
disqualifying empty-stub form. `guix shell -D -f guix.scm` is the direct
replacement for `nix develop`.
## Changes
- `git rm flake.nix flake.lock`
- `CONTRIBUTING.md` §Getting Started: `nix develop` → `guix shell -D -f
guix.scm` (links standards#101).
- `TESTING-AUDIT.md` Reproducibility row: dereferences `flake.nix`
(canonical = `guix.scm`).
- Historical audit reports (`docs/reports/audit/`,
`docs/governance/CRG-AUDIT-2026-04-18.adoc`) retain their `flake.nix`
references as dated snapshots — not edited.
## Campaign context
Estate-wide verification (Waves 1–14, ~280 in-scope repos) found that
**hypatia is the single genuine pure-mirror in the campaign so far**.
Most other repos have scaffold-stub `guix.scm` (KEEP+FLAG) or
load-bearing flake-only dev tooling (KEEP+DEP). Personally re-verified
against the agent-flagged candidates (proof-of-work and tma-mark2 were
over-called; hypatia stood up).
🤖 Generated with [Claude Code](https://claude.com/claude-code)
Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>1 parent 0a52874 commit 6174c66
4 files changed
Lines changed: 2 additions & 115 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
15 | 15 | | |
16 | 16 | | |
17 | 17 | | |
18 | | - | |
| 18 | + | |
19 | 19 | | |
20 | 20 | | |
21 | 21 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
98 | 98 | | |
99 | 99 | | |
100 | 100 | | |
101 | | - | |
| 101 | + | |
102 | 102 | | |
103 | 103 | | |
104 | 104 | | |
| |||
This file was deleted.
This file was deleted.
0 commit comments