✓
Passing This code compiles and runs correctly.
Code
// PIN (part): a top-level declaration repeated across the primary/part
// boundary must be diagnosed. The stem-facet merge could rely on silent
// dedup (type_registry.registerEvent early-returns) because facets are
// different host views; parts are the SAME kind of file, so a duplicate is
// an accident and must name the part that redeclares it — never vanish.
part a
pub tor greet {}
Supporting Files
// The part file: declares the same event `greet` the primary declares.
pub tor greet {}
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\[KORU202\]:.*'greet'.*part 'a'
input\.a\.k:[0-9]+:[0-9]+