✓
Passing This code compiles and runs correctly.
Code
// Layer 1 demonstration: an unannotated proc is structurally impure
// (Zig is opaque to Koru's analysis, so we must assume the worst).
// No annotation is needed to "declare" impurity — it's the default.
const std = @import("std");
~event log { message: []const u8 }
~proc log|zig {
std.debug.print("LOG: {s}\n", .{message});
}
~event main {}
~log(message: "hello")
Actual
LOG: hello
Test Configuration
MUST_RUN
Post-validation Script:
#!/bin/bash
# Verify: an unannotated proc is structurally impure (Layer 1 fact).
# is_pure=false and is_transitively_pure=false, no annotation involved.
if [ ! -f "backend.zig" ]; then
echo "✗ backend.zig not found"
exit 1
fi
# AST literal moved from backend.zig to program_ast.zig (split landed 2026-05-20).
# Concatenate both so grep -n / sed -n by line number still work.
cat backend.zig program_ast.zig 2>/dev/null > _combined_emit.zig
PROC_LINE=$(grep -n 'proc_decl = ProcDecl' _combined_emit.zig | while read line; do
linenum=$(echo "$line" | cut -d: -f1)
if sed -n "$((linenum)),$((linenum + 5))p" _combined_emit.zig | grep -q '"log"'; then
echo "$linenum"
break
fi
done)
if [ -z "$PROC_LINE" ]; then
echo "✗ Could not find log proc"
exit 1
fi
# The ProcDecl block now spans more lines (body is a Source literal: text +
# location + scope + phantom_type). Bound the block at its own `.module =` field
# rather than a fixed window — robust to body length, and won't bleed into a
# neighbouring proc (which would falsely match is_pure on negative tests).
PROC_END=$(awk -v s="$PROC_LINE" 'NR>s && /\.module = /{print NR; exit}' _combined_emit.zig)
PROC=$(sed -n "$((PROC_LINE)),$((PROC_END))p" _combined_emit.zig)
if echo "$PROC" | grep -q 'is_pure = false'; then
echo "✓ log proc: is_pure = false (unannotated → structural default)"
else
echo "✗ FAIL: log should be is_pure = false (no ~[pure] annotation)"
exit 1
fi
if echo "$PROC" | grep -q 'is_transitively_pure = false'; then
echo "✓ log proc: is_transitively_pure = false"
else
echo "✗ FAIL: log should be is_transitively_pure = false"
exit 1
fi
echo ""
echo "✓ Unannotated proc correctly defaults to structurally impure"
exit 0