✓
Passing This code compiles and runs correctly.
Code
// PIN (part): a part tag must not collide with a module namespace. `nav`
// names the directory `input.nav/` — the part join must refuse (KORU200's
// ambiguity doctrine) rather than guess which one the author meant.
part nav
Supporting Files
// The module namespace `input.nav` — exists so `part nav` collides with it.
Must fail at frontend compile:
Parsing or type-checking must reject the program.
Expected patterns
Each line is a regex that must match the program output.
error\[KORU203\]:.*part 'nav'.*directory