✓
Passing This code compiles and runs correctly.
Code
// PIN (part): in a host-embedded file the part declaration rides the `~`
// mode switch — `~part math` is the same declaration `part math` makes in a
// pure `.k` (the 1149 synthesis contract, through part). A part's own file
// may hold events AND their host procs in one `.kz` (the 140_008 shape),
// and may carry the host imports it needs — `const std` lives here, in the
// part, not the primary.
~part math
~compute(x: 40): r |> show(v: r)
Supporting Files
// The part file for `~part math`: events + |zig procs in one host-embedded
// file. Its `const std` import is host bytes that must reach the emitted
// Zig module like any other part hostline.
const std = @import("std");
~pub tor compute { x: u32 } -> u32
~pub tor show { v: u32 }
~proc compute|zig { return x + 2; }
~proc show|zig { std.debug.print("{d}\n", .{v}); }
Actual
42
Expected output
42
Flows
flow ~compute click a branch to expand · @labels scroll to their anchor
compute (x: 40)
Test Configuration
MUST_RUN