01Visualizes world accessibility graphs and derivation-based chains
02Modal logic-based accessibility relations using Kripke semantics
03Triangle inequality constraint enforcement for state distance metrics
04Advanced navigation moves including Slides, Leaps, and Dual Reflections
052 GitHub stars
06Badiou-inspired event ontology for handling structural ruptures