About LawVM
LawVM compiles legal state from amendment acts. It demonstrates that covered recurring forms of human-written amendment law can be compiled into typed text-state instructions. For a declared source/profile and selected date, it can derive covered provision text, identify the act that changed it, and expose where the result is uncertain.
The assurance boundary is narrow: text-state derivation from the available sources, with explicit evidence for what was observed, inferred, recovered, and left unresolved. Source completeness, legislator intent, comparison-surface authority, and broader doctrinal interpretation remain outside that claim.
Read more: The Law in Force Should Be Knowable (the civic principle) · Why Law Is Law-Shaped (the structural analysis).
Open source and contact
LawVM is MIT-licensed open-source software by Elias Kunnas. View the repository or email [email protected].
Evaluate or work with LawVM
- Institutions and publishers: start with a source-regime assessment or bounded no-write pilot.
- Researchers and technical evaluators: inspect the Finnish evidence boundary, verification map, and current command paths.
- Contributors and maintainers: use the bounded work-package map and repository documentation.
Project status: current development and reliance boundary.
Evidence status: the public registries are dated review snapshots. Release, certification, and audit claims require their own frozen artifacts.