docs(P4.5): §0s to målte felt fylt ut — frosset commit X og generalprøve-tidspunkt

Generalprøve ×2 grønn på 777b9f7 (exit 0, 61/4 begge ganger, golden-diff TOM
begge ganger, kjøringene byte-identiske med hverandre). K1 distinkt = 8,
linje-telling 9 som forventet. K2: REJECTED 2100000 mot P90 1769915 →
VALIDATED 445500, samme kandidat. Rent tre målt FØR X ble notert.
Frys-gaten prøvekjørt begge armer: arm 1 tom per konstruksjon (lime-inn-sjekk
av hashen passerte), arm 2 mot c255662 ikke-tom (6 filer) — gaten diskriminerer.
Utfyllings-gaten TOM. Denne commiten er Y.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01DWeYxduEnFQeynXbrtEA6o
This commit is contained in:
Kjell Tore Guttormsen 2026-08-12 20:16:23 +02:00
commit 2e17ea32b6

View file

@ -20,8 +20,8 @@
| Felt | Verdi | Hvor det kommer fra |
|---|---|---|
| Frosset commit **X** | `<<X-HASH>>` | `git rev-parse HEAD` rett etter grønn generalprøve ×2 |
| Generalprøve ×2 | `<<PROEVE-DATO-TID>>` | tidspunktet begge kjøringene var grønne |
| Frosset commit **X** | `777b9f7225cc1d4d4d9d45a1d3bdc7033ebaeb1a` | `git rev-parse HEAD` rett etter grønn generalprøve ×2 |
| Generalprøve ×2 | 2026-08-12 20:15 | tidspunktet begge kjøringene var grønne |
**Det finnes med vilje ingen rad for taggen, og fraværet er bærende.** Et tag-felt kunne først
fylles ut *etter* §5s punkt 10 (push) — men §5s punkt 6 krever at utfyllings-gaten er **tom**, altså