From aba034150ce30029e0ab1b2c5d54af2d807a05f0 Mon Sep 17 00:00:00 2001
From: Brandon Schneider <ceo@sovereign-stack.local>
Date: Mon, 11 May 2026 22:55:56 -0500
Subject: [PATCH] Fix GitHub repository settings config

---
 .github/dependabot.yml                     | 218 +++++++++++++++++++++
 .github/workflows/copilot-setup-steps.yml  |  25 ++-
 .github/workflows/wolfram-verification.yml |  18 +-
 3 files changed, 253 insertions(+), 8 deletions(-)
 create mode 100644 .github/dependabot.yml

diff --git a/.github/dependabot.yml b/.github/dependabot.yml
new file mode 100644
index 00000000..7671bdc8
--- /dev/null
+++ b/.github/dependabot.yml
@@ -0,0 +1,218 @@
+version: 2
+
+updates:
+  - package-ecosystem: "github-actions"
+    directory: "/"
+    schedule:
+      interval: "weekly"
+      day: "monday"
+      time: "09:00"
+      timezone: "America/Chicago"
+    open-pull-requests-limit: 5
+    labels:
+      - "dependencies"
+      - "github-actions"
+    groups:
+      github-actions-minor-patch:
+        patterns:
+          - "*"
+        update-types:
+          - "minor"
+          - "patch"
+
+  - package-ecosystem: "pip"
+    directory: "/2-Search-Space/search/whoogle-search"
+    schedule:
+      interval: "weekly"
+      day: "monday"
+      time: "09:15"
+      timezone: "America/Chicago"
+    open-pull-requests-limit: 3
+    labels:
+      - "dependencies"
+      - "python"
+    groups:
+      python-minor-patch:
+        patterns:
+          - "*"
+        update-types:
+          - "minor"
+          - "patch"
+
+  - package-ecosystem: "pip"
+    directory: "/5-Applications/text-to-cad"
+    schedule:
+      interval: "weekly"
+      day: "monday"
+      time: "09:30"
+      timezone: "America/Chicago"
+    open-pull-requests-limit: 3
+    labels:
+      - "dependencies"
+      - "python"
+      - "cad"
+    groups:
+      cad-python-minor-patch:
+        patterns:
+          - "*"
+        update-types:
+          - "minor"
+          - "patch"
+
+  - package-ecosystem: "npm"
+    directory: "/"
+    schedule:
+      interval: "weekly"
+      day: "monday"
+      time: "09:45"
+      timezone: "America/Chicago"
+    open-pull-requests-limit: 3
+    labels:
+      - "dependencies"
+      - "javascript"
+    groups:
+      root-npm-minor-patch:
+        patterns:
+          - "*"
+        update-types:
+          - "minor"
+          - "patch"
+
+  - package-ecosystem: "npm"
+    directory: "/5-Applications/text-to-cad/viewer"
+    schedule:
+      interval: "weekly"
+      day: "monday"
+      time: "10:00"
+      timezone: "America/Chicago"
+    open-pull-requests-limit: 3
+    labels:
+      - "dependencies"
+      - "javascript"
+      - "cad"
+    groups:
+      cad-viewer-npm-minor-patch:
+        patterns:
+          - "*"
+        update-types:
+          - "minor"
+          - "patch"
+
+  - package-ecosystem: "npm"
+    directory: "/6-Documentation/tiddlywiki-local"
+    schedule:
+      interval: "weekly"
+      day: "monday"
+      time: "10:15"
+      timezone: "America/Chicago"
+    open-pull-requests-limit: 3
+    labels:
+      - "dependencies"
+      - "javascript"
+      - "docs"
+    groups:
+      wiki-npm-minor-patch:
+        patterns:
+          - "*"
+        update-types:
+          - "minor"
+          - "patch"
+
+  - package-ecosystem: "cargo"
+    directory: "/1-Distributed-Systems/agents/claw/rust"
+    schedule:
+      interval: "weekly"
+      day: "monday"
+      time: "10:30"
+      timezone: "America/Chicago"
+    open-pull-requests-limit: 3
+    labels:
+      - "dependencies"
+      - "rust"
+    groups:
+      claw-cargo-minor-patch:
+        patterns:
+          - "*"
+        update-types:
+          - "minor"
+          - "patch"
+
+  - package-ecosystem: "cargo"
+    directory: "/4-Infrastructure/servo-fetch"
+    schedule:
+      interval: "weekly"
+      day: "monday"
+      time: "10:45"
+      timezone: "America/Chicago"
+    open-pull-requests-limit: 3
+    labels:
+      - "dependencies"
+      - "rust"
+      - "infrastructure"
+    groups:
+      servo-fetch-cargo-minor-patch:
+        patterns:
+          - "*"
+        update-types:
+          - "minor"
+          - "patch"
+
+  - package-ecosystem: "cargo"
+    directory: "/5-Applications/linear-native-tauri"
+    schedule:
+      interval: "weekly"
+      day: "monday"
+      time: "11:00"
+      timezone: "America/Chicago"
+    open-pull-requests-limit: 3
+    labels:
+      - "dependencies"
+      - "rust"
+      - "tauri"
+    groups:
+      linear-tauri-cargo-minor-patch:
+        patterns:
+          - "*"
+        update-types:
+          - "minor"
+          - "patch"
+
+  - package-ecosystem: "cargo"
+    directory: "/5-Applications/notion-native-tauri"
+    schedule:
+      interval: "weekly"
+      day: "monday"
+      time: "11:15"
+      timezone: "America/Chicago"
+    open-pull-requests-limit: 3
+    labels:
+      - "dependencies"
+      - "rust"
+      - "tauri"
+    groups:
+      notion-tauri-cargo-minor-patch:
+        patterns:
+          - "*"
+        update-types:
+          - "minor"
+          - "patch"
+
+  - package-ecosystem: "cargo"
+    directory: "/5-Applications/parquet_compressor"
+    schedule:
+      interval: "weekly"
+      day: "monday"
+      time: "11:30"
+      timezone: "America/Chicago"
+    open-pull-requests-limit: 3
+    labels:
+      - "dependencies"
+      - "rust"
+      - "compression"
+    groups:
+      parquet-cargo-minor-patch:
+        patterns:
+          - "*"
+        update-types:
+          - "minor"
+          - "patch"
diff --git a/.github/workflows/copilot-setup-steps.yml b/.github/workflows/copilot-setup-steps.yml
index a5095eb9..730c7d52 100644
--- a/.github/workflows/copilot-setup-steps.yml
+++ b/.github/workflows/copilot-setup-steps.yml
@@ -1,2 +1,23 @@
-            - name: Setup Lean
-  uses: Julian/setup-lean@main
+name: Copilot Setup Steps
+
+on:
+  workflow_dispatch:
+  push:
+    paths:
+      - ".github/workflows/copilot-setup-steps.yml"
+  pull_request:
+    paths:
+      - ".github/workflows/copilot-setup-steps.yml"
+
+permissions:
+  contents: read
+
+jobs:
+  copilot-setup-steps:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+
+      - name: Setup Lean
+        uses: Julian/setup-lean@main
diff --git a/.github/workflows/wolfram-verification.yml b/.github/workflows/wolfram-verification.yml
index 34d47cc7..07a90d1b 100644
--- a/.github/workflows/wolfram-verification.yml
+++ b/.github/workflows/wolfram-verification.yml
@@ -3,12 +3,18 @@ name: Wolfram Alpha Verification Check
 on:
   pull_request:
     paths:
-      - 'tools/lean/Semantics/**/*.lean'
-      - 'docs/AGENTS.md'
+      - '0-Core-Formalism/lean/Semantics/**/*.lean'
+      - '0-Core-Formalism/lean/Semantics/AGENTS.md'
+      - '6-Documentation/docs/AGENTS.md'
   push:
     paths:
-      - 'tools/lean/Semantics/**/*.lean'
-      - 'docs/AGENTS.md'
+      - '0-Core-Formalism/lean/Semantics/**/*.lean'
+      - '0-Core-Formalism/lean/Semantics/AGENTS.md'
+      - '6-Documentation/docs/AGENTS.md'
+
+permissions:
+  contents: read
+  issues: write
 
 jobs:
   wolfram-verification:
@@ -29,7 +35,7 @@ jobs:
           fi
 
           # Filter for Lean files in Semantics
-          grep 'tools/lean/Semantics.*\.lean$' /tmp/changed_files.txt > /tmp/lean_files.txt || true
+          grep '^0-Core-Formalism/lean/Semantics/.*\.lean$' /tmp/changed_files.txt > /tmp/lean_files.txt || true
 
           if [ -s /tmp/lean_files.txt ]; then
             echo "changed=true" >> $GITHUB_OUTPUT
@@ -133,5 +139,5 @@ jobs:
               def customOp (x : Q16_16) : Q16_16 := ...
               \`\`\`
 
-              See [AGENTS.md Section 5.1](docs/AGENTS.md) for details.`
+              See [AGENTS.md Section 5.1](6-Documentation/docs/AGENTS.md) for details.`
             })