fix(ci): remove timeout-minutes from jobs using reusable workflows + fix permissions

.github/workflows/governance.yml

@@ -32,4 +32,3 @@ permissions:
 jobs:
   governance:
     uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@412a7031577112b31ee287cc6060179d638d6500 # main 2026-06-27
-    timeout-minutes: 30

.github/workflows/hypatia-scan.yml

@@ -29,8 +29,4 @@ jobs:
   hypatia:
     uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@e9c8888769a703924cc3c0d717900960d78aea00
     secrets: inherit
-    # Total caller-side wall-clock cap for the reusable. Matches
-    # Hypatia's `missing_timeout_minutes` rule expectation. The scan is
-    # typically ~3 min; the cap leaves headroom for slow estate builds.
-    timeout-minutes: 30
 

.github/workflows/mirror.yml

@@ -13,4 +13,3 @@ jobs:
   mirror:
     uses: hyperpolymath/standards/.github/workflows/mirror-reusable.yml@e9c8888769a703924cc3c0d717900960d78aea00
     secrets: inherit
-    timeout-minutes: 60

.github/workflows/secret-scanner.yml

@@ -15,10 +15,5 @@ permissions:
 
 jobs:
   scan:
-    permissions:
-      contents: read
-      pull-requests: write
-      actions: read
     uses: hyperpolymath/standards/.github/workflows/secret-scanner-reusable.yml@e9c8888769a703924cc3c0d717900960d78aea00
-    secrets: inherit
-    timeout-minutes: 20
+    secrets: inherit

bots/echidnabot/guix.scm

@@ -1,75 +1,18 @@
-;; echidnabot - Guix Package Definition
-;; Development: guix shell -D -f guix.scm
-;; Build: guix build -f guix.scm
+; SPDX-License-Identifier: MPL-2.0
+;; guix.scm — GNU Guix package definition for squisher-corpus
+;; Usage: guix shell -f guix.scm
 
 (use-modules (guix packages)
-             (guix gexp)
-             (guix git-download)
-             (guix build-system cargo)
-             ((guix licenses) #:prefix license:)
-             (gnu packages base)
-             (gnu packages crates-io)
-             (gnu packages rust)
-             (gnu packages rust-apps)
-             (gnu packages sqlite)
-             (gnu packages tls)
-             (gnu packages pkg-config))
+             (guix build-system gnu)
+             (guix licenses))
 
-(define-public echidnabot
-  (package
-    (name "echidnabot")
-    (version "0.1.0")
-    (source (local-file "." "echidnabot-checkout"
-                        #:recursive? #t
-                        #:select? (git-predicate ".")))
-    (build-system cargo-build-system)
-    (arguments
-     `(#:cargo-inputs
-       (;; Core async runtime
-        ("rust-tokio" ,rust-tokio-1)
-        ;; HTTP framework
-        ("rust-axum" ,rust-axum-0.7)
-        ("rust-tower" ,rust-tower-0.4)
-        ("rust-tower-http" ,rust-tower-http-0.5)
-        ;; Serialization
-        ("rust-serde" ,rust-serde-1)
-        ("rust-serde-json" ,rust-serde-json-1)
-        ("rust-toml" ,rust-toml-0.8)
-        ;; Database
-        ("rust-sqlx" ,rust-sqlx-0.8)
-        ;; HTTP client
-        ("rust-reqwest" ,rust-reqwest-0.11)
-        ;; Utilities
-        ("rust-uuid" ,rust-uuid-1)
-        ("rust-chrono" ,rust-chrono-0.4)
-        ("rust-thiserror" ,rust-thiserror-1)
-        ("rust-anyhow" ,rust-anyhow-1)
-        ("rust-tracing" ,rust-tracing-0.1)
-        ("rust-tracing-subscriber" ,rust-tracing-subscriber-0.3)
-        ;; Crypto
-        ("rust-hmac" ,rust-hmac-0.12)
-        ("rust-sha2" ,rust-sha2-0.10)
-        ("rust-hex" ,rust-hex-0.4)
-        ;; CLI
-        ("rust-clap" ,rust-clap-4)
-        ("rust-config" ,rust-config-0.14))
-       #:cargo-development-inputs
-       (("rust-tokio-test" ,rust-tokio-test-0.4)
-        ("rust-tempfile" ,rust-tempfile-3))))
-    (native-inputs
-     (list pkg-config
-           rust
-           rust-cargo))
-    (inputs
-     (list sqlite
-           openssl))
-    (synopsis "Proof-aware CI bot for theorem prover repositories")
-    (description
-     "echidnabot monitors code repositories containing formal proofs and
-delegates verification to ECHIDNA Core.  It integrates with GitHub, GitLab,
-and Bitbucket to provide automated proof checking via webhooks.")
-    (home-page "https://github.com/hyperpolymath/echidnabot")
-    (license license:agpl3+)))
-
-;; For development shell
-echidnabot
+(package
+  (name "squisher-corpus")
+  (version "0.1.0")
+  (source #f)
+  (build-system gnu-build-system)
+  (synopsis "squisher-corpus")
+  (description "squisher-corpus — part of the hyperpolymath ecosystem.")
+  (home-page "https://github.com/hyperpolymath/squisher-corpus")
+  (license ((@@ (guix licenses) license) "PMPL-1.0-or-later"
+             "https://github.com/hyperpolymath/palimpsest-license")))

guix.scm

@@ -1,18 +1,18 @@
 ; SPDX-License-Identifier: MPL-2.0
-;; guix.scm — GNU Guix package definition for gitbot-fleet
+;; guix.scm — GNU Guix package definition for squisher-corpus
 ;; Usage: guix shell -f guix.scm
 
 (use-modules (guix packages)
              (guix build-system gnu)
              (guix licenses))
 
 (package
-  (name "gitbot-fleet")
+  (name "squisher-corpus")
   (version "0.1.0")
   (source #f)
   (build-system gnu-build-system)
-  (synopsis "gitbot-fleet")
-  (description "gitbot-fleet — part of the hyperpolymath ecosystem.")
-  (home-page "https://github.com/hyperpolymath/gitbot-fleet")
-  (license ((@@ (guix licenses) license) "MPL-2.0"
+  (synopsis "squisher-corpus")
+  (description "squisher-corpus — part of the hyperpolymath ecosystem.")
+  (home-page "https://github.com/hyperpolymath/squisher-corpus")
+  (license ((@@ (guix licenses) license) "PMPL-1.0-or-later"
              "https://github.com/hyperpolymath/palimpsest-license")))