... yeah i misspoke on that..... mathematical proofs wasn't the right word, and you'd have caught it. The invariants are written, not derived. And they're not business calls because of how they're shaped: they're metamorphic relations, not assertions about what the right outcome is. The one you're looking at says: delivering the same event twice should leave the state the same as delivering it once. We don't say what happens on a double charge ... ... actor + timestamp example is a good one. wondeirng..where you'd want that evidence captured though, at the app/data layer or at the integration boundary? Comment from Raj Nagulapalle(@rnagulapalle): @rabnoor_s  100% agree on the business call vs

... company. Habit tracking is personal. Your goals, your struggles, your progress that's some of the most intimate data you can generate about yourself. So why does every habit tracker out there store it in plaintext on their servers? Metamorphic is a zero-knowledge encrypted habit tracker. Your data is encrypted in your browser before it ever leaves your device. The server never sees your habits, your goals, or your progress. Not even we can read it. How it works ... ... unlimited habits, full history, reflections, goals, insights, and family features. Why I built this: I believe privacy is foundational to how we grow as people. You can't reflect honestly or push yourself if you know someone's watching. Metamorphic