✗
Failing This test is currently failing.
Failed: wrong-error
Error Details
output_emitted.zig:39:14: error: expected ';' after declaration
Failure Output
🎯 Compiler coordination: Passes: 15 (flow-based: frontend, analysis, emission)
Error: output_emitted.zig:39:14: error: expected ';' after declaration
const box#i64 = struct {
^~~~~~~~~~~~~~~Code
// RED PIN, MUST_FAIL (type-system design walk, 2026-07-06/07).
// REWRITTEN from the dead `Option<i32>`/`Option<f32>` generation.
// Distinct stamped identities are distinct types: box#f64 flowing into
// an event expecting box#i64 must be rejected — at the KORU layer, by
// the registry-backed checker, with a diagnostic naming both types
// (not a Zig error pointing into generated code; today binding/payload
// types are strings the checker cannot reason about — the 2026-07-06
// walk's "checked earlier" requirement). Spelling PROVISIONAL.
~import std/types
const std = @import("std");
~std/types:struct(box#i64) {
value: i64,
}
~std/types:struct(box#f64) {
value: f64,
}
~event make-float-box {}
| made box#f64
~proc make-float-box|zig {
return .{ .made = @"box#f64"{ .value = 3.14 } };
}
~event show-int-box { b: box#i64 }
~proc show-int-box|zig {
std.debug.print("Value: {d}\n", .{b.value});
}
// ERROR: box#f64 where box#i64 is expected
~make-float-box()
| made m |> show-int-box(b: m)
Backend must reject with:
CONTAINS error[KORU
CONTAINS box#i64
CONTAINS box#f64Error Verification
Expected Error Pattern
MUST_FAILActual Compiler Output
🎯 Compiler coordination: Passes: 15 (flow-based: frontend, analysis, emission)
Error: output_emitted.zig:39:14: error: expected ';' after declaration
const box#i64 = struct {
^~~~~~~~~~~~~~~Flows
flow ~struct click a branch to expand · @labels scroll to their anchor
struct (expr: box#i64, source: value: i64,)
flow ~struct click a branch to expand · @labels scroll to their anchor
struct (expr: box#f64, source: value: f64,)
flow ~make-float-box click a branch to expand · @labels scroll to their anchor
make-float-box
Test Configuration
MUST_FAIL