A jurisdiction-agnostic symbolic legal reasoning & actuarial pricing engine. Features Fixpoint iteration, DAG-based audit trails, and Theil-Sen robust regression for billable hours.一个用于法律实务的跨法域符号化推理与精算定价引擎。支持不动点迭代、基于 DAG 的审计追踪，以及用于律所工时估算的 Theil-Sen 稳健回归。