Wave 11: Nix-mirror retirement (pimcore-fortress…rescript-evangeliser)

[hyperpolymath]

Parent: #102. Refs #101. Worklist: `spec/nix-retirement-inventory.adoc` (merged via #104).

Wave 11 — 20 repos. Apply the gate from #102 per repo (flake vs Guix∪container; KEEP on load-bearing/uncertain; never delete on uncertainty). Analysis fans out to a subagent; PRs executed foreground/supervised (bg agents are sandbox-blocked for mutation).

Repos

• pimcore-fortress
• polyglot-formalisms-elixir
• polyglot-formalisms-gleam
• polyglot-i18n
• polysafe-gitfixer
• ponyiser
• preference-injector
• presswerk
• project-wharf
• proof-burrower
• proof-of-work
• protocol-squisher
• proven
• proven-servers
• rattlescript
• raze-tui
• reasonably-good-token-vault
• refugia
• rescript-dom-mounter
• rescript-evangeliser

Per-repo deliverable

For each: verdict (pure-mirror→remove / load-bearing→keep+dep / uncertain→keep+flag), evidence (flake inputs vs guix.scm vs Containerfile coverage), and the exact PR plan (files to git rm, doc lines to reconcile). One PR per removed/annotated repo: fix(pkg): retire Nix-mirror per Guix-primary ruling (standards#101), Refs not Closes, squash --auto, never --admin.

[hyperpolymath]

Wave 11 verdict (analysis complete + first-hand verification) — Refs #102 #101

REMOVE: 0 (after first-hand verification of agent-flagged candidate).

• proof-of-work was initially flagged REMOVE; verified KEEP+DEP — flake devShell is the sole source of just, cargo-edit, cargo-audit, cargo-outdated, cargo-tarpaulin, cargo-deny, cargo-watch, jq, clang, mold, vulkan-headers (none in guix.scm {pkg-config, rust, rust-cargo, z3, alsa-lib, eudev} nor in the Containerfile apt: pkg-config/libasound2-dev/libudev-dev/libwayland-dev/libxkbcommon-dev). The headless package mirrors fine; the dev tooling does not. Load-bearing → KEEP+DEP.
• project-wharf: KEEP+FLAG — flake covers nickel/just/bind/nebula/lychee dev tooling not in sealed Containerfile (rust/cargo only); guix.scm declares no inputs. Not a pure mirror.
• proven: KEEP+FLAG — (source #f) paired with real native-inputs (idris2, zig, rust, rust-cargo, pkg-config) but flake adds gnumake not in guix.scm. Conservative KEEP+FLAG.
• proof-burrower, rattlescript: scaffold-stub guix → KEEP+FLAG.
• 15 remote-only repos (pimcore-fortress, polyglot-formalisms-elixir, polyglot-formalisms-gleam, polyglot-i18n, polysafe-gitfixer, ponyiser, preference-injector, presswerk, proven-servers, raze-tui, reasonably-good-token-vault, refugia, rescript-dom-mounter, rescript-evangeliser): conservative KEEP+FLAG per "never-remove-on-uncertainty"; deeper diff foreground-only.

[hyperpolymath]

Closing as completed: Nix-mirror campaign closure documented in #149 (merged). See campaign closure doc and hypatia#289 (merged) for the consolidated record. All 12 retire/annotate PRs merged. Reopen if a specific wave deliverable is missing.