All issues

Search results

Four more dangling path issues

Status: Open.

#85 In Adam-Vandervorst/PathMap;

· adamv-symbolica opened on Sep 3, 2026

join_k_path_into leaves two values on one key when shortened keys collide

Status: Open.

#84 In Adam-Vandervorst/PathMap;

· adamv-symbolica opened on Sep 2, 2026

join panics when the same byte is a dangling path in both DenseByteNodes

Status: Open.

#83 In Adam-Vandervorst/PathMap;

· adamv-symbolica opened on Sep 2, 2026

join_k_path_into / drop_head panic over a dangling (empty-sentinel) child

Status: Open.

#82 In Adam-Vandervorst/PathMap;

· adamv-symbolica opened on Sep 2, 2026

join / join_into panic when a DenseByteNode holds a dangling (empty-sentinel) child

Status: Open.

#81 In Adam-Vandervorst/PathMap;

· adamv-symbolica opened on Sep 2, 2026

Need to evaluate the sanity of Lean model

Status: Open.

#78 In Adam-Vandervorst/PathMap;

· imlvts opened on Sep 2, 2026

Rethink ZipperValues::val_at for computed / algebraic zippers

Status: Open.

#68 In Adam-Vandervorst/PathMap;

· marcin-rzeznicki opened on Aug 21, 2026

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

Status: Open.

#64 In Adam-Vandervorst/PathMap;

· MesTTo opened on Aug 13, 2026

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

Status: Open.

#63 In Adam-Vandervorst/PathMap;

· adamv-symbolica opened on Aug 11, 2026