Merge remote-tracking branch 'origin/main' into HEAD

Author: hyperpolymath

.github/workflows/codeql.yml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: PMPL-1.0
 name: CodeQL Security Analysis
 
 on:
@@ -9,8 +9,10 @@ on:
   schedule:
     - cron: '0 6 * * 1'
 
-# Cause-B mitigation (#77): cancel superseded runs so stacked pushes
-# to the same ref don't pile up identical jobs in the queue.
+# 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
@@ -30,20 +32,18 @@ jobs:
         include:
           - language: javascript-typescript
             build-mode: none
-          - language: rust
-            build-mode: none
 
     steps:
       - name: Checkout
-        uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1
+        uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
 
       - name: Initialize CodeQL
-        uses: github/codeql-action/init@662472033e021d55d94146f66f6058822b0b39fd # v3.28.1
+        uses: github/codeql-action/init@c6f931105cb2c34c8f901cc885ba1e2e259cf745 # v3
         with:
           languages: ${{ matrix.language }}
           build-mode: ${{ matrix.build-mode }}
 
       - name: Perform CodeQL Analysis
-        uses: github/codeql-action/analyze@662472033e021d55d94146f66f6058822b0b39fd # v3.28.1
+        uses: github/codeql-action/analyze@c6f931105cb2c34c8f901cc885ba1e2e259cf745 # v3
         with:
           category: "/language:${{ matrix.language }}"

.github/workflows/governance.yml

@@ -16,13 +16,12 @@ on:
   push:
     branches: [main, master]
   pull_request:
-    # Cause-B mitigation (#77): was unscoped (fired on PRs to every
-    # branch); narrowed to integration branches like the other gates.
-    branches: [main, master]
   workflow_dispatch:
 
-# Cause-B mitigation (#77): cancel superseded runs so stacked pushes
-# to the same ref don't pile up identical jobs in the queue.
+# 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

.github/workflows/scorecard-enforcer.yml

@@ -9,11 +9,13 @@ on:
     - cron: '0 6 * * 1'  # Weekly on Monday
   workflow_dispatch:
 
-# Cause-B mitigation (#77): de-duplicate stacked enforcer runs.
-# cancel-in-progress is false — never abort a governance gate in flight.
+# 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: false
+  cancel-in-progress: true
 
 permissions:
   contents: read
@@ -25,19 +27,19 @@ jobs:
       security-events: write
       id-token: write  # For OIDC
     steps:
-      - uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4
+      - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
         with:
           persist-credentials: false
 
       - name: Run Scorecard
-        uses: ossf/scorecard-action@62b2cac7ed8198b15735ed49ab1e5cf35480ba46 # v2.4.0
+        uses: ossf/scorecard-action@4eaacf0543bb3f2c246792bd56e8cdeffafb205a # v2.4.3
         with:
           results_file: results.sarif
           results_format: sarif
           publish_results: true
 
       - name: Upload SARIF
-        uses: github/codeql-action/upload-sarif@662472033e021d55d94146f66f6058822b0b39fd # v3
+        uses: github/codeql-action/upload-sarif@c6f931105cb2c34c8f901cc885ba1e2e259cf745 # v4
         with:
           sarif_file: results.sarif
 
@@ -60,7 +62,7 @@ jobs:
   check-critical:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4
+      - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
 
       - name: Check SECURITY.md exists
         run: |

.github/workflows/scorecard.yml

@@ -1,16 +1,19 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: PMPL-1.0
 name: OSSF Scorecard
 on:
   push:
     branches: [main, master]
   schedule:
     - cron: '0 4 * * *'
+  workflow_dispatch:
 
-# Cause-B mitigation (#77): de-duplicate stacked scorecard runs.
-# cancel-in-progress is false — never abort a security scan in flight.
+# 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: false
+  cancel-in-progress: true
 
 permissions:
   contents: read
@@ -22,17 +25,17 @@ jobs:
       security-events: write
       id-token: write
     steps:
-      - uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4
+      - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
         with:
           persist-credentials: false
-      
+
       - name: Run Scorecard
-        uses: ossf/scorecard-action@62b2cac7ed8198b15735ed49ab1e5cf35480ba46 # v2.4.0
+        uses: ossf/scorecard-action@4eaacf0543bb3f2c246792bd56e8cdeffafb205a # v2.3.1
         with:
           results_file: results.sarif
           results_format: sarif
-      
+
       - name: Upload results
-        uses: github/codeql-action/upload-sarif@662472033e021d55d94146f66f6058822b0b39fd # v3.28.1
+        uses: github/codeql-action/upload-sarif@c6f931105cb2c34c8f901cc885ba1e2e259cf745 # v3.31.8
         with:
           sarif_file: results.sarif

.github/workflows/secret-scanner.yml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: PMPL-1.0
 # Prevention workflow - scans for hardcoded secrets before they reach main
 name: Secret Scanner
 
@@ -7,8 +7,10 @@ on:
   push:
     branches: [main]
 
-# Cause-B mitigation (#77): cancel superseded runs so stacked pushes
-# to the same ref don't pile up identical jobs in the queue.
+# 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
@@ -20,19 +22,21 @@ jobs:
   trufflehog:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4
+      - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v4
         with:
           fetch-depth: 0  # Full history for scanning
 
       - name: TruffleHog Secret Scan
-        uses: trufflesecurity/trufflehog@8a8ef8526528d8a4ff3e2c90be08e25ef8efbd9b # v3
+        uses: trufflesecurity/trufflehog@6c05c4a00b91aa542267d8e32a8254774799d68d # v3
         with:
-          extra_args: --only-verified --fail
+          # The v3 action injects --fail automatically on pull_request events.
+          # Passing --fail here triggers "flag 'fail' cannot be repeated".
+          extra_args: --only-verified
 
   gitleaks:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4
+      - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v4
         with:
           fetch-depth: 0
 
@@ -45,21 +49,14 @@ jobs:
   rust-secrets:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4
-
-      - name: Detect Rust sources
-        id: detect
-        run: |
-          if find . -name Cargo.toml -print -quit | grep -q .; then
-            echo "present=true" >> "$GITHUB_OUTPUT"
-          else
-            echo "present=false" >> "$GITHUB_OUTPUT"
-            echo "No Cargo.toml — skipping Rust secret heuristics." >> "$GITHUB_STEP_SUMMARY"
-          fi
+      - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v4
 
       - name: Check for hardcoded secrets in Rust
-        if: steps.detect.outputs.present == 'true'
         run: |
+          if ! find . -name Cargo.toml -not -path './target/*' -print -quit | grep -q .; then
+            echo 'No Cargo.toml found — skipping Rust secrets check'
+            exit 0
+          fi
           # Patterns that suggest hardcoded secrets
           PATTERNS=(
             'const.*SECRET.*=.*"'

CLAUDE.md

@@ -136,14 +136,23 @@ The v1.5 trust hardening added:
 
 **Next (v2.2+)** (precise status):
 
-- **Chapel → Rust C FFI bridge (L2, half-done)**. Zig shim
-  (`src/zig_ffi/`, 738 LoC, 4 files) and Chapel POC (`src/chapel/`,
-  970 LoC) in place behind `--features chapel`; `cargo build --features
-  chapel` works standalone, 6/6 `proof_search` tests pass. The gap:
-  `dispatch.rs` still bypasses the feature-gated `ChapelParallelSearch`
-  strategy in `proof_search.rs`. Integration is split into 7 L2 sub-waves
-  tracked in `docs/handover/TODO.md`, gated on L1 Cap'n Proto completion.
-  Direct Rust↔Chapel today goes through Zig (no shortcut path).
+- **Chapel → Rust C FFI bridge (L2.1 done; L2.2–L2.7 gated)**. Zig shim
+  (`src/zig_ffi/`) and Chapel POC (`src/chapel/`) are in place behind
+  `--features chapel`. L2.1 is wired: `ChapelParallelSearch`
+  (`proof_search.rs`) is invoked by `dispatch.rs::verify_proof_parallel`
+  and reachable on the live `/api/verify_parallel` route, with graceful
+  sequential fallback. `just build-chapel-ffi && cargo build --features
+  chapel` builds and links standalone; `cargo test --features chapel`
+  passes including the chapel-gated `test_verify_proof_parallel_chapel_path`
+  (7/7). Build reproducibility was fixed 2026-05-18: `build.rs` now
+  `rerun-if-changed` on the built Zig artifact (was order-dependent on
+  recipe vs prior `cargo` run), and `build.zig` bundles compiler-rt (was
+  failing the non-Zig link with `undefined symbol: __zig_probe_stack`).
+  Remaining L2.2–L2.7 (speculative search, corpus-parallel, mutation
+  parallelism, multi-locale, numeric hot paths, bench) are **not started
+  and hard-gated on L1 Cap'n Proto**, itself gated on the L3 7-day-green
+  hand-off — see `docs/handover/TODO.md`. Direct Rust↔Chapel goes
+  through Zig (no shortcut path).
 
 - **Train GNN/Transformer on larger corpus (Flux.jl, scaffold-only)**.
   Flux.jl is declared in `src/julia/Project.toml` and imported across

Justfile

@@ -508,8 +508,10 @@ build-chapel: build-chapel-ffi
     cargo build --features chapel
 
 # Test Chapel integration
+# Includes the chapel-gated dispatch test (verify_proof_parallel) — the bare
+# `proof_search` filter alone silently skipped it.
 test-chapel: build-chapel-ffi
-    cargo test --features chapel -- proof_search
+    cargo test --features chapel --lib -- proof_search verify_proof_parallel
 
 # Test Zig FFI bridge independently
 test-chapel-ffi: