Issues

• 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

• prune path behavior, both the method and flag(s), is under-specified

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

• focus value handling is inconsistent across API

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

• 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
  4

• Merkleize byte-identical node allocation

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

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

  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
  1

• 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

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