Mounts a member graph N times, once per element, each under the dotted
path prefix listKey[itemId]. (docs/array-intent-addressing.md). Element
records stay FLAT in the resolution under their full path keys, which is
what keeps diff, subscriptions, scoped validate and setError list-aware
with no new machinery; state carries the assembled MemberState[] under
the list key, and parsed data carries per-element member DATA (see
validateResolution's grouping).
The list's own record holds membership: the ordered id array, at the
list's own intent address. Seed ids are DETERMINISTIC (s0..s{min-1})
— identities, not indices: a fresh session re-derives the same seeds, so
per-element persistence binds across sessions without persisting the
untouched membership; ids minted by add() are random and land in
durable intent with the op that created them.
list()— the collection combinator (proposal-0.4.md §1).Mounts a member graph N times, once per element, each under the dotted path prefix
listKey[itemId].(docs/array-intent-addressing.md). Element records stay FLAT in the resolution under their full path keys, which is what keeps diff, subscriptions, scoped validate and setError list-aware with no new machinery; state carries the assembledMemberState[]under the list key, and parsed data carries per-element member DATA (see validateResolution's grouping).The list's own record holds membership: the ordered id array, at the list's own intent address. Seed ids are DETERMINISTIC (
s0..s{min-1}) — identities, not indices: a fresh session re-derives the same seeds, so per-element persistence binds across sessions without persisting the untouched membership; ids minted byadd()are random and land in durable intent with the op that created them.