Invariant

Board Design Proof Findings

Experiments on the harness itself.