chore: add contractile.just runner

Generated from contractiles/ directory. Provides must-check, dust-rollback,
lust-status, trust-evidence recipes for the contractile framework.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: hyperpolymath

contractile.just

@@ -0,0 +1,77 @@
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# contractile.just — VeriSimDB contractile runner
+# Auto-generated from contractiles/ directory.
+# Re-generate with: contractile gen-just --dir contractiles
+
+# === MUST (Mandatory Invariants) ===
+# Source: contractiles/must/Mustfile
+
+# Run all mandatory invariant checks
+must-check:
+    @echo '=== Running VeriSimDB mandatory checks ==='
+    @just lint || (echo 'FAIL: lint' && exit 1)
+    @just test || (echo 'FAIL: tests' && exit 1)
+    @just fmt-check || (echo 'FAIL: format' && exit 1)
+    @echo '=== All mandatory checks passed ==='
+
+# Check SPDX headers present in source files
+must-spdx:
+    @echo 'Checking SPDX headers...'
+    find . -name '*.rs' -o -name '*.ex' -o -name '*.exs' -o -name '*.idr' -o -name '*.zig' | \
+        grep -v target/ | grep -v _build/ | grep -v .git/ | \
+        xargs grep -L 'SPDX-License-Identifier' | head -10 | \
+        (read -r line; if [ -n "$$line" ]; then echo "FAIL: missing SPDX: $$line"; exit 1; fi)
+    @echo 'PASS: SPDX headers present'
+
+# Check no banned languages present
+must-no-banned:
+    @echo 'Checking for banned files...'
+    @test ! -f Dockerfile && echo 'PASS: no Dockerfile' || (echo 'FAIL: Dockerfile found' && exit 1)
+    @test ! -f Makefile && echo 'PASS: no Makefile' || (echo 'FAIL: Makefile found' && exit 1)
+    @find . -name '*.py' -not -path './.git/*' | head -1 | (read -r f; if [ -n "$$f" ]; then echo "FAIL: Python file found: $$f"; exit 1; fi)
+    @find . -name '*.ts' -not -path './.git/*' -not -name '*.d.ts' | head -1 | (read -r f; if [ -n "$$f" ]; then echo "FAIL: TypeScript file: $$f"; exit 1; fi)
+    @echo 'PASS: no banned files'
+
+# === DUST (Recovery & Rollback) ===
+# Source: contractiles/dust/
+
+# Show available recovery actions
+dust-status:
+    @echo '  dust-rollback-source: Revert source changes to last commit [rollback]'
+    @echo '  dust-clean-build:     Remove build artifacts [cleanup]'
+
+# Revert source changes to last commit
+dust-rollback-source:
+    @echo 'Rolling back source changes...'
+    git checkout HEAD -- src/ elixir-orchestration/lib/ 2>/dev/null || true
+    @echo 'Rollback complete.'
+
+# Remove build artifacts
+dust-clean-build:
+    cargo clean 2>/dev/null || true
+    rm -rf elixir-orchestration/_build elixir-orchestration/deps 2>/dev/null || true
+    @echo 'Build artifacts cleaned.'
+
+# === LUST (Aspirational Goals) ===
+# Source: contractiles/lust/
+
+# Show aspirational goals
+lust-status:
+    @echo 'VeriSimDB aspirational goals:'
+    @echo '  - Formally verified query execution engine'
+    @echo '  - Cross-store federation with VQL'
+    @echo '  - Sub-millisecond graph query performance'
+    @echo '  - Zero-downtime schema migration'
+
+# === TRUST (Verification Evidence) ===
+# Source: contractiles/trust/
+
+# Collect and display trust evidence
+trust-evidence:
+    @echo '=== VeriSimDB Trust Evidence ==='
+    @echo 'Test suite:'
+    cargo test --quiet 2>&1 | tail -3 || echo '  (cargo test unavailable)'
+    @echo 'Idris2 ABI verification:'
+    @ls src/abi/*.idr 2>/dev/null | wc -l | xargs printf '  %s ABI files\n'
+    @echo 'License compliance:'
+    @grep -r 'SPDX-License-Identifier: PMPL-1.0-or-later' src/ 2>/dev/null | wc -l | xargs printf '  %s files licensed\n'