docs(portfolio): spec-gap §7 i operatør-køen + paritetsrad 24/25 rettet

Coord-runde 2026-07-25, ingen kodeendring (gate urørt: 603 passed, ruff+mypy rene).

- brief §7: projeksjons-kontrakten over hovedboken som spec-gap, meldt uavhengig
  fra BEGGE stacker. MAF-søskenets ordlyd bevart verbatim; våre tre skjønnsvalg
  målt mot kode (runding av kronebeløp: ingen hos oss, én hos dem — reell
  divergens på identiske inndata). Anbefalt inn i D-A-bolken.
- paritetsplan rad 24/25: STALE «Gjenstår i MAF» rettet etter at MAF eksplisitt
  frigav vårt planverk. Rad 25 merket «hash ikke oppgitt — spurt» framfor antatt.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01MQu2xxwedckjU56byu1aUG

docs/2026-07-16-beslutningsbrief.md

@@ -109,6 +109,41 @@ stack-lokalt er raskere og kan konvergeres senere via verktøykasse-repoet.
 konvergens-vurdering når verktøykassa (pkt. 3) og verdirapportene på begge sider finnes.
 Foreslås protokollert som nytt punkt i den delte køen i hovedrepoet — ikke besluttet her.
 
+## 7. SPEC-GAP: projeksjons-kontrakten over hovedboken (meldt uavhengig fra BEGGE stacker)
+
+**Hva det gjelder:** Verdirapporten (K11 her, S5.4 i MAF) er en projeksjon over hovedbok +
+outbox + kostestimat. Spec-en sier hva hovedboken INNEHOLDER, men ikke hva en projeksjon over
+den må GARANTERE. Begge søsken traff samme hull uavhengig, samme døgn, og måtte ta samme tre
+skjønnsvalg — som en spec-tro implementasjon kunne avgjort motsatt. MAF-søskenets ordlyd,
+bevart verbatim (coord 2026-07-25T05:09:23Z):
+
+> - Rounding and units in a derived monetary figure: where rounding happens (per row vs on
+>   the total) is unspecified, and the two give different totals. We picked one.
+> - Whether a run with zero qualifying rows produces an empty report or no report at all.
+> - Whether the report is a pure projection or may restate provenance fields; we kept it
+>   pure, but nothing in the spec forces that.
+
+**Ikke gapet:** selve FORM-sjekken av hovedboken. Den finnes på begge sider (gyldig-JSON-men-
+feil-shape avvises fail-fast, `valuereport.py:292-297`) — gapet er kontrakten som sitter OVER
+den.
+
+**Våre valg, målt mot kode (så divergensen er etterprøvbar, ikke antatt):**
+- **Runding:** kronebeløp rundes IKKE i det hele tatt; kun deriverte andeler, til 6 siffer
+  (`_SHARE_DIGITS`, `valuereport.py:61`). MAF rundet et monetært beløp — reell divergens på
+  et punkt spec-en ikke uttaler seg om.
+- **Null kvalifiserende rader:** rapport produseres ALLTID; hver ekspert-figur står UMERKET
+  (`None`), aldri en null som ser dømt ut (`valuereport.py:310-328`).
+- **Renhet:** payloaden restater ingen provenance-felt (`report_payload`, `valuereport.py:427`)
+  — samme valg som MAF, men intet i spec-en tvinger det.
+
+**Hvorfor det er ditt valg:** rettelsen hører i det delte regelverket (commons), ikke i to
+lokale rapporter. Uten den er «samme kapabilitet» på papiret forenlig med ulike totaler på
+identiske inndata — nøyaktig det sammenligningsprotokollen skal måle.
+
+**Anbefaling:** legg punktet i D-A-bolken (samme mal: amendment i commons → koordinert
+subtree-pull i BEGGE repo → begge suiter). Ingen av søsknene retter ensidig. Meldt hit fra
+begge stacker uavhengig, ikke som ett repos preferanse.
+
 ---
 
 **Fotnoter (pekere for etterprøving):**

docs/2026-07-16-sesjonsplan-paritet.md

@@ -72,8 +72,8 @@ bygget og testet i dette repoet) / **BYGGBAR NÅ** (ingen beslutnings-gate) / **
 | 21 | Live-kjørings-drill + artefakt-fangst (S4.2) | **FERDIG** | MANGLER | **BYGGBAR NÅ** (etter K5+K7) — `--live-dry-run`: bygg alt, STOPP før første modellkall (kall-tellende mock beviser 0 kall) | K8 |
 | 22 | HITL-verdict-ruting + pending-sporing (S5.1) | **FERDIG** | MANGLER | **BYGGBAR NÅ** (etter K5 — id-join outbox↔inbox) | K9 |
 | 23 | Varsling/Notifier (S5.2) | Plan klar, EXECUTE neste | MANGLER (D7 har ingen notify-stub engang — bygges rent) | **BYGGBAR NÅ** — kapabilitets-koordinering med MAF S5.2 (protokoll-form, webhook-opt-in, socket-fri suite), aldri kode-titting | K10 |
-| 24 | CLI-paritet + dokumentsync + D-H-oppskrift (S5.3) | Gjenstår i MAF | MANGLER — ingen leverbar CLI utover fasit-stien | **BYGGBAR NÅ** (sist i ugatet rekke; C2.0 er første skritt) | C2.0 (inngang) + K12 (full paritet) |
-| 25 | Verdirapport per kjøring (S5.4, D-I pkt. 2) | Gjenstår i MAF | MANGLER | **BYGGBAR NÅ** (etter K5 + K1 + K6) | K11 |
+| 24 | CLI-paritet + dokumentsync + D-H-oppskrift (S5.3) | **LANDET** (S5.3-serien `905b2f9`/`1b990f0`/`d44305c`/`c0d3ba4`, bekreftet av MAF 2026-07-25; MERK: deres `c0d3ba4` dokumentsync er IKKE test-håndhevet — de tok imot formen vår, køet ikke bygget) | MANGLER — ingen leverbar CLI utover fasit-stien | **BYGGBAR NÅ** (sist i ugatet rekke; C2.0 er første skritt) | C2.0 (inngang) + K12 (full paritet) |
+| 25 | Verdirapport per kjøring (S5.4, D-I pkt. 2) | **LANDET iflg. MAF 2026-07-25** (de beskrev egne skjønnsvalg i S5.4; commit-hash IKKE oppgitt — spurt. Divergens bekreftet: de runder et kronebeløp, vi runder ingen) | MANGLER | **BYGGBAR NÅ** (etter K5 + K1 + K6) | K11 |
 | 26 | okf-toolkit-adopsjon inkl. skrive-halvdelen A2 (D-G/T0) | T0 blokkerer også MAF | MANGLER — `okf.py` er kun-les (134 l); skrive-primitivene (promotion har egne) deles ikke | **GATED: T0** (repoet finnes ikke, verifisert 2026-07-16) + operatør (§8-spørsmålene i toolkit-briefen) | K20 |
 | 27 | llm-ingestion-guard-wiring | MAF: planned (S2.4/S2.5-utvidelse) | Planned her (guard-plan 2026-07-16): G1 http-persist-gate / G2 inbox-depth / G3 import_bundle | G1 **GATED: D-B** (inn i K16) · G2 valgfri depth **vurderes i C2.5** · G3 **GATED: D-E**-retning | K16 / C2.5 / (D-E) |
 | 28 | Steg-7 kjøresti-inngang (C2.0 — D7-egen) | (MAF har den via run-laget) | MANGLER (C-N2) | **BYGGBAR NÅ** | C2.0 |