diff --git a/.envrc b/.envrc
index c7ac10c..fb95bfd 100644
--- a/.envrc
+++ b/.envrc
@@ -7,8 +7,8 @@ if has asdf; then
   use asdf
 fi
 
-# Load Guix shell if guix.scm exists
-if has guix && [ -f guix.scm ]; then
+# Load Guix shell if build/guix.scm exists
+if has guix && [ -f build/guix.scm ]; then
   use guix
 fi
 
diff --git a/.githooks/validate-a2ml.sh b/.github/hooks/validate-a2ml.sh
similarity index 100%
rename from .githooks/validate-a2ml.sh
rename to .github/hooks/validate-a2ml.sh
diff --git a/.githooks/validate-k9.sh b/.github/hooks/validate-k9.sh
similarity index 100%
rename from .githooks/validate-k9.sh
rename to .github/hooks/validate-k9.sh
diff --git a/.github/workflows/dogfood-gate.yml b/.github/workflows/dogfood-gate.yml
index a7da8de..ec0c3ae 100644
--- a/.github/workflows/dogfood-gate.yml
+++ b/.github/workflows/dogfood-gate.yml
@@ -39,7 +39,7 @@ jobs:
 
       - name: Validate A2ML manifests
         if: steps.detect.outputs.count > 0
-        run: bash .githooks/validate-a2ml.sh
+        run: bash .github/hooks/validate-a2ml.sh
       - name: Write summary
         run: |
           A2ML_COUNT="${{ steps.detect.outputs.count }}"
@@ -83,7 +83,7 @@ jobs:
 
       - name: Validate K9 contracts
         if: steps.detect.outputs.k9_count > 0
-        run: bash .githooks/validate-k9.sh
+        run: bash .github/hooks/validate-k9.sh
       - name: Write summary
         run: |
           K9_COUNT="${{ steps.detect.outputs.k9_count }}"
diff --git a/CONTRIBUTING.adoc b/CONTRIBUTING.adoc
deleted file mode 100644
index 5949bf0..0000000
--- a/CONTRIBUTING.adoc
+++ /dev/null
@@ -1,9 +0,0 @@
-== Contributing
-
-[arabic]
-. Fork the repository
-. Create a feature branch
-. Ensure SPDX headers on all files
-. Submit a pull request
-
-*Author:* Jonathan D.A. Jewell j.d.a.jewell@open.ac.uk
diff --git a/Justfile b/Justfile
index 0c373bd..b4c3b45 100644
--- a/Justfile
+++ b/Justfile
@@ -801,11 +801,11 @@ state-phase:
 
 # Enter Guix development shell (primary)
 guix-shell:
-    guix shell -D -f guix.scm
+    guix shell -D -f build/guix.scm
 
 # Build with Guix
 guix-build:
-    guix build -f guix.scm
+    guix build -f build/guix.scm
 
 # Enter Nix development shell (fallback)
 nix-shell:
diff --git a/docs/RSR_OUTLINE.adoc b/docs/RSR_OUTLINE.adoc
index 014b21c..346db26 100644
--- a/docs/RSR_OUTLINE.adoc
+++ b/docs/RSR_OUTLINE.adoc
@@ -35,7 +35,7 @@ git init
 just init
 
 # Enter development environment
-guix shell -D -f guix.scm
+guix shell -D -f build/guix.scm
 
 # Validate compliance
 just validate-rsr
diff --git a/guix.scm b/guix.scm
deleted file mode 100644
index 7114cb6..0000000
--- a/guix.scm
+++ /dev/null
@@ -1,28 +0,0 @@
-;; SPDX-License-Identifier: MPL-2.0
-;; Guix development environment.
-;; Usage: guix shell -D -f guix.scm
-
-(use-modules (guix packages)
-             (guix build-system gnu)
-             (guix licenses)
-             (gnu packages base)
-             (gnu packages bash)
-             (gnu packages base)
-             (gnu packages java)
-             (gnu packages rust)
-             (gnu packages cmake)
-             (gnu packages zig)
-             (gnu packages golang)
-             (gnu packages node)
-             (gnu packages python))
-
-(package
-  (name "session-sentinel")
-  (version "0.1.0")
-  (source #f)
-  (build-system gnu-build-system)
-  (inputs (list coreutils bash  make openjdk rust cmake zig go node python))
-  (synopsis "session-sentinel")
-  (description "session-sentinel — part of the hyperpolymath ecosystem.")
-  (home-page "https://github.com/hyperpolymath/session-sentinel")
-  (license ((@@ (guix licenses) license) "MPL-2.0" "https://github.com/hyperpolymath/palimpsest-license")))