I-13 Runtime v0.2 · WASM Validator + VM

I-13 Workbench

Parse in browser · lower to fixed IVM-13 instructions · validate and execute in WASM

01 · source

Waiting

I-13 text

02 · AST

Waiting

browser parser

03 · ops

Waiting

numeric stream

04 · validate

Waiting

single-pass WASM

05 · execute

Waiting

WASM stack VM

Native Verdict

Validator and VM telemetry are read directly from WASM exports

idle

Execution

IDLE

WASM

Validator peak— Validator final height— Validator error— VM steps— VM peak— VM final height— VM error—

Lowered IVM-13 Instruction Stream

Fixed 24-byte records transferred into WASM linear memory

0 ops

PC	Op	A	B	Imm	Source

WASM Variables

Numeric variable slots after execution

0 vars

—

Canonical AST

Browser parse result before lowering

—

Boundary / Coverage

What is truly native in this version

WASM NOW OWNS
  • stack-effect arithmetic
  • structured control validation
  • underflow / balance checks
  • numeric variable slots
  • Const / Ask / Attr / Answer / Drop
  • Bin / Cmp
  • If / Else / End / Block / Halt
  • execution step/peak/error telemetry
  • Cortex deterministic gates

JS STILL OWNS
  • lexing / AST construction
  • AST → numeric opcode lowering
  • UI / orchestration

NEXT NATIVE MOVE
  • function regions
  • Ret / Func / Call
  • recursive call frames
  • complete IVM-13 region isolation