docs(s7b): invariantraden - tre stillinger, en maalt baerer, og de to premissene som falt

Raden CLAUDE.md-invariantboka trenger for soem 1 + syretesten (b75387c + 0b8e727).

Baerende punkter raden holder: PARET (aldri et required=-flagg, PM-tillegg 5s grunn) ·
toleransen stopper ved fravaer · de TRE kallstedene har HVER SIN stilling, og de to
konsumentene av den tredje svarer ULIKT paa samme fravaer (folden hopper over,
seed_store_from_bundle NEKTER - S3.2s defekt) · synligheten er et ANTALL og bæreren er
MAALT (dry-run-kuttet returnerer OVER folden, saa DryRunReport kunne bare rapportert
null) · de to premissene som ble felt foer noe ble bygget paa dem · syretestens fire
tall, inkludert at 99,1 % av en K2-kjoerings tokens er debattens TRE kopier av
bundle_context.

Aerlighets-grensene staar i raden, ikke utenfor den: feltet naar ikke utboksen,
portefoelje-armen er bevisst ikke wiret (bundle_id_notice-avgjoerelsen, ikke
cost_baseline_notice-en - asymmetrien uttales), run_mandate_across_bundles har ingen
CLI-flate, stage 0 kan strukturelt ikke felle en mandat-avledet kandidat, og prisene er
syntetiske.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

CLAUDE.md

@@ -1673,6 +1673,68 @@ Python ≥3.10. MAF (`agent-framework-core` 1.16.0, `-orchestrations` 1.1.1 —
   `report_forbidden`, så `--report --ledger X --mandate Y` DROPPER kommisjonen i stillhet — F4-gapets
   klasse, på et flagg som er eldre enn denne ordren. Måling:
   `docs/2026-09-03-forslag-fra-mandat.md`.
+- **Den håndskrevne IR-projeksjonen er VALGFRI, og fraværet SIES i stedet for å reises (S7b søm 1
+  + syretesten, økt 83):** `okf.load_ir_projection` var fail-fast påkrevd på TRE kallsteder, så et
+  ingestert anbudskorpus kunne navigeres (`read_bundle`), katalogiseres (`list_bundles`) og dømmes
+  gjennom den deterministiske mandat-døra (`evaluate_mandate_candidates`, som ikke leser fila i det
+  hele tatt) — og likevel ikke kjøre åtte-stegs-løkka. `load_optional_ir_projection` er et **PAR**
+  ved siden av den fail-faste, ALDRI et `required=`-flagg: PM-tillegg 5 målte hva en uøvet parameter
+  koster (alle elleve `evidence_for`-kallsteder brukte defaulten til den andre grenen råtnet), og et
+  flagg ville dessuten gjort usanne de docstringene i `hitl`/`ledger`/`verdicts`/`contracts` som
+  siterer `load_ir_projection` som DEN fail-faste presedensen. **Toleransen stopper ved fravær**
+  (S4.0-radens egen setning): en projeksjon som FINNES men er malformed reiser fortsatt.
+  **De TRE kallstedene fikk HVER SIN stilling, og det er derfor dette ikke er ett loader-bytte:**
+  `_project_from_bundle` hopper over en fail-fast som ikke har noe å sjekke mot, mens en projeksjon
+  som FINNES og navngir et ANNET prosjekt fortsatt nekter (divergens-vakten er kontrakten
+  multi-base-dispatchen hviler på); `run_mandate_across_bundles` tar **FILA FØRST**, basens ERKLÆRTE
+  `bundle_id` som fallback (S7a-3) — presedensen bærer i BEGGE retninger, for erklæring-først ville
+  re-adressert hver eksisterende base der `project_id` ≠ `bundle_id`; og
+  `optional_bundle_candidate_features` har **TO konsumenter som svarer ULIKT på samme fravær** —
+  Steg-1-folden HOPPER OVER (fraværet av en kandidat er et faktum om basen), mens
+  `seed_store_from_bundle` NEKTER ved navn (`VerdictKeyUnavailable`), fordi å mynte en nøkkel for en
+  dom som erklærer ingen fester dommen til en kandidat den ikke handler om — nøyaktig defekten S3.2
+  lukker. **Synligheten er et ANTALL** (`RunResult.unkeyed_verdicts` + `run.unkeyed_verdicts_notice`
+  som ENESTE renderer, `None` ved null — omisjon, aldri tom rad): «folden skjedde ikke» og «to
+  dommer nådde aldri modellen» er ulike operative fakta (kø-(y) ett nivå ned), og null er et ærlig
+  POSITIVT utsagn, så feltet DEFAULTER (`skipped_links`-halvdelen, motsatt av
+  `cost_baseline_anchored`). **Bæreren er MÅLT:** `DryRunReport` kan ikke bære den — dry-run-kuttet
+  returnerer OVER folden, så et felt der kunne bare rapportert null, ulikt `cost_baseline_anchored`
+  og `skipped_links` som begge oppløses over kuttet; og ikke `ProvenanceStamp`, som beskriver gaten
+  som dømte ÉN kandidat. **TO PREMISSER FELT FØR NOE BLE BYGGET PÅ DEM:** (a) den arkiverte
+  selv-ordrens «navne-fallbacken er en REELL beslutning» — MÅLT er `SavingsProposal`s fem felt uten
+  et navn, så projeksjonen har ALDRI vært en navnekilde og `Project.name` er uendret; (b) ordrens
+  DEL B-kjede kan ikke være ÉN kommando — `--explore` NEKTES sammen med `--mandate`,
+  `--proposals-from-mandate` er en TERMINAL modus, og det finnes intet `--revise`-flagg (lest som
+  plan-review-døra, sagt som tolkning). **DEL C:** `--mandate` var ELDRE enn `report_forbidden` og
+  hadde aldri fått en rad, så `--report --ledger X --mandate Y` droppet kommisjonen i STILLHET
+  (F4-klassen); armen kjører mot en argv report-modus ellers ville AKSEPTERT, med en kontroll som
+  beviser rc 0 uten flagget. **SYRETESTEN (DEL B) er dét som gjør raden mer enn en påstand:** hele
+  løkka kjørte på K2 (630 konsepter, ingen `validator-input.json`) med MAJOR-4s SYNTETISK prisede
+  skjema montert — 850 000 NOK validert av 3 852 500, 2 av 5 felt på TO ULIKE stages (stage 4 P90,
+  stage 5 METHOD_CAPS), og **99,1 % av kjøringens tokens er debattens tre kopier av
+  `bundle_context` (648 962 tok hver)** mens utforskningen koster 18 355. Formen var kjent
+  (MAJOR-3-raden), nevneren på et ekte korpus er ny. **Et premiss felt:** K2 som levert har NULL
+  kandidat-tabeller — prissammenstillingen renderes som en SIMPLE table med ÉN kolonne-overskrift,
+  så den er ikke bare upriset, den navngir aldri rollene. Load-bearing MÅLT
+  (`tests/test_optional_ir_projection_loadbearing.py`, 15 armer), **TRETTEN mutasjoner ALLE RØDE mot
+  HELE suiten** + grønn kontroll **1290/5** (fra 1275/5, supersett, 0 fjernet) og golden
+  `demo-transcript.stdout` BYTE-UENDRET (`shasum -a 1` av INNHOLDET =
+  `ea8c534773acdbe41ae68f2c55724d69aaf8be4f`): M1 fail-fast i `_project_from_bundle` (4 røde) ·
+  M2 toleranse utvidet til UENIGHET (3 — hvorav TO i tester eldre enn dette arbeidet) · M3 loaderen
+  svelger malformed (1) · M4 presedensen invertert (7 — hvorav fire eksisterende multibase-/
+  bundle-id-armer, altså retningen hovedarmen ikke kan se) · M5 fail-fast i dispatcheren (1) ·
+  M6 folden hoppes over i stillhet (2) · M7 over-rapportering (1) · M8 antallet forlater aldri
+  `run_project` (2) · M9 rendereren skriver alltid linja (1) · M10 rendereren kalles aldri (1) ·
+  M11 unøklbar dom hoppes stille over (1) · M12 seedens fallback beholder fail-fasten (3) ·
+  M13 `--mandate` faller ut av report-partisjonen (1). **Ærlighets-grenser, uttalt:** feltet når
+  IKKE utboksen (`write_proposal` dumper stempelet, og dette er ikke på det — samme grense
+  `skipped_links` alt har); portefølje-armen er BEVISST ikke wiret (folden er gatet på `bundle_dir`,
+  som intet referanse-prosjekt setter, så en utskrift der ville vært død kode —
+  `bundle_id_notice`s avgjørelse, ikke `cost_baseline_notice`s, og asymmetrien står her fordi
+  stillhet om den er det eneste gale svaret); `run_mandate_across_bundles` har ingen CLI-flate, så
+  dens `unkeyed_verdicts` når kun en bibliotek-kaller; stage 0 kan strukturelt ikke felle en
+  mandat-avledet kandidat (bygget FRA baselinen — økt 82s M7-grense); prisene i syretesten er
+  SYNTETISKE og ingen levende modell er kalt. Måling: `docs/2026-09-04-syretest-s7b-k2.md`.
 - **STATE.md er local-only** (gitignored). Voyage session-state er efemert; STATE.md er kanonisk kontinuitet.
 - Prosess: Voyage-plugin (`/trekbrief → /trekplan → /trekexecute → /trekreview`) per større fase.