Replace `BTreeMap` in `PortConnectivity` with a sorted `Vec`; semi-naive iteration replacing in-place updates#802

Merged

frankmcsherry merged 14 commits into

port_connectivity_vec

Jun 12, 2026

Commits on Jun 12, 2026

Replace BTreeMap in PortConnectivity with a sorted vec; semi-naive summarize_outputs

frankmcsherry
and
claude
committed
Replace is_acyclic's HashMap with dense per-location counts

frankmcsherry
and
claude
committed
Unify add_port/insert as merging; canonical connectivity at initialize

frankmcsherry
and
claude
committed
Express the canonical-form contract mechanically

frankmcsherry
and
claude
committed
Review feedback: trim docs, simplify insert, mut self in initialize

frankmcsherry
and
claude
committed
Prototype two-type builder/frozen split of PortConnectivity

frankmcsherry
and
claude
committed
Share connectivity as Rc<OnceCell<PortConnectivity>>

frankmcsherry
and
claude
committed
Review feedback: remove dead into_builder, fix comment, expect, drop sizing doc

frankmcsherry
and
claude
committed
Review feedback: idiomatic merge loop; rename frontier to todo

frankmcsherry
and
claude
committed
Inline the accumulated summaries as binary-sized sorted runs

frankmcsherry
and
claude
committed
Simplify BinaryRuns: sort the unstable suffix rather than merge runs

frankmcsherry
and
claude
committed
Compute the stable prefix by masking at the highest differing bit

frankmcsherry
and
claude
committed
Collapse proposals per key before seeding the next round

frankmcsherry
and
claude
committed
Add Antichain::drain; reuse the per-key proposal batch

frankmcsherry
and
claude
committed