052 reject user 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:174:5
    4 reference(s) hidden; use '-freference-trace=6' to see all references

Code

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

~import std/kernel

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

~event print-mass { value: f64 }
~proc print-mass|zig {
    const std = @import("std");
    std.debug.print("mass={d}\n", .{value});
}

~std/kernel:init(Body) {
    { mass: 1.0 },
    { mass: 2.0 },
}
| kernel k |> std/kernel:self { k.mass *= 2.0 } |> print-mass(value: k.ptr[0].mass)

input.kz

Test Configuration

Post-validation Script:

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

echo "ASPIRATIONAL FAILURE: kernel scope still permits arbitrary user events."
echo "Future behavior should reject: unsupported invocation 'print_mass' inside kernel scope"
exit 1

← 051 reject branch constructor in kernel 053 reject stdlib event in kernel →