0 · I13 · i READER ⇄ IVM-13 SIDECAR

read → parse → compile → single-pass validate → execute · structured control, no br

not run

i(reader) ─▶ I13 AST ─▶ compiler ─▶ IVM-13 bytecode ─▶ validator ─▶ VM

i · MANIFEST

—

→

I13 · AST

—

IVM-13 · BYTECODE

—

→

VERDICT + RUNTIME

—

STATUS · STANDING RULE

0 root/containerSET i reader / ingressBUILT v0.1 I13 parserBUILT v0.1 ISA 15 opcodesBUILT AST → bytecode compilerBUILT Block/If/Else/End controlBUILT br opcodeABSENT region validatorBUILT single-pass ratio1.0000 stack machineBUILT functions / recursionBUILT I.p osmotic bindBUILT general Attr semanticsSHIPPED NO-OP call-arity validationNOT COVERED VM call-arity failureRUNTIME canonical Rust source parityNOT PROVEN reader testsNOT RUN VM sidecar testsNOT RUN n normalizerNOT BUILT t translatorNOT BUILT w writerNOT BUILT

VM VERDICT SCOPE

COVERED
  stack balance
  control pairing
  region isolation
  one linear validation pass

NOT COVERED
  types
  termination
  arithmetic correctness
  waste
  call arity

READER TESTS

not run

VM SIDECAR TESTS

not run