From 9c31cac8c3e35fb9b0475caf3dc4ed71b8ffe369 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Sat, 19 Sep 2026 09:41:25 +0000 Subject: [PATCH] refactor(root): move root artefacts to their canonical locations Applies the estate root-shape rollout: files that are not root-level by necessity move to where their tooling and the estate canon expect them, with every reference updated in the same change. Committed through the git index rather than a worktree: this repository carries very large training-data blobs whose checkout exceeds the runner's writable space, so the change is applied with `git apply --cached` and written with `git write-tree`. --- {.githooks => .github/hooks}/pre-commit | 0 {.githooks => .github/hooks}/validate-a2ml.sh | 0 {.githooks => .github/hooks}/validate-k9.sh | 0 .github/workflows/dogfood-gate.yml | 4 ++-- .machine_readable/root-allow.txt | 1 + .reuse/dep5 | 2 +- guix.scm => build/guix.scm | 4 ++-- echidna-playground/RSR_OUTLINE.adoc | 2 +- 8 files changed, 7 insertions(+), 6 deletions(-) rename {.githooks => .github/hooks}/pre-commit (100%) rename {.githooks => .github/hooks}/validate-a2ml.sh (100%) rename {.githooks => .github/hooks}/validate-k9.sh (100%) rename guix.scm => build/guix.scm (97%) diff --git a/.githooks/pre-commit b/.github/hooks/pre-commit similarity index 100% rename from .githooks/pre-commit rename to .github/hooks/pre-commit 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 f78dc2be..30ee015b 100644 --- a/.github/workflows/dogfood-gate.yml +++ b/.github/workflows/dogfood-gate.yml @@ -48,7 +48,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 }}" @@ -93,7 +93,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/.machine_readable/root-allow.txt b/.machine_readable/root-allow.txt index 25e49a48..efa51790 100644 --- a/.machine_readable/root-allow.txt +++ b/.machine_readable/root-allow.txt @@ -1,2 +1,3 @@ .hypatia-ignore CLAUDE.md +build/ # build orchestration: guix.scm relocated here (canon 1.2.1 guix-primary template_ref = "build/") diff --git a/.reuse/dep5 b/.reuse/dep5 index f929e692..bf8b8956 100644 --- a/.reuse/dep5 +++ b/.reuse/dep5 @@ -22,7 +22,7 @@ Files: src/* verification/* scripts/* hooks/* - .githooks/* + .github/hooks/* tests/* meta-checker/* HOL-o-extension/* diff --git a/guix.scm b/build/guix.scm similarity index 97% rename from guix.scm rename to build/guix.scm index 2441c397..66d8f0b4 100644 --- a/guix.scm +++ b/build/guix.scm @@ -1,7 +1,7 @@ ;; SPDX-License-Identifier: AGPL-3.0-or-later ;; echidna - Guix Package Definition -;; Development: guix shell -D -f guix.scm -;; Build: guix build -f guix.scm +;; Development: guix shell -D -f build/guix.scm +;; Build: guix build -f build/guix.scm (use-modules (guix packages) (guix gexp) diff --git a/echidna-playground/RSR_OUTLINE.adoc b/echidna-playground/RSR_OUTLINE.adoc index b1f040ca..3033ddb3 100644 --- a/echidna-playground/RSR_OUTLINE.adoc +++ b/echidna-playground/RSR_OUTLINE.adoc @@ -35,7 +35,7 @@ git init sed -i 's/RSR-template-repo/my-project/g' Justfile guix.scm README.adoc # Enter development environment -guix shell -D -f guix.scm +guix shell -D -f build/guix.scm # Validate compliance just validate-rsr