001 user coordinator

✓ Passing This code compiles and runs correctly.

Code

// Test 430_001: Cross-Module Override (No Delegation)
// Override coordinator with immediate error - completely replaces the default.
// No call to .default, so the default pipeline never runs.
//
// This proves cross-module overrides work without delegation.

~import "$std/compiler"

// Override coordinate - just return error immediately
// Note: No ~impl keyword! Just a cross-module subflow definition.
~std.compiler:coordinate = error { message: "Testing!" }

// Some test code (doesn't matter - coordinator will error immediately)
~event test {} | done {}
~proc test { return .{ .done = .{} }; }

input.kz

Test Configuration

MUST_RUN MUST_FAIL

Post-validation Script:

#!/bin/bash
# Verify that the custom coordinator ran by checking for its metrics string

if grep -q "User-controlled pipeline: 3 passes" backend.err; then
    echo "✓ Custom coordinator metrics found in backend.err"
    exit 0
else
    echo "✗ Custom coordinator metrics NOT found - default coordinator may have run instead!"
    exit 1
fi

← handler caching 003 impl override only →