010 catchall audit binding

// Test 355_010: Catch-All with Audit Metatype Binding
//
// Verifies:
// 1. |? Audit e |> can access e.branch to see which optional branch fired
// 2. Required branches handled explicitly, optional caught generically
// 3. The Audit metatype is constructed with correct branch name

~import std/io

// Event with required + optional branches
~event process { value: u32 }
| success u32
| ?warning []const u8
| ?debug []const u8

~proc process|zig {
    if (value > 100) {
        return .{ .warning = "Value too large" };
    }
    if (value % 2 == 1) {
        return .{ .debug = "Value is odd" };
    }
    return .{ .success = value * 2 };
}

// Helper: print a string (void event - no branches)
~event print-str { text: []const u8 }

~proc print-str|zig {
    _ = @import("std").posix.write(1, text) catch {};
    _ = @import("std").posix.write(1, "\n") catch {};
}

// Call 1: value=10 → success (required, handled explicitly)
~process(value: 10)
| success _ |> std/io:print.ln("SUCCESS")
|? Audit e |> print-str(text: e.branch)

// Call 2: value=150 → warning (optional, caught by |? Audit)
~process(value: 150)
| success _ |> std/io:print.ln("SUCCESS")
|? Audit e |> print-str(text: e.branch)

// Call 3: value=7 → debug (optional, caught by |? Audit)
~process(value: 7)
| success _ |> std/io:print.ln("SUCCESS")
|? Audit e |> print-str(text: e.branch)