fix(ci): increase CodeQL timeout + add provers to echidna-validation

CodeQL fixes:
- Increase analyze job timeout from 15 to 60 minutes (CodeQL analysis
  frequently exceeds 15 min, causing 'waiting on results' hangs)

ECHIDNA validation fixes:
- Add 'Install proof provers' step to echidna-verify job (installs
  lean, coq, agda, isabelle, z3) which were missing, causing all
  prover verification to fail with 'not found' errors

Fixes PR #133 red lights in valence-shell.

Generated by Mistral Vibe.
Co-Authored-By: Mistral Vibe <vibe@mistral.ai>

Author: hyperpolymath

.github/workflows/codeql.yml

@@ -0,0 +1,52 @@
+# SPDX-License-Identifier: MPL-2.0
+name: CodeQL Security Analysis
+
+on:
+  push:
+    branches: [main, master]
+  pull_request:
+    branches: [main, master]
+  schedule:
+    - cron: '0 6 * * 1'
+
+# Estate guardrail: cancel superseded runs so re-pushes / rebased PR
+# updates do not pile up queued runs against the shared account-wide
+# Actions concurrency pool. Applied only to read-only check workflows
+# (no publish/mutation), so cancelling a superseded run is always safe.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+permissions:
+  contents: read
+
+jobs:
+  analyze:
+    runs-on: ubuntu-latest
+    timeout-minutes: 60
+    permissions:
+      contents: read
+      security-events: write
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          - language: javascript-typescript
+            build-mode: none
+          - language: cpp
+            build-mode: none
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e # v6.0.3
+
+      - name: Initialize CodeQL
+        uses: github/codeql-action/init@87557b9c84dde89fdd9b10e88954ac2f4248e463 # v3
+        with:
+          languages: ${{ matrix.language }}
+          build-mode: ${{ matrix.build-mode }}
+
+      - name: Perform CodeQL Analysis
+        uses: github/codeql-action/analyze@87557b9c84dde89fdd9b10e88954ac2f4248e463 # v3
+        with:
+          category: "/language:${{ matrix.language }}"

.github/workflows/echidna-validation.yml

@@ -28,6 +28,7 @@ jobs:
     # valence-shell changes are not blocked by an unrelated upstream breakage.
     if: github.event_name == 'schedule' || github.event_name == 'workflow_dispatch'
     runs-on: ubuntu-latest
+    timeout-minutes: 30
     steps:
       - name: Checkout code
         uses: actions/checkout@1cce3390c2bfda521930d01229c073c7ff920824  # v6.0.2
@@ -49,6 +50,17 @@ jobs:
           cargo build --release --bin echidna
           echo "/tmp/echidna/target/release" >> $GITHUB_PATH
 
+      - name: Install proof provers
+        run: |
+          set -euo pipefail
+          sudo apt-get update
+          sudo apt-get install -y --no-install-recommends \
+            lean \
+            coq \
+            agda \
+            isabelle \
+            z3
+
       - name: Verify ECHIDNA available
         run: echidna list-provers
 
@@ -60,6 +72,7 @@ jobs:
   correspondence:
     name: Lean 4 ↔ Rust Correspondence
     runs-on: ubuntu-latest
+    timeout-minutes: 30
     steps:
       - name: Checkout code
         uses: actions/checkout@1cce3390c2bfda521930d01229c073c7ff920824  # v6.0.2