reactive: zero-alloc data structures and wave-based API#8277

Draft

cristianoc wants to merge 54 commits intomasterfrom

reactive-noalloc-current-mechanism

Commits on Mar 5, 2026

reactive: zero-alloc current mechanism (squashed)
cristianoc
committed

Commits on Mar 6, 2026

Commits on Mar 8, 2026

analysis/reactive: fix build after allocator refactors
cristianoc
committed
analysis/reactive: rename offheap list module
cristianoc
committed
analysis/reactive: extract offheap boundary type
cristianoc
committed
analysis/reactive: finish stable rename cleanup
cristianoc
committed
analysis/reactive: rename offheap to stable
cristianoc
committed
analysis/reactive: rename ReactiveHash to StableHash and push unsafe_of_list out of fixpoint

cristianoc
and
claude
committed
analysis/reactive: rename ReactiveMap/ReactiveSet to StableMap/StableSet and use StableMap for fixpoint pending buffers

cristianoc
and
claude
committed
analysis/reactive: use Stable.t consistently in collection interface

cristianoc
and
claude
committed
analysis/reactive: eliminate unsafe_of_value for int/unit Maybe stable conversions

cristianoc
and
claude
committed
analysis/reactive: rename StableHash back to ReactiveHash

cristianoc
and
claude
committed
analysis/reactive: simplify stable pool-map APIs
cristianoc
committed
stable map and stable set
cristianoc
committed
analysis/reactive: hide pool-map inner handles in clients
cristianoc
committed
analysis/reactive: make pool-map APIs stable-typed
cristianoc
committed
analysis/reactive: rename ReactivePoolMapSet/Map to StableMapSet/Map

cristianoc
and
claude
committed
analysis/reactive: convert Source.table to StableMap and delete ReactiveHash

cristianoc
and
claude
committed
analysis/reactive: rename ReactiveWave to StableWave and delete unused ReactiveTable

cristianoc
and
claude
committed
analysis/reactive: rename unsafe_to_value to to_linear_value and document Stable policy

cristianoc
and
claude
committed
analysis/reactive: make Reactive.ml and ReactiveUnion.ml stable-safe

cristianoc
and
claude
committed
analysis/reactive: make ReactiveFlatMap.ml stable-safe

cristianoc
and
claude
committed
analysis/reactive: wave-based emit for FlatMap/Join, make ReactiveJoin stable-safe, fix right_tbl leak

cristianoc
and
claude
committed
analysis/reactive: assert zero allocation and zero stable leak in alloc tests

cristianoc
and
claude
committed

Commits on Mar 9, 2026