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 active?
What was the input?
What decision was...