006 nominal binding check

// RED PIN, MUST_FAIL (type-system design walk, 2026-07-06/07).
// Binding types checked at the KORU layer against registry entries.
// Today a bind's or branch payload's type is a string the checker can
// pattern-match but not reason about — the true rejection happens in
// Zig, in Zig's voice, pointing at generated code (Lars, 2026-07-06:
// "loosely checked against the translated Koru layer and then rejected
// fully in the Zig layer"). With declared types in the registry, the
// flow/shape checkers resolve binding types and reject HERE, with a
// koru diagnostic naming both declared types.
//
// A produced Meters value bound and passed onward as Feet must be
// rejected by the Koru checker — before any Zig compilation.

~import std/types

const std = @import("std");

~std/types:struct(Meters) {
    v: i64,
}

~std/types:struct(Feet) {
    v: i64,
}

~event measure {}
| height Meters

~proc measure|zig {
    return .{ .height = Meters{ .v = 8848 } };
}

~event report-feet { f: Feet }

~proc report-feet|zig {
    std.debug.print("{d}ft\n", .{f.v});
}

~measure()
| height h |> report-feet(f: h)