Concatenates a fixed sequence of lists (FDA AList.concat parity, poll node). Every read re-reads all inner lists (dependency registration); the rebuild and the positional diff run only when any inner list's version moved, so clean reads allocate nothing (library invariant 5).