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

Must succeed:

Compile and run without errors.

Expected output

Flows

flow ~compute click a branch to expand · @labels scroll to their anchor

compute (x: 42)

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 009 entry merges companions →