THE MAP OF I-13 — as I see it

I DESIGNATE 53.55%

Name 29.67%

Constant 14.25% · f64 only

Attribute 9.63% · reserved

II BIND 11.13%

Assign 5.23% · <-

Arg 4.08%

Return 1.82% · ->

III DECIDE 7.78%

Expr 3.01%

If 2.76%

Compare 2.01%

IV TRANSFORM 10.80%

Call 7.50%

FunctionDef 1.92%

BinOp 1.38% · + - * / %

plus the one declaration keyword I — I x <- 0 declares, <- binds, -> returns, { } blocks. Counted, not designed, from 649,634 AST nodes at 83.26% coverage.

the conservation law — total for every opcode, no unstated scope. Control is depth-indexed (Block/If/Else/End over entry heights), not address-indexed — there is no branch opcode. LIT

2 · THE COMPILER PIPELINE source to machine, single pass LIT

source.i13 text

→

lexertokens

→

parserAST

→

HIR+ semantic

→

lower_ivm↓ IVM

→

IVM15 opcodes

→

validatorsingle pass · ratio 1.0000

▶ reference VM — i13 check (validate + the ledger) · i13 run (execute; explicit frame vector, so recursion never rides the host stack). Ceilings: 4096 frames / 8,000,000 steps.

▶ wasm backend — i13 build -o x.wasm · a real self-contained module (`\0asm`, zero deps). Diagnostics carry file:line:col + stable codes E0001–E0601, all errors at once.

3 · THE BOUNDARY LEDGER axiom XIII — what VALID means LIT

✓ COVERED

stack balance (per region)
control-structure pairing
call arity
function existence

✗ NOT COVERED

types (a Number vs Function slip dies at run)
termination — only two runtime ceilings fire
arithmetic (div/modulo by zero)
waste (dead code after a return)

The crown jewel: region-isolated, single-pass validation that declares its own scope — so VALID is never misread as “safe.” The one seam I found and closed: that ledger had gone missing from check's output; it's back.

4 · H1.1 — THE SYSTEM IT BECAME far past a 13-symbol language CITED

The core (H1.0) is frozen; on top of it H1.1 grew a whole machine. From the live site, not run by me:

LanguageReader / VM — the counted core

Translationthe wasm VM

OutputGFX

PlaceOLOGY: <x16,y16> + voxel depth z, gated by the Cortex Verifier

Knowledgethe Corpus Navigator — a semantic mesh, graph-hops

ActionArrival / Execution / Receipt

Curationthe bounded Curator — skill · persona-lens · occupation

the receipt discipline — deterministic outputs survive; hidden child state dies. CITED

5 · WHAT MOVED TODAY a panel branch, for your review on a branch

On panel-recommends (not pushed): restored the COVERED/NOT-COVERED ledger to check; added `%` modulo to check/run (wasm errors cleanly); return-totality (a function that can fall through without -> now fails at check, not run); --version/--help; and gated the redundant double-validation to debug builds. Left for your call: the dead Op::Attr removal (renumbers the IVM encoding), run --trace, and the >2⁵³ warning. The `.p` osmotic sugar I deliberately kept — it's your signature, not dead weight.

1 · THE COUNTED LANGUAGE 12 verbs + I = 13 LIT