Resolutionen understated hva den ratifiserte grunnen faktisk dekker.
GRUNNEN ER UVERIFISERBARHET. Operatoer ratifiserte sletting fordi linja er
umaalbar — ingen generasjonslogg finnes. Det gjelder ALLE 23 linjer, ikke bare
de 8 som ogsaa feiler paa egen aritmetikk. Inkonsistensen var EVIDENSEN for at
tallet aldri ble transkribert fra en kjoering; den var aldri GRUNNEN til aa
slette det.
Men mitt eget spoersmaals opsjonstekst definerte «beroert fil» som den
inkonsistente mengden, saa bokfoeringen stanset paa 7. Ingen maskin ser
framingen av et spoersmaal — samme klasse som §9.13s falske premiss, denne
gangen i et spoersmaal jeg selv skrev.
KONSEKVENS, UTTALT I STEDET FOR IMPLISERT: 14 filer baerer den fordoemte linja
uten koe-entry (10 konsistente + 4 ikke sjekkbare). De er IKKE ekskludert paa
merit — de staar ubokfoert fordi aa utvide forbi de ratifiserte 7 er
operatoerens beslutning, ikke oekten sin. Reist som aapent spoersmaal #17.
Begge listene enumerert ordrett i resolutionen, saa de er greppbare.
TO TELLINGER SOM MIN EGEN EDIT UGYLDIGGJORDE, rettet i samme pass:
- Footer-populasjonen er 21 linjer naa, ikke 23 — jeg slettet to, begge fra den
inkonsistente boetta: 10 · 6 · 1 · 4.
- STATEs «binding» **Status:**-telling var ALT stale foer denne oekten. Den sa
GA 249 / 69 distinkte, men ble maalt inne i 26g-oekten FOER 96639f7 ble
anvendt. Ground truth: 387 forekomster, 70 distinkte, GA 247. Kjeden er
eksakt: 249 -> 248 (26g) -> 247 (088cf06).
ANKERUNIKHET for idx-26s ble verifisert ETTERPAA, ikke foer — navngitt som et
sluntreri, ikke stille rettet. Gaten beviser TILSTEDEVAERELSE (text.includes),
aldri unikhet, saa et ikke-unikt anker passerer lydloest. Alle tre: 1 forekomst.
Suite: 1047/1047. Koe: 14 aapne / 13 resolved.
Kjell Tore Guttormsen
da16608c60