diff --git a/.claude/CLAUDE.md b/.claude/CLAUDE.md
index c7c391c..88e00c6 100644
--- a/.claude/CLAUDE.md
+++ b/.claude/CLAUDE.md
@@ -72,8 +72,8 @@ Both are FOSS with independent governance (no Big Tech).
 
 ### Package Management
 
-- **Primary**: Guix (guix.scm)
-- **Fallback**: Nix (flake.nix)
+- **Sole primary**: Guix (guix.scm) — nix is deprecated estate-wide
+  2026-06-01; do NOT add flake.nix/flake.lock back
 - **JS deps**: Deno (deno.json imports)
 
 ### Security Requirements
diff --git a/.well-known/consent-required.txt b/.well-known/consent-required.txt
index f7f566c..d751637 100644
--- a/.well-known/consent-required.txt
+++ b/.well-known/consent-required.txt
@@ -1,9 +1,9 @@
-# Consent-Aware HTTP Declaration for {{PROJECT_NAME}}
+# Consent-Aware HTTP Declaration for echidnabot
 # RFC Draft: draft-jewell-http-430-consent-required
 
 Version: 1.0
-Project: {{PROJECT_NAME}}
-Canonical: https://github.com/hyperpolymath/{{PROJECT_NAME}}
+Project: echidnabot
+Canonical: https://github.com/hyperpolymath/echidnabot
 
 # Consent Framework
 This project implements the Consent-Aware HTTP framework.
@@ -28,5 +28,5 @@ Required-Headers:
   - X-Attribution: [your-attribution-string]
 
 # How to Request Consent
-Consent-Request-URL: https://hyperpolymath.org/consent/{{PROJECT_NAME}}
+Consent-Request-URL: https://hyperpolymath.org/consent/echidnabot
 Documentation: https://github.com/hyperpolymath/consent-aware-http
diff --git a/.well-known/humans.txt b/.well-known/humans.txt
index 93be74c..c95d4fe 100644
--- a/.well-known/humans.txt
+++ b/.well-known/humans.txt
@@ -11,7 +11,7 @@ Community: Rhodium Standard Initiative
 License Philosophy: Palimpsest License
 
 /* SITE */
-Last update: {{LAST_UPDATE}}
+Last update: 2026-06-01
 Software: Serum (Elixir SSG)
 Standards: Consent-Aware HTTP, RSR
 
diff --git a/.well-known/provenance.json b/.well-known/provenance.json
index 4025931..f29e9fc 100644
--- a/.well-known/provenance.json
+++ b/.well-known/provenance.json
@@ -1,7 +1,7 @@
 {
   "$schema": "https://hyperpolymath.org/schemas/provenance-v1.json",
   "project": "echidnabot",
-  "version": "{{VERSION}}",
+  "version": "0.1.0",
   "canonical": "https://github.com/hyperpolymath/echidnabot",
   "singleSourceOfTruth": "github",
   "mirrors": [
@@ -36,8 +36,8 @@
     "attestation": "sigstore"
   },
   "metadata": {
-    "created": "{{CREATED_DATE}}",
-    "updated": "{{UPDATED_DATE}}",
+    "created": "2025-01-01",
+    "updated": "2026-06-01",
     "generator": "conative-gating"
   }
 }
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index f77ab11..a86d7e6 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -23,8 +23,7 @@ This document covers the practicalities. For project conduct, see
 git clone https://github.com/hyperpolymath/echidnabot.git
 cd echidnabot
 
-# Reproducible environments (pick one)
-nix develop                       # Nix flake (flake.nix)
+# Reproducible environment (Guix is the estate primary; nix is deprecated 2026-06-01)
 guix shell -D -f guix.scm         # Guix package (guix.scm)
 
 # Or bring your own toolchain (Rust 1.75+, SQLite, podman/bwrap)
@@ -78,7 +77,7 @@ echidnabot/
 ├── benches/                # cargo-criterion benchmarks
 ├── docs/                   # Long-form documentation (casket-ssg)
 ├── wiki/                   # Wiki source (mirrored to GitHub wiki)
-├── packaging/              # Container/Guix/Nix packaging
+├── packaging/              # Container/Guix packaging
 ├── .machine_readable/      # A2ML state, bot directives, contractiles
 ├── .well-known/            # security.txt / ai.txt / humans.txt
 └── .github/workflows/      # CI — quality, codeql, scorecard, hypatia-scan
diff --git a/RELEASE_CHECKLIST.md b/RELEASE_CHECKLIST.md
index 7b5f739..f412afc 100644
--- a/RELEASE_CHECKLIST.md
+++ b/RELEASE_CHECKLIST.md
@@ -172,11 +172,13 @@ Work").
 - [x] Justfile for task automation
 
 ### To Add
-- [ ] flake.nix for Nix users
 - [ ] cargo-deb configuration
 - [ ] cargo-rpm configuration
 - [ ] Homebrew formula (optional)
 
+(Nix flake intentionally NOT planned: nix is deprecated estate-wide
+as of 2026-06-01.)
+
 ## Release Process
 
 ### Pre-Release
@@ -240,7 +242,6 @@ Work").
 3. **This Month**
    - Achieve MVP release (v0.2)
    - 50% test coverage
-   - flake.nix packaging
 
 4. **Next Quarter**
    - v1.0 production release
diff --git a/RSR_COMPLIANCE.adoc b/RSR_COMPLIANCE.adoc
index 65f978f..5c58ce0 100644
--- a/RSR_COMPLIANCE.adoc
+++ b/RSR_COMPLIANCE.adoc
@@ -38,7 +38,10 @@ for the structural picture; this file is the **status checklist**.
 === Tier 2 (acceptable)
 * Nickel — config snapshots in `config/`
 * Guile Scheme ✓ — `guix.scm` packaging
-* Nix ✓ — `flake.nix` fallback packaging
+
+Nix is **deprecated estate-wide** as of 2026-06-01 — `flake.nix` /
+`flake.lock` removed from this repo on the same date; Guix is the sole
+packaging primary going forward.
 
 === Banned (per estate policy 2026-05-25)
 * TypeScript / JavaScript — use AffineScript
@@ -62,8 +65,7 @@ for the structural picture; this file is the **status checklist**.
 |Task runner present |✓ |`Mustfile` (Just-equivalent)
 |`LICENSE` (MPL-2.0) |✓ |Palimpsest commentary in `PALIMPSEST.adoc`
 |`Containerfile` present |✓ |Multi-stage with Chainguard base
-|`guix.scm` present |✓ |Primary package definition
-|`flake.nix` present |✓ |Fallback Nix flake (`flake.lock` committed)
+|`guix.scm` present |✓ |Sole packaging primary (nix deprecated 2026-06-01)
 |`CHANGELOG.md` present |✓ |Auto-generated from conventional commits (standards#206)
 |`CITATION.cff` present |✓ |Academic citation metadata
 |`codemeta.json` present |✓ |CodeMeta software metadata
@@ -131,8 +133,9 @@ the work landing.)
 * [ ] Generate SPDX SBOM at release time and attach to GitHub Release
 * [ ] Resolve `gitbot-shared-context` path dependency for standalone
       buildability (issue #18)
-* [ ] Realise the Zig FFI scaffold (replace `{{project}}` placeholders;
-      see link:ABI-FFI-README.md[ABI-FFI-README.md] "Current Status")
+* [ ] Realise the Zig FFI scaffold (replace `echidnabot` template
+      placeholders in `ffi/zig/`; see link:ABI-FFI-README.md[ABI-FFI-README.md]
+      "Current Status")
 * [ ] Wire trust-bridge results into the main scheduler loop (started
       per ROADMAP but verify end-to-end)
 
diff --git a/RSR_OUTLINE.adoc b/RSR_OUTLINE.adoc
index ec384b4..ff7c1cd 100644
--- a/RSR_OUTLINE.adoc
+++ b/RSR_OUTLINE.adoc
@@ -8,7 +8,6 @@
 image:https://img.shields.io/badge/RSR-Tier_1_Bot-cd7f32[RSR Tier-1]
 image:https://img.shields.io/badge/Phase-Beta-yellow[Phase]
 image:https://img.shields.io/badge/Guix-Primary-purple?logo=gnu[Guix]
-image:https://img.shields.io/badge/Nix-Fallback-blue?logo=nixos[Nix]
 
 == About This Document
 
@@ -81,7 +80,7 @@ echidnabot/
 ├── fuzz/                      # ClusterFuzzLite harnesses
 ├── docs/                      # Long-form documentation (casket-ssg)
 ├── wiki/                      # Wiki source (mirrored to GitHub wiki)
-├── packaging/                 # Container / Guix / Nix packaging artefacts
+├── packaging/                 # Container / Guix packaging artefacts
 ├── hooks/                     # Git hooks
 ├── examples/                  # Sample integrations
 ├── scripts/                   # Maintenance / one-shot tooling
@@ -91,8 +90,7 @@ echidnabot/
 ├── echidna/                   # Submodule pointing at upstream ECHIDNA
 ├── Cargo.toml / Cargo.lock    # Rust manifest
 ├── Containerfile              # OCI image (Chainguard base)
-├── guix.scm                   # Guix package definition (primary)
-├── flake.nix / flake.lock     # Nix flake (fallback)
+├── guix.scm                   # Guix package definition (primary; nix deprecated 2026-06-01)
 ├── Mustfile / Justfile-ish    # Task runner
 ├── echidnabot.toml            # Default config
 ├── echidnabot.example.toml    # Annotated example config
@@ -124,8 +122,10 @@ Rust ✓ (primary), AffineScript, Idris2 ✓ (ABI proofs), Zig ✓ (FFI),
 Ada, Haskell.
 
 === Tier 2 (acceptable)
-Nickel ✓ (configs in `config/`), Guile Scheme ✓ (`guix.scm`), Nix ✓
-(`flake.nix`).
+Nickel ✓ (configs in `config/`), Guile Scheme ✓ (`guix.scm`).
+Nix is **deprecated estate-wide** as of 2026-06-01 — Guix is the sole
+primary; nix flakes have been removed and are not a Tier 2 acceptable
+language any more.
 
 === Banned (per estate policy 2026-05-25)
 TypeScript (use AffineScript), Node.js / npm / Bun / pnpm / yarn (use
@@ -166,7 +166,6 @@ Per the estate boundary convention:
 |`codemeta.json` |✓ |
 |`Containerfile` |✓ |Chainguard base
 |`guix.scm` |✓ |Primary packaging
-|`flake.nix` |✓ |Fallback packaging
 |`.well-known/security.txt` |✓ |
 |`.well-known/ai.txt` |✓ |
 |`.well-known/humans.txt` |✓ |
diff --git a/flake.lock b/flake.lock
deleted file mode 100644
index d8fe172..0000000
--- a/flake.lock
+++ /dev/null
@@ -1,82 +0,0 @@
-{
-  "nodes": {
-    "flake-utils": {
-      "inputs": {
-        "systems": "systems"
-      },
-      "locked": {
-        "lastModified": 1731533236,
-        "narHash": "sha256-l0KFg5HjrsfsO/JpG+r7fRrqm12kzFHyUHqHCVpMMbI=",
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "rev": "11707dc2f618dd54ca8739b309ec4fc024de578b",
-        "type": "github"
-      },
-      "original": {
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "type": "github"
-      }
-    },
-    "nixpkgs": {
-      "locked": {
-        "lastModified": 1776169885,
-        "narHash": "sha256-l/iNYDZ4bGOAFQY2q8y5OAfBBtrDAaPuRQqWaFHVRXM=",
-        "owner": "NixOS",
-        "repo": "nixpkgs",
-        "rev": "4bd9165a9165d7b5e33ae57f3eecbcb28fb231c9",
-        "type": "github"
-      },
-      "original": {
-        "owner": "NixOS",
-        "ref": "nixos-unstable",
-        "repo": "nixpkgs",
-        "type": "github"
-      }
-    },
-    "root": {
-      "inputs": {
-        "flake-utils": "flake-utils",
-        "nixpkgs": "nixpkgs",
-        "rust-overlay": "rust-overlay"
-      }
-    },
-    "rust-overlay": {
-      "inputs": {
-        "nixpkgs": [
-          "nixpkgs"
-        ]
-      },
-      "locked": {
-        "lastModified": 1776395632,
-        "narHash": "sha256-Mi1uF5f2FsdBIvy+v7MtsqxD3Xjhd0ARJdwoqqqPtJo=",
-        "owner": "oxalica",
-        "repo": "rust-overlay",
-        "rev": "8087ff1f47fff983a1fba70fa88b759f2fd8ae97",
-        "type": "github"
-      },
-      "original": {
-        "owner": "oxalica",
-        "repo": "rust-overlay",
-        "type": "github"
-      }
-    },
-    "systems": {
-      "locked": {
-        "lastModified": 1681028828,
-        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
-        "owner": "nix-systems",
-        "repo": "default",
-        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
-        "type": "github"
-      },
-      "original": {
-        "owner": "nix-systems",
-        "repo": "default",
-        "type": "github"
-      }
-    }
-  },
-  "root": "root",
-  "version": 7
-}
diff --git a/flake.nix b/flake.nix
deleted file mode 100644
index d74d59a..0000000
--- a/flake.nix
+++ /dev/null
@@ -1,167 +0,0 @@
-# SPDX-License-Identifier: PMPL-1.0
-# SPDX-FileCopyrightText: 2025 hyperpolymath
-#
-# Retained per standards#102 rule 3 (KEEP+DEP). guix.scm mirrors the
-# core runtime/build set (pkg-config, rust, rust-cargo, sqlite, openssl
-# + 23 pinned cargo crates); the sealed Containerfile (rust:1.83) adds
-# pkg-config + libsqlite3-dev + sqlite-libs + ca-certificates. This
-# flake's devShell is the SOLE source of `postgresql` and the entire
-# Rust dev-tool surface: cargo-edit, cargo-audit, cargo-outdated,
-# cargo-tarpaulin, cargo-deny, cargo-watch, cargo-deb,
-# cargo-generate-rpm, jq, sqlx-cli — none of which are in guix.scm
-# or the sealed container. Remove only after those reach Guix or the
-# sealed container.
-{
-  description = "ECHIDNABOT - Proof-aware CI bot for theorem verification";
-
-  inputs = {
-    nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
-    flake-utils.url = "github:numtide/flake-utils";
-    rust-overlay = {
-      url = "github:oxalica/rust-overlay";
-      inputs.nixpkgs.follows = "nixpkgs";
-    };
-  };
-
-  outputs = { self, nixpkgs, flake-utils, rust-overlay }:
-    flake-utils.lib.eachDefaultSystem (system:
-      let
-        overlays = [ (import rust-overlay) ];
-        pkgs = import nixpkgs { inherit system overlays; };
-
-        rustToolchain = pkgs.rust-bin.stable.latest.default.override {
-          extensions = [ "rust-src" "rust-analyzer" "clippy" "rustfmt" ];
-        };
-
-        # Build dependencies
-        buildDeps = with pkgs; [
-          pkg-config
-          openssl
-          sqlite
-          postgresql
-        ];
-
-        # Development tools
-        devTools = with pkgs; [
-          just
-          cargo-edit
-          cargo-audit
-          cargo-outdated
-          cargo-tarpaulin
-          cargo-deny
-          cargo-watch
-          cargo-deb
-          cargo-generate-rpm
-          jq
-          sqlx-cli
-        ];
-
-      in {
-        # Development shell
-        devShells.default = pkgs.mkShell {
-          buildInputs = [ rustToolchain ] ++ buildDeps ++ devTools;
-
-          shellHook = ''
-            export DATABASE_URL="sqlite:./dev.db"
-            export RUST_LOG=echidnabot=debug,info
-            echo "ECHIDNABOT development environment"
-            echo ""
-            echo "Commands:"
-            echo "  cargo run              - Start the bot"
-            echo "  cargo test             - Run tests"
-            echo "  sqlx database create   - Create database"
-            echo "  sqlx migrate run       - Run migrations"
-          '';
-        };
-
-        # Main package
-        packages.default = pkgs.rustPlatform.buildRustPackage {
-          pname = "echidnabot";
-          version = "0.1.0";
-
-          src = ./.;
-          cargoLock.lockFile = ./Cargo.lock;
-
-          nativeBuildInputs = with pkgs; [ pkg-config ];
-          buildInputs = with pkgs; [ openssl sqlite postgresql ];
-
-          # Disable tests that require network/database
-          checkPhase = ''
-            cargo test --lib
-          '';
-
-          meta = with pkgs.lib; {
-            description = "Proof-aware CI bot for theorem verification";
-            homepage = "https://github.com/hyperpolymath/echidnabot";
-            license = licenses.agpl3Plus;
-            mainProgram = "echidnabot";
-          };
-        };
-
-        # SQLite-only variant (minimal deps)
-        packages.sqlite = pkgs.rustPlatform.buildRustPackage {
-          pname = "echidnabot-sqlite";
-          version = "0.1.0";
-
-          src = ./.;
-          cargoLock.lockFile = ./Cargo.lock;
-
-          nativeBuildInputs = with pkgs; [ pkg-config ];
-          buildInputs = with pkgs; [ openssl sqlite ];
-
-          # Build with SQLite only (default features)
-          cargoBuildFlags = [ ];
-
-          meta = with pkgs.lib; {
-            description = "ECHIDNABOT with SQLite backend (minimal)";
-            homepage = "https://github.com/hyperpolymath/echidnabot";
-            license = licenses.agpl3Plus;
-            mainProgram = "echidnabot";
-          };
-        };
-
-        # CI checks
-        packages.ci = pkgs.stdenv.mkDerivation {
-          name = "echidnabot-ci";
-          src = ./.;
-
-          nativeBuildInputs = [ rustToolchain pkgs.pkg-config ];
-          buildInputs = with pkgs; [ openssl sqlite ];
-
-          buildPhase = ''
-            export HOME=$TMPDIR
-            cargo fmt --check
-            cargo clippy -- -D warnings
-            cargo test --lib
-            cargo audit
-          '';
-
-          installPhase = ''
-            mkdir -p $out
-            echo "CI checks passed" > $out/result
-          '';
-        };
-
-        # Container image (OCI)
-        packages.container = pkgs.dockerTools.buildLayeredImage {
-          name = "echidnabot";
-          tag = "latest";
-
-          contents = [
-            self.packages.${system}.default
-            pkgs.cacert
-          ];
-
-          config = {
-            Cmd = [ "/bin/echidnabot" ];
-            Env = [
-              "RUST_LOG=info"
-            ];
-            ExposedPorts = {
-              "8080/tcp" = {};
-            };
-          };
-        };
-      }
-    );
-}
diff --git a/wiki/Getting-Started.md b/wiki/Getting-Started.md
index 347db8c..59f95b2 100644
--- a/wiki/Getting-Started.md
+++ b/wiki/Getting-Started.md
@@ -33,13 +33,7 @@ sudo cp target/release/echidnabot /usr/local/bin/
 guix install echidnabot
 ```
 
-### Option 4: Using Nix
-
-```bash
-nix profile install github:hyperpolymath/echidnabot
-```
-
-### Option 5: Docker/Podman
+### Option 4: Docker/Podman
 
 ```bash
 podman pull ghcr.io/hyperpolymath/echidnabot:latest
diff --git a/wiki/Home.md b/wiki/Home.md
index 467a829..5b74402 100644
--- a/wiki/Home.md
+++ b/wiki/Home.md
@@ -73,7 +73,7 @@ Every commit with proof files gets verified. Broken proofs block merges (in `reg
 | **Container Isolation**| podman rootless + bwrap fallback; fail-safe (refuses unsandboxed) |
 | **Trust Bridge**       | 5-level confidence, SHA-256 solver integrity, axiom tracking |
 | **GraphQL API**        | Query and control programmatically                         |
-| **Self-Hosting**       | Run your own instance; Containerfile + Guix + Nix supplied |
+| **Self-Hosting**       | Run your own instance; Containerfile + Guix supplied      |
 
 ## Where echidnabot sits in the estate
 
