module system / file layout

✓ 11 passing ✗ 4 failing ○ 1 planned

Lessons

1 ✓ Passing
001 kjs extension import
2 ✓ Passing
002 k pure contract
3 ✓ Passing
003 directory mixed extensions
4 ✓ Passing
004 index kjs directory source
5 ✗ Failing
005 companion k and kz — backend-exec
6 ○ Planned
006 reject private event in contract — Rework as a cross-module private-event VISIBILITY test. KORU111 Rule 1 (private event in .k rejected) was removed 2026-07-17 — private events are legal in a .k full program. The surviving intent here is that a PRIVATE event must not be callable across a module boundary; that needs cross-module visibility enforcement (see 110_002 TODO) before this can be re-pinned.
7 ✓ Passing
007 reject pub event in impl when k exists
8 ✓ Passing
008 pub event in kz alone is fine
9 ✗ Failing
009 entry merges companions — backend-exec
10 ✓ Passing
010 cross target host line routing
11 ✓ Passing
010 private event in k allowed
12 ✓ Passing
011 vaxis pump realistic
13 ✓ Passing
012 js dispatch binding shadow
14 ✓ Passing
013 js continuation branch dispatch
15 ✗ Failing
014 for template cross target — js-runtime
16 ✗ Failing
015 if template cross target — js-runtime