moulwyse/lattice

Bounded, auditable repository context and verified patch ex…