docs(p11): okf 0.8.1 measured - source-quota carries the denominators, one prior constant ranked the price schedule out [skip-docs]

P11 (order 20260910T225652Z), NOK 0, no push. PATH okf is 0.8.1 (uv tool list,
__version__, --help flags). src/ untouched.

(ix) on 0.8.1 shipped: 629/623/6 and 629/620/9 - PM's predicted denominators,
now measured. --no-source-quota alone gives back 629/621/8 and 629/617/12 in
both arms; the exact numbers are an interaction with tie-shared-rank (both
arms) and stem-prefix (open arm). --title-covered never fires here (byte-
identical payload). 0.8.1 with the three new rules off reproduces the 0.7.0
payloads' delivered lists and budgets.

P10 section 6 diagnosed: a bisect over okf's own history (known-positive at
both ends) puts the price schedule's loss at okf 38104b7, whose only consume
code change is DOCUMENT_PRIOR_EXPONENT 1.0 -> 0.5; putting that one constant
back in a copy returns the old payload byte for byte. tie-shared-rank is ruled
out; known_positive 10349 -> 12563 is a version marker, not the mechanism. On
0.8.1 the schedule is over_budget_after_knapsack, not below_k.

okf check on 0.8.1 has 15 rules, not 16: rule 16 (bundle_mismatch) is on okf
main 7cca9e0, in no tag. Run from an export of 7cca9e0 the K3-15 pair is rc 1
and the right pair rc 0 - a real cross-corpus mismatch, not an okf defect.

Offer rows on four corpora: identifiers unchanged (65/50, 435, 982, 272).

The P10 doc gets dated additions in sections 4 and 6; the old sentences stand.
Test docstring: +2 lines naming the 0.8.1 rule count, no behaviour change.

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

docs/2026-09-10-p10-konform-k2-payload.md

@@ -151,6 +151,20 @@ i den nye. Det er dokumentet hele S7c-målingen («begge låser når prisskjemae
 endrer rangeringen — men det er en **rapportert observasjon, ikke en diagnose**: ingen måling her
 isolerer flagget som årsak, og ingen betalt kjøring sier hva bortfallet koster et forslag.
 
+**Tilføyd 2026-09-11 (P11).** Setningen over står som den ble skrevet; dette er diagnosen den
+manglet. **Årsaken er IKKE `--tie-shared-rank`.** En bisect over okf sin egen historikk viser
+prisskjemaet LEVERT på posisjon 10 til og med `f6fea13` og `withheld: below_k` fra og med
+**`38104b7`** (2026-09-09). Hver commit ble kjørt fra `git archive` mot samme base og samme
+spørsmål, med kjent-positiv på begge ender: `6776c37` gir den GAMLE payloaden og `v0.7.0` den NYE,
+begge med identisk levert liste. Den eneste kodeendringen `38104b7` gjør i `consume.py` er
+dokument-prioren, `total / n` → `total / n**0.5` (`DOCUMENT_PRIOR_EXPONENT`). Satt tilbake til 1.0
+i en kopi av `38104b7` gir den gamle payloaden byte-identisk tilbake. Default-armens fall
+(72 535 → 47 679) skjedde i to trinn: `38104b7` (→ 63 644) og deretter tie-effekten ved `a364ef4`
+(→ 47 679). `known_positive` 10 349 → 12 563 er en versjonsmarkør: tallet flyttet seg ved `17c49fc`
+og `c95d189` mens den leverte lista sto. På okf 0.8.1 er prisskjemaet ikke lenger `below_k`, men
+`over_budget_after_knapsack`. Målt med `scratchpad/p11/bisect/` og `scratchpad/p11/exponent/`; tall
+og kommandoer står i `docs/2026-09-11-p11-okf-081.md` § 4 og § 9.
+
 Dette er hele grunnen til at en re-spilt payload er en NY måling og ikke en reparert gammel.
 
 ## § 5 `okf check` før og etter, med kjent-negativ
@@ -197,6 +211,11 @@ uten et endret tall er støy.
   innholdet ble et annet.
 * **Prisskjema-bortfallet i § 4 er observert, ikke diagnostisert.** Ingen måling her isolerer
   `--tie-shared-rank` som årsak.
+  **Tilføyd 2026-09-11 (P11):** diagnostisert nå, og `--tie-shared-rank` er ikke årsaken.
+  Prisskjemaet ble rangert ut av okf `38104b7`, som endret dokument-prioren
+  (`DOCUMENT_PRIOR_EXPONENT` 1.0 → 0.5). Når bare den konstanten settes tilbake i en kopi av
+  commiten, kommer den gamle payloaden tilbake byte-identisk. Se § 4 over og
+  `docs/2026-09-11-p11-okf-081.md` § 4.
 * **(A), (B) og (C) forblir operatørens** og ble ikke flyttet av denne økta.
 * PATH-okf 0.7.0 er ikke bevist å være samme commit som PMs frosne `958e9bc`; versjonsstrengen er
   det eneste som er målt, og de to sprikte i flaggliste.