166 undeclared branch rejected without annotation

✓ 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[KORU021]: event 'input:run' has no branch 'soon' (available: done, err)
  --> tests/regression/400_RUNTIME_FEATURES/400_166_undeclared_branch_rejected_without_annotation/input.kz:23:0

❌ Compiler coordination error: Incomplete branch coverage
error: CompilerCoordinationFailed
???:?:?: 0x1028cb9d3 in _backend.RuntimeEmitter.emit (???)
???:?:?: 0x1028ccb63 in _backend.main (???)

Flows

flow ~run click a branch to expand · @labels scroll to their anchor
run

Test Configuration

MUST_FAIL

Expected Error:

KORU021