✓
Passing This code compiles and runs correctly.
Code
// PIN (part): a gated `~[flag]part` whose flag IS set is a real declaration
// — the loud-miss rule survives the gate (declared tag, no file → KORU201,
// the same refusal `~part ghost` makes). Gating removes the declaration;
// it never weakens it.
~[partgate]part ghost
~pub tor show { v: u32 }
~proc show|zig { std.debug.print("unreachable\n", .{}); }
~show(v: 1)
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 'ghost'Flows
flow ~show click a branch to expand · @labels scroll to their anchor
show (v: 1)
Test Configuration
Compiler Flags:
--partgate