060 reject state mismatch on input

✓ Passing This code compiles and runs correctly.

Code

const Connection = struct { id: i32 };
~pub event query { conn: *Connection[connected], sql: []const u8 }
~proc query {
}
~pub event get_raw_connection {}
| ok c |>
    query(conn: c, sql: "SELECT 1")
pub fn main() void {}

input.kz

Error Verification

Expected Error Pattern

Phantom state mismatch

Actual Compiler Output

🎯 Compiler coordination: Passes: 13 (flow-based: frontend, analysis, emission)
Error: output_emitted.zig:6:19: error: expected ')', found ':'
        query(conn: c, sql: "SELECT 1")
                  ^

Test Configuration

MUST_FAIL

← 059 reject consume on output 061 inline obligation cascade →