008 pub event in kz alone is fine

✓ Passing This code compiles and runs correctly.

Code

// Phase 3 defender: ~pub event in a .kz with no .k companion is the
// status-quo pattern. Compiles and runs as today; prints 142.

const std = @import("std");

~import "$std/io"
~import "$app/contract"

~app.contract:compute(x: 42)
| done v |> std.io:print.ln("{{ v:d }}")
input.kz

Actual

142

Must succeed:

Compile and run without errors.

Expected output

142

Imported Files

// Phase 3 opt-in carve-out: a single .kz file with ~pub event is the
// status-quo koru_std pattern. No .k companion exists, so the Phase 3
// rule must NOT fire. This test defends every existing ~pub event in
// koru_std against the validator over-firing.

const std = @import("std");

~pub event compute { x: u32 }
| done u32

~proc compute|zig {
    return .{ .done = x + 100 };
}
contract.kz

Test Configuration

MUST_RUN
← 007 reject pub event in impl when k exists 050 identity branches →