Skip to content

Wave 2: Nix-mirror retirement (LowLevel.jl…a2ml-rs) #107

@hyperpolymath

Description

@hyperpolymath

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

Wave 2 — 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

  • LowLevel.jl
  • MacroPower.jl
  • MinixSDK.jl
  • PRComms.jl
  • PolyglotFormalisms.jl
  • PostDisciplinary.jl
  • ProvenCrypto.jl
  • QuantumCircuit.jl
  • SMTLib.jl
  • ShellIntegration.jl
  • SiliconCore.jl
  • Skein.jl
  • SoftwareSovereign.jl
  • TradeUnionist.jl
  • ViableSystems.jl
  • ZeroProb.jl
  • a2ml-deno
  • a2ml-haskell
  • a2ml-pre-commit
  • a2ml-rs

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions