kavak Phase 0 · audit complete · 0f pending

The frontend kernel for
the mobile triad.

kavak is the internal engine under three sibling browser sandboxes — miniswift.run, minikotlin.run, and minidart.run. One C kernel, three language descriptors. Lexer · Pratt parser · sema · type-system runtime, written once and shared across the Swift / Kotlin / Dart family.

status

Phase 0 closing. The msf ↔ mkf comparative audit shipped — measured 58% structural overlap between the two existing frontends, in the 50-80% sweet spot the design demands. Three concrete edits (E1/E2/E3) fed back into DESIGN rev 4. One Phase 0 task remains — the Dart-spec validation pass — before Layer 1 code starts.

Layer 3 ~32% language-specific code — sema rules, grammar productions

Layer 2 ~10% descriptor data — keywords, operators, string conventions

Layer 1 ~58% kavak kernel — Source · Token · AST · TypeInfo · scope · diag

v1 ship target: minidart.run runs Dart in your tab on the shared engine. v2 stretch: Metal · TypeScript · Go · Rust. Out of scope: Lisp / Forth / Prolog — homogeneous AST doesn't fit the kind-tagged tree.

Sister sandboxes miniswift.run Swift · running minikotlin.run Kotlin · running minidart.run Dart · under construction