060 reject state mismatch on input

✗ Failing This test is currently failing.

Failed: must-fail-passed

Failure Output

🎯 Compiler coordination: Passes: 14 (flow-based: frontend, analysis, emission)

Code

const Connection = struct { id: i32 };
~pub event query { conn: *Connection<connected>, sql: []const u8 }
~proc query|zig {
}
~pub event get-raw-connection {}
| ok c |> query(conn: c, sql: "SELECT 1")

input.kz

Must fail at runtime:

Program must error when executed.

Error Verification

Expected Error Pattern

Phantom state mismatch

Actual Compiler Output

🎯 Compiler coordination: Passes: 14 (flow-based: frontend, analysis, emission)

Test Configuration

MUST_FAIL

← 059 reject consume on output 061 inline obligation cascade →