002 unannotated proc impure

✓ 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")

input.kz

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

PROC=$(sed -n "$((PROC_LINE)),$((PROC_LINE + 15))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

← 001 pure proc annotation 003 subflow locally pure →