An adaptive list of a set's elements (FDA AList.ofASet parity, poll node). The order is the set's iteration order, stable while the set does not change. The set is re-read on every read (dependency registration); the rebuild and the positional diff run only when the set's version moved, so clean reads allocate nothing (library invariant 5).