diff --git a/docs/ref-kb-correctness-program-2026-06.md b/docs/ref-kb-correctness-program-2026-06.md index 4a2ace8..f9b15ba 100644 --- a/docs/ref-kb-correctness-program-2026-06.md +++ b/docs/ref-kb-correctness-program-2026-06.md @@ -44,6 +44,8 @@ Create-time-guard + kadens-judge + rapporterende gulv + frontmatter-kontrakt. De ## 4. MEKANISMEN — «100 % til å stole på, til enhver tid» (operatørens kjernekrav) +> **Status (2026-06-29):** Port 1 ✅ · Port 2 ✅ (`5a0ba1f`) · Port 3 ✅ for inkrementell stale-since-verified (`fea5df5`), rapporterende gulv / SessionStart KB-tillit-signal (`08e7e72`), og CT5 sourcedness som erstatter K8 (`75ee9ec`). **Gjenstår: Port 3 periodisk full-pass (P3d)** — LLM-judge på kadens; uavklart designvalg: inline-judge-steg vs. arbeidsliste operatør starter (anbefaling: arbeidsliste, matcher §5 «ikke auto-lansert»). + Garantien er en **invariant håndhevet av tre porter**, ikke et engangs-opprydding: > **Invariant:** Hver maskin-verifiserbar påstand i en `reference`-fil er bekreftet mot sin siterte kilde innen siste ``-vindu; intet `reference`-innhold shipper uten `source` + `verified`; drift flagges innen én refresh-syklus. @@ -79,7 +81,7 @@ Garantien er en **invariant håndhevet av tre porter**, ikke et engangs-oppryddi | Spor 0 (fiks 38) | 🟡 STARTET (manifest klart) | Kjør manifest i fokusert sesjon m/ kilde-reverifisering | | Spor 1 (korpus-skala) | ⏳ grønt lys | Authority-backfill + frontmatter → korpus-pass (Voyage `/trekplan`) | | Spor 2 (hardning) | ⏳ grønt lys | Ensemble-måling på gull + gull-rekonsiliering | -| Spor 3 (mekanisme) | ⏳ grønt lys | Frontmatter-kontrakt → create-guard → kadens-judge (§4) | +| Spor 3 (mekanisme) | 🟢 Port 1+2+3(inkr/gulv/CT5) ✅ | Gjenstår Port 3 full-pass (P3d, LLM-judge på kadens) — se §4-status | **Avhengigheter:** Spor 0 uavhengig (nå). Spor 3 Port 2 (create-guard) MÅ på plass før/sammen med korpus-fiksing (ellers reverserer generatoren). Spor 2b (gull-rekonsiliering) bør før Spor 1 korpus-pass (bunnsolid fasit før vi skalerer målingen). Advisor-filer koordineres mot Cosmo-utfasing (S-Cosmo).