067 reject bare literal at phantom param

✓ Passing This code compiles and runs correctly.

Code

input.kz

Must fail at runtime:

Program must error when executed.

Error Verification

Actual Compiler Output

error[KORU030]: Phantom state mismatch: argument 'c' has no tracked phantom state, but this event requires state '<celsius>'.
  --> phantom_semantic_check:28:0

❌ Compiler coordination error: Phantom semantic validation failed
error: CompilerCoordinationFailed
???:?:?: 0x104b339d3 in _backend.RuntimeEmitter.emit (???)
???:?:?: 0x104b34b63 in _backend.main (???)

Flows

flow ~to-fahrenheit click a branch to expand · @labels scroll to their anchor
to-fahrenheit (c: 22.5)

Test Configuration

MUST_FAIL

Expected Error:

Phantom state mismatch: argument 'c' has no tracked phantom state