docs(plan): V1 §5.1 — konsument-kostnaden målt @ 8a14137, O3-raden priset

portfolio-optimiser-claude meldte hva `generated`-raden koster hos EN
konsument. Målingen er reprodusert her, read-only i deres tre, pinnet til
8a14137 — føres derfor som målt, ikke referert.

Nytt i §5.1:
- Sum sider som må endres: O0 = 0, O1/O2 = 6, O3 = 9.
- O3-raden konsumenten ikke priset: 3 navn/orden-sider (_PROVENANCE_KEYS
  x2 + ordens-lista) er immune mot mapping-form, men brytes av en omdøping.
- Presisjon: test_ingest_spec_loadbearing.py:49 er `assert field in text`
  over spec-teksten, ikke frontmatter — kan ikke bli rød under noen opsjon,
  fordi prosaen «machine-generated» metter delstrengen.
- Deres :186 er vår :214 — allerede talt i de 5 av 7 linjene, ikke ny kostnad.
- §3.1 (predikatets form) vs §5.1 (hvilke sider blir røde) er to akser.

Prisen er ikke en dom: argumentene for O3 i §5 står uendret. Valget er
operatørens.

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

docs/plan/2026-07-26-v1-generated-felt-okf-v0.2.md

@@ -231,6 +231,71 @@ egne lesere — som er en del av hvorfor vi ligger i OKF i det hele tatt.
 
 **Reverserbar.** Nei.
 
+### 5.1 Konsument-kostnaden, målt i `portfolio-optimiser-claude` @ `8a14137`
+
+Tallene over teller **commons' egne kontraktslinjer**. De sier ingenting om hva en opsjon koster
+der specen konsumeres. `portfolio-optimiser-claude` meldte 2026-07-31 hva raden koster hos EN
+konsument. **Hele målingen er reprodusert her, read-only i deres tre, pinnet til `8a14137`
+(2026-07-26)** — den føres derfor som *målt*, ikke som referert. (Pinnet, ikke `main`: forrige
+kryssgrense-sjekk traff en bevegelig gren, og det ble korreksjonen i `ab0ea8f`.)
+
+> Nummerering: meldingen kaller dette «kø-punkt 8». **Vårt** kø-punkt 8 er B1/D4 nav-golden
+> (`2026-07-25-amendment-underlag.md` §9), og V1 ligger ikke i den køen i det hele tatt. Hvilken
+> liste deres 8 tilhører, vet vi ikke — og gjetter ikke.
+
+**To lag, og de faller ikke sammen.** Verdi-laget bærer strengliteralen `"true"`; navn/orden-laget
+bærer nøkkelnavnet `generated` og plassen det har i §5-prefikset. Mapping-form rører bare det
+første. En omdøping rører begge.
+
+| Sted (konsumenten) | Lag | O0 | O1 / O2 | O3 |
+|---|---|---|---|---|
+| 4 byte-frosne fasit-blober | verdi | — | RØD | RØD |
+| 2 verbatim likhets-assert | verdi | — | RØD | RØD (`KeyError`) |
+| 3 navn/orden-sider | navn/orden | — | — | RØD |
+| **Sum sider som må endres** | | **0** | **6** | **9** |
+
+**Fasit-blobene** (`generated: true` på linje 8 i det byte-sammenlignede prefikset, alle fire):
+`examples/ingest-golden-file/expected-bundle/ingest-costs.md` · `.../ingest-edge.md` ·
+`examples/ingest-golden-sql/expected-bundle/ingest-costs.md` · `.../ingest-meta.md`.
+Mekanismen er `tests/test_ingest_golden.py:36` — `read_bytes() == read_bytes()` per fil. Method
+spec §7 gjør goldenen til eneste fasit, så dette er en **fasit-endring, ikke en kodeendring**.
+
+**Verdi-assertene:** `tests/test_ingest_loadbearing.py:59` og
+`tests/test_ingest_sql_loadbearing.py:84` — begge `frontmatter["generated"] == "true"`, begge på
+§11-sømmen «Provenance stamping». Under O1/O2 feiler sammenligningen; under O3 finnes ikke
+nøkkelen.
+
+**Navn/orden-sidene — den raden konsumenten selv ikke priset:**
+`tests/test_ingest_loadbearing.py:32` og `tests/test_ingest_sql_loadbearing.py:34`
+(`_PROVENANCE_KEYS`-tuplene), samt `tests/test_ingest_loadbearing.py:67-75`
+(`test_provenance_keys_are_in_the_spec_order`, navnet på `:74`). Ordens-testen bygger nøklene med
+`ln.split(":", 1)[0]`, så `generated: { by: …, at: … }` gir fortsatt `generated` — **mapping-form
+bryter ingen av de tre**, ordrett som meldingen sier. En **omdøping** bryter alle tre. Meldingen
+tok ikke stilling til O3; denne raden er målt her.
+
+**Presisjon på det fjerde stedet meldingen fører opp.**
+`tests/test_ingest_spec_loadbearing.py:49` enumererer navnet `generated` — men i
+`_CONTRACT_FIELDS`, og testen (`:68-71`) er `assert field in text` over **spec-teksten**, ikke
+over frontmatter. Den kan derfor ikke bli rød under **noen** opsjon: prosaen «machine-generated»
+(`ingest-spec.md:33`, `:214`, m.fl.) metter delstrengen selv om begge felt-radene slettes. Annen
+mekanisme, og for akkurat dette feltet nær vakuøs. Om det er verdt en søm, er konsumentens
+operatørs sak, ikke vår.
+
+**Det meldingen bekrefter uten å legge til kostnad:** deres `shared/ingest-spec.md:186` («`generated`
+| Literally `true` — the machine-generated marker») er vår `:214` — én av de 5 av 7 linjene O1/O2
+allerede betaler. Normativ tekst må endres i SAMME amendment, ja; den er talt. Prosa-treffene
+(`docs/extending.md:96,98`, `docs/oppskrift-kunnskapsbase.md:109`) er dokumentasjon, ikke sømmer,
+og telles ikke.
+
+**Forholdet til §3.1 — to akser, ikke to tabeller som er uenige.** §3.1 teller hva
+`_is_ingest_owned` må *bli* (predikatets form: literal-sammenligning vs. parse) og sier O0/O3
+lar den stå uendret. §5.1 teller hvilke *sider* som blir røde. O3 lar predikatets form stå og
+flytter kostnaden til navn/orden-laget; O1/O2 gjør det motsatte.
+
+**Dette er en pris, ikke en dom.** Argumentene for O3 i §5 står uendret — predikatet bevares som
+literal-sjekk, aksene i §3 skilles ved konstruksjon. Raden sier bare at O3 er dyrest **også** hos
+konsumenten, ikke bare i commons' tekst. Valget er operatørens.
+
 ## 6. Funnet som omformer opsjonssettet (ikke en anbefaling)
 
 **O1 som formulert kolliderer med konformansleddet i §1.**
@@ -472,6 +537,16 @@ line-oriented-krav, og `ingest_manifest` som stempelets andre halvdel. Ingen ops
 | Oppstrøms bruker selv `<produsent>/<versjon>` | `okf/bundles/acme_retail/metrics/gross-margin.md` | `by: reference_agent/gemini-2.5-pro` |
 | Oppstrøms skriver `generated` på HÅNDSKREVET fil | `…/gross-margin-legacy.md` | `by: human:jsmith@acme` |
 | `sources` er blokkliste, ikke inline flow | samme fil, `sources:` | `- id:` + 4 nøkler, flerlinjes → bryter `:158` |
+| Konsument-treet er pinnet for §5.1 | `git -C ~/repos/portfolio-optimiser-claude log -1` | `8a14137` (2026-07-26) — ikke `main` |
+| 4 fasit-blober bærer `generated: true` | `grep -rn generated examples/ingest-golden-*/expected-bundle/*.md` @ `8a14137` | 4 filer, alle `:8` |
+| Fasiten er byte-sammenligning per fil | `tests/test_ingest_golden.py:36` | `read_bytes() == read_bytes()` |
+| 2 verbatim verdi-assert | `tests/test_ingest_loadbearing.py:59`, `tests/test_ingest_sql_loadbearing.py:84` | `frontmatter["generated"] == "true"` |
+| 3 navn/orden-sider, ikke 4 | `_PROVENANCE_KEYS` `:32` + `:34` (sql) + ordens-lista `:67-75` | sql-fila har INGEN ordens-test |
+| Ordens-testen overlever mapping-form | `tests/test_ingest_loadbearing.py:67` | `ln.split(":", 1)[0]` → `generated` uansett verdi |
+| `:49` er delstreng over spec-tekst | `tests/test_ingest_spec_loadbearing.py:68-71` | `assert field in text` — ikke frontmatter, kan ikke bli rød |
+| …og «machine-generated» metter den | `grep -n generated ingest-spec.md` | `:33`, `:214` m.fl. — prosa alene holder |
+| Deres `:186` er vår `:214` | `sed -n '186p' …/shared/ingest-spec.md` | «Literally `true`» — samme rad, én commit bak |
+| Vårt kø-punkt 8 er ikke deres | `2026-07-25-amendment-underlag.md` §9 | rad 8 = B1/D4 nav-golden; V1 står ikke i køen |
 | SPEC.md er endret ETTER v0.2-migreringen | okf-melding, deres pin `3fcbb9f` | «v0.2-commiten» ≠ «dagens spec-tekst» — uverifisert av oss |
 | `ingested_at` har ingen wall-clock-default | `ingest-spec.md:141` | «there is NO wall-clock default» |
 | Spec-tekst uendret siden 07-21 | `git log --oneline -- ingest-spec.md` | `bfa5a9b`, forrige `7aa53fc` — ingen commit etter |