Building a Replayable Decision Kernel in Rust

I built Calybris Core because I kept running into the same uncomfortable question in decision-heavy systems: After the system says "yes", "no", or "use this instead", what exactly can we prove later? Not prove in the formal-methods sense. I mean the practical engineering version: Which policy was ac