035 capture multi field

// FRONTIER (deferred 2026-06-03): one `captured` block updating MULTIPLE cells =
// store territory (the new model is single-cell). Old brace form. NOTE: still green
// coincidentally — the new transform ignores brace-form captured, so this survives;
// it is slated for store rework. See project_capture_dissolves_into_effect_cell.
// Test: Single `captured` block updates multiple captures simultaneously
// This demonstrates that captures create a combined state space where
// field names must be unique, and `captured { a: X, b: Y }` updates
// ALL captures that own those fields.

~import std/io
~import std/control

const std = @import("std");

~tor print-results { outer_val: i32, inner_val: i32 }

~proc print-results|zig {
    std.debug.print("{d},{d}\n", .{outer_val, inner_val});
}

// Outer capture owns `outer`, inner capture owns `inner`
// A single `captured` block updates BOTH captures at once
~capture(expr: { outer: @as(i32, 0) })
| as o |> capture(expr: { inner: @as(i32, 0) })
    | as => captured { inner: 42, outer: 99 }
    | captured result |> print-results(outer_val: o.outer, inner_val: result.inner)
| captured |> _