ROADMAP — Gnosis FPGA / verifylog completion
This file tracks exit criteria for the Gnosis → verifylog / VHDL track. Phases A–J mirror the completionist plan (see repo history); status reflects the first vertical slice landed in-tree.
Exit criteria
| Phase | Criterion | Status |
|---|---|---|
| A | verifylog/ + rtl-bridge/ README tree; RTL-SDR naming disambiguation |
Done |
| B | Versioned SieveFsmIrV0 + lift_reference mirror + golden JSON tests |
Done |
| C | betti.gg + vhdl_emitter + handlers.ts sieve_fsm_v0 cargo emit |
Done |
| D | VHDL entity + self-checking TB (GHDL when GNOSIS_RTL_TOOLS=1) |
Done |
| E | verifylog-populate.sh + trace layout |
Done |
| F | SymbiYosys .sby + validate:rtl-formal (opt-in GNOSIS_RTL_FORMAL=1) |
Done |
| G | Scale doc (rtl-bridge/docs/SCALE_TILE_AXI.md) + mesh-local-mcp pointer |
Done |
| H | Verilog emitter (shared semantics) + Chisel spike README | Done |
| I | HIL README + brute parity surrogate test | Done |
| J | CI targets validate:rtl-sim / validate:rtl-formal (env-gated) |
Done |
Explicit non-goals (v0)
- Lean proof of vendor post-P&R netlists.
- Treating 196,884-dimensional Griess data as if it must live in a single-cycle, flip-flop-dense on-chip register file. The repo’s liquid memory pattern (banked external memory, streaming/range access, per-phase residency—see
docs/MONSTER_MESH_70B_OPERATIONS.mdandknotgraph/src/layer-cache/index.ts) already carries very large state off the hot path; silicon can follow the same architecture, not the strawman “one LUT per coordinate.” The shipped v0 RTL is still only the resolution-lift FSM slice (parity-closed); extending it toward Griess-backed state is a memory-system + schedule design task, not disallowed by dimension alone. - Paid cloud synthesis farms or min-instances-on Cloud Run (repo cost policy).
Next exploration
Wire distributed-inference integration tests to optionally assert_eq! lift_reference against distributed_inference::attention_closure_lift behind a #[cfg(feature = "di-parity")] feature so the mirror cannot drift silently.