docs(deck): begge deck bærer det MÅLTE 1b-utfallet — ærlighet, ikke seier

Den publiserte slide 12 sa ordrett «aldri kjørt mot en levende språkmodell».
Det er usant siden 14.08 (økt 40, betalt kjøring). Rettet i to deck.

Sant nå, og målt: rammeverket HAR kjørt mot en levende modell; hvert
genererings-svar kom tilbake i den bestilte formen; kjøringen KONKLUDERTE.
Fortsatt usant, og BLIR STÅENDE som usant: at et forslag fra en levende
modell har passert regneporten. Den ene kjøringen ble avvist, og
avvisnings-grunnen står ordrett i decket.

Funnet fra §6 er med, fordi det er verdt mer enn den grønne testen:
modellen fant opp en kostkode som ikke finnes i kunnskapsbasen, og porten
stoppet den på BELØPET (30 %-cap-en), ikke på at koden var oppdiktet —
bygg-energi-mikro shipper ingen cost-baseline.json, så S4.0-forankringen
er inaktiv der.

Tre selvrefererende feller unngått:
- kort-decket sa «kjøringstallene i denne presentasjonen er byte-låst
  fasit». Å legge live-tall på siden gjorde den påstanden usann om seg
  selv (Fase 3-klassen) — fotnoten skiller nå demo-tall fra live-tall.
- fagdeckets «Tre forbehold» + «disse tre» er håndskrevne tellinger. Et
  FJERDE kort ville brutt begge (P4s «én av de TO»-klasse) — endringen
  skjer INNI de tre, og statusen ligger i rad-lista som ikke teller.
- fagdeckets «810 tester» er bevisst pinnet til den versjonen tallene
  DER kommer fra, og er urørt. kort-deckets 846/4 delte dato-anker med
  den nye påstanden og MÅTTE flyttes: `uv run pytest` → 869 passed,
  5 skipped (målt før OG etter endringen).

MÅLT I NETTLESER over lokal HTTP, begge temaer via data-theme:
kort slide 12 = 873 px (under 900-taket), fagdeck slide 44/45 = 675/725 px.
Kontrollen økt 27 ba om: 12 av 12 og 44 av 51 DISTINKTE høyder, null
nuller — et sveip som ga like verdier ville bevist ingenting. Slide 21 i
fagdecket måler 901 px, men er URØRT av denne endringen (diffen ligger
i 1057/1081/1083) — pre-eksisterende, ikke innført her.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01EkL7xFeBgYMwDiT8gGgdLm

docs/2026-08-13-demo-presentasjon.html

@@ -1054,8 +1054,8 @@
     <h2>Tre forbehold</h2>
     <div class="cards">
       <div class="card">
-        <span class="t">Svarene er skriptet</span>
-        <p>Det var ingen levende språkmodell involvert i kjøringen. Den viser at maskineriet virker — ikke at en modell ville foreslått nettopp dette. Grunnen er nøktern: modellkjøringer koster penger, og dette er bygget uten budsjett.</p>
+        <span class="t">Svarene i demoen er skriptet</span>
+        <p>Kjøringen dere nettopp så, hadde ingen levende språkmodell involvert — svarene er forhåndsskrevne, så tallene blir de samme hver gang. Rammeverket har kjørt mot en levende modell én gang, 14. august 2026: modellen fant opp en kostnadslinje som ikke finnes i kunnskapsbasen, og regneporten avviste forslaget. At en levende modell foreslår noe som slipper gjennom porten, er fortsatt ikke vist.</p>
       </div>
       <div class="card">
         <span class="t">Kunnskapsbasen er laget for hånd</span>
@@ -1078,7 +1078,9 @@
       <div class="stat-row"><span><span class="pill ok">Bygget</span></span><span>Hele kjeden, fra kunnskapsgrunnlag til lagret fagvurdering</span></div>
       <div class="stat-row"><span><span class="pill ok">Bygget</span></span><span>Den blokkerende kontrollen — kan ikke slås av</span></div>
       <div class="stat-row"><span><span class="pill ok">810 tester</span></span><span>Grønne, målt på nøyaktig den versjonen tallene her kommer fra</span></div>
+      <div class="stat-row"><span><span class="pill ok">Kjørt én gang</span></span><span>Mot en levende språkmodell, 14. august 2026 — modellen svarte i riktig form, og kjøringen konkluderte med en avvisning</span></div>
       <div class="stat-row"><span><span class="pill warn">Står for tur</span></span><span>Automatisk produksjon av kunnskapsbaser — mekanismen finnes, koblingen gjenstår</span></div>
+      <div class="stat-row"><span><span class="pill bad">Ikke vist</span></span><span>Et forslag fra en levende modell som passerer regneporten</span></div>
       <div class="stat-row"><span><span class="pill bad">Ikke gjort</span></span><span>Pilot på ekte prosjektdata</span></div>
     </div>
     <p class="foot-note">Koden er åpen og fritt tilgjengelig. Ingen lisenskostnad i selve rammeverket, og ingen binding til én leverandør.</p>

docs/kort-presentasjon.html

@@ -535,22 +535,24 @@
       <div class="card good">
         <span class="t">Bevist — målt, ikke ment</span>
         <ul class="plist">
+          <li><strong>Rammeverket har kjørt mot en levende språkmodell</strong> — én kjøring 14. august 2026. Modellen svarte i den formen systemet bestiller, og regneporten avgjorde.</li>
           <li>Hele sløyfa kjører ende til ende offline, og læringen når fram på begge tidsskalaer. Utskriften er byte-låst som fasit i repoet.</li>
           <li>Regneporten feller reelt: 2&nbsp;100&nbsp;000-påstanden avvises og 445&nbsp;500 valideres — i hver kjøring, hver gang.</li>
-          <li>846 automatiske tester grønne (4 hoppes over), målt 14. august 2026.</li>
+          <li>869 automatiske tester grønne (5 hoppes over), målt 14. august 2026.</li>
           <li>Installasjonen er målt, ikke antatt: dokumentert kommando, 65 pakker, exit 0.</li>
         </ul>
       </div>
       <div class="card risk">
         <span class="t">Ikke bevist</span>
         <ul class="plist">
-          <li>Rammeverket har <strong>aldri kjørt mot en levende språkmodell</strong>. Hvert forslag og hver dom til nå er skriptede stand-ins — demoen sier det selv, øverst i hver kjøring.</li>
-          <li>Om en ekte modell foreslår godt og dømmer klokt, er et åpent spørsmål. Ingen målt gevinst fra en virkelig portefølje ennå.</li>
+          <li>Ingen levende modell har fått et forslag <strong>gjennom</strong> regneporten. Den ene kjøringen ble avvist: <code>claimed saving 34500 exceeds P90 feasible 11488</code> — utfordreren godkjente resonnementet, regneporten avviste tallene.</li>
+          <li>Modellen fant opp en kostnadslinje som ikke finnes i kunnskapsbasen. Porten stoppet forslaget — men på beløpet, ikke på at linja var oppdiktet.</li>
+          <li>Om en ekte modell foreslår godt og dømmer klokt, er fortsatt et åpent spørsmål. Ingen målt gevinst fra en virkelig portefølje ennå.</li>
         </ul>
       </div>
     </div>
     <p class="say dim" style="margin-top:18px">Det som mangler, er nøyaktig det en første pilot finnes for å måle. Grunnmuren er bygget for at den målingen skal kunne stoles på.</p>
-    <p class="foot-note">Kjøringstallene i denne presentasjonen er byte-låst fasit: <code>tests/golden/demo-transcript.stdout</code>.</p>
+    <p class="foot-note">Demo-tallene ellers i presentasjonen er byte-låst fasit fra en skriptet kjøring (<code>tests/golden/demo-transcript.stdout</code>). Tallene fra den levende kjøringen hører bare til denne siden — målt 14. august 2026 mot <code>gpt-4.1-mini</code>, forbruk 15&nbsp;306 tokens.</p>
   </div>
 </section>