Invariant checks

These rules run on the live graph. A pass cites the edges that satisfy it. A failure cites the edges that break it. Back to the fund graph.

Reading the fund graph.