Claude/jolly ramanujan 7lww m

.github/dependabot.yml

@@ -24,25 +24,13 @@ updates:
         update-types: ["version-update:semver-patch"]
 
   # Elixir/Mix
-  - package-ecosystem: "weeklymix"
-    directory: "/"
+  - package-ecosystem: "mix"
+    directory: "/elixir-orchestration"
     schedule:
-      interval: "daily"
+      interval: "weekly"
 
-  # Node.js/npm
+  # Node.js/npm — VQL playground
   - package-ecosystem: "npm"
-    directory: "/"
-    schedule:
-      interval: "daily"
-
-  # Python/pip
-  - package-ecosystem: "pip"
-    directory: "/"
-    schedule:
-      interval: "daily"
-
-  # Nix flakes
-  - package-ecosystem: "nix"
-    directory: "/"
+    directory: "/playground"
     schedule:
-      interval: "daily"
+      interval: "weekly"

.github/workflows/elixir-ci.yml

@@ -0,0 +1,70 @@
+# SPDX-License-Identifier: MPL-2.0
+# Elixir CI for the orchestration layer: compile, format check, test, audit.
+name: elixir-ci
+
+on:
+  push:
+    branches: [main, master]
+    paths:
+      - "elixir-orchestration/**"
+      - ".github/workflows/elixir-ci.yml"
+  pull_request:
+    branches: [main, master]
+    paths:
+      - "elixir-orchestration/**"
+      - ".github/workflows/elixir-ci.yml"
+  workflow_dispatch:
+
+env:
+  MIX_ENV: test
+
+concurrency:
+  group: elixir-ci-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  build-test:
+    name: compile + test
+    runs-on: ubuntu-latest
+    defaults:
+      run:
+        working-directory: elixir-orchestration
+    strategy:
+      matrix:
+        include:
+          - elixir: "1.17"
+            otp: "27"
+    steps:
+      - uses: actions/checkout@v4
+      - uses: erlef/setup-beam@v1
+        with:
+          elixir-version: ${{ matrix.elixir }}
+          otp-version: ${{ matrix.otp }}
+      - uses: actions/cache@v4
+        with:
+          path: |
+            elixir-orchestration/deps
+            elixir-orchestration/_build
+          key: ${{ runner.os }}-mix-${{ matrix.elixir }}-${{ matrix.otp }}-${{ hashFiles('elixir-orchestration/mix.lock') }}
+          restore-keys: |
+            ${{ runner.os }}-mix-${{ matrix.elixir }}-${{ matrix.otp }}-
+      - run: mix deps.get
+      - run: mix format --check-formatted
+      - run: mix compile --warnings-as-errors
+      - run: mix test
+
+  audit:
+    name: hex audit
+    runs-on: ubuntu-latest
+    defaults:
+      run:
+        working-directory: elixir-orchestration
+    steps:
+      - uses: actions/checkout@v4
+      - uses: erlef/setup-beam@v1
+        with:
+          elixir-version: "1.17"
+          otp-version: "27"
+      - run: mix deps.get
+      - run: mix hex.audit
+      - run: mix deps.unlock --check-unused

.github/workflows/rust-ci.yml

@@ -0,0 +1,81 @@
+# SPDX-License-Identifier: MPL-2.0
+# Rust CI — test, lint, audit, docs on every push and PR.
+#
+# Mirrors the .gitlab-ci.yml security/lint/test stages so contributors
+# using GitHub get the same checks before merge.
+name: rust-ci
+
+on:
+  push:
+    branches: [main, master]
+  pull_request:
+    branches: [main, master]
+  workflow_dispatch:
+
+env:
+  CARGO_TERM_COLOR: always
+  RUST_BACKTRACE: 1
+
+concurrency:
+  group: rust-ci-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  fmt:
+    name: rustfmt
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@stable
+        with:
+          components: rustfmt
+      - run: cargo fmt --all -- --check
+
+  clippy:
+    name: clippy (all-targets)
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@stable
+        with:
+          components: clippy
+      - uses: Swatinem/rust-cache@v2
+      - run: cargo clippy --workspace --all-targets --no-deps -- -D warnings
+
+  test:
+    name: cargo test
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@stable
+      - uses: Swatinem/rust-cache@v2
+      - run: cargo test --workspace --no-fail-fast
+
+  doc:
+    name: cargo doc
+    runs-on: ubuntu-latest
+    env:
+      RUSTDOCFLAGS: "-D warnings"
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@stable
+      - uses: Swatinem/rust-cache@v2
+      - run: cargo doc --workspace --no-deps
+
+  audit:
+    name: cargo audit
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: rustsec/audit-check@v2.0.0
+        with:
+          token: ${{ secrets.GITHUB_TOKEN }}
+
+  bench-compile:
+    name: benchmarks compile
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@stable
+      - uses: Swatinem/rust-cache@v2
+      - run: cargo bench --no-run

benches/Cargo.toml

@@ -26,3 +26,5 @@ verisim-temporal = { path = "../rust-core/verisim-temporal" }
 verisim-octad = { path = "../rust-core/verisim-octad" }
 verisim-drift = { path = "../rust-core/verisim-drift" }
 verisim-normalizer = { path = "../rust-core/verisim-normalizer" }
+verisim-provenance = { path = "../rust-core/verisim-provenance" }
+verisim-spatial = { path = "../rust-core/verisim-spatial" }