Epic/index: estate standards + dogfooding program — campaign index + lane triage (core-track vs handed-off)

[hyperpolymath]

Single navigable index for the standards / audit / dogfooding program that spun out of a build session, plus the lane triage (what's being done in-session vs handed off). Use this as the entry point.

Campaigns (filed)

• Campaign: estate-wide test + bench blitz (every repo, every level, cross-repo) + fix panic-attack-on-test-fail #108 — estate-wide test + bench blitz (every repo/level + cross-repo) + the panic-attack-on-test-fail problem (Agda/Lean tests-as-proofs question).
• Campaign: SNIF (Sandboxed-NIF) for all estate languages — wrap raw NIFs, add a Rust/SPARK SNIF #109 — SNIF (Sandboxed-NIF) for all languages; wrap raw NIFs (verisimdb, burble); add a Rust/SPARK SNIF.
• Campaign: unified coprocessor backend (Axiom.jl pattern) + roll out to repos needing acceleration #110 — unified coprocessor backend (Axiom.jl pattern; doesn't exist yet) + roll out to affinescript/verisimdb/futharkiser; confirm the ~11 PUs.
• Campaign (master): codify + roll out the immutable estate standards (pure-Zig FFI, Idris2 ABI, hexadeca-unified, SNIF-not-NIF, Rust/SPARK) #111 — standards master: pure-Zig FFI (no C, no .h) · Idris2 ABIs · hexadeca-unified (extend zig-api, don't rebuild) · SNIF-not-NIF · Rust/SPARK (Rust is never the ABI/FFI layer) · Mustfile + standards-repo rollout.
• opsm (odds-and-sods-package-manager) → provenance + freshness + regeneration engine: end dogfooding staleness permanently #112 — opsm (odds-and-sods-package-manager) → provenance + drift-gate + regenerate-on-drift; ends dogfooding staleness; includes the gossamer↔ephapax redesign-vs-migrate verdict. Self-contained briefing + starter prompt inside.
• unified-zig-api: extend (not rebuild), add missing API surfaces, share via a top-level repo, evaluate hard-groove deep-connect to http-capability-gateway #113 — unified-zig-api: extend (not rebuild), add missing surfaces, share via a new top-level repo, evaluate hard-groove deep-connect to http-capability-gateway (+ boj-server features).
• Audit (6 reachable repos): C/.h vs pure-Zig, Idris2-ABI compliance, raw NIFs, Groove hard/soft, adapter + coprocessor footprint #114 — audit report for the 6 session-reachable repos.

Lane triage

① CORE TRACK (active in-session): git-reticulator Deliverable 2 — #26/#27/#28 merged ✅; the Rust↔AffineScript LatticeCore bridge (Idris2 ABI + pure-Zig FFI + Idris2 prover) in progress; PROOF-NEEDS discharge. Idris2 0.8.0 verifies locally; Zig is CI-checked.

② Also doable in the 6 reachable repos: standards local-copies + Mustfiles; burble/src/build/exec/abi_proofs.c review; NIF→SNIF (reachable slice of #109); zig-api extension (reachable slice of #110/#113).

③ Handed off (need broader scope / Zig toolchain / repo creation): #111 standards-repo + ~290-repo rollout; #112 opsm + gossamer/ephapax; #110 create Axiom.jl; #113 new top-level repo + boj hard-groove.

Hard constraints (the session that filed these)

Reachable repos: affinescript, developer-ecosystem, burble, verisimdb, git-reticulator, vcl-ut. Not reachable: hyperpolymath/standards, opsm, gossamer, ephapax, the rest of the ~290 estate; no repo-creation; no Zig toolchain (Zig stays CI-verified); Idris2 0.8.0 available.

The immutable rules (one-line recap)

Pure-Zig FFI, no C / no .h · ABIs in Idris2 (prover-gated) · hexadeca-unified (extend zig-api) · SNIFs not NIFs · Rust means Rust/SPARK and is never the ABI/API/FFI layer.

---

Filed via Claude Code — https://claude.ai/code/session_01JNCDaWMB8NV6nAPrvmTg4w