Finland
The empirical proving ground.
Why Finland?
Finland combines difficult replay dynamics with unusually open source material and a legally non-authoritative consolidation surface. Finlex consolidated texts are informational. The operative source set is the original statute plus all amendment acts published in Säädöskokoelma.
This makes replay-vs-oracle comparison scientifically meaningful: when LawVM and Finlex disagree, the disagreement can be independently adjudicated against primary sources. A divergence might be a LawVM bug, a source gap, an editorial convention, or a candidate issue in the official consolidation surface.
Corpus
The current Finnish alpha corpus contains hundreds of fully replayable amended statutes, spanning from the 1920s to the 2020s. They are replayed from raw amendment acts in Säädöskokoelma XML and curated from a larger set of amended statutes where source availability varies.
The table below describes the frozen 2026-04-16 benchmark snapshot, not a permanent corpus definition.
| Decade | Statutes | Avg amendments | Max |
|---|---|---|---|
| 1920s–1960s | 10 | 15 | 67 |
| 1970s | 20 | 13.7 | 61 |
| 1980s | 25 | 14.4 | 64 |
| 1990s | 107 | 20.6 | 238 |
| 2000s | 173 | 13.3 | 166 |
| 2010s | 237 | 5.3 | 52 |
| 2020s | 118 | 2.5 | 18 |
v0.1 alpha evidence snapshot. Benchmark figures are provisional and depend on the frozen source/oracle archive.
Benchmark
Text distance
0.65%
Provisional mean Levenshtein distance from the archived Finlex consolidation comparison surface. Most of this distance reflects editorial conventions (punctuation, synonyms, notes), not substantive differences.
Structural error
4.25%
Mean section-level structural divergence. 367 perfect structural match. 490 at ≥95%.
<90% match
104
Provisional investigation frontier in the alpha corpus.
Benchmark snapshot: 2026-04-16, mode: finlex_oracle. Two metrics: Levenshtein measures character-level text distance; structural error measures section-level divergence. See Artifacts for corpus definition and reproducibility.
How to read this: The benchmark measures structural agreement with Finlex. Legal correctness requires source review. Some divergences become high-confidence candidate findings when primary sources support LawVM over the Finlex consolidation. The verification loop is manual residual review against primary sources.
The golden dataset
We systematically investigate divergences between LawVM and Finlex. So far, 22 high-confidence meaningful candidate findings have been reported to Finlex for external review. Until Finlex or another competent authority confirms them, they should be described as candidate findings rather than verified official errors.
Each finding is documented in a structured internal entry with Finnish prose, root cause classification, affected sections, and source evidence. The public page below includes a compact bilingual digest; the full Finnish evidence viewer is not linked as part of the public website surface yet.
Root cause taxonomy
| Root cause | Count | Meaning |
|---|---|---|
| finlex_missing_content | 10 | Finlex omits content published in Säädöskokoelma |
| source_pathology | 9 | Source XML itself is defective |
| finlex_missing_otsikko | ≥9 | Finlex omits section headings |
| oracle_stale_cutoff | ≥6 | Finlex has not applied recent amendments |
| finlex_editorial_addition | 4 | Finlex added content without amendment basis |
| high_uncovered_body | 3 | Structural amendment coverage gap |
| finlex_dual_element_residual | 3 | Finlex has dual current/pending versions |
| corrigendum_misapplied | 1 | Published correction not applied |
| + 7 more categories |
22 high-confidence meaningful candidate findings reported to Finlex as of 2026-04-25. Target: full classification of all divergences.
Reported candidate findings
The following 22 high-confidence meaningful candidate findings were sent to Finlex support under ticket RITM0644009 on 2026-04-23. They were reported as the author's best interpretation after checking Finlex XML, Finlex HTML, source acts, and relevant source artifacts. They remain candidate findings until confirmed by Finlex or another competent authority.
English statute titles are unofficial translations for orientation. The Finnish toggle preserves the original Finnish titles and wording.
- Tonnage Tax Act (Tonnistoverolaki, 476/2002). Amendment 1249/2009 appears not to be reflected in the current Finlex text. Candidate differences include 12 § 1 momentti changing from fully non-deductible acquisition cost to partial deductibility for income-taxable use, 18 § changing the threshold from less than half of equity to less than 1/9, and 22 § plus 24 § remaining visible even though the amendment repealed them.
- Fuel Fee Act (Polttoainemaksulaki, 1280/2003). Amendment 135/2019 replaced 1 § with three subsections. Finlex appears to show only two; the third subsection concerning T1-class light vehicles is missing.
- Decree on Mire Conservation Areas (Asetus soidensuojelualueista, 852/1988). The current Finlex text appears to contain five consolidation/text defects: a full sentence missing from 2 § 2 momentti, "metsästys" rendered as "metsäsätys", "vähentäminen" as "vähentämien", a missing comma in "toimenpiteet, jotka", and "noudatettaviksi" as "neudatettaviksi". No amendment was found changing these passages.
- Decree on Development Cooperation Assignments (Asetus kehitysyhteistyötehtävistä, 383/1989). In 4 § 1 momentti, "Kehitysyhteistyötehtävää" appears as "Kehitysyhteistyötehtäväää" in the Finlex consolidation.
- Act on the Autonomy of Åland (Ahvenanmaan itsehallintolaki, 1144/1991). Candidate text defects include missing "vähintään" in 69 § 2 momentti, missing "sellaisten ylioikeuksien ja muiden" in 38 § 1 momentti, and "kauppa-aluksilla" split as "kauppa aluksilla" in 18 § 3 kohta.
- Forest Improvement Decree (Metsänparannusasetus, 437/1987). Amendment 1563/1992 changed 2 § items 1 and 2. The original section had four items, but Finlex appears to show only items 1 and 2; unchanged items 3 and 4 are missing.
- Mental Health Decree (Mielenterveysasetus, 1247/1990). Amendment 1446/1992 changed the reference in 2 § to "mielenterveyslain 8 §:n 3 momentissa". Finlex appears to retain the old "8 §:n 2 momentissa" reference.
- Act on the Coordination of Social Security Systems (Laki sosiaaliturvajärjestelmien yhteensovittamisesta, 352/2010). In 11 § 2 momentti, Finlex appears to show only items 1-3; items 4-6 are missing.
- Act on Enforcement Fees (Laki ulosottomaksuista, 34/1995). In 5 § 3 momentti, the source text has three sentences. Finlex appears to show only the first sentence, omitting sentences concerning the bailiff's discretion and appeal bar.
- Act on Restrictions on the Use of Arava Rental Dwellings (Aravarajoituslaki, 1190/1993). Candidate typographic defects: "10 §: n" in 12 § 1 momentti, "vuokra asunnon" in 12 § 2 momentti, and "asunto osakeyhtiötaloksi" in the 13 § heading.
- Rules of Procedure of Parliament (Eduskunnan työjärjestys, 40/2000). Candidate spacing/word-fusion defects: "keskustelua,jollei" in 16 § 1 momentti, "lisätalousarvioesityksenja" in 20 § 2 momentti, and "asioidenkäsittelystä" in 69 § 1 momentti.
- Decree on Protection Areas (Asetus suoja-alueista, 1125/2000). In the 1 § table, "Kirkonmaan suoja-alue" appears as "Kirkkomaan suoja-alue". No amendment was found changing the place name.
- Act on Promoting the Use of Renewable Fuels in Transport (Laki uusiutuvien polttoaineiden käytön edistämisestä liikenteessä, 446/2007). In 1 § 2 momentti, "ReFuelEU Aviation ‑aloite" appears to be corrupted as "ReFuelEU Aviation âaloite".
- Antarctic Environmental Protection Act (Etelämantereen ympäristönsuojelulaki, 28/1998). Amendment 1020/2010 repealed 42 § as of 2011-01-01. Finlex appears to show both the repeal note and the old 42 § text as an active structure.
- Railway Tracks Act (Ratalaki, 110/2007). Amendment 741/2018 repealed 89 § 6 momentti from 2020-06-01. Finlex appears to continue showing the repealed subsection as active text, while its own change history records the repeal.
- Decree on the Right to Transfer State-Owned Real Property (Asetus oikeudesta luovuttaa valtion maaomaisuutta, 693/1978). In 3 §, Finlex appears to show both the old ministry references and the later environment-ministry wording in parallel, even though amendment 787/1988 replaced the section.
- Act on Farmers' Early Retirement Compensation (Laki maatalousyrittäjien luopumiskorvauksesta, 1330/1992). Amendment 42/1997 added 38 a § from 1997-09-01. The Finnish Finlex current text appears to skip from 38 § to 39 §, while the Swedish page shows 38 a §.
- Decree on Information to Be Given to Consumers on Credit Agreements (Asetus luottosopimuksesta kuluttajalle annettavista tiedoista, 789/2010). In 7 § 4 momentti 4 kohta, the reference "kuluttajansuojalain 7 lukua" appears on the Finlex page as "kuluttajansuojalain 7 luku a.", apparently due to hyperlink text splitting.
- Ministry of Education and Culture Decree on the Boards of Certain State Educational Institutions (OKM asetus eräiden valtion oppilaitosten johtokunnista, 410/2011). Temporary amendment 434/2011 added one sentence to 2 § 2 momentti and one sentence to 3 § 1 momentti. Both appear to be missing from the Finlex current page for the temporary validity interval 2011-05-13 to 2011-10-01.
- Government Decree on Grants to Non-Profit Communities and Foundations (Valtioneuvoston asetus valtionavustuksista yleishyödyllisille yhteisöille ja säätiöille, 716/2014). Amendment 697/2020 added temporary 8 b § on aid for small enterprises in difficulty. Finlex appears to skip from 8 a § to 9 §, although Finlex's own validity note mentions 8 b §.
- Decree on the Structures of Degrees under the Universities Act (Asetus yliopistolain mukaisten tutkintojen rakenteista, 869/2017). Amendment 613/2020 added temporary 3 a § for 2020-09-01 to 2021-07-31. Finlex appears to skip from 3 § to 4 §.
- Decree on Chargeable Services of the Finnish Transport Infrastructure Agency (Asetus Väyläviraston maksullisista suoritteista, 1465/2019). Amendment 382/2020 added temporary 3 a § for 2020-06-01 to 2020-08-31. Finlex appears to skip from 3 § to 4 §.
- Tonnistoverolaki (476/2002) — useita aineellisesti merkittäviä virheitä. Muutoslaki 1249/2009 (voimaan 1.1.2010) teki merkittäviä muutoksia, joista yksikään ei näy Finlexin ajantasatekstissä: 12 §:n 1 momentti: Finlex sanoo "Tällaisen omaisuuden hankintameno ei ole tuloverotuksessa vähennyskelpoinen." Muutoslain mukaan pitäisi olla "on tuloverotuksessa vähennyskelpoinen siltä osin kuin sitä käytetään tuloverotettavassa toiminnassa." Ero on olennainen: kokonaan vähennyskelvoton vs. osittain vähennyskelpoinen. 18 §: Finlex sanoo "pienempi kuin puolet yhtiön taseen oman pääoman määrästä". Muutoslain mukaan pitäisi olla "pienempi kuin 1/9". Kynnysarvo on huomattavasti matalampi. 22 § ja 24 §: Muutoslaki kumosi molemmat pykälät, mutta Finlex esittää ne edelleen voimassa olevina ilman kumoamismerkintää.
- Polttoainemaksulaki (1280/2003) — kokonainen momentti puuttuu. Muutoslaki 135/2019 korvasi 1 §:n kokonaan kolmimomenttiseksi. Finlexin ajantasasivulla 1 §:ssä on vain kaksi momenttia. Kolmas momentti ("Polttoainemaksun suorittamiseen T1-luokkaan kuuluvasta kevytautosta sovelletaan, mitä tässä laissa säädetään henkilöautosta.") puuttuu kokonaan.
- Asetus soidensuojelualueista (852/1988) — viisi konsolidointivirhettä. Finlexin ajantasatekstissä on useita virheitä verrattuna Säädöskokoelman alkuperäistekstiin: 2 §:n 2 momentista puuttuu kokonainen virke; 3 §:ssä "metsästys" on muuttunut muotoon "metsäsätys" (kirjain puuttuu); 3 §:ssä "vähentäminen" on muuttunut muotoon "vähentämien"; 3 §:ssä "toimenpiteet, jotka" on muuttunut muotoon "toimenpiteet jotka" (pilkku puuttuu); 5 §:n 2 momentissa "noudatettaviksi" on muuttunut muotoon "neudatettaviksi". Yksikään muutosasetus ei ole koskaan muuttanut näitä kohtia.
- Asetus kehitysyhteistyötehtävistä (383/1989) — kirjoitusvirhe. 4 §:n 1 momentissa sana "Kehitysyhteistyötehtävää" on muuttunut muotoon "Kehitysyhteistyötehtäväää" (kolme ä-kirjainta). Virhe on Finlexin konsolidaatiossa, ei alkuperäisessä Säädöskokoelman tekstissä.
- Ahvenanmaan itsehallintolaki (1144/1991) — kolme tekstivirhettä. 69 §:n 2 momentista puuttuu sana "vähintään", joka muuttaa enemmistövaatimuksen merkitystä; 38 §:n 1 momentista puuttuu "sellaisten ylioikeuksien ja muiden", joka kaventaa toimivaltasäännöstä; 18 §:n 3 kohdassa "kauppa-aluksilla" on muuttunut muotoon "kauppa aluksilla" (yhdysmerkki puuttuu).
- Metsänparannusasetus (437/1987) — muuttamattomat kohdat kadonneet. Muutosasetus 1563/1992 muutti 2 §:n kohdat 1 ja 2. Alkuperäisessä asetuksessa on neljä kohtaa. Finlexin ajantasasivulla näkyvät vain kohdat 1 ja 2. Kohdat 3 (taimikon tuhoutuminen) ja 4 (luonnontuho) puuttuvat kokonaan.
- Mielenterveysasetus (1247/1990) — virheellinen pykäläviittaus. Muutosasetus 1446/1992 korvasi 2 §:n viittauksen muotoon "mielenterveyslain 8 §:n 3 momentissa". Finlexin ajantasasivulla viittaus on edelleen "8 §:n 2 momentissa". Lukija ohjataan väärään säännökseen.
- Laki sosiaaliturvajärjestelmien yhteensovittamisesta (352/2010) — muuttamattomat kohdat kadonneet. 11 §:n 2 momentissa Finlexin ajantasasivulla näkyvät vain kohdat 1–3. Kohdat 4–6 puuttuvat kokonaan.
- Laki ulosottomaksuista (34/1995) — 3 momentin teksti katkaistu. 5 §:n 3 momentissa on Säädöskokoelman mukaan kolme virkettä. Finlexin ajantasasivulla momentista näkyy vain ensimmäinen virke. Puuttuvat virkkeet koskevat ulosottomiehen harkintavaltaa ja muutoksenhakukieltoa. (Huom: Myöhempi muutoslaki 2006/470 lisäsi pykälään 5 momentin, jossa on osittain vastaavaa sisältöä — mutta 3 momentin alkuperäiset virkkeet ovat eri säännös.)
- Aravarajoituslaki (1190/1993) — kolme typografista virhettä. 12 §:n 1 momentin viittaus "10 §: n" (ylimääräinen välilyönti kaksoispisteen jälkeen); 12 §:n 2 momentissa "vuokra asunnon" (välilyönti yhdyssanan sisällä); 13 §:n otsikko "asunto osakeyhtiötaloksi" (välilyönti yhdyssanan sisällä).
- Eduskunnan työjärjestys (40/2000) — kolme puuttuvaa välilyöntiä/yhdyssanafuusiota. 16 §:n 1 momentissa "keskustelua,jollei" (välilyönti puuttuu pilkun jälkeen); 20 §:n 2 momentissa "lisätalousarvioesityksenja" (kaksi sanaa fuusioitunut); 69 §:n 1 momentissa "asioidenkäsittelystä" (kaksi sanaa fuusioitunut).
- Asetus suoja-alueista (1125/2000) — paikannimi muuttunut. 1 §:n taulukossa "Kirkonmaan suoja-alue" on muuttunut muotoon "Kirkkomaan suoja-alue". Yksikään muutosasetus ei ole muuttanut tätä nimeä.
- Laki uusiutuvien polttoaineiden käytön edistämisestä liikenteessä (446/2007) — merkistökoodausvirhe. 1 §:n 2 momentissa "ReFuelEU Aviation ‑aloite" (yhdysmerkki U+2011) on korruptoitunut muotoon "ReFuelEU Aviation âaloite".
- Etelämantereen ympäristönsuojelulaki (28/1998) — kumottu pykälä näkyy edelleen aktiivisena. Muutoslaki 1020/2010 kumosi 42 §:n 1.1.2011. Finlexin ajantasasivulla 42 § näkyy kahdesti: ensin kumoamismerkintä ("42 § on kumottu L:lla 26.11.2010/1020") ja sen jälkeen pykälän vanha teksti ("42 § – Valvontaviranomainen") aktiivisena rakenteena. Vertailukohtana 39 § samasta muutoslaista on konsolidoitu oikein.
- Ratalaki (110/2007) — kumottu momentti näkyy edelleen voimassa olevana. Muutoslaki 741/2018 kumosi 89 §:n 6 momentin 1.6.2020 alkaen. Finlexin ajantasasivulla momentti ("Edellä 2–4 momentissa tarkoitettujen liikenteen ohjauslaitteiden asettamiseen...") näkyy edelleen aktiivisena tekstinä. Finlexin oma muutoshistoria toteaa: "6 momentti on kumottu L:lla 10.8.2018/741, joka tulee voimaan 1.6.2020."
- Asetus oikeudesta luovuttaa valtion maaomaisuutta (693/1978) — vanhan ja uuden pykälätekstin päällekkäisyys 3 §:ssä. Finlexin ajantasasivulla näkyy sekä vanha ministeriöviittaus (opetusministeriön/maa- ja metsätalousministeriön) että uudempi ympäristöministeriöviittaus rinnakkaisina tekstilohkoina saman pykälän alla. Muutosasetus 787/1988 korvasi 3 §:n, joten vanha teksti ei kuulu ajantasaiseen versioon.
- Laki maatalousyrittäjien luopumiskorvauksesta (1330/1992) — puuttuva pykälä. Muutoslaki 42/1997 lisäsi lakiin 38 a §:n 1.9.1997 alkaen. Finlexin ajantasasivulla pykälä puuttuu kokonaan — 38 §:stä siirrytään suoraan 39 §:ään. Finlexin ruotsinkielisellä sivulla 38 a § kuitenkin näkyy.
- Asetus luottosopimuksesta kuluttajalle annettavista tiedoista (789/2010) — hyperlinkin tuottama tekstivirhe. 7 §:n 4 momentin 4 kohdassa lakiviittaus "kuluttajansuojalain 7 lukua" on Finlexin sivulla muotoa "kuluttajansuojalain 7 luku a." — hyperlinkkielementti katkaisee sanan ja tuottaa ylimääräisen pisteen.
- OKM asetus eräiden valtion oppilaitosten johtokunnista (410/2011) — väliaikaisen muutoksen virkkeet puuttuvat. Muutosasetus 434/2011 lisäsi 2 §:n 2 momenttiin virkkeen "Johtokunnassa voi olla myös valtionhallinnon edustus." ja 3 §:n 1 momenttiin virkkeen "Helsingin ranskalais-suomalaisen koulun johtokunnan asettaa kuitenkin opetus- ja kulttuuriministeriö." Molemmat puuttuvat Finlexin ajantasasivulta. (Huom: väliaikainen muutos, voimassa 13.5.2011–1.10.2011.)
- Valtioneuvoston asetus valtionavustuksista yleishyödyllisille yhteisöille ja säätiöille (716/2014) — puuttuva pykälä. Muutosasetus 697/2020 lisäsi asetukseen 8 b §:n (Avustuksen myöntäminen vaikeuksissa olevalle pienelle yritykselle). Finlexin ajantasasivulla pykälä puuttuu — 8 a §:stä siirrytään suoraan 9 §:ään. Finlexin oma voimassaolotiedote kuitenkin mainitsee "8 b" §:n. (Huom: väliaikainen, voimassa 31.12.2021 asti.)
- Asetus yliopistolain mukaisten tutkintojen rakenteista (869/2017) — puuttuva pykälä. Muutosasetus 613/2020 lisäsi asetukseen väliaikaisen 3 a §:n (voimassa 1.9.2020–31.7.2021). Finlexin ajantasasivulla pykälä puuttuu — 3 §:stä siirrytään suoraan 4 §:ään.
- Asetus Väyläviraston maksullisista suoritteista (1465/2019) — puuttuva pykälä. Muutosasetus 382/2020 lisäsi asetukseen väliaikaisen 3 a §:n (voimassa 1.6.2020–31.8.2020). Finlexin ajantasasivulla pykälä puuttuu — 3 §:stä siirrytään suoraan 4 §:ään.
The forward goal
Current evidence shows repeated classes of cases where replay outperforms the official consolidation. Of the remaining divergence, a substantial share is attributable to the editorial surface rather than the compiler — with deterministic compilation as the native pipeline, the theoretical ceiling approaches 100% for well-drafted legislation with clean source data. The v0.1 goal is the zero-to-one construction: compile ordinary amendment law at high coverage against a real national corpus, bring Finland close to complete text-state replay, and leave enough architecture, evidence, and tooling for others to carry the remaining work forward.
The next Finland work is concrete: freeze a citable benchmark, reproduce the source archive, classify the residual frontier, verify or reject more candidate findings, and turn remaining LawVM defects into named interaction families with tests. If your institution wants to maintain part of that work, see the handoff map.