One row
per block.
A committed transition is a block, an instruction, and the commitment that followed it. The explorer lists them in order and lets you inspect the architectural state at any one of them.
That state is not stored anywhere. It is recomputed by replaying the program from cycle zero to the selected cycle, which is why the commitment is worth keeping: it is the only thing a verifier needs to know the replay arrived at the same place.
Block numbers are those of a simulated instance and are marked as such wherever they appear. The transitions themselves are produced by the machine.
| BLOCK | CYCLE | PC | OP | OPERANDS | RESULT | COMMITMENT |
|---|---|---|---|---|---|---|
| 21,004,311 | 12,482,187 | 0x000 | LDI | R2, #17 | R2 ← 0x0011 | E3CA559F33AB8CA7… |
| 21,004,312 | 12,482,188 | 0x001 | LDI | R5, #0 | R5 ← 0x0000 | 366186BAF182A65C… |
| 21,004,313 | 12,482,189 | 0x002 | LDI | R1, #0 | R1 ← 0x0000 | 9BD974B7B6A5D135… |
| 21,004,314 | 12,482,190 | 0x003 | STORE | [0x020], R1 | [020] ← 0x0000 | 2A26DAC8CF5D1CBA… |
| 21,004,315 | 12,482,191 | 0x004 | LOAD | R1, [0x020] | R1 ← 0x0000 | 06D5379822C914B3… |
| 21,004,316 | 12,482,192 | 0x005 | ADD | R1, R2 | R1 ← 0x0011 | 37625B2A005E5A49… |
| 21,004,317 | 12,482,193 | 0x006 | STORE | [0x020], R1 | [020] ← 0x0011 | 3816D955D8A9E231… |
| 21,004,318 | 12,482,194 | 0x007 | MOV | R3, R1 | R3 ← 0x0011 | AC9713D0FD2B6B17… |
| 21,004,319 | 12,482,195 | 0x008 | INC | R5 | R5 ← 0x0001 | 164D7806008B14DF… |
| 21,004,320 | 12,482,196 | 0x009 | CMPI | R5, #8 | FLAGS · N · · | 5247ECD78A2E6574… |
| 21,004,321 | 12,482,197 | 0x00A | JNZ | 0x004 | PC ← 0x004 | 4E169C58431A432D… |
| 21,004,322 | 12,482,198 | 0x004 | LOAD | R1, [0x020] | R1 ← 0x0011 | 6924C6CC0A207842… |
| 21,004,323 | 12,482,199 | 0x005 | ADD | R1, R2 | R1 ← 0x0022 | F2145DBEDBB17F78… |
| 21,004,324 | 12,482,200 | 0x006 | STORE | [0x020], R1 | [020] ← 0x0022 | 906179B9709B8BE1… |
| 21,004,325 | 12,482,201 | 0x007 | MOV | R3, R1 | R3 ← 0x0022 | 79066DDED770002B… |
| 21,004,326 | 12,482,202 | 0x008 | INC | R5 | R5 ← 0x0002 | FB011B7A64BE755F… |
| 21,004,327 | 12,482,203 | 0x009 | CMPI | R5, #8 | FLAGS · N · · | DDF234DB65EC4A86… |
| 21,004,328 | 12,482,204 | 0x00A | JNZ | 0x004 | PC ← 0x004 | 821B6064D57FB9ED… |
| 21,004,329 | 12,482,205 | 0x004 | LOAD | R1, [0x020] | R1 ← 0x0022 | D0633D70D6AD8F14… |
| 21,004,330 | 12,482,206 | 0x005 | ADD | R1, R2 | R1 ← 0x0033 | BBA051503D260B5A… |
| 21,004,331 | 12,482,207 | 0x006 | STORE | [0x020], R1 | [020] ← 0x0033 | 21B53B10425FF2C0… |
| 21,004,332 | 12,482,208 | 0x007 | MOV | R3, R1 | R3 ← 0x0033 | 5AC0C48515F93CAA… |
| 21,004,333 | 12,482,209 | 0x008 | INC | R5 | R5 ← 0x0003 | 562DB77307881652… |
| 21,004,334 | 12,482,210 | 0x009 | CMPI | R5, #8 | FLAGS · N · · | 7FCA345247B72865… |
E3CA559F33AB8CA7
This state was not read from a record. The program was replayed from cycle zero to cycle 1 to produce it, on STRATA-16 R0.
Eight layers
between a program
and a block.
Each layer below consumes a defined representation and produces the next one. No layer infers anything about the layer above it, and none of them can be skipped: text becomes a canonical word, a word becomes a transition, and a transition becomes a commitment that a block carries.
The trace is not an explanation of execution. It is the execution, written down in the order it happened.
- 00 ↓USERWrites a program in the assembler's syntax. Nothing about the machine is hidden behind a runtime.
- 01 ↓PROGRAMText. Labels, directives and instructions drawn from the fixed instruction set.
- 02 ↓ASSEMBLERTwo passes: labels resolve to instruction addresses, then each line encodes into one word.
- 03 ↓BYTECODECanonical 32-bit words. Reserved bits are zero, unused fields are zero, and there is exactly one encoding per instruction.
- 04 ↓MACHINEFetch, decode, execute, writeback, commit. The phase list is derived from the decoded instruction.
- 05 ↓STATE TRANSITIONA defined architectural state in, a deterministic successor out. Nothing is inferred between cycles.
- 06 ↓CONTRACTHolds the state required to reproduce execution, not a description of it. It verifies the successor and keeps the commitment.
- 07 ■BLOCKOne edge. One committed transition. Block resolution is the machine's clock resolution.