The Law in Force Should Be Knowable

The law in force should be knowable.

Knowability requires more than search, a PDF, or a language-model summary. The text of a statute at a given date should be reproducible, auditable, and traceable back to the public acts that changed it.

Modern statute law is not a collection of static documents. It is a changing state. A base act is amended by later acts. Sections are replaced, paragraphs are inserted, provisions are repealed, temporary rules come into force and expire, corrigenda repair published mistakes, and transitional provisions determine when changes take effect. The legal text seen by a user on any given day is the result of that history.

Most legal information systems expose this result as a consolidated or revised text. That surface supports everyday use, while an executable derivation shows how the amendment stream produced it. The derivation makes stale, incomplete, or source-affected text easier to detect.

The compiler claim

LawVM approaches this problem as a compiler problem.

An amending act is treated not only as prose about legal change, but as a set of state-transition instructions over a statute. Replace this subsection. Insert this paragraph. Repeal this provision. Apply this change from this date. A legal-state compiler should be able to replay those instructions over the statute structure and materialize the resulting point-in-time text.

LawVM reconstructs textual state within a declared source and profile. Legal meaning and application remain a separate interpretive layer; reliable interpretation benefits from a well-supported textual state beneath it.

If a statute says one thing before an amendment and another thing after it, that transition should be reproducible. If a provision was repealed, the old provision should not silently remain active. If a temporary rule existed between two dates, its presence or absence should be checkable. If an official consolidation diverges from the enacted amendment chain, that divergence should be classified and explained rather than hidden inside a single opaque text surface.

AI raises the value of verifiable legal text

AI systems are beginning to ingest and summarize legal text at scale. A language model cannot repair an uncertain legal substrate by summarizing it. If the underlying text state is stale, ambiguous, or inconsistent, the AI layer amplifies that uncertainty. Legal AI needs deterministic infrastructure beneath it: auditable source chains, point-in-time reconstruction, and explicit failure modes.

The civic principle

A democratic legal system should expose the path from enacted amendment to current text. Access to documents is necessary; a reproducible derivation makes the result inspectable.

LawVM makes that path executable at the text-state layer.