diff --git a/rhodium-standard-repositories/spec/nix-retirement-inventory.adoc b/rhodium-standard-repositories/spec/nix-retirement-inventory.adoc new file mode 100644 index 0000000..2d77349 --- /dev/null +++ b/rhodium-standard-repositories/spec/nix-retirement-inventory.adoc @@ -0,0 +1,462 @@ += Nix-mirror retirement — canonical inventory worklist +:toc: macro +:sectnums: + +// SPDX-License-Identifier: CC-BY-SA-4.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell + +*Generated:* 2026-05-18T05:01Z (read-only GitHub discovery, top-level `HEAD`). + +*Tracker:* hyperpolymath/standards#102 (campaign) · *Wave 0:* #103 · *Policy:* #101. + +*Authority for the gate rules:* see #102 and `spec/LANGUAGE-POLICY.adoc` §Package +Management — *not duplicated here* (link, don't copy). + +toc::[] + +== Status of this artifact + +This is the *worklist*, not a delete decision. A row's verdict is *provisional*: +the final keep/remove call is made *at wave time*, per repo, by diffing the +repo's `flake.nix` inputs against `(Guix manifest ∪ sealed-container provision)`. +"Candidate" means "enters a wave for that diff", **not** "delete now". + +Discovery scope is *top-level* `flake.nix` + `guix.scm`/`manifest.scm`/ +`manifests/*.scm`/`guix/*.scm` + `.guix-channel` + `Containerfile*` (root and +`.containerization/`). Nested/vendored flakes inside monorepos are handled at +their *source* repo, not the aggregator. + +== Summary + +[cols="3,1",options="header"] +|=== +| Class | Count +| Candidate (→ wave, pending flake-vs-Guix∪container diff) | 277 +| Monorepo → handle at source | 8 +| Excluded (standards done, echidna pilot #73) | 2 +| Out-of-scope (no top-level flake.nix, or flake but no Guix) | 92 +| *Total repos scanned* | 379 +|=== + +Note: the `.guix-channel`-only trap (gate rule 4) and the flake-without-Guix +case were checked for and found *empty* — every flake-bearing estate repo also +carries a `guix.scm`/manifest (estate-template guix scaffolding). The earlier +triage's "my-lang = channel-only" was inaccurate: my-lang has *no* flake.nix and +is out-of-scope. + +== Wave plan + +277 candidates sliced into *14 waves* of ~20 single-package repos, in +sorted order. Each wave is a native sub-issue of #102. The `Wave` column below +is authoritative for issue creation. + +== Candidates (the worklist) + +[cols="1,4,2,3,1,1",options="header"] +|=== +| Wave | Repo | flake.lock | Guix paths | Cntr | (verdict = candidate) +| 1 | .git-private-farm | false | "guix.scm" | 1 | ✓ +| 1 | 007 | true | "guix.scm" | 1 | ✓ +| 1 | AcceleratorGate.jl | false | "guix.scm" | 0 | ✓ +| 1 | Axiology.jl | false | "guix.scm" | 0 | ✓ +| 1 | Axiom.jl | false | "guix.scm" | 0 | ✓ +| 1 | BowtieRisk.jl | false | "guix.scm" | 0 | ✓ +| 1 | Causals.jl | false | "guix.scm" | 0 | ✓ +| 1 | Cladistics.jl | false | "guix.scm" | 0 | ✓ +| 1 | Cliodynamics.jl | false | "guix.scm" | 0 | ✓ +| 1 | Cliometrics.jl | false | "guix.scm" | 0 | ✓ +| 1 | Exnovation.jl | false | "guix.scm" | 0 | ✓ +| 1 | FirmwareAudit.jl | false | "guix.scm" | 0 | ✓ +| 1 | HackenbushGames.jl | false | "guix.scm" | 0 | ✓ +| 1 | HardwareResilience.jl | false | "guix.scm" | 0 | ✓ +| 1 | Hyperpolymath.jl | false | "guix.scm" | 0 | ✓ +| 1 | InvestigativeJournalist.jl | true | "guix.scm" | 1 | ✓ +| 1 | JuliaKids.jl | true | "guix.scm" | 1 | ✓ +| 1 | JuliaPackage-Reuse-Audit.jl | true | "guix.scm" | 1 | ✓ +| 1 | KnotTheory.jl | false | "guix.scm" | 0 | ✓ +| 1 | Lithoglyph.jl | false | "guix.scm" | 0 | ✓ +| 2 | LowLevel.jl | false | "guix.scm" | 0 | ✓ +| 2 | MacroPower.jl | false | "guix.scm" | 0 | ✓ +| 2 | MinixSDK.jl | false | "guix.scm" | 0 | ✓ +| 2 | PRComms.jl | true | "guix.scm" | 1 | ✓ +| 2 | PolyglotFormalisms.jl | false | "guix.scm" | 0 | ✓ +| 2 | PostDisciplinary.jl | true | "guix.scm" | 1 | ✓ +| 2 | ProvenCrypto.jl | false | "guix.scm" | 0 | ✓ +| 2 | QuantumCircuit.jl | false | "guix.scm" | 0 | ✓ +| 2 | SMTLib.jl | false | "guix.scm" | 0 | ✓ +| 2 | ShellIntegration.jl | false | "guix.scm" | 0 | ✓ +| 2 | SiliconCore.jl | false | "guix.scm" | 0 | ✓ +| 2 | Skein.jl | false | "guix.scm" | 0 | ✓ +| 2 | SoftwareSovereign.jl | false | "guix.scm" | 0 | ✓ +| 2 | TradeUnionist.jl | true | "guix.scm" | 1 | ✓ +| 2 | ViableSystems.jl | false | "guix.scm" | 0 | ✓ +| 2 | ZeroProb.jl | false | "guix.scm" | 0 | ✓ +| 2 | a2ml-deno | false | "guix.scm" | 1 | ✓ +| 2 | a2ml-haskell | false | "guix.scm" | 1 | ✓ +| 2 | a2ml-pre-commit | false | "guix.scm" | 1 | ✓ +| 2 | a2ml-rs | false | "guix.scm" | 1 | ✓ +| 3 | a2ml-showcase | false | "guix.scm" | 0 | ✓ +| 3 | a2ml-validate-action | false | "guix.scm" | 1 | ✓ +| 3 | a2ml_ex | false | "guix.scm" | 0 | ✓ +| 3 | a2ml_gleam | false | "guix.scm" | 0 | ✓ +| 3 | a2mliser | false | "guix.scm" | 1 | ✓ +| 3 | academic-workflow-suite | false | "guix.scm" | 1 | ✓ +| 3 | accessibility-everywhere | false | "guix.scm" | 0 | ✓ +| 3 | aerie | false | "guix.scm" | 1 | ✓ +| 3 | affinescript-vite | true | "guix.scm" | 1 | ✓ +| 3 | affinescriptiser | false | "guix.scm" | 1 | ✓ +| 3 | alloyiser | false | "guix.scm" | 1 | ✓ +| 3 | anamnesis | false | "guix.scm" | 0 | ✓ +| 3 | anvomidav | false | "guix.scm" | 0 | ✓ +| 3 | anvomidaviser | false | "guix.scm" | 1 | ✓ +| 3 | asdf-tool-plugins | true | "guix.scm" | 0 | ✓ +| 3 | aspasia | false | "guix.scm" | 1 | ✓ +| 3 | atsiser | false | "guix.scm" | 1 | ✓ +| 3 | awesome-idris2 | false | "guix.scm" | 0 | ✓ +| 3 | awesome-mcp-servers | false | "guix.scm" | 0 | ✓ +| 3 | awesome-nickel | false | "guix.scm" | 0 | ✓ +| 4 | betlangiser | false | "guix.scm" | 1 | ✓ +| 4 | blocky-writer | false | "guix.scm" | 1 | ✓ +| 4 | blog-drafts | false | "guix.scm" | 0 | ✓ +| 4 | blue-screen-of-app | true | "guix.scm" | 1 | ✓ +| 4 | bofig | false | "guix.scm" | 1 | ✓ +| 4 | boinc-boinc | false | "guix.scm" | 0 | ✓ +| 4 | boj-server | true | "guix.scm" | 2 | ✓ +| 4 | bqniser | false | "guix.scm" | 1 | ✓ +| 4 | branch-newspaper | false | "guix.scm" | 0 | ✓ +| 4 | bunsenite | true | "guix.scm" | 1 | ✓ +| 4 | burble | true | "guix.scm" | 1 | ✓ +| 4 | cccp | false | "guix.scm" | 0 | ✓ +| 4 | chapeliser | false | "guix.scm" | 1 | ✓ +| 4 | checky-monkey | false | "guix.scm" | 0 | ✓ +| 4 | chimichanga | false | "guix.scm" | 0 | ✓ +| 4 | civic-connect | false | "guix.scm" | 0 | ✓ +| 4 | cloud-sync-tuner | false | "guix.scm" | 2 | ✓ +| 4 | cloudflare-dns-terraform | false | "guix.scm" | 0 | ✓ +| 4 | cloudguard-cli | false | "guix.scm" | 1 | ✓ +| 4 | cloudguard-server | false | "guix.scm" | 1 | ✓ +| 5 | conative-gating | false | "guix.scm" | 0 | ✓ +| 5 | conflow | false | "guix.scm" | 1 | ✓ +| 5 | cookie-rebound | false | "guix.scm" | 1 | ✓ +| 5 | cyo | false | "guix.scm" | 0 | ✓ +| 5 | dafniser | false | "guix.scm" | 1 | ✓ +| 5 | defiant | false | "guix.scm" | 0 | ✓ +| 5 | dictask | false | "guix.scm" | 1 | ✓ +| 5 | docmatrix | false | "guix.scm,guix/channel.scm,guix/formatrix.scm" | 0 | ✓ +| 5 | docudactyl | true | "guix.scm" | 0 | ✓ +| 5 | dotmatrix-fileprinter | false | "guix.scm" | 0 | ✓ +| 5 | double-track-browser | false | "guix.scm" | 0 | ✓ +| 5 | echidnabot | true | "guix.scm" | 1 | ✓ +| 5 | eclexiaiser | false | "guix.scm" | 1 | ✓ +| 5 | elixir-mcp-server | false | "guix.scm" | 0 | ✓ +| 5 | email-octad-experiment | false | "guix.scm" | 1 | ✓ +| 5 | empty-linter | false | "guix.scm" | 0 | ✓ +| 5 | ensaid-spec | false | "guix.scm" | 0 | ✓ +| 5 | ephapax | false | "guix.scm" | 0 | ✓ +| 5 | ephapaxiser | false | "guix.scm" | 1 | ✓ +| 5 | excel-economic-numbers-tool | false | "guix.scm" | 1 | ✓ +| 6 | explicit-trust-plane | false | "guix.scm" | 0 | ✓ +| 6 | feedback-o-tron | false | "guix.scm" | 0 | ✓ +| 6 | ffmpeg-ffi | false | "guix.scm" | 0 | ✓ +| 6 | file-soup | true | "guix.scm" | 1 | ✓ +| 6 | filesoup | false | "guix.scm" | 0 | ✓ +| 6 | fireflag | false | "guix.scm" | 1 | ✓ +| 6 | flat-mate | false | "guix.scm" | 0 | ✓ +| 6 | flatracoon | false | "guix.scm" | 0 | ✓ +| 6 | format-registrations | false | "guix.scm" | 0 | ✓ +| 6 | formatrix-docs | false | "guix.scm,guix/channel.scm,guix/formatrix.scm" | 0 | ✓ +| 6 | fraying-model-computational-testbed | false | "guix.scm" | 1 | ✓ +| 6 | futharkiser | false | "guix.scm" | 1 | ✓ +| 6 | game-server-admin | false | "guix.scm" | 1 | ✓ +| 6 | git-reticulator | false | "guix.scm" | 0 | ✓ +| 6 | git-scripts | false | "guix.scm" | 0 | ✓ +| 6 | gossamer | true | "guix.scm" | 1 | ✓ +| 6 | grim-repo | false | "guix.scm" | 0 | ✓ +| 6 | groove-browser-harness | true | "guix.scm" | 0 | ✓ +| 6 | gv-clade-index | false | "guix.scm" | 1 | ✓ +| 6 | halideiser | false | "guix.scm" | 1 | ✓ +| 7 | hesiod-dns-map | false | "guix.scm" | 1 | ✓ +| 7 | heterogenous-mobile-computing | false | "guix.scm" | 0 | ✓ +| 7 | homebrew-tap | false | "guix.scm" | 0 | ✓ +| 7 | http-capability-gateway | false | "guix.scm" | 1 | ✓ +| 7 | hybrid-automation-router | true | "guix.scm" | 0 | ✓ +| 7 | hypatia | true | "guix.scm" | 0 | ✓ +| 7 | hyperpolymath | false | "guix.scm" | 0 | ✓ +| 7 | hyperpolymath-sovereign-registry | false | "guix.scm" | 0 | ✓ +| 7 | hyperpolymath.github.io | false | "guix.scm" | 0 | ✓ +| 7 | i-human | false | "guix.scm" | 1 | ✓ +| 7 | idaptik | true | "guix.scm" | 0 | ✓ +| 7 | idaptik-rescript13-staging | false | "guix.scm" | 0 | ✓ +| 7 | idrisiser | false | "guix.scm" | 1 | ✓ +| 7 | im-docs | false | "guix.scm" | 0 | ✓ +| 7 | infrastructure-automation | false | "guix.scm" | 0 | ✓ +| 7 | intsoc-transactor | false | "guix.scm" | 1 | ✓ +| 7 | ipfs-overlay | false | "guix.scm" | 0 | ✓ +| 7 | ipv6-only | true | "guix.scm" | 1 | ✓ +| 7 | ipv6-tools | false | "guix.scm" | 0 | ✓ +| 7 | iseriser | false | "guix.scm" | 1 | ✓ +| 8 | januskey | false | "guix.scm" | 0 | ✓ +| 8 | julia-professional-registry | false | "guix.scm" | 0 | ✓ +| 8 | julia-the-viper | true | "guix.scm" | 0 | ✓ +| 8 | julianiser | false | "guix.scm" | 1 | ✓ +| 8 | k9-deno | false | "guix.scm" | 1 | ✓ +| 8 | k9-haskell | false | "guix.scm" | 1 | ✓ +| 8 | k9-pre-commit | false | "guix.scm" | 1 | ✓ +| 8 | k9-rs | false | "guix.scm" | 1 | ✓ +| 8 | k9-showcase | false | "guix.scm" | 0 | ✓ +| 8 | k9-validate-action | false | "guix.scm" | 1 | ✓ +| 8 | k9_ex | false | "guix.scm" | 0 | ✓ +| 8 | k9_gleam | false | "guix.scm" | 0 | ✓ +| 8 | k9iser | false | "guix.scm" | 1 | ✓ +| 8 | kaldor-iiot | false | "guix.scm" | 0 | ✓ +| 8 | katagoria | false | "guix.scm" | 1 | ✓ +| 8 | kategoria | false | "guix.scm" | 1 | ✓ +| 8 | kea | false | "guix.scm" | 0 | ✓ +| 8 | krl | false | "guix.scm" | 1 | ✓ +| 8 | laminar | false | "guix.scm" | 0 | ✓ +| 8 | laniakea | false | "guix.scm" | 0 | ✓ +| 9 | lcb-website | false | "guix.scm" | 1 | ✓ +| 9 | linguist | false | "guix.scm" | 0 | ✓ +| 9 | live-files | false | "guix.scm" | 0 | ✓ +| 9 | lustreiser | false | "guix.scm" | 1 | ✓ +| 9 | maa-framework | false | "guix.scm" | 0 | ✓ +| 9 | manifesto | false | "guix.scm" | 0 | ✓ +| 9 | megadog | false | "guix.scm" | 0 | ✓ +| 9 | metadata-grammar | false | "guix.scm" | 0 | ✓ +| 9 | methodologies | false | "guix.scm" | 0 | ✓ +| 9 | misinformation-defence-platform | false | "guix.scm" | 0 | ✓ +| 9 | mtpc-template-repo | false | "guix.scm" | 1 | ✓ +| 9 | mylangiser | false | "guix.scm" | 1 | ✓ +| 9 | nafa-app | true | "guix.scm" | 1 | ✓ +| 9 | natsci-studio | true | "guix.scm" | 1 | ✓ +| 9 | nesy-solver | false | "guix.scm" | 1 | ✓ +| 9 | neural-foundations | false | "guix.scm" | 0 | ✓ +| 9 | neurophone | false | "guix.scm" | 0 | ✓ +| 9 | nexia-list | false | "guix.scm" | 0 | ✓ +| 9 | nextgen-databases | false | "guix.scm" | 0 | ✓ +| 9 | nextgen-language-evangeliser | true | "guix.scm" | 0 | ✓ +| 10 | nextgen-languages | false | "guix.scm" | 0 | ✓ +| 10 | nextgen-typing | false | "guix.scm" | 1 | ✓ +| 10 | nickel-augmentation | false | "guix.scm" | 0 | ✓ +| 10 | nimiser | false | "guix.scm" | 1 | ✓ +| 10 | no-nonsense-nntps | false | "guix.scm" | 0 | ✓ +| 10 | oblibeniser | false | "guix.scm" | 1 | ✓ +| 10 | ochrance | true | "guix.scm" | 1 | ✓ +| 10 | ochrance-framework | false | "guix.scm" | 1 | ✓ +| 10 | odds-and-sods-package-manager | false | "guix.scm" | 0 | ✓ +| 10 | oikos | true | "guix/channels.scm,guix/manifest.scm,guix/oikos.scm" | 0 | ✓ +| 10 | otpiser | false | "guix.scm" | 1 | ✓ +| 10 | palimpsest-license | false | "guix.scm" | 1 | ✓ +| 10 | palimpsest-plasma | false | "guix.scm" | 0 | ✓ +| 10 | pandoc-a2ml | false | "guix.scm" | 1 | ✓ +| 10 | pandoc-k9 | false | "guix.scm" | 1 | ✓ +| 10 | panic-attack | false | "guix.scm" | 0 | ✓ +| 10 | patallm-gallery | false | "guix.scm" | 0 | ✓ +| 10 | patch-bridge | false | "guix.scm" | 1 | ✓ +| 10 | php-aegis | false | "guix.scm" | 0 | ✓ +| 10 | phronesiser | false | "guix.scm" | 1 | ✓ +| 11 | pimcore-fortress | false | "guix.scm" | 0 | ✓ +| 11 | polyglot-formalisms-elixir | false | "guix.scm" | 0 | ✓ +| 11 | polyglot-formalisms-gleam | false | "guix.scm" | 0 | ✓ +| 11 | polyglot-i18n | false | "guix.scm,manifest.scm,guix/channels.scm,guix/polyglot-i18n.scm" | 0 | ✓ +| 11 | polysafe-gitfixer | false | "guix.scm" | 0 | ✓ +| 11 | ponyiser | false | "guix.scm" | 1 | ✓ +| 11 | preference-injector | false | "guix.scm" | 0 | ✓ +| 11 | presswerk | false | "guix.scm" | 1 | ✓ +| 11 | project-wharf | true | "guix.scm" | 1 | ✓ +| 11 | proof-burrower | true | "guix.scm" | 1 | ✓ +| 11 | proof-of-work | true | "guix.scm" | 1 | ✓ +| 11 | protocol-squisher | false | "guix.scm" | 1 | ✓ +| 11 | proven | true | "guix.scm,guix/channels.scm,guix/manifest.scm" | 1 | ✓ +| 11 | proven-servers | false | "guix.scm" | 1 | ✓ +| 11 | rattlescript | false | "guix.scm" | 1 | ✓ +| 11 | raze-tui | false | "guix.scm" | 0 | ✓ +| 11 | reasonably-good-token-vault | true | "guix.scm" | 0 | ✓ +| 11 | refugia | false | "guix.scm" | 0 | ✓ +| 11 | rescript-dom-mounter | false | "guix.scm" | 1 | ✓ +| 11 | rescript-evangeliser | true | "guix.scm" | 0 | ✓ +| 12 | resource-record-fluctuator | false | "guix.scm" | 0 | ✓ +| 12 | robodog-ecm | false | "guix.scm" | 0 | ✓ +| 12 | robot-vacuum-cleaner | true | "guix.scm" | 0 | ✓ +| 12 | rpa-elysium | false | "guix.scm" | 0 | ✓ +| 12 | rrecord-verity | false | "guix.scm" | 0 | ✓ +| 12 | sanctify-php | false | "guix.scm,guix/wordpress-container.scm" | 0 | ✓ +| 12 | scripts | false | "guix.scm" | 0 | ✓ +| 12 | sdp-hkdf-deployment | false | "guix.scm" | 0 | ✓ +| 12 | seamstress | false | "guix.scm" | 0 | ✓ +| 12 | servers | false | "guix.scm" | 0 | ✓ +| 12 | session-sentinel | false | "guix.scm" | 1 | ✓ +| 12 | snapcreate | false | "guix.scm" | 0 | ✓ +| 12 | snifs | true | "guix.scm" | 1 | ✓ +| 12 | social-media-polygraph | true | "guix.scm" | 0 | ✓ +| 12 | somethings-fishy | false | "guix.scm" | 1 | ✓ +| 12 | squeakwell | false | "guix.scm" | 1 | ✓ +| 12 | squisher-corpus | false | "guix.scm" | 0 | ✓ +| 12 | ssg-collection | false | "guix.scm" | 0 | ✓ +| 12 | stapeln | false | "guix.scm" | 0 | ✓ +| 12 | statistease | false | "guix.scm" | 1 | ✓ +| 13 | supernorma | true | "guix.scm" | 0 | ✓ +| 13 | svalinn | false | "guix.scm" | 0 | ✓ +| 13 | tangle | false | "guix.scm" | 0 | ✓ +| 13 | thunderbird-template-reloaded | false | "guix.scm" | 0 | ✓ +| 13 | tlaiser | false | "guix.scm" | 1 | ✓ +| 13 | tma-mark2 | true | "guix.scm" | 3 | ✓ +| 13 | tree-navigator | false | "guix.scm" | 0 | ✓ +| 13 | tree-sitter-a2ml | false | "guix.scm" | 0 | ✓ +| 13 | tree-sitter-k9 | false | "guix.scm" | 0 | ✓ +| 13 | twingate-helm-deploy | false | "guix.scm" | 0 | ✓ +| 13 | typedqliser | false | "guix.scm" | 1 | ✓ +| 13 | typell | false | "guix.scm" | 1 | ✓ +| 13 | ubicity | true | "guix.scm" | 1 | ✓ +| 13 | unified-dataset-vocab | false | "guix.scm" | 0 | ✓ +| 13 | universal-chat-extractor | false | "guix.scm" | 0 | ✓ +| 13 | universal-extension-format | false | "guix.scm" | 0 | ✓ +| 13 | universal-language-server-plugin | false | "guix.scm" | 0 | ✓ +| 13 | universal-project-manager | false | "guix.scm" | 0 | ✓ +| 13 | v-graphql | false | "guix.scm" | 1 | ✓ +| 13 | v-grpc | false | "guix.scm" | 1 | ✓ +| 14 | v-rest | false | "guix.scm" | 1 | ✓ +| 14 | v3-templater | false | "guix.scm" | 1 | ✓ +| 14 | valence-shell | false | "guix.scm" | 1 | ✓ +| 14 | vcl-ut | false | "guix.scm" | 1 | ✓ +| 14 | verisimdb-data | false | "guix.scm" | 0 | ✓ +| 14 | verisimiser | false | "guix.scm" | 1 | ✓ +| 14 | vex-tools | false | "guix.scm" | 0 | ✓ +| 14 | vexometer | false | "guix.scm" | 0 | ✓ +| 14 | voyage-enterprise-decision-system | false | "guix.scm" | 0 | ✓ +| 14 | vscode-a2ml | false | "guix.scm" | 1 | ✓ +| 14 | vscode-k9 | false | "guix.scm" | 1 | ✓ +| 14 | wokelang | false | "guix.scm" | 1 | ✓ +| 14 | wokelangiser | false | "guix.scm" | 1 | ✓ +| 14 | wordpress-tools | false | "guix.scm" | 0 | ✓ +| 14 | zerostep | false | "guix.scm" | 1 | ✓ +| 14 | zerotier-k8s-link | false | "guix.scm" | 0 | ✓ +| 14 | zotero-tools | false | "guix.scm" | 0 | ✓ +|=== + +== Monorepo → handle at source + +Nested flakes here are vendored copies of other estate repos; fixing them in the +aggregator double-edits and risks submodule drift. Fix at the source repo. + +[cols="1",options="header"] +|=== +| Repo +| ambientops +| developer-ecosystem +| gitbot-fleet +| julia-ecosystem +| panll +| polystack +| reposystem +| social-media-tools +|=== + +== Excluded + +[cols="2,3",options="header"] +|=== +| Repo | Reason +| standards | policy landed (#101) +| echidna | pilot (echidna#73) +|=== + +== Out-of-scope (recorded for audit) + +No top-level `flake.nix` (or flake but no Guix manifest) → not a Nix-mirror to +retire. Listed so the campaign is provably exhaustive over all 92 of them. + +[cols="1",options="header"] +|=== +| Repo +| .github +| HOL +| KRLAdapter.jl +| absolute-zero +| achievements-lab +| action-trust-layers +| affinescript +| airborne-submarine-squadron +| avow-protocol +| awesome-elixir +| awesome-gleam +| awesome-haskell +| awesome-lua +| awesome-mcp-servers-1 +| awesome-pandoc +| awesome-rust +| awesome-selfhosted +| awesome-v +| awesome-zig +| bebop-ffi +| befunge93-vault-cracker +| betlang +| bgp-backbone-lab +| bofj-kitt +| cafescripto +| candy-crash +| casket-ssg +| claude-gecko-browser-extension +| claude-integrations +| claude-memory +| coord-tui +| coq-jr +| dicti0nary-attack +| dotfiles +| echo-types +| eclexia +| error-lang +| file +| frayed-knot-toolkit +| humor-ecosystem +| hyperpolymath-archive +| idaptik-contracts +| idaptik-dlc-iky +| idaptik-dlc-reversibley +| idaptik-dlc-vm +| idaptik-escape-hatch +| idaptik-game +| idaptik-shared +| idaptik-sync +| idaptik-ums +| info +| invariant-path +| ipv6-site-enforcer +| jaffascript +| launch-scaffolder +| lua-filters +| lucidscript +| me-dialect +| modshells +| multiterm +| my-lang +| network-ambulance +| network-dashboard +| oblibeny +| phantom-metal-taste +| phronesis +| poly-k8s-mcp +| poly-observability-mcp +| pow-the-game +| pseudoscript +| quandledb +| qubes-sdp +| repos-monorepo +| rescript +| rescript-ecosystem +| rescript-string-power +| rescript-tea +| rescript-vite +| rsr-template-repo +| safe-brute-force +| technical-notes +| tentacles-agentic-syllabus +| the-metadatastician +| the-nash-equilibrium +| thejeffparadox +| tropical-resource-typing +| typed-wasm +| vcs-ircd +| veridical-simulation-core +| verisimdb +| vext +| volumod +|===