Run audits 3x/week for monthly coverage; add freshness note

Schedule Mon/Wed/Fri rotation using day-of-year mod 10 to select
preset. Full codebase audit coverage every ~3.5 weeks.

Knowledge freshness is already tracked by copilot-config-validation.yml
which checks 8 knowledge↔source pairs weekly and warns on staleness.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: anakrish

.github/workflows/#miri.yml#

@@ -0,0 +1,29 @@
+2name: miri
+
+on:
+  workflow_dispatch:
+  schedule:
+    # Run at 6:30 AM UTC every Wednesday
+    - cron: "30 6 * * 3"
+
+jobs:
+  miri-test:
+    name: miri (nightly)
+    runs-on: ubuntu-latest
+    env:
+      MIRIFLAGS: "-Zmiri-disable-isolation"
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v6
+      - uses: ./.github/actions/toolchains/rust
+        with:
+          toolchain: nightly
+          components: miri rust-src
+      - name: Set up Miri
+        run: cargo miri setup
+      - name: Run Miri tests
+        run: cargo miri test -p regorus
+      - name: Run Miri ACI tests
+        run: cargo miri test -p regorus --test aci
+      - name: Run Miri kata tests
+        run: cargo miri test -p regorus --test kata

.github/workflows/codebase-audit.yml

@@ -41,10 +41,12 @@ on:
           - 'test-gaps'
           - 'api-ergonomics'
 
-  # Weekly rotation: one preset per week, cycling through all 10.
-  # GitHub week numbers mod 10 select which preset runs.
+  # Runs Mon/Wed/Fri, rotating through all 10 presets.
+  # Full codebase coverage every ~3.5 weeks.
   schedule:
-    - cron: '0 8 * * 1'  # Every Monday at 8:00 UTC
+    - cron: '0 8 * * 1'  # Monday at 8:00 UTC
+    - cron: '0 8 * * 3'  # Wednesday at 8:00 UTC
+    - cron: '0 8 * * 5'  # Friday at 8:00 UTC
 
 concurrency:
   group: codebase-audit-${{ github.event.inputs.preset || 'scheduled' }}
@@ -70,7 +72,8 @@ jobs:
           TOPIC="${{ github.event.inputs.topic }}"
           PERSPECTIVES="${{ github.event.inputs.perspectives }}"
 
-          # For scheduled runs, rotate through presets by week number
+          # For scheduled runs, rotate through presets by day-of-year.
+          # With 3 runs/week and 10 presets, full coverage in ~3.5 weeks.
           if [ "${{ github.event_name }}" = "schedule" ]; then
             PRESETS=(
               panic-safety
@@ -84,10 +87,10 @@ jobs:
               test-gaps
               api-ergonomics
             )
-            WEEK=$(date +%V)
-            INDEX=$((10#$WEEK % ${#PRESETS[@]}))
+            DAY_OF_YEAR=$(date +%j)
+            INDEX=$((10#$DAY_OF_YEAR % ${#PRESETS[@]}))
             PRESET="${PRESETS[$INDEX]}"
-            echo "Scheduled run: week ${WEEK} → preset '${PRESET}'"
+            echo "Scheduled run: day ${DAY_OF_YEAR} → preset '${PRESET}'"
           fi
 
           # Resolve preset to topic + perspectives