Temporal reasoning for AI agents — deadlines, schedules, sequences, duration estimation (PERT), and decay models. One .atime file. Rust core + MCP server.
🏛️ Deterministic rejection layer for computational legal claims. Verifies dates, amounts, and structured constraints; blocks unproven legal outputs.