diff --git a/.claude/projects/2026-07-03-s11-sammenligning-rapport/brief.md b/.claude/projects/2026-07-03-s11-sammenligning-rapport/brief.md new file mode 100644 index 0000000..fe68442 --- /dev/null +++ b/.claude/projects/2026-07-03-s11-sammenligning-rapport/brief.md @@ -0,0 +1,181 @@ +--- +type: trekbrief +brief_version: "2.2" +created: 2026-07-03 +task: "S11 — Sammenligningen + rapport: begge stacker målt på pinned commons-ref etter S3-protokollen; norsk forretningsrapport med verifiseringslogg" +slug: s11-sammenligning-rapport +project_dir: .claude/projects/2026-07-03-s11-sammenligning-rapport/ +research_topics: 0 +research_status: skipped +auto_research: false +interview_turns: 11 +source: interview +framing: preserve +phase_signals: + - phase: research + effort: high + model: fable + - phase: plan + effort: high + model: fable + - phase: execute + effort: high + model: fable + - phase: review + effort: high + model: fable +--- + +# Task: S11 — Sammenligningen + rapport (program-leveransen) + +> Generated by `/trekbrief` on 2026-07-03. +> This brief is the contract between requirements and planning. `/trekplan` +> reads it to produce the implementation plan. Every decision in the plan must +> trace back to content in this brief. + +## TL;DR + +S11 er sesjonsplanens neste steg, uendret (framing: preserve): mål begge stacker +(MAF her + Claude SDK-søskenet) på identisk pinned commons-ref `db86e15` etter den +forhåndsbundne S3-protokollen (M1–M4), sammenstill med S10-artefaktene i søskenets +`runs/s10/`, og skriv én norsk forretningsrapport med verifiseringslogg der hver +tallpåstand har reproduserende kommando/kilde. Ingen kode-endringer i noen stack. + +## Intent + +S11 er program-SLUTTLEVERANSEN (målbilde §1): en rettferdig sammenligning av to +uavhengige implementasjoner av samme metode — MAF-stacken i dette repoet og Claude +Agent SDK-søskenet i `~/repos/portfolio-optimiser-claude` — på identisk delt kjerne. +Resultatet dokumenteres i en norsk forretningsrapport som operatøren kan dele. +Troverdigheten hviler på to ting: målestokken (sammenligningsprotokollen fra S3) ble +definert FØR begge stacker fantes, slik at ingen stack kunne forme metrikken etter +eget resultat, og hver tallpåstand i rapporten bærer sin egen reproduserende +kommando/kilde (verifiseringslogg). Operatøren lever av tillit; rapporten må derfor +være nøktern, uten salgsspråk, og aldri påstå mer enn bevisene bærer. + +## Goal + +Når S11 er ferdig finnes én norsk forretningsrapport i dette repoet +(`docs/rapport/2026-07-03-sammenligningsrapport.md`) som måler begge stacker på +pinned commons-ref `db86e15` etter protokollens fire metrikker (M1 validator-samsvar +mot golden, M2 konvergens/runder, M3 tokenforbruk mot tak, M4 kvalitativ vurdering), +gjengir liveness-asymmetri-erklæringen ordrett, sammenstiller S10-artefaktene fra +søskenets `runs/s10/` (kun Claude-siden merket som live-observasjon), og har en +verifiseringslogg der HVER tallpåstand peker på kommandoen/kilden som reproduserer +den. Begge repo er verifisert grønne (pytest + ruff + mypy) på pinned ref som del av +økta, og MAF offline-sim + D7 offline-speil er kjørt på samme ref som tallkilde for +M1–M3 (offline-kategorien). + +## Non-Goals + +- **Ingen re-kjøring av S10.** Artefaktene i `runs/s10/` er fasit (protokoll §4.2/§4.5); + re-kjøring er kun tillatt ved teknisk transportfeil, som ikke foreligger — kjøringen + lyktes 2026-07-03. +- **Ingen S12-/release-arbeid** (LICENSE, `[project.scripts]`, CHANGELOG-polering) — + gated på operatør-enighet, egen økt. +- **Ingen endringer i delt kjerne/commons og ingen re-pinning** — `db86e15` står. + (Endres kjernen måtte begge sider re-pinnes og re-kjøres; det gjør vi ikke.) +- **Ingen nye features eller refaktorering i noen av stackene** — S11 måler det som ER. +- **Ingen statistiske påstander om modellatferd** — S10 er én kjøring; den beviser + eksistens, ikke tendens (protokoll §4.1). + +## Constraints + +- **Protokollen er normativ og fryst i økta:** `docs/plan/2026-07-03-sammenligningsprotokoll.md` + kan ikke justeres under S11 — endring ville ugyldiggjøre «definert før begge + stacker»-premisset som bærer rapportens troverdighet. +- **Kostnadsdisiplin D6:** alt i S11 kjøres offline; null API-spend. +- **Språk:** rapporten er norsk (forretningsdokument, jf. dokumentspråk-preferansen); + kode, kommandoer og filnavn i verifiseringsloggen er engelsk som de er. +- **Kategori-disiplin (protokoll §2):** M2/M3-tall fra offline-kjøringer sammenlignes + KUN med offline-tall på motparten; kryss-kategori-sammenligning (offline vs live) + er forbudt i rapporten. +- **Skrivearbeid skjer i DETTE repoet.** Søskenrepoet er read-only i S11; eneste + unntak er STATE.md-oppdatering der ved sesjonslutt (local-only fil). +- **Push til Forgejo per driftsmodellen.** Push-frysen fra 2026-07-03 er observert + opphevet (søskenets S10-commits er pushet; Forgejo 15.0.3 oppe) — dette repoets + stale STATE.md korrigeres ved sesjonslutt. + +## Preferences + +- Rapport plasseres under `docs/rapport/` i dette repoet (ny katalog er akseptabelt). +- Metrikk-tall i tabellform; begrunnelse og tolkning i prosa rundt tabellene. +- Nøkternt språk uten superlativer — «fullt ut», «uten unntak» o.l. er røde flagg + (verifiseringsplikten). + +## Non-Functional Requirements + +- **Reproducerbarhet:** hver M1–M3-tallrad i verifiseringsloggen skal kunne kjøres på + nytt av en leser med begge repo klonet, og gi samme tall (deterministisk kjerne + + fangede artefakter). +- **Ærlighet:** ingen påstand i rapporten (eller i README/STATE etterpå) skal påstå + mer enn koden/bevisene gjør — spesielt ingen antydning om live-atferd på MAF-siden. + +## Success Criteria + +- **SC1 — Rapport med ordrett erklæring:** `docs/rapport/2026-07-03-sammenligningsrapport.md` + finnes, og liveness-asymmetri-erklæringen fra protokoll §3 gjengis ordrett — + verifiserbart ved at blokksitatets tekst diff-er tomt mot protokollens §3-blokk. +- **SC2 — Begge repo grønne på pinned ref:** `uv run pytest`, `uv run ruff check .` + og `uv run mypy src` avslutter alle med exit 0 i BEGGE repo, og commons-ref er + verifisert identisk på begge sider (subtree-commits fra `db86e15` — `git log + --grep="db86e15"` viser squash-committen i begge). +- **SC3 — Offline-kjøringer utført på pinned ref:** MAF offline-sim + (`uv run python -m portfolio_optimiser.simulation`) og søskenets D7 offline-speil + er kjørt i økta; M1–M3-tallene i rapporten stammer fra disse kjøringene og fra de + committede S10-artefaktene (`runs/s10/*.json`) — aldri fra hukommelse. +- **SC4 — Verifiseringslogg komplett:** hver tallpåstand i rapporten har en rad i + verifiseringsloggen med reproduserende kommando/kilde; stikkprøve: hver M1–M3-rad + kan kjøres på nytt og gir samme tall. +- **SC5 — Kategori- og liveness-disiplin:** rapporten inneholder ingen påstand om + live-atferd på MAF-siden og ingen kryss-kategori-sammenligning — kontrollert + eksplisitt mot protokoll §2/§4 i review-fasen. + +## Research Plan + +No external research needed — the codebase and this brief contain sufficient +context for planning. (Alle kilder er lokale og committet: begge repo, protokollen, +sesjonsplanen §S11, `shared/method-spec.md`, S10-artefaktene i søskenets `runs/s10/`. +Lokal kodeoppdagelse — f.eks. nøyaktig invokasjon av D7-offline-speilet i søskenrepoet — +håndteres av /trekplan-utforskningen.) + +## Open Questions / Assumptions + +- **[ASSUMPTION] «D7 offline-speil»** antas å være søskenrepoets offline to-runs-bevis + (sim-ekvivalenten fra S9-laget); eksakt kjørekommando avdekkes i plan-utforskningen + av søskenrepoet — den er ikke navngitt i sesjonsplanen. +- **[ASSUMPTION] Push-frysen er opphevet** — avledet av at søskenets S10-commits er + pushet til Forgejo (0/0 mot origin) og at Forgejo 15.0.3 svarer. Om antakelsen er + feil, parkeres push og operatør varsles; commits skjer uansett lokalt. +- **[ASSUMPTION] Dette repoets STATE.md er stale** (sier «S6 er neste»); søskenets + STATE (S10 fullført, S11 neste, arbeidssted = dette repoet) er autoritativ og lagt + til grunn. Korrigeres ved sesjonslutt. + +## Prior Attempts + +None — fresh task. (Målestokken ble bevisst definert i S3, før begge stacker fantes; +det er en forutsetning, ikke et tidligere forsøk.) + +## Metadata + +- **Created:** 2026-07-03 +- **Interview turns:** 11 +- **Auto-research opted in:** no +- **Source:** trekbrief interview + +--- + +## How to continue + +Manual (default): + +```bash +# No research topics — go straight to plan: +/trekplan --project .claude/projects/2026-07-03-s11-sammenligning-rapport/ + +# Then execute: +/trekexecute --project .claude/projects/2026-07-03-s11-sammenligning-rapport/ +``` + +Auto (opt-in during `/trekbrief`): research and planning run +automatically; only execution is manual. diff --git a/.claude/projects/2026-07-03-s11-sammenligning-rapport/plan.md b/.claude/projects/2026-07-03-s11-sammenligning-rapport/plan.md new file mode 100644 index 0000000..2786f46 --- /dev/null +++ b/.claude/projects/2026-07-03-s11-sammenligning-rapport/plan.md @@ -0,0 +1,443 @@ +# S11 — Sammenligningen + rapport (program-leveransen) + +> **Plan quality: B** (pending adversarial review) — APPROVE_WITH_NOTES pending +> +> Generated by trekplan v5.9.0 on 2026-07-03 — `plan_version: 1.7` + +## Context + +S11 er program-SLUTTLEVERANSEN (målbilde §1, briefens Intent): en rettferdig sammenligning av to +uavhengige implementasjoner av samme metode — MAF-stacken i dette repoet og Claude Agent +SDK-søskenet i `/Users/ktg/repos/portfolio-optimiser-claude` — på identisk delt kjerne, dokumentert +i én norsk forretningsrapport med verifiseringslogg. Troverdigheten hviler på at målestokken +(`docs/plan/2026-07-03-sammenligningsprotokoll.md`, S3) ble bundet FØR søskenrepoet fantes og FØR +ekstraksjonen (S4/S5) — PRESIST det protokoll-headeren selv påstår, og ikke mer: MAF-implementasjonen +forelå da protokollen ble skrevet, så pre-bindingen beskytter mot at CLAUDE-siden former målestokken +etter eget resultat; denne residual-asymmetrien ERKLÆRES i rapporten (Adversarial Pass 2, B1) — og på +at hver tallpåstand bærer sin egen reproduserende kommando/kilde. Rapporten skal være nøktern, uten +salgsspråk, og aldri påstå mer enn bevisene bærer (briefens NFR «Ærlighet»; method-spec §1). + +Protokollen er normativ og fryst i økta (briefens Constraint 1). Alt kjøres offline — null +API-spend (Constraint 2, D6). Søskenrepoet er read-only: ingen tracked-fil endres der; transiente, +gitignorerte artefakter fra testkjøring (`.pytest_cache/`, `__pycache__/`) tillates, operasjonalisert +som identisk `git status --porcelain` før/etter (brief-review-funn a, avklart av risk-assessor). + +## Architecture Diagram + +```mermaid +graph TD + subgraph "Delt kjerne (pinned db86e15, tre-hash fc58b0b9)" + SHARED["shared/ — 13 filer
golden.json + validator-input.json
method-spec.md + OKF-bundle + persona"] + end + subgraph "MAF-repo (dette)" + SIM["portfolio_optimiser.simulation
(offline to-runs-bevis, stdout)"] + MGOLD["tests/test_bygg_energi_mikro.py
(M1: golden-frys)"] + MSUITE["uv run pytest / ruff / mypy (SC2)"] + end + subgraph "SDK-søsken (read-only)" + SGOLD["tests/test_bygg_energi_mikro.py
(M1 + mutasjonskontroller)"] + SMIRROR["tests/test_step7/8_*_loadbearing.py
(offline-speil = testsuiten)"] + S10["runs/s10/*.json
(S10-artefakter = fasit, live)"] + end + SHARED --> SIM & MGOLD & SGOLD & SMIRROR + SIM & MGOLD & MSUITE --> RAPPORT["docs/rapport/2026-07-03-sammenligningsrapport.md
(M1–M4 + ordrett §3-erklæring + verifiseringslogg)"] + SGOLD & SMIRROR & S10 --> RAPPORT +``` + +## Codebase Analysis + +- **Tech stack:** Python ≥3.10, `uv`, pytest/ruff/mypy begge repo. MAF-repo: `agent-framework-core`; + søsken: `claude-agent-sdk`. MAF-venv Python 3.12.13; søsken-venv 3.14.0 (skew OK: begge + validatorer bruker kun `random.Random(20260624).uniform(...)`, versjonsstabil sekvens; golden-tester + grønne på hver side — python-versjonene loggføres i rapporten). +- **Key patterns:** load-bearing tester (detach-bevis) begge repo; golden-suite som eneste fasit + (seed 20260624, MAF `validator.py:41`, søsken `validator.py:25`); dokumentkonvensjon + `YYYY-MM-DD-slug.md`, norsk forretningsprosa, verifiseringslogg-tabell (presedens + `docs/2026-06-26-fot-i-bakken.md`). +- **Relevant files (verifisert i utforskningen):** + - MAF: `src/portfolio_optimiser/simulation.py` (294 LOC, `main()` :249; skriver INGEN artefakter — + kun stdout + temp-katalog `po-sim-*`; exit 0 = løkke lukket), `budget.py` (`TokenMeter` :66–77), + `run.py` (:317 `token_usage`), `validator.py`, `shared_root.py` (env `PORTFOLIO_SHARED_ROOT`), + `tests/test_bygg_energi_mikro.py::test_validator_output_matches_golden` (:81–90). + - Søsken (read-only): `tests/test_step7_async_loop_loadbearing.py` + `tests/test_step8_promotion_loadbearing.py` + (= «D7 offline-speil»; INGEN kjørbar sim-modul finnes), `tests/test_bygg_energi_mikro.py` + (golden + 2 mutasjonskontroller MAF mangler), `runs/s10/{proposal,provenance,run_result,usage}.json` + (fasit, committet samlet i `0f8af04`), `src/portfolio_optimiser_claude/run_s10.py` (:46–53 + defaults = §4.3-konfigen; MÅ ALDRI kjøres i S11 — ville overskrive fasit + bruke API-penger). + - Protokoll/plan: `docs/plan/2026-07-03-sammenligningsprotokoll.md` (M1–M4 :24–27, §3-erklæring, + §4-regler), `docs/plan/2026-07-02-sesjonsplan.md` :183–193 (S11-kriterier). +- **Reusable code:** ingen ny kode — S11 er kjøringer + dokument. Verbatim-sjekken gjenbruker + test-strategistens python-oneliner; pin-sjekken gjenbruker `git rev-parse HEAD:shared`. +- **External tech (researched):** ingen (0 research-topics, brief bekreftet). +- **Recent git activity:** begge repo rene og pushet. MAF tip `aec95eb` (kun ny plan-fil for + fremtidig ingest-lag — ortogonal til S11, verifisert `git show --stat`). Søsken tip `0f8af04` + (eneste commit som rører `runs/s10/`). Commons-pin: MAF squash `7916e10` + («from 7d2b46c..db86e15»), søsken squash `97a9172` («content from commit db86e15», + `git-subtree-split: db86e159148d7d8553a38516e174370cf913f889`). + +## Implementation Plan + +Ingen produksjonskode endres; «test first» erstattes av **Verify** med eksakte kommandoer +(mal-tillatt for prosjekter der steget ikke er kode). Evidence-filer legges i prosjektkatalogens +`evidence/`, som gjøres selv-ignorerende i Step 1 (`evidence/.gitignore` med innhold `*` — +`.claude/projects/` er ellers IKKE gitignored, verifisert med `git check-ignore`); kommandoene i +verifiseringsloggen er den reproduserbare kilden for lesere. Alle capture-kommandoer i Steps 1–3 +fanger stderr (`2>&1`) slik at feilmeldinger og EXIT-linjer havner i evidence-filene. + +### Step 1: Preflight — pinned-ref-bevis og miljø-ground-truth + +- **Files:** `.claude/projects/2026-07-03-s11-sammenligning-rapport/evidence/01-preflight.txt` (new file) +- **Changes:** Opprett først selv-ignorerende evidence-katalog: + `mkdir -p evidence && printf '*\n' > evidence/.gitignore` (gjør at `git status --porcelain` + forblir uendret av bevisfangsten). Fang deretter (alt med `2>&1`): + (1) `git -C status --porcelain` + `rev-parse HEAD` (rene trær, tips dokumentert); + (2) pin-identitet med `PIN: `-prefiks per linje: + `git -C /Users/ktg/repos/portfolio-optimiser rev-parse 'HEAD:shared' 'db86e15^{tree}' | sed 's/^/PIN: /'` + og samme i søskenet, PLUSS den TEMPORALE sjekken (Adversarial Pass 2, time-axis): + `git -C /Users/ktg/repos/portfolio-optimiser-claude rev-parse '0f8af04:shared' | sed 's/^/PIN: /'` + — beviser at shared/-treet ved S10-artefakt-committen er samme tre som dagens pin (kjernen endret + seg ikke mellom live-kjøringen og sammenligningen). Alle FEM PIN-linjer skal vise + `fc58b0b956e5f9871b29810f17284250e794abd5`; + (3) `diff -rq /Users/ktg/repos/portfolio-optimiser/shared /Users/ktg/repos/portfolio-optimiser-claude/shared` + (tom) + `find shared -type f | wc -l` (= 13); (4) `echo "PORTFOLIO_SHARED_ROOT=[$PORTFOLIO_SHARED_ROOT]"` + (skal være tom — runtime-identitet, risk-assessors residual); (5) python-versjoner: + `uv run --frozen python -V` i begge repo. (basert på kodebase-analyse) +- **Reuses:** `git rev-parse HEAD:shared`-sjekken (test-strategist, verifisert i utforskningen); + `shared_root.py`-sømmen dokumenterer env-varen. +- **Verify:** `grep -c '^PIN: fc58b0b956e5f9871b29810f17284250e794abd5$' evidence/01-preflight.txt` → expected: `5` (prefikset teller kun rev-parse-output, ikke annoteringer; diff-linjen tom) +- **On failure:** ulik tre-hash → escalate (pinned-ref-premisset brutt; re-pinning er eksplisitt Non-Goal — operatør må avgjøre). Satt `PORTFOLIO_SHARED_ROOT` → unset i sesjonens miljø, re-fang punkt (4), loggfør hendelsen i evidence; escalate kun hvis den ikke lar seg unsette +- **Checkpoint:** ingen commit (read-only bevissteg; evidence er selv-gitignored) +- **Manifest:** + ```yaml + manifest: + expected_paths: + - .claude/projects/2026-07-03-s11-sammenligning-rapport/evidence/.gitignore + - .claude/projects/2026-07-03-s11-sammenligning-rapport/evidence/01-preflight.txt + min_file_count: 2 + commit_message_pattern: "" + bash_syntax_check: [] + forbidden_paths: + - shared/README.md + - docs/plan/2026-07-03-sammenligningsprotokoll.md + must_contain: + - path: .claude/projects/2026-07-03-s11-sammenligning-rapport/evidence/01-preflight.txt + pattern: "PIN: fc58b0b956e5f9871b29810f17284250e794abd5" + ``` + +### Step 2: MAF-side kjøringer — gates (SC2) + offline-sim (SC3, M2/M3 offline) + +- **Files:** `.claude/projects/2026-07-03-s11-sammenligning-rapport/evidence/02-maf-gates.txt` (new file), `.claude/projects/2026-07-03-s11-sammenligning-rapport/evidence/03-maf-sim.txt` (new file) +- **Changes:** I MAF-repoet, fang til 02 (hver kommando med `2>&1`): `uv run --frozen pytest` + (noter passed/skipped-tall og NAVNGI de 4 gatede live-skippene — «157 grønne» alene er upresist), + `uv run ruff check .`, `uv run ruff format --check .`, `uv run mypy src`. Deretter fang til 03: + `uv run --frozen python -m portfolio_optimiser.simulation 2>&1; echo "EXIT=$?"` — stdout-tracen ER + M2/M3-kilden på MAF-siden (RUN A/PROMOTE/RUN B-linjer, «LEARNING LOOP CLOSED», syntetiske + token-tellinger 8/reply, debatt kuttet av GroupChatOrchestrator ved max_rounds=3). Ferske tall, + aldri STATE-prosa (premiss-verifisering). (basert på kodebase-analyse) +- **Reuses:** `simulation.py` uendret; `--frozen` beskytter `uv.lock` (risk-assessor). +- **Verify:** `grep -E "LEARNING LOOP CLOSED|EXIT=0" evidence/03-maf-sim.txt | wc -l` → expected: `2` +- **On failure:** escalate — rød gate/åpen løkke på pinned ref er et rapport-nivå-funn operatøren må se før rapporten skrives +- **Checkpoint:** ingen commit (kjøringer + selv-gitignored evidence; `git status --porcelain` skal være uendret) +- **Manifest:** + ```yaml + manifest: + expected_paths: + - .claude/projects/2026-07-03-s11-sammenligning-rapport/evidence/02-maf-gates.txt + - .claude/projects/2026-07-03-s11-sammenligning-rapport/evidence/03-maf-sim.txt + min_file_count: 2 + commit_message_pattern: "" + bash_syntax_check: [] + forbidden_paths: + - src/portfolio_optimiser/simulation.py + - uv.lock + must_contain: + - path: .claude/projects/2026-07-03-s11-sammenligning-rapport/evidence/03-maf-sim.txt + pattern: "LEARNING LOOP CLOSED" + ``` + +### Step 3: Søsken-side gates (SC2/SC3) under read-only-protokoll + +- **Files:** `.claude/projects/2026-07-03-s11-sammenligning-rapport/evidence/04-sibling-gates.txt` (new file) +- **Changes:** Fang (alt med `2>&1`): (1) status FØR med markør-prefiks: + `git -C /Users/ktg/repos/portfolio-optimiser-claude status --porcelain | sed 's/^/BEFORE:/'`; + (2) `PYTHONDONTWRITEBYTECODE=1 uv run --frozen --directory /Users/ktg/repos/portfolio-optimiser-claude pytest -p no:cacheprovider` + (= «D7 offline-speil» kjørt: to-runs-beviset `test_step7_async_loop_loadbearing.py` + + promoterings-beviset `test_step8_promotion_loadbearing.py` + golden `test_bygg_energi_mikro.py` + inngår — noter ferskt passed-tall, forvent ~187); (3) ruff + mypy med søskenets egne konfigurerte + kommandoer (`uv run --frozen --directory … ruff check .` og `… mypy src` — strictness styres av + dets pyproject, per dets CLAUDE.md «mypy --strict rene»); (4) status ETTER med markør-prefiks: + `git -C … status --porcelain | sed 's/^/AFTER:/'` — identisk med FØR (read-only-beviset, inn i + verifiseringsloggen). ALDRI kjør `src/portfolio_optimiser_claude/run_s10.py` (overskriver + fasit-artefaktene + ekte API-kost — farligste feilmodus). (basert på kodebase-analyse) +- **Reuses:** søskenets egen testsuite uendret; cache-fri invokasjon fra test-strategist. +- **Verify:** `bash -c 'diff <(grep "^BEFORE:" evidence/04-sibling-gates.txt | sed "s/^BEFORE://") <(grep "^AFTER:" evidence/04-sibling-gates.txt | sed "s/^AFTER://")'` → expected: tom diff, exit 0 (før/etter-status identisk; BSD-kompatibel — ingen `head -n -1`) og pytest-linjen viser `0 failed` +- **On failure:** retry — én gang med `uv sync --frozen` først (miljø-drift); deretter escalate hvis fortsatt rødt +- **Checkpoint:** ingen commit (ingen tracked filer endres — i noen av repoene) +- **Manifest:** + ```yaml + manifest: + expected_paths: + - .claude/projects/2026-07-03-s11-sammenligning-rapport/evidence/04-sibling-gates.txt + min_file_count: 1 + commit_message_pattern: "" + bash_syntax_check: [] + forbidden_paths: [] + must_contain: + - path: .claude/projects/2026-07-03-s11-sammenligning-rapport/evidence/04-sibling-gates.txt + pattern: "passed" + ``` + +### Step 4: Fasit-ekstraksjon — S10-artefakter (M2/M3 live) + M4-målinger + +- **Files:** `.claude/projects/2026-07-03-s11-sammenligning-rapport/evidence/05-s10-artefakter.txt` (new file), `.claude/projects/2026-07-03-s11-sammenligning-rapport/evidence/06-m4.txt` (new file) +- **Changes:** Til 05: `cat` av de fire `runs/s10/*.json` + `git -C log --format="%H %cI %s" -- runs/s10/` + (skal vise KUN `0f8af04`). Tall som siteres i rapporten leses HERFRA (36 791/150 000 tokens, + 2/12 runder, attempts 1, $0.127514, modell `claude-haiku-4-5-20251001`) — aldri fra STATE-prosa. + §4.3-konfigen = defaultene i `src/portfolio_optimiser_claude/run_s10.py` (:46–53). + M1-hovedpåstanden (live-utfallet reproduserer goldens persentiler bit-for-bit) BEVISES med denne + kommandoen, som også gjengis i verifiseringsloggen: + ``` + python3 - <<'EOF' + import json, pathlib + g = json.loads(pathlib.Path("shared/examples/bygg-energi-mikro/golden.json").read_text())["validator"] + r = json.loads(pathlib.Path("/Users/ktg/repos/portfolio-optimiser-claude/runs/s10/run_result.json").read_text())["outcome"] + for k in ("p10", "p50", "p90"): + assert g[k] == r[k], (k, g[k], r[k]) + print("OK: golden == run_result (bit-for-bit p10/p50/p90)") + EOF + ``` + Til 06 (M4-råstoff, kommando per tall — FERSKE tall, forhåndstall fra utforskningen + (~2 696 LOC/18 moduler vs ~1 696 LOC/15 moduler) er kun forventninger): LOC/moduler + `find src -name '*.py' -exec wc -l {} +` i begge repo; load-bearing-inventar + `ls tests/test_*loadbearing*.py` begge (+ søskenets `test_sdk_isolation.py`, mutasjonskontrollene + MAF mangler); method-spec §12-tabellen som spec-troskaps-sjekkliste. (basert på kodebase-analyse) +- **Reuses:** artefaktskjemaene kartlagt av dep-tracer (usage/run_result/provenance/proposal-felter). +- **Verify:** `grep -c '"cost_usd": 0.127514' evidence/05-s10-artefakter.txt` → expected: `1`; M1-kommandoen over → `OK: golden == run_result (bit-for-bit p10/p50/p90)` +- **On failure:** escalate — avvik mellom artefaktfil og forventet verdi betyr at fasit-premisset har driftet +- **Checkpoint:** ingen commit (read-only ekstraksjon) +- **Manifest:** + ```yaml + manifest: + expected_paths: + - .claude/projects/2026-07-03-s11-sammenligning-rapport/evidence/05-s10-artefakter.txt + - .claude/projects/2026-07-03-s11-sammenligning-rapport/evidence/06-m4.txt + min_file_count: 2 + commit_message_pattern: "" + bash_syntax_check: [] + forbidden_paths: [] + must_contain: + - path: .claude/projects/2026-07-03-s11-sammenligning-rapport/evidence/05-s10-artefakter.txt + pattern: "claude-haiku-4-5-20251001" + ``` + +### Step 5: Skriv rapporten, kjør mekaniske sjekker, commit + push + +- **Files:** `docs/rapport/2026-07-03-sammenligningsrapport.md` (new file — ny katalog `docs/rapport/`, konsistent med sjanger-per-underkatalog) +- **Changes:** Skriv rapporten på norsk etter konvensjons-hybriden: `> **Hva dette er:**`-blockquote → + `## Hovedfunn` tidlig → nummererte seksjoner → verifiseringslogg-tabell sist. Innhold, bundet av + protokollen OG Adversarial Pass 2-funnene: + (1) **Bakgrunn/metode** — protokollens temporale status PRESIST (bundet før S4/S5, ETTER at + MAF-implementasjonen forelå — residual-asymmetrien erklæres, B1); **interessekonflikt-erklæring** + (forfatter er Anthropic-fokusert AI-rådgiver; begge implementasjoner + rapport skrevet med Claude — + leverandøren av den ene komparanden; én setning, COI); pinned ref db86e15 med tre-hash-identiteten + fra Step 1 INKL. den temporale (S10-commit-treet = dagens pin), python-versjoner, dato. + (2) **M1 validator-samsvar** — RAMMES som EKVIVALENS-GATE, ikke differensierende metrikk (begge + validatorer er ren python; golden ble generert av spec §7.2-referanseprosedyren fra MAF-linjen — + generatoren NAVNGIS, så MAF-siden er selv-samsvar og kun Claude-siden er uavhengig reproduksjon). + Begge sider grønne mot golden på pinned ref (pytest-node-id-er som kilde); søskenets live + run_result reproduserer goldens persentiler bit-for-bit (Step 4-kommandoen som bevis); MAF-simens + tall er IKKE golden-tall (skriptet forslag uten assumptions → degenerert MC, p90=90000) og siteres + aldri som M1-kilde. Ekvivalens-påstanden SCOPES til det ene benchmark-bundelet (bygg-energi-mikro). + (3) **M2/M3 — offline-kategori (BEGGE sider):** skriptede tall presenteres som DESIGNPARAMETRE + + boolske håndhevelses-utfall (tak håndhevet ja/nei, refinement-sti utløst ja/nei) — ALDRI som målinger + (forfatter-valgte inputs, synthetic≠measured); MAF-sim-tracen (løkke lukket, forsøk avledet av + generation-prompt-telling) og søskenets offline-speil (testsuite — emitterer ikke runde-tall; sies + eksplisitt). **Live- og offline-tall i SEPARATE tabeller** (ikke én tabell med kategorikolonne). + (4) **S10 — live-kategori (KUN Claude-siden, merket):** **den feilede FØRSTE kjøringen rapporteres + FØRSTEKLASSES med lik prominens** (B2) — protokoll §4.5 lister «tak nådd» som innholdsutfall som + skal rapporteres, og unntaket dekker kun transportfeil; §4.5 SITERES, kategoriseringen + (harness-/konfig-feil, operatør-godkjent re-kjøring etter fiks) begrunnes eksplisitt i et **datert + protokoll-avviksnotat** i rapporten (avvik erklæres, absorberes aldri stille); **konfig-diffen + mellom feilet og vellykket kjøring publiseres** (kilde: `git -C diff 0238507..7637c6f --stat` + + run-lagets endringer — viser om suksess var utfalls-betinget tuning) samt den asymmetriske + artefakt-retensjonen (suksess: 4 committede JSON; feil: kun prosa) med fremadrettet + retensjonsregel. Verbatim-tall fra artefaktene; §4.3-konfig. Første kjørings tall finnes KUN i + søskenets STATE.md:40–41 — raden merkes «disclosed-non-reproducible». Ingen statistiske ord + («typisk», «gjennomsnittlig», «stabilt»); «eksistensbevis» glosses for forretningspublikum + («én kjøring viser at det KAN skje, ikke at det VIL skje»). + (5) **M4 kvalitativ** — RAMMES som CASE-STUDIE-observasjoner, aldri framework-egenskaper + (Prechelt 2000: inter-programmerer-varians > inter-språk-varians; N=1 per rammeverk, samme + forfatter+AI; spec-en ble ekstrahert FRA MAF-implementasjonen → MAF-spec-troskap er + nær-tautologisk og søskenet har annenmanns-fordel — sies eksplisitt). LOC/moduler (ferske tall fra + Step 4-kommandoene; forventet ~2 696/18 vs ~1 696/15), spec-troskap mot §12, load-bearing-dekning + inkl. den ærlige asymmetrien (søskenet har mutasjonskontroller + attempts-felt MAF mangler; + «kjørbar sim-modul vs testsuite-bevis» som formforskjell), utvikleropplevelse som + ÉN-RATER-observasjon med eksplisitt disclaimer (ingen rubrikk-pretensjon). + (6) **Liveness-asymmetri-erklæringen (§3) ORDRETT** som blockquote, PLUSS klarspråk-versjon i + Hovedfunn (prominens, ikke bare tilstedeværelse). + (7) **Begrensninger (threats to validity) — OBLIGATORISK seksjon:** N=1-implementasjon per + rammeverk, ett benchmark-bundle, forfatter-COI, residual-asymmetrien fra B1, én live-kjøring; + huser også liveness-erklæringens kontekst. + (8) **Konklusjon** — nøktern; skriptede stand-ins merket som stand-ins overalt (method-spec §1). + (9) **Verifiseringslogg med TRE-KLASSE-taksonomi** per rad: `reproduce` (kommando kan kjøres på + nytt) / `recompute-from-artifact` (avledes av committede artefakter — live-tallene) / + `disclosed-non-reproducible` (kun den feilede kjøringens STATE-prosa-rad). Rader: tre-hash x5, + begge suiter (ferske tall m/ navngitte skips), sim-exit, S10-artefaktstier + single-commit-beviset, + konfig-diff-kommandoen, LOC-kommandoer, verbatim-sjekken, read-only-beviset (status før/etter). + Etter rapporten: **korriger dette repoets STATE.md** (briefens Constraint 6 / Assumption 3): + overskriv med S11-utfallet (NESTE → S12 [GATED]), fjern ⛔ PUSH-FRYS-linjen, pek på rapporten. + STATE.md er gitignored (local-only) — ingen commit av den. + Mekaniske sjekker etter skriving: (a) verbatim-sjekken, KOMMANDOEN ER (whitespace-normalisert + sammenligning; gjengis også i verifiseringsloggen): + ``` + python3 - <<'EOF' + import re, pathlib + proto = pathlib.Path("docs/plan/2026-07-03-sammenligningsprotokoll.md").read_text() + block = re.search(r"> \*\*Liveness-asymmetri-erklæring:\*\*.*?(?=\n\n## )", proto, re.S).group(0) + decl = "\n".join(l.lstrip("> ").rstrip() for l in block.splitlines()) + report = pathlib.Path("docs/rapport/2026-07-03-sammenligningsrapport.md").read_text() + assert decl.replace("\n", " ") in " ".join(report.split()), "asymmetry declaration NOT verbatim" + print("OK: declaration verbatim") + EOF + ``` + (b) forbudt-ord-grep i ESCAPED form — `grep -inE 'typis[k]|gjennomsnittli[g]|stabil[t]' docs/rapport/2026-07-03-sammenligningsrapport.md` + → 0 treff; loggens egen rad gjengir kommandoen i samme escaped form slik at den aldri matcher seg + selv; (c) manuell tabell-audit: ingen rad blander offline- og live-kategori. (basert på + kodebase-analyse + protokollens §2–§5) +- **Reuses:** presedens-strukturen fra `docs/2026-06-26-fot-i-bakken.md`; §3-teksten kopieres fra protokollen. +- **Verify:** verbatim-kommandoen over → expected: `OK: declaration verbatim`; escaped grep → expected: exit 1 (0 treff); `grep -c "S11" STATE.md` → ≥ 1 +- **On failure:** retry — rett rapporten til sjekkene er grønne (dokumentfeil er alltid rettbar i økta); escalate kun hvis en KILDE viser seg å motsi en annen +- **Checkpoint:** `git commit -m "docs(rapport): S11 — sammenligningsrapport begge stacker på pinned db86e15"`; deretter push KUN hvis Assumption 3 står (frys-oppheving operatør-bekreftet i økta — `git push origin main`); hvis operatøren i mellomtiden har gjeninnført frys: parker push, informer +- **Manifest:** + ```yaml + manifest: + expected_paths: + - docs/rapport/2026-07-03-sammenligningsrapport.md + - STATE.md + min_file_count: 2 + commit_message_pattern: "^docs\\(rapport\\): S11 — " + bash_syntax_check: [] + forbidden_paths: + - docs/plan/2026-07-03-sammenligningsprotokoll.md + - docs/plan/2026-07-02-sesjonsplan.md + - shared/method-spec.md + must_contain: + - path: docs/rapport/2026-07-03-sammenligningsrapport.md + pattern: "Liveness-asymmetri-erklæring" + - path: STATE.md + pattern: "S11" + ``` + +## Alternatives Considered + +| Approach | Pros | Cons | Why rejected | +|----------|------|------|--------------| +| Permanent load-bearing test som vokter rapportens §3-sitat | Automatisk drift-vern | Rapporten er terminal artefakt ingenting konsumerer — ingen søm detacher; bryter 90 %-prinsippet | One-off verbatim-kommando i verifiseringsloggen dekker behovet (test-strategist) | +| Frisk S10-re-kjøring for «bedre» live-tall | Ferskere data | Forbudt: §4.2 (artefakter er fasit) + §4.5 (re-rull av utfall) + D6 (ny spend krever godkjenning) + overskriver committet fasit | Protokollbrudd; Non-Goal (a) i briefen | +| Rapport i `docs/plan/` i stedet for ny `docs/rapport/` | Ingen ny katalog | Blander leveranse med planverk; sjanger-per-underkatalog er etablert konvensjon | Brief/Preference sier `docs/rapport/`; konvensjonsskann støtter | +| Commit-melding-grep som SC2-ref-sjekk (briefens opprinnelige formulering) | Enkelt | Beviser omtale, ikke innhold — squash-meldingene er ulike; en lokal shared/-endring ville passert | Erstattet av tre-hash-identitet `fc58b0b9…` x4 (brief-review-funn b, verifisert av to agenter) | + +## Test Strategy + +- **Framework:** pytest (begge repo). Ingen nye testfiler i S11 — leveransen er et dokument; + mekanisk verifisering skjer via kommandoer som selv føres i verifiseringsloggen. +- **Existing patterns:** golden-frys (`test_validator_output_matches_golden`), load-bearing + detach-bevis (`test_*loadbearing*.py`), env-gatede live-skips (de 4 i MAF-repoet — navngis i loggen). +- **New tests in this plan:** 0 (bevisst — se Alternatives rad 1). +- **Mekanisk rapport-verifisering:** verbatim-sjekk (python, whitespace-normalisert), forbudt-ord-grep, + kategori-tabell-audit (separate tabeller), read-only-bevis (status før/etter), tre-hash-identitet x5. + +## Risks and Mitigations + +| Priority | Risk | Location | Impact | Mitigation | +|----------|------|----------|--------|------------| +| Critical | `run_s10.py` kjøres «for å speile» → overskriver committet fasit + ekte API-kost | søsken `src/portfolio_optimiser_claude/run_s10.py` (default `--out runs/s10`) | Fasit ødelagt; §4.2/§4.5/D6 brutt | Step 3/4 leser KUN filer; forbudet står i Step 3-prosaen; API-nøkkel i miljøet gjør kallet reelt mulig — aldri utfør | +| High | `uv run` re-låser `uv.lock` (tracked) i et av repoene | begge repo | Read-only brutt i søskenet; støy-commit her | `--frozen` på ALLE `uv run`-kall (Step 1–3); status-før/etter-bevis | +| High | Kryss-kategori-lekkasje: S10-live-tall havner i samme tabellrad som MAF-offline-tall | rapportens M2/M3-seksjoner | Protokoll §2-brudd — rapportens gyldighet | To adskilte seksjoner + kategori-kolonne; eksplisitt audit i Step 5-sjekkene | +| High | §4.5-kategorisering av S10-re-kjøringen fremstilles glatt («transportfeil») | rapportens S10-seksjon | Ærlighetsbrudd; protokollens ordlyd dekker ikke konfig-feil | Loggfør BEGGE kjøringer med kost/exit; drøft avviket eksplisitt (arch-mapper/risk-assessor) | +| Medium | `PORTFOLIO_SHARED_ROOT` satt i miljøet re-peker MAF-kjernen utenom pinningen | `shared_root.py` | «Identisk kjerne» usann runtime | Step 1 sjekker at varen er tom og loggfører det | +| Medium | Tall siteres fra STATE-prosa i stedet for ferske kjøringer/artefakter | rapporten | Premiss-verifiseringsbrudd; STATE var alt stale én gang i dag | Steps 2–4 fanger alt ferskt; rapporten siterer kun evidence/kommandoer | +| Low | MC-determinisme på tvers av python 3.12/3.14 | begge validatorer | Golden-avvik | Kun `Random.uniform` (versjonsstabil); golden-testene ER sjekken; versjoner loggføres | +| Low | Mid-sesjon-commits fra andre sesjoner (aec95eb-mønsteret) | dette repoet | Plan-premisser drifter | Step 1 re-dokumenterer tips; commit i Step 5 skjer fra verifisert tilstand | + +## Assumptions + +| # | Assumption | Why unverifiable | Impact if wrong | +|---|-----------|-----------------|-----------------| +| 1 | Operatørens S10-re-kjøringsgodkjenning (dokumentert i søskenets STATE-logg) aksepteres som §4.5-loggføringsgrunnlag | Beslutningen ligger i STATE-prosa, ikke i en committet protokolltekst | Rapportens §4.5-drøfting må skjerpes/eskaleres til operatør | +| 2 | Søskenets pyproject kjører mypy i strict-modus via konfig (STATE/CLAUDE.md sier «--strict rene») | Ikke lest ut av pyproject i utforskningen | Step 3 bruker uansett repoets egne konfigurerte kommandoer; loggen siterer faktisk invokasjon | +| 3 | Push-frys er opphevet (operatør-bekreftet i økta; sibling pushet 10:57) | Muntlig/chat-bekreftelse, ikke skriftlig direktiv-endring i STATE ennå | Step 5 push parkeres; commit står lokalt; STATE-korrigering uansett ved sesjonslutt | + +## Verification + +*Per-step manifests over; dette er end-to-end-sjekkene (= briefens SC1–SC5).* + +- [ ] SC1: `python3`-verbatim-sjekken (Step 5) → `OK: declaration verbatim` +- [ ] SC2: `uv run --frozen pytest` exit 0 i BEGGE repo (ferske tall, navngitte skips) + ruff + mypy exit 0 + tre-hash `fc58b0b9…` x5 identisk (inkl. temporal S10-commit-sjekk) +- [ ] SC3: `evidence/03-maf-sim.txt` inneholder `LEARNING LOOP CLOSED` + `EXIT=0`; søsken-suiten (inkl. step7/step8-loadbearing) grønn i `evidence/04-sibling-gates.txt`; alle M1–M3-tall i rapporten sporer til evidence/artefakter +- [ ] SC4: hver tallpåstand i rapporten har rad i verifiseringsloggen; ALLE M1–M3-rader kjøres på nytt → samme tall (briefens ordlyd; det eneste erklærte unntaket er den feilede S10-kjøringens STATE-prosa-rad, merket ikke-reproduserbar) +- [ ] SC5: `grep -inE 'typisk|gjennomsnittlig|stabilt' docs/rapport/…` → 0 treff; tabell-audit: ingen rad blander kategori; ingen live-påstand om MAF-siden + +## Estimated Scope + +- **Files to modify:** 0 +- **Files to create:** 1 tracked (rapporten) + 6 untracked evidence-filer +- **Complexity:** medium (ingen kode, men høy presisjonsbyrde: hver setning i rapporten er en verifiserbar påstand) + +## Plan Quality Score + +| Dimension | Weight | Score | Notes | +|-----------|--------|-------|-------| +| Structural integrity | 0.15 | 95 | Lineær avhengighet 1→5; ingen sirkularitet | +| Step quality | 0.20 | 90 | Eksakte kommandoer; Verify per steg; read-only operasjonalisert | +| Coverage completeness | 0.20 | 95 | Alle SC1–SC5 + begge brief-review-funn adressert | +| Specification quality | 0.15 | 90 | Rapportinnhold seksjon-for-seksjon; ingen «etter behov» | +| Risk & pre-mortem | 0.15 | 95 | 8 risikoer m/ mitigering; farligste (run_s10) eksplisitt | +| Headless readiness | 0.10 | 80 | Steps 1–4 har ingen commit (bevisst — read-only); manifester kompenserer | +| Manifest quality | 0.05 | 85 | must_contain på nøkkelverdier; tomme commit-patterns på read-only-steg | +| **Weighted total** | **1.00** | **91** | **Grade: A** | + +**Adversarial review:** +- **Plan critic:** 1 blocker, 5 major, 6 minor — alle adressert i revisjon 1 (se Revisions) +- **Scope guardian:** ALIGNED — 0 creep, 2 minor gaps + 1 sti-feil, alle adressert i revisjon 1 + +## Revisions + +| # | Finding | Severity | Resolution | +|---|---------|----------|------------| +| 1 | Step 3 Verify brukte `head -n -1` (ulovlig i BSD-head) og udefinerte markørlinjer | blocker | BEFORE:/AFTER:-prefiks definert i Changes; Verify omskrevet til BSD-kompatibel grep/sed-diff | +| 2 | evidence/ ikke gitignored → status-støy + commit-sweep-risiko | major | Step 1 oppretter selv-ignorerende `evidence/.gitignore` (`*`); manifest håndhever | +| 3 | Feilet S10-kjørings tall (162 250/exit 3/$0.331506) hadde ingen tillatt kilde | major | Eksplisitt kilde-unntak i Step 5: raden merkes «ikke-reproduserbar kilde: STATE-prosa» ærlig | +| 4 | SC1-verbatim-sjekkens kommando sto ikke i planen | major | Full python-kommando innfelt i Step 5 (whitespace-normalisert semantikk definert) | +| 5 | Forbudt-ord-grep ville matche sin egen logg-rad | major | Escaped form `typis[k]\|gjennomsnittli[g]\|stabil[t]` foreskrevet i både sjekk og logg | +| 6 | M1-bit-for-bit-påstanden manglet beviskommando | major | Python-sammenligning golden↔run_result innfelt i Step 4 + Verify | +| 7 | `ls shared/ -R \| wc` teller feil (28 linjer, ikke 13 filer) | minor | Byttet til `find shared -type f \| wc -l` | +| 8 | `run_s10.py`-sti feil (repo-rot vs `src/portfolio_optimiser_claude/`) | minor | Rettet i Codebase Analysis, Step 3/4 og risikotabellen (reist av begge reviewere) | +| 9 | Stalt søsken-modultall (16; ground truth 15) | minor | Rettet til ~15 og alle forhåndstall degradert til «forventninger» — kommandoen er kilden | +| 10 | Step 1-grep skjør + manglende On-failure for satt env-var | minor | PIN:-prefiks ankret grep; unset/re-fang/escalate-sti lagt til | +| 11 | `2>&1` uspesifisert i captures | minor | Foreskrevet globalt i plan-preamble + eksplisitt i Steps 1–3 | +| 12 | Push-betingelsen bodde kun i Assumptions | minor | Flyttet inn i Step 5-checkpointen (push kun hvis A3 står; ellers parker + informer) | +| 13 | SC4-stikkprøve (3 rader) svakere enn briefens «hver rad» | minor | Verification SC4 skjerpet til ALLE M1–M3-rader; STATE-prosa-unntaket erklært | +| 14 | STATE.md-korrigering manglet som steg (falt bort headless) | minor | Lagt i Step 5 Changes + manifest (`STATE.md` must_contain «S11») | + +## Adversarial Pass 2 (v5.1.1 high-effort — gemini-bridge feilet; contrarian-researcher substitutt) + +**Prosessnotat (ærlighet):** Gemini Deep Research-jobben ble startet og fullførte server-side, men +resultatet var uhentbart pga. to uavhengige verktøyfeil i gemini-MCP-serveren +(`get_research_result`: `'Interaction' object has no attribute 'outputs'`, to forsøk; +`research_followup`: 404 på pensjonert modell). Passet ble derfor gjennomført av +`contrarian-researcher` (uavhengig web-grunnlagt metodestress-test — annet perspektiv enn +plan-critic, samme hensikt som gemini-passet). Funnene under er innarbeidet i Context og Step 5. + +| # | Finding | Severity | Resolution | +|---|---------|----------|------------| +| B1 | «Definert før begge stacker» er falsifiserbar — protokollen predaterer kun S4/S5; MAF-impl forelå | blocker (restatement) | Context + Step 5(1): presis temporal påstand + residual-asymmetri erklært | +| B2 | Vellykket live-kjøring ser ut til å bryte §4.5 («tak nådd» = innholdsutfall; unntak kun transportfeil); klassifiseringen var post-hoc | blocker (restatement) | Step 5(4): feilet kjøring rapporteres førsteklasses, §4.5 siteres, datert avviksnotat | +| M1g | M1 er asymmetrisk/sirkulær (golden generert fra MAF-linjen; begge validatorer framework-frie) — ekvivalens-gate, ikke komparativ metrikk | major | Step 5(2): M1 omrammet; generator navngis; scope til bundelet | +| MPr | N=1 per rammeverk, samme forfatter+AI (Prechelt 2000); spec ekstrahert fra MAF → M4 unattributabel til rammeverk | major | Step 5(5): M4 = case-studie-observasjoner, aldri framework-egenskaper | +| MCOI | Udeklarert interessekonflikt (Anthropic-fokusert forfatter; rapport skrevet med Claude) | major | Step 5(1): COI-erklæring, én setning | +| MCfg | Konfig-diff feilet↔vellykket kjøring + asymmetrisk artefakt-retensjon må publiseres | major | Step 5(4): diff-kommando + retensjonsregel | +| MTid | §1 krever re-pin+re-kjør ved kjerneendring, men Claude-siden kan ikke re-kjøres — temporal identitet må BEVISES | major | Step 1: femte PIN-linje `rev-parse '0f8af04:shared'` (verifisert = fc58b0b9…) | +| MSyn | Skriptede M2/M3-tall er forfatter-valgte inputs, ikke målinger | major | Step 5(3): designparametre + boolske håndhevelses-utfall; separate tabeller | +| MVer | Verifiseringsloggens «reproduserende kommando»-regel selv-bryter for live-tall | major | Step 5(9): tre-klasse-taksonomi (reproduce / recompute-from-artifact / disclosed-non-reproducible) | +| min1–5 | Ett bundle-scope · Begrensninger-seksjon obligatorisk · erklæringens prominens (Hovedfunn) · «eksistensbevis» glosses · DX én-rater-disclaimer | minor | Step 5(2)(5)(6)(7): alle innarbeidet |