From 499c170f84d087a45104669de651b9330fda6c4a Mon Sep 17 00:00:00 2001 From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com> Date: Mon, 1 Jun 2026 19:41:05 +0100 Subject: [PATCH] chore: purge nix per 2026-06-01 owner directive (guix-only) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Owner directive 2026-06-01: "nix is now entirely deprecated and we use guix for everything." This commit removes nix from the top-level estate landing repo. Deleted: - flake.nix (template flake at root) Edited: - README.adoc — "Nix/Guix" -> "Guix" in Systems summary - CONTRIBUTING.md — "Using Nix" -> "Using Guix"; tree entry flake.nix -> guix.scm - QUICKSTART-DEV.adoc — drop "Option B: Nix (fallback)", reflow A/B; drop flake.nix tree entry; Option A uses `guix shell -m guix.scm` - QUICKSTART-MAINTAINER.adoc — drop "=== Nix" packaging section - setup.sh — drop nix branch in PKG_MGR detection and nix-env install case - .gitattributes — drop *.nix and flake.lock entries - .editorconfig — drop [*.nix] block Unresolved in this PR: - zotpress/ subdirectory (.gitattributes, .claude/CLAUDE.md, PRIORITY.adoc, workflows comment) — vendored tree; needs separate scope. - .github/workflows/governance.yml historical comment names removed `guix-nix-policy.yml`; leaving as accurate history. Follow-up: `.guix-channel` is absent at top level; needs owner input on channel URL before adding. To be filed as a separate issue. Co-Authored-By: Claude Opus 4.7 (1M context) --- .editorconfig | 3 - .gitattributes | 2 - CONTRIBUTING.md | 6 +- QUICKSTART-DEV.adoc | 12 +--- QUICKSTART-MAINTAINER.adoc | 7 --- README.adoc | 2 +- flake.nix | 116 ------------------------------------- setup.sh | 2 - 8 files changed, 6 insertions(+), 144 deletions(-) delete mode 100644 flake.nix diff --git a/.editorconfig b/.editorconfig index fc6650c..6484229 100644 --- a/.editorconfig +++ b/.editorconfig @@ -56,9 +56,6 @@ indent_size = 2 [*.scm] indent_size = 2 -[*.nix] -indent_size = 2 - [Justfile] indent_style = space indent_size = 4 diff --git a/.gitattributes b/.gitattributes index e860a85..870baf4 100644 --- a/.gitattributes +++ b/.gitattributes @@ -17,7 +17,6 @@ *.chpl text eol=lf *.scm text eol=lf *.ncl text eol=lf -*.nix text eol=lf # Docs *.md text eol=lf diff=markdown @@ -51,4 +50,3 @@ Containerfile text eol=lf # Lock files Cargo.lock text eol=lf -diff -flake.lock text eol=lf -diff diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 61e5ffd..e27531e 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -2,8 +2,8 @@ git clone https://github.com/hyperpolymath/hyperpolymath.git cd hyperpolymath -# Using Nix (recommended for reproducibility) -nix develop +# Using Guix (recommended for reproducibility) +guix shell -m guix.scm # Or using toolbox/distrobox toolbox create hyperpolymath-dev @@ -41,7 +41,7 @@ hyperpolymath/ ├── MAINTAINERS.md ├── README.adoc ├── SECURITY.md -├── flake.nix # Nix flake (Perimeter 1) +├── guix.scm # Guix manifest (Perimeter 1) └── Justfile # Task runner (Perimeter 1) ``` diff --git a/QUICKSTART-DEV.adoc b/QUICKSTART-DEV.adoc index 1ddefd6..463cc7e 100644 --- a/QUICKSTART-DEV.adoc +++ b/QUICKSTART-DEV.adoc @@ -15,17 +15,10 @@ [source,bash] ---- -guix shell +guix shell -m guix.scm ---- -=== Option B: Nix (fallback) - -[source,bash] ----- -nix develop ----- - -=== Option C: Manual +=== Option B: Manual [source,bash] ---- @@ -61,7 +54,6 @@ hyperpolymath/ ├── .machine_readable/ # Checkpoint files (STATE, META, ECOSYSTEM) ├── Justfile # Task runner recipes ├── guix.scm # Guix environment -├── flake.nix # Nix environment (fallback) └── 0-AI-MANIFEST.a2ml # AI agent entry point ---- diff --git a/QUICKSTART-MAINTAINER.adoc b/QUICKSTART-MAINTAINER.adoc index 074aab8..3297a1e 100644 --- a/QUICKSTART-MAINTAINER.adoc +++ b/QUICKSTART-MAINTAINER.adoc @@ -34,13 +34,6 @@ Output: `{{BUILD_OUTPUT_PATH}}` guix build -f guix.scm ---- -=== Nix - -[source,bash] ----- -nix build ----- - === Container (Stapeln) [source,bash] diff --git a/README.adoc b/README.adoc index 1088f4d..4130790 100644 --- a/README.adoc +++ b/README.adoc @@ -73,7 +73,7 @@ Database systems where identity is defined by equivalence classes rather than ra * *Languages*: Rust, Idris2, Zig, OCaml, Haskell, Julia, ReScript * *Methods*: dependent types, theorem proving, property-based testing -* *Systems*: reproducible builds (Nix/Guix), formally constrained FFI boundaries +* *Systems*: reproducible builds (Guix), formally constrained FFI boundaries I focus on **small, formally grounded cores**, with larger systems built around them. diff --git a/flake.nix b/flake.nix deleted file mode 100644 index bade77a..0000000 --- a/flake.nix +++ /dev/null @@ -1,116 +0,0 @@ -{ - description = "hyperpolymath - {project-description}"; - - # *REMINDER: Update inputs with actual dependencies* - inputs = { - nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable"; - flake-utils.url = "github:numtide/flake-utils"; - # Add language-specific inputs: - # rust-overlay.url = "github:oxalica/rust-overlay"; # For Rust - # fenix.url = "github:nix-community/fenix"; # Alternative Rust - }; - - outputs = { self, nixpkgs, flake-utils, ... }@inputs: - flake-utils.lib.eachDefaultSystem (system: - let - pkgs = import nixpkgs { - inherit system; - # overlays = [ (import inputs.rust-overlay) ]; # For Rust - }; - - # *REMINDER: Define build dependencies* - buildInputs = with pkgs; [ - # Language-specific dependencies: - # gnat13 # Ada - # cargo rustc # Rust - # elixir # Elixir - # For build tools: - just - podman - git - ]; - - # *REMINDER: Define development dependencies* - nativeBuildInputs = with pkgs; [ - # Development tools: - ripgrep # Code search - lychee # Link validation - # Language-specific: - # rustfmt clippy # Rust - # mix # Elixir - ]; - - in - { - # Development shell - devShells.default = pkgs.mkShell { - inherit buildInputs nativeBuildInputs; - - shellHook = '' - echo "🚀 hyperpolymath development environment" - echo "Language: mixed" - echo "" - echo "Available commands:" - echo " just --list # Show all tasks" - echo " just setup # Set up environment" - echo " just build # Build project" - echo " just test # Run tests" - echo " just validate # RSR compliance" - echo "" - # *REMINDER: Add language-specific environment setup* - # export CARGO_HOME=$PWD/.cargo # Rust - # export MIX_HOME=$PWD/.mix # Elixir - ''; - }; - - # Packages - packages.default = pkgs.stdenv.mkDerivation { - pname = "hyperpolymath"; - version = "0.1.0"; - src = ./.; - - inherit buildInputs nativeBuildInputs; - - buildPhase = '' - # *REMINDER: Add build commands* - # For Rust: cargo build --release - # For Elixir: mix compile - # For Ada: gprbuild -P hyperpolymath.gpr -XMODE=release - ''; - - installPhase = '' - mkdir -p $out/bin - # *REMINDER: Add install commands* - # cp target/release/hyperpolymath $out/bin/ # Rust - # cp bin/hyperpolymath $out/bin/ # Ada - ''; - - meta = with pkgs.lib; { - description = "{project-description}"; - homepage = "{repo-url}"; - license = with licenses; [ mit ]; # MIT + Palimpsest - maintainers = [ "{maintainer-name}" ]; - platforms = platforms.unix; - }; - }; - - # Apps - apps.default = { - type = "app"; - program = "${self.packages.${system}.default}/bin/hyperpolymath"; - }; - - # Checks (CI/CD integration) - checks = { - build = self.packages.${system}.default; - # *REMINDER: Add test checks* - test = pkgs.runCommand "test-hyperpolymath" { - buildInputs = [ self.packages.${system}.default ]; - } '' - # Run tests here - touch $out - ''; - }; - } - ); -} diff --git a/setup.sh b/setup.sh index bee989a..6a41f42 100755 --- a/setup.sh +++ b/setup.sh @@ -102,7 +102,6 @@ detect_platform() { elif command -v zypper >/dev/null 2>&1; then PKG_MGR="zypper" elif command -v rpm-ostree >/dev/null 2>&1; then PKG_MGR="rpm-ostree" elif command -v guix >/dev/null 2>&1; then PKG_MGR="guix" - elif command -v nix >/dev/null 2>&1; then PKG_MGR="nix" fi ;; Darwin*) @@ -150,7 +149,6 @@ install_just() { winget) winget install Casey.Just ;; rpm-ostree) sudo rpm-ostree install just ;; guix) guix install just ;; - nix) nix-env -iA nixpkgs.just ;; *) info "Using just installer script..." curl -fsSL https://just.systems/install.sh | bash -s -- --to /usr/local/bin