Issues

• Let's retire the topo_dag format (experimental/serialization.rs)

  Adam-Vandervorst/PathMap#165 · Filter by author luketpeterson opened on Oct 20, 2026
  2

• Old tree_serialization format should be deleted

  Adam-Vandervorst/PathMap#164 · Filter by author luketpeterson opened on Oct 20, 2026
  1

• meet2 never reports Identity and meetN/joinN

  slated
  Adam-Vandervorst/PathMap#161 · Filter by author Adam-Vandervorst opened on Oct 6, 2026
  2

• Remove u64 etc Lattice impl, and add transparent OrBitset alternative

  good first issue
  Adam-Vandervorst/PathMap#160 · Filter by author Adam-Vandervorst opened on Oct 6, 2026

• Figure out a plan so the client can enable / implement deferred dropping

  enhancementquestion
  Adam-Vandervorst/PathMap#125 · Filter by author luketpeterson opened on Sep 23, 2026

• to_prev iteration should be a thing

  enhancementgood first issue
  Adam-Vandervorst/PathMap#120 · Filter by author luketpeterson opened on Sep 19, 2026

• focus value handling is inconsistent across API

  Adam-Vandervorst/PathMap#104 · Filter by author luketpeterson opened on Sep 15, 2026
  1

• fork_read_zipper needs to return an Option<Z>

  Adam-Vandervorst/PathMap#96 · Filter by author luketpeterson opened on Sep 9, 2026

• Merkleize only hashes physically identical node layouts to the same value

  Adam-Vandervorst/PathMap#95 · Filter by author adamv-symbolica opened on Sep 7, 2026
  5

• Merkleize byte-identical node allocation

  Adam-Vandervorst/PathMap#90 · Filter by author adamv-symbolica opened on Sep 6, 2026
  1

• Document why SideEffecting cata takes ownership, make sure API and impl live up to the vision

  slated
  Adam-Vandervorst/PathMap#89 · Filter by author luketpeterson opened on Sep 6, 2026
  

• Need to evaluate the sanity of Lean model

  Adam-Vandervorst/PathMap#78 · Filter by author imlvts opened on Sep 2, 2026
  2

• zipper_merge_dnf: empty clause is silently bottom, the algebra says top

  Adam-Vandervorst/PathMap#64 · Filter by author MesTTo opened on Aug 13, 2026
  2

  

• Node-sharing shortcuts silently corrupt algebraic results for non-idempotent Lattice values

  slated
  Adam-Vandervorst/PathMap#63 · Filter by author adamv-symbolica opened on Aug 11, 2026
  6