specter-navigator-gadget

Bidirectional path navigation compiles constraint-driven traversal into Navigator objects, enabling efficient selection and in-place transformation of nested dictionaries, lists, and S-expressions. Use @compiled_select and nav_transform APIs to apply 3-MATCH constraints across complex path expressions deterministically.

Constraint-based traversal prunes nested data access by satisfying logical constraints during path evaluation, reducing computation on large structures. It's essential when you need selective retrieval or transformation under strict conditions without materializing intermediate results.

Yes. Compiled Navigators support dual-use via @late_nav, nav_select, and nav_transform APIs, enabling you to select values and apply transformations in-place on the same compiled path object with inline caching for performance.

Inline caching stores compiled navigation results and constraint evaluations, eliminating redundant traversal and satisfiability checks on repeated path access patterns across nested structures.

3-MATCH constraint composition complexity grows with nesting depth and rule count. Performance depends on constraint pruning effectiveness; poorly designed constraints may require full traversal, negating optimization benefits.