docs(plan): SS12-underlaget lukket — O-A ratifisert og utført (§9)

Banner: «UNDERLAG, ikke ratifisert — men KØPLASSERT» → «RATIFISERT SOM O-A OG
UTFØRT 2026-08-25 (`0f88324`)». Uten dette ville neste økt greppet et
statusfelt som påsto at saken fortsatt var åpen — nøyaktig den stale-premiss-
klassen dokumentet selv advarer mot i §8 punkt 2.

Ny §9 fører utfallet: de to radene ordrett, at O-B/O-C/erstatning er AVVIST og
ikke nedprioritert, premissene re-målt med kontroller (nevner 20 rader,
`generated` = 1, `source` + seks undernøkler = 7, method-spec §12 = 0), og
hvorfor ingen coord-melding er sendt (§8 punkt 4 gjaldt erstatnings-formen).

§1–§7 er BEVART urørt. De er underlaget beslutningen ble tatt på, ikke et
referat av den; skrives de om i etterkant, mister §9 det den viser til.

docs/plan/2026-08-09-v1-ss12-undernoekler.md

@@ -1,10 +1,11 @@
 # V1-etterspill — krever `generated.by` / `generated.at` egne rader i §12?
 
-> **Status: UNDERLAG, ikke ratifisert — men KØPLASSERT 2026-08-24 (operatørbeslutning).**
+> **Status: RATIFISERT SOM O-A OG UTFØRT 2026-08-25 (`0f88324`). Saken er lukket.**
 > Funnet under utførelsen av V1 (`54e0ec7`, 2026-08-09). V1 selv er ratifisert og utført;
-> dette er en spenning utførelsen *avdekket*, ikke en del av vedtaket. **Ingen frossen tekst er
-> endret på dette punktet, og køplasseringen endrer ingen: den flytter saken fra «ligger her»
-> til «står for tur», ikke fra åpen til avgjort.** Hva køen forplikter til: **§8**.
+> dette var en spenning utførelsen *avdekket*, ikke en del av vedtaket. Underlaget sto som
+> UNDERLAG fra 09.08, ble køplassert 24.08 og ratifisert 25.08. **§1–§7 er bevart slik de sto
+> da beslutningen ble tatt** — de er underlaget, ikke referatet. Hva køen forpliktet til: **§8**.
+> Hva som faktisk ble gjort, og hva som ble avvist: **§9**.
 >
 > Beslektet: `2026-07-26-v1-generated-felt-okf-v0.2.md` (V1-vedtaket),
 > `2026-08-02-ss11-mangler-rad-for-ss8.md` (samme klasse: intern spenning i frossen tekst).
@@ -200,3 +201,38 @@ til vurdering.
 Eksponeringen er mot §12-ingressens fullstendighets-påstand, som er en svakere binding enn
 §11-sømmens «stops documenting a contract field». Køplasseringen er en beslutning om *rekkefølge*,
 og skal ikke leses som at sømmen har blitt rød.
+
+---
+
+## 9. Utfall (operatørbeslutning 2026-08-25, utført samme dag)
+
+Operatøren ratifiserte **O-A**: to rader tilføyd i `ingest-spec.md` §12s kryssjekk-tabell,
+rett under `generated`-raden. Ordre `20260825T042426Z-7242731354-from-.claude`, utført i
+`0f88324`.
+
+```
+| `by` | provenance frontmatter (`generated` subkey) | §7 |
+| `at` | provenance frontmatter (`generated` subkey) | §7 |
+```
+
+**Avvist, ikke nedprioritert:** O-B (snevre ingressen), O-C (la alt stå) og erstatnings-formen.
+Ordren sier det eksplisitt. §5s opsjonstabell står urørt som underlag; den beskriver
+utfallsrommet slik det så ut FØR beslutningen, og skal ikke leses som fortsatt åpen.
+
+**Premissene re-målt før handlingen, med kontroller** (25.08, mot `ingest-spec.md`): nevner
+**20 rader** i §12 (kjent-positiv), `generated` = **1 rad**, `source` + de seks undernøklene =
+**7 rader**; samme grep mot `method-spec.md` §12 = **0** (kjent-negativ). §11-sømmen «stops
+documenting a contract field» og §12-ingressen «Every field of the machine-readable contracts …»
+verifisert ordrett. Alle premissene i §1–§7 står altså; ingenting ble målt annerledes enn i
+køoppføringen.
+
+**Konsument-kostnaden verifisert utenfra, ikke antatt.** §5 førte `portfolio-optimiser-claude`s
+egen måling (deres §12-vakt keyer på radens første kolonne). Ved utførelsen ble vakten lest
+direkte i deres kildekode: den sjekker at hvert sporet kontraktsfelt FINNES som rad i en
+§12-slice, pluss at slicen ikke har degenerert til hele dokumentet. Tilføying rører ingen av
+delene — `generated`-raden er byte-uendret og alle 13 sporede felt står. Derfor **ingen
+coord-melding sendt**: plikten i §8 punkt 4 gjaldt erstatnings-formen, som ikke ble valgt.
+
+**Utløste ikke:** versjonsbump, tag, fixture-endring, §5s ordnede frontmatter-prefiks, og §6s
+redundans-funn (`generated.at` gjentar `ingested_at`) — §6 fører selv det som en følge av den
+ratifiserte formen og eksplisitt ikke oppe til vurdering.