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