feat(warp-core): ADR-0008 Phases 0–3 runtime primitives

.githooks/pre-commit

@@ -107,16 +107,8 @@ if [[ -f Cargo.lock ]]; then
   fi
 fi
 
-# 7) Targeted clippy + check for changed crates (fast-ish)
-CRATES=$(echo "$STAGED" | sed -n 's#^crates/\([^/]*\)/.*#\1#p' | sort -u)
-for c in $CRATES; do
-  if [[ -f "crates/${c}/Cargo.toml" ]]; then
-    cargo clippy -p "$c" --all-targets -- -D warnings -D missing_docs
-    cargo check -p "$c" --quiet
-  else
-    echo "pre-commit: skipping ${c}: missing crates/${c}/Cargo.toml" >&2
-  fi
-done
+# 7) Targeted Rust verification for staged crates
+scripts/verify-local.sh pre-commit
 
 # 8) SPDX header enforcement (code = Apache-2.0; docs/math = Apache-2.0 OR LicenseRef-MIND-UCAL-1.0)
 if [[ -x scripts/ensure_spdx.sh ]]; then

.githooks/pre-push

@@ -1,63 +1,10 @@
 #!/usr/bin/env bash
 # SPDX-License-Identifier: Apache-2.0
 # © James Ross Ω FLYING•ROBOTS <https://github.com/flyingrobots>
-# Round-robin pre-push: alternates between sequential/parallel, logs timing
+#
+# Canonical pre-push hook: route to the shared local verifier so developers pay
+# for the full workspace gates only when the changed paths justify it.
 set -euo pipefail
 
-LOGFILE="${PREPUSH_LOGFILE:-.githooks/timing.jsonl}"
-SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
-
-# Portable high-resolution timestamp (macOS date doesn't support %N)
-get_timestamp() {
-  if date +%s.%N 2>/dev/null | grep -q '\.'; then
-    date +%s.%N
-  elif command -v python3 >/dev/null 2>&1; then
-    python3 -c 'import time; print(f"{time.time():.6f}")'
-  elif command -v perl >/dev/null 2>&1; then
-    perl -MTime::HiRes=time -e 'printf "%.6f\n", time'
-  else
-    # Fallback to integer seconds
-    date +%s
-  fi
-}
-
-# Determine which variant to run (round-robin based on line count)
-if [[ -f "$LOGFILE" ]]; then
-  COUNT=$(wc -l < "$LOGFILE" | tr -d ' ')
-else
-  COUNT=0
-fi
-
-if (( COUNT % 2 == 0 )); then
-  VARIANT="sequential"
-  SCRIPT="$SCRIPT_DIR/pre-push-sequential"
-else
-  VARIANT="parallel"
-  SCRIPT="$SCRIPT_DIR/pre-push-parallel"
-fi
-
-echo "📊 pre-push benchmark: running $VARIANT (#$((COUNT + 1)))"
-
-# Capture output to check if compilation happened
-OUTFILE=$(mktemp)
-trap 'rm -f "$OUTFILE"' EXIT
-
-# Time the run, tee output to both terminal and file
-START=$(get_timestamp)
-set +e  # Disable errexit so PIPESTATUS is captured before exit
-"$SCRIPT" 2>&1 | tee "$OUTFILE"
-RC=${PIPESTATUS[0]}
-set -e
-END=$(get_timestamp)
-
-# Only log timing if cargo actually compiled something
-if grep -q "Compiling" "$OUTFILE"; then
-  DURATION=$(echo "$END - $START" | bc)
-  TIMESTAMP=$(date -u +%Y-%m-%dT%H:%M:%SZ)
-  echo "{\"ts\":\"$TIMESTAMP\",\"variant\":\"$VARIANT\",\"duration\":$DURATION,\"exit\":$RC}" >> "$LOGFILE"
-  echo "📊 $VARIANT completed in ${DURATION}s (logged)"
-else
-  echo "📊 $VARIANT completed (no compilation, timing not logged)"
-fi
-
-exit $RC
+REPO_ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
+exec "$REPO_ROOT/scripts/verify-local.sh" pre-push

.github/workflows/ci.yml

@@ -6,7 +6,6 @@ on:
   push:
     branches:
       - main
-      - "feat/**"
   pull_request:
 
 jobs:
@@ -59,8 +58,23 @@ jobs:
       - name: cargo clippy (warp-core, det_fixed)
         run: cargo clippy -p warp-core --all-targets --features det_fixed -- -D warnings -D missing_docs
 
-  test:
-    name: Tests
+  test-workspace:
+    name: Tests (workspace sans warp-core)
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          submodules: false
+      - uses: dtolnay/rust-toolchain@1.90.0
+      - uses: Swatinem/rust-cache@v2
+        with:
+          workspaces: |
+            .
+      - name: cargo test (workspace sans warp-core)
+        run: cargo test --workspace --exclude warp-core
+
+  test-warp-core:
+    name: Tests (warp-core)
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
@@ -71,11 +85,41 @@ jobs:
         with:
           workspaces: |
             .
-      - name: cargo test (workspace)
-        run: cargo test --workspace
+      - name: Install cargo-nextest
+        uses: taiki-e/install-action@5ab5d1729c22acd8f798b267eadcfe5e5be6f5c2 # v2.68.27
+        with:
+          tool: nextest
+      - name: cargo nextest run (warp-core)
+        run: cargo nextest run -p warp-core
+      - name: cargo test --doc (warp-core)
+        run: cargo test -p warp-core --doc
       - name: PRNG golden regression (warp-core)
         run: cargo test -p warp-core --features golden_prng --test prng_golden_regression
 
+  test:
+    name: Tests
+    runs-on: ubuntu-latest
+    needs:
+      - test-workspace
+      - test-warp-core
+    if: always()
+    steps:
+      - name: Require test shard success
+        shell: bash
+        run: |
+          set -euo pipefail
+          workspace_result="${{ needs.test-workspace.result }}"
+          warp_core_result="${{ needs.test-warp-core.result }}"
+          if [[ "$workspace_result" != "success" ]]; then
+            echo "workspace shard result: $workspace_result" >&2
+            exit 1
+          fi
+          if [[ "$warp_core_result" != "success" ]]; then
+            echo "warp-core shard result: $warp_core_result" >&2
+            exit 1
+          fi
+          echo "All test shards passed."
+
   test-musl:
     name: Tests (musl)
     runs-on: ubuntu-latest