用途：在数学、音乐与哲学构成的“可能世界”空间中进行导航，依据巴迪欧本体论与克里普克语义，以三角不等式作为基本约束。
主要能力：定义可能世界（种子、纪元、状态、不变量、可达性）；构建可达关系矩阵（自反、对称、传递）；实现事件本体（虚空、事件、真理程序）；以加权欧氏距离度量世界距离（存在分量、事件分量、真理分量）；用三角不等式约束与 Dijkstra 剪枝寻找最短路径；提供四种跳跃动作：SLIDE（相邻世界）、LEAP（经事件跃迁）、REFLECT（对偶世界）、COMPOSE（经中间世界组合路径）；检测三角不等式违规；与音乐拓扑（调式调制即世界跳跃）、数学家世界、Synadia 分布式跳跃集成；与 unworld 的派生链（非时间性）集成。
使用方式：资料给出 Ruby 类与函数定义，以及命令示例：just world-hop from to、just world-graph、just world-distance w1 w2、just shortest-path w1 w2、just event-trigger site name、just triangle-check、just unworld-derive seed event。
适用场景：音乐调式/调性调制分析、数学领域间路径探索、哲学本体论建模、分布式世界跳跃共识。
限制：资料未提供安装方式、依赖环境、平台支持、收费与效果说明；具体运行需自行具备 Ruby 环境与相关依赖。