VM instrument dashboard linking inspector, differential executors, proof viewer, and boot receipts.
VM Instrument Dashboard
Unified observatory across CRE8VM compilation, differential execution, STARK proofs, and kernel boot receipts.
- Executors
- Graph / Tape / Register
- Field
- Goldilocks p = 2^64 - 2^32 + 1
- GPU Determinism
- exact-integer-bit-identical
- Surfaces
- 4 Instruments
Instruments
Direct diagnostic instruments for workspace source, differential engine traces, STARK proofs, and hardware boot claims:
VM Inspector
Opcode disassembly, pass ladder comparison (authored source vs optimizing passes), per-frame step hashes, and crystal nucleus resolution.
Differential Executors
Synchronously runs Graph, Tape, and Register VM executors under a single permit to verify zero divergence across results and step-hash chains.
VM Proof Viewer
Inspects stored PIS traces, Merkle roots, polynomial evaluation commitments, and STARK proof artifacts stored in durable Atoms.
Boot Receipt Viewer
Audits bounded kernel boot sessions, register state transitions, standalone memory STARK proofs, and physical handheld (RG353V / G1) receipts.
Architecture & Determinism
| Layer | Contract & Target | Determinism Guarantee |
|---|---|---|
| CRE8VM Tri-Executor | Graph (AST) vs Tape (linear bytecode) vs Register (RV64) | Bit-identical terminal outputs & synchronized step-hash chains |
| Finite Field Arithmetic | Goldilocks prime p = 2^64 - 2^32 + 1 (0xFFFFFFFF00000001) | Schoolbook 16-bit limb accumulation with 2-step conditional subtraction |
| GPU Acceleration | WGSL shaders (gpu_poseidon, gpu_ntt, worldsim_npc_step) | exact-integer-bit-identical determinism class matching CPU shadow |
| Hardware Multinode | Desktop twin <-> Physical handheld (RG353V / G1) seam | Causal occurrence binding with first_prover provenance preserved in HyperDB |
Launch Tool
Navigate to a diagnostic surface for any workspace path or atom content hash:
Inspect or Run Workspace
Enter a workspace reference (e.g. fixture, local path, or atom hash):
Inspect Proof or Boot Atom
Enter an Atom ID (64-character hex hash) for a STARK proof or BootReceipt: