F15-rapporten og CLAUDE.md-raden sa "16 former, alle 16 sjekket, 2 endret seg".
Den formuleringen var usann, og tabellen sa det selv to rader lenger ned: den ene
av de to endrede formene (checkpoint-antallet per park) var ALDRI blant de seksten
- proben saa den ikke, testsuiten fant den. "2 av 16" tilskrev dermed proben et
funn den ikke gjorde, og skjulte at nevneren for den mekaniske sjekken er 1.
Rettet til det som faktisk ble maalt: 17 former leant paa · 16 sjekket MEKANISK
(1 endret) · den 17. funnet av SUITEN (endret) · 2 endret totalt. Grunnen staar
ogsaa skrevet: proben sjekker statiske egenskaper ved KILDEN, mens den farlige
endringen var en egenskap ved KJOERINGEN, og ingen form-probe kan se den uansett
hvor mange former den teller.
Lagt til en aerlighets-grense paa selve fiksen som manglet: vakten hviler paa at
get_latest returnerer checkpointen som BAERER forespoerselen. Maalt sant i dag og
dekket av 19 gronne tester - men skriver MAF en gang en checkpoint ETTER at
forespoerselen er reist, nekter _park en gyldig kjoering. Fail-closed-retningen,
saa det er en grense aa kjenne, ikke en defekt aa fikse.
Ingen historikk-omskriving: commit-kroppen til ef2f1cb baerer fortsatt den gamle
formuleringen, og det staar her i stedet.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Kjell Tore Guttormsen
57e6efe193