053 reject stdlib event in kernel

✗ Failing This test is currently failing.

Failed: backend-exec

Error Details

output_emitted.zig:11:16: error: kernel:init requires | computed |> branch — without it, kernel results are trapped inside the kernel scope

Failure Output

🎯 Compiler coordination: Passes: 14 (flow-based: frontend, analysis, emission)
Error: output_emitted.zig:11:16: error: kernel:init requires | computed |> branch — without it, kernel results are trapped inside the kernel scope
    comptime { @compileError("kernel:init requires | computed |> branch — without it, kernel results are trapped inside the kernel scope"); }
               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
referenced by:
    main_module: output_emitted.zig:9:25
    main: output_emitted.zig:557:5
    4 reference(s) hidden; use '-freference-trace=6' to see all references

Code

// TEST: aspirational - arbitrary stdlib events should be rejected inside kernel scope

~import std/kernel
~import std/io

~std/kernel:shape(Body) {
    mass: f64,
}

~std/kernel:init(Body) {
    { mass: 1.0 },
}
| kernel k |> std/kernel:self { k.mass *= 2.0 } |> std/io:print.ln("mass updated")

input.kz

Test Configuration

Post-validation Script:

#!/usr/bin/env bash
set -euo pipefail

echo "ASPIRATIONAL FAILURE: kernel scope still permits arbitrary stdlib events."
echo "Future behavior should reject: unsupported invocation 'std.io:print.ln' inside kernel scope"
exit 1

← 052 reject user event in kernel 054 require computed branch →