123 reject chain glyph introduces value

✓ Passing This code compiles and runs correctly.

Code

// Glyph discipline (KORU103): `|>` CHAINS a step (an invocation, or a `_`
// discard) — it never introduces a bare VALUE. The resume value of a `-> T`
// effect is PRODUCED with `->`, not piped with `|>`. `! ask _ |> 42` was the
// old loose spelling; it must now be `! ask _ -> 42` (cf. 400_116). Twin of the
// `=>` rejection (KORU102, 400_122).
~import std/io

~pub event query { q: []const u8 }
! ask []const u8 -> i32
| done i32

~proc query|zig {
    const a = ask(q);
    return .{ .done = a };
}

~query(q: "x")
! ask _ |> 42
| done r |> std/io:print.ln("{{ r:d }}")

input.kz

Frontend must reject with:

CONTAINS KORU103
CONTAINS chains a step

Error Verification

Actual Compiler Output

error[KORU103]: `|>` chains a step; it cannot introduce the value `42` — produce a value with `->` (e.g. `-> 42`)
  --> tests/regression/400_RUNTIME_FEATURES/400_123_reject_chain_glyph_introduces_value/input.kz:18:0
    |
 18 | ! ask _ |> 42
    | ^

Test Configuration

MUST_FAIL

← 122 reject construct glyph on resume effect 001 basic budget tracking →