✓
Passing This code compiles and runs correctly.
Code
// Phase 3 captured failing test: when .k exists, the sibling .kz cannot
// also declare pub event. Today both declarations land (the registry
// silently drops the duplicate); this test pins KORU111 until the
// validator pass lands.
const std = @import("std");
~import std/io
~import app/contract
~app/contract:compute(x: 42): v |> std/io:print.ln("{{ v:d }}")
Frontend must reject with:
CONTAINS KORU111
CONTAINS public tor in implementation fileFlows
flow ~compute click a branch to expand · @labels scroll to their anchor
compute (x: 42)
Imported Files
// Phase 3 rule 2: when contract.k exists, this companion .kz file
// cannot also declare pub event. Implementation files own the procs;
// the public surface lives in .k only.
const std = @import("std");
~pub tor compute { x: u32 } -> u32
~proc compute|zig {
return x + 100;
}