✓
Passing This code compiles and runs correctly.
Code
// PIN (part): a `part` that names no file is an error, never a silent skip.
// The house law is fail loud: `part missing` must refuse with a located
// diagnostic naming the tag and the files that were probed — the absent
// file is a broken module, not an optional facet.
part missing
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\[KORU201\]:.*part 'missing'