LawVM, a compiler for replaying amendment acts into point

LawVM shows that ordinary human-written amendment law can be compiled into executable legal text-state. The Finland frontend is a zero-to-one proof construction for statutory replay.