I-13 Suite v0.3 · Direct WASM Emitter

I-13 Workbench

Edit source and execute the lowered program entirely in the browser WASM VM.

sample loaded

01 · Read

Waiting

source ingress

02 · Lower

Waiting

regions + ops

03 · Validate

Waiting

region isolation

04 · Frames

Waiting

native calls

05 · Result

Waiting

WASM globals

Runtime Pulse

Direct metrics from the native validator and VM.

idle

Regions

main + functions

Instructions

24-byte IVM records

Calls

native call events

Max frame depth

native recursion depth

VM steps

WASM execution loop

Peak operand stack

across all frames

Execution Console

Globals, errors, and current boundary.

WASM runtime initializing…

Execution Map function regions and call edges

Region Graph

Independent validator regions. Green edges were observed in the last native trace.

0 edges

Call Frames native function lifecycle

Frame Tower

Maximum simultaneous frame depth reconstructed from the WASM trace.

depth 0

Trace Timeline

ENTER / CALL / RET / HALT emitted by WASM.

0 events

Memory tagged globals and linear-memory layout

Global Slots

Numbers and function references after execution.

0 slots

Linear Memory Allocation

Transfer buffers inside WASM memory.

Instruction buffer

0 B

Function table

0 B

Global values

0 B

WASM module

0 B

—

Cortex six-rule deterministic gate around the native VM

Cortex Field

Six rules converge on the current execution identity.

0x00

IDLE

CORTEX

VETODEPTHCAPABILITYROUNDTRIPADDRESSIDEMPOTENCE

Rule Ledger

Direct calls into Cortex exports from the same WASM module.

VETOParser/lowerer completed.—

DEPTHAST depth remains under 64.—

CAPABILITYNative path imports no host capability.—

ROUNDTRIPDirect I-13 canonical identity remains stable.—

ADDRESSSemantic fingerprint yields execution address.—

IDEMPOTENCESame identity maps to same native target.—

—

ISA Ledger complete v0.3 virtual ISA + direct emitter surface

I-13 VM Instruction Format

Every lowered instruction is exactly 24 bytes, little-endian.

15 opcodes

offset  0: op  i32
offset  4: a   i32
offset  8: b   i32
offset 12: pad i32
offset 16: imm f64

Complete I-13 v0.3 ISA

Compiler encoding and runtime effect.

ID	Mnemonic	a	b	imm	Effect
0	Const	—	—	f64 literal	Push immediate number
1	Ask	slot	scope	—	Read local/global binding
2	Attr	—	—	—	Attribute projection marker
3	Ret	—	—	—	Return top value from function
4	Answer	slot	flags	—	Declare or assign binding
5	Drop	—	—	—	Discard top value
6	Bin	operator	—	—	Arithmetic operation
7	Cmp	operator	—	—	Comparison operation
8	If	else pc	—	—	Conditional branch
9	Call	argc	—	—	Dynamic function call
10	Block	—	—	—	Open structured block
11	Else	end pc	—	—	Alternate branch boundary
12	End	—	—	—	Close structured block
13	Func	global slot	function id	—	Bind function reference
14	Halt	—	—	—	Terminate region

Operator Subcodes

Operands selected by Bin and Cmp.

BIN  0 +   1 -   2 *   3 /
CMP  0 <   1 >   2 <=  3 >=  4 ==  5 !=
SCOPE 0 local   1 global
ANSWER flags = (scope << 1) | assign

Native WASM Emitter ISA

42 opcode constants exposed for direct generation.

unreachable 0x00  ·  nop 0x01  ·  block 0x02  ·  loop 0x03  ·  if 0x04  ·  else 0x05  ·  end 0x0b  ·  br 0x0c  ·  br_if 0x0d  ·  return 0x0f  ·  call 0x10  ·  call_indirect 0x11  ·  drop 0x1a  ·  select 0x1b  ·  local.get 0x20  ·  local.set 0x21  ·  local.tee 0x22  ·  global.get 0x23  ·  global.set 0x24  ·  i32.load 0x28  ·  i32.store 0x36  ·  i32.const 0x41  ·  i32.eqz 0x45  ·  i32.eq 0x46  ·  i32.ne 0x47  ·  i32.lt_s 0x48  ·  i32.gt_s 0x4a  ·  i32.le_s 0x4c  ·  i32.ge_s 0x4e  ·  i32.add 0x6a  ·  i32.sub 0x6b  ·  i32.mul 0x6c  ·  i32.div_s 0x6d  ·  i32.rem_s 0x6f  ·  i32.and 0x71  ·  i32.or 0x72  ·  i32.xor 0x73  ·  i32.shl 0x74  ·  i32.shr_s 0x75  ·  i32.shr_u 0x76  ·  i32.rotl 0x77  ·  i32.rotr 0x78

Native Module Exports

Exact v0.3 runtime surface reconstructed by the emitter.

31 exports

memory [memory]  ·  i13_hash32 [function]  ·  i13_effect_need [function]  ·  i13_effect_net [function]  ·  cortex_depth_ok [function]  ·  cortex_capability_ok [function]  ·  cortex_idempotence_ok [function]  ·  cortex_address32 [function]  ·  cortex_verdict [function]  ·  cortex_all_rules_pass [function]  ·  cortex_rule_all_mask [function]  ·  i13_validate_program [function]  ·  i13_val_peak [function]  ·  i13_val_error_pc [function]  ·  i13_val_error_code [function]  ·  i13_val_error_region [function]  ·  i13_val_regions [function]  ·  i13_vm_exec_program [function]  ·  i13_vm_steps [function]  ·  i13_vm_peak [function]  ·  i13_vm_error_pc [function]  ·  i13_vm_error_code [function]  ·  i13_vm_final_height [function]  ·  i13_vm_max_call_depth [function]  ·  i13_vm_calls [function]  ·  i13_vm_last_func [function]  ·  i13_trace_count [function]  ·  i13_trace_event [function]  ·  i13_trace_depth [function]  ·  i13_trace_func [function]  ·  i13_trace_pc [function]

v0.3 Lineage Verification

Startup recomputes SHA-256 and validates the emitted WebAssembly.

pending

Awaiting emission…

Test Lab browser-native regression suite

not run