SKIP TO CONTENT
ARRAY
06 · EXPLORER
INSTANCE 0x9C41A7D3E0… · SIMULATED HISTORY

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.

// COMMITTED TRANSITIONS
INSTANCE 0x9C41A7D3…BLOCK ORIGIN 21,004,310
PROGRAM
CYCLES 1 … 24
BLOCKCYCLEPCOPOPERANDSRESULTCOMMITMENT
21,004,31112,482,1870x000LDIR2, #17R2 ← 0x0011E3CA559F33AB8CA7…
21,004,31212,482,1880x001LDIR5, #0R5 ← 0x0000366186BAF182A65C…
21,004,31312,482,1890x002LDIR1, #0R1 ← 0x00009BD974B7B6A5D135…
21,004,31412,482,1900x003STORE[0x020], R1[020] ← 0x00002A26DAC8CF5D1CBA…
21,004,31512,482,1910x004LOADR1, [0x020]R1 ← 0x000006D5379822C914B3…
21,004,31612,482,1920x005ADDR1, R2R1 ← 0x001137625B2A005E5A49…
21,004,31712,482,1930x006STORE[0x020], R1[020] ← 0x00113816D955D8A9E231…
21,004,31812,482,1940x007MOVR3, R1R3 ← 0x0011AC9713D0FD2B6B17…
21,004,31912,482,1950x008INCR5R5 ← 0x0001164D7806008B14DF…
21,004,32012,482,1960x009CMPIR5, #8FLAGS · N · ·5247ECD78A2E6574…
21,004,32112,482,1970x00AJNZ0x004PC ← 0x0044E169C58431A432D…
21,004,32212,482,1980x004LOADR1, [0x020]R1 ← 0x00116924C6CC0A207842…
21,004,32312,482,1990x005ADDR1, R2R1 ← 0x0022F2145DBEDBB17F78…
21,004,32412,482,2000x006STORE[0x020], R1[020] ← 0x0022906179B9709B8BE1…
21,004,32512,482,2010x007MOVR3, R1R3 ← 0x002279066DDED770002B…
21,004,32612,482,2020x008INCR5R5 ← 0x0002FB011B7A64BE755F…
21,004,32712,482,2030x009CMPIR5, #8FLAGS · N · ·DDF234DB65EC4A86…
21,004,32812,482,2040x00AJNZ0x004PC ← 0x004821B6064D57FB9ED…
21,004,32912,482,2050x004LOADR1, [0x020]R1 ← 0x0022D0633D70D6AD8F14…
21,004,33012,482,2060x005ADDR1, R2R1 ← 0x0033BBA051503D260B5A…
21,004,33112,482,2070x006STORE[0x020], R1[020] ← 0x003321B53B10425FF2C0…
21,004,33212,482,2080x007MOVR3, R1R3 ← 0x00335AC0C48515F93CAA…
21,004,33312,482,2090x008INCR5R5 ← 0x0003562DB77307881652…
21,004,33412,482,2100x009CMPIR5, #8FLAGS · N · ·7FCA345247B72865…
STATE AT BLOCKREPLAYED
BLOCK21,004,311
CYCLE12,482,187
INSTRUCTIONLDI R2, #17
PC0x001
IR0x00220011
SP0x0080
HALTEDNO
COMMITMENT

E3CA559F33AB8CA7

REGISTER FILE
R00000
R10000
R20011
R30000
R40000
R50000
R60000
R70000
R80000
R90000
RA0000
RB0000
RC0000
RD0000
RE0000
RF0000

This state was not read from a record. The program was replayed from cycle zero to cycle 1 to produce it, on ARRAY-16 R0.

10 · ON-CHAIN ARCHITECTURE
TEXT → WORD → TRANSITION → BLOCK

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.

  1. 00 ↓USERWrites a program in the assembler's syntax. Nothing about the machine is hidden behind a runtime.
  2. 01 ↓PROGRAMText. Labels, directives and instructions drawn from the fixed instruction set.
  3. 02 ↓ASSEMBLERTwo passes: labels resolve to instruction addresses, then each line encodes into one word.
  4. 03 ↓BYTECODECanonical 32-bit words. Reserved bits are zero, unused fields are zero, and there is exactly one encoding per instruction.
  5. 04 ↓MACHINEFetch, decode, execute, writeback, commit. The phase list is derived from the decoded instruction.
  6. 05 ↓STATE TRANSITIONA defined architectural state in, a deterministic successor out. Nothing is inferred between cycles.
  7. 06 ↓CONTRACTHolds the state required to reproduce execution, not a description of it. It verifies the successor and keeps the commitment.
  8. 07 ■BLOCKOne edge. One committed transition. Block resolution is the machine's clock resolution.