open/portfolio-optimiser
1
0
Fork 0
Code Issues Releases 4 Activity

docs(s7a-3): ordrens ANDRE binding maalt paa alle 478 K2-nivaaer, og to prosa-hull lukket

Browse source 
Funnet i review foer lukking:

1. Rapporten baar rotnivaaets tall, men ikke ordrens andre klausul ("read_dir
   over stoerste katalog bundet"). Sveipet med den SHIPPEDE okf.directory_listing
   over alle 478 nivaaer: verste nivaa noe sted er 6 073 tegn / 2 094 o200k-tok
   (65 underkataloger) = 4,9 % av den flate formens 42 761. Det er dyrere enn
   rota fordi hver sti er bundle-relativ - den maalte prisen paa at en sti er
   brukbar ORDRETT i neste kall.
2. okf-konsum-kontrakter.md § 3.1 listet verktoeyene uten read_dir - samme
   Fase-3-klasse som verktoeybeskrivelsene pkt. 2 flyttet.
3. CLAUDE.md-raden tidde om at bundle_id_notice har TO kallsteder mens
   cost_baseline_notice har tre. Portefoelje-armen er BEVISST ikke wiret
   (bundle_id_source er None der ved konstruksjon), og det staar naa uttalt i
   stedet for aa vaere en asymmetri en leser maa gjette paa.

Sjekket ogsaa for annen prosa som beskriver den gamle to-trinns-stigen: eneste
gjenvaerende treff er docs/plan/2026-08-23-magentic-utforskningssloeyfe.md, et
DATERT plandokument som allerede beskriver read_bundle -> bundle_context (sant
til MAJOR-4 i oekt 77). Planer er historiske artefakter, ikke levende paastander
om flaten - ikke roert. Ingen treff under shared/ (pull-only subtree).

Ingen kodeendring.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This commit is contained in:
Kjell Tore Guttormsen 2026-09-03 08:09:53 +02:00
commit 2954216114
2 changed files with 26 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

28
docs/2026-09-03-hierarkisk-navigasjon-k2.md
View file

@ -34,6 +34,22 @@ kjøring hentet fra en rapport.
| Prompt-tokens i hele kjøringen | **343 826** | **49 225** |
| Antall prompter | 12 | 13 |
### `read_dir` over den største katalogen — ordrens andre binding
Sveipet med den SHIPPEDE `okf.directory_listing` over **alle 478 nivåer** (1 rot + 477 kataloger):
| Nivå | tegn | tokens | oppføringer |
|---|---|---|---|
| **Verste nivå noe sted** (`del-i-konkurransebeskrivelsen-…`) | **6 073** | **2 094** | 65 kataloger, 0 dokumenter |
| Nest verste (`del-ii-bilag-3-7-milj-kartlegging-…`) | 4 064 | — | 25 kataloger, 12 dokumenter |
| Rota | 3 954 | 1 495 | 28 kataloger, 11 dokumenter |
**Verste nivå i hele korpuset koster 2 094 tokens — 4,9 % av den flate formens 42 761.** Den er
dyrere enn rota fordi den har størst forgrening (65 underkataloger), og fordi hver sti er
**bundle-relativ**: en katalog dypt nede betaler prefikset sitt én gang per oppføring. Det er den
målte prisen på at en sti er brukbar ORDRETT i neste kall, og alternativet — nivå-relative navn en
modell må komponere — er den ene feilen som gir en sti som aldri fantes.
**Utforskningens prompt-tokens faller 86 %** (343 826 → 49 225). `read_bundle`-nyttelasten alene
faller **96,5 %** (42 761 → 1 495 tokens).
@ -69,10 +85,12 @@ setningen holder ikke, og begge er målt:**
20 kataloger — der den FLATE formen er over 5× taket den nivå-formen ligger godt innenfor.
2. **1 500 tegn er ikke oppnåelig for K2s rotnivå, og skal ikke være det.** Rota bærer **39
identifiserbare oppføringer** (28 kataloger + 11 toppdokumenter) og måler **3 954 tegn ≈ 1 366
o200k-tokens** (2,89 tegn/token). Å presse den under 1 500 tegn ville krevd at titler eller
oppføringer ble droppet — repoets vakuøs-gate-klasse. Taket i testen er 1 500 TEGN per listing
over de basene gaten kan se, og egenskapen som produserte fallet er gatet direkte (kostnaden
følger oppføringer på ETT nivå, ikke dokumenter i basen).
o200k-tokens** (2,89 tegn/token), og det verste nivået noe sted i korpuset **6 073 tegn / 2 094
tokens**. Å presse dem under 1 500 tegn ville krevd at titler eller oppføringer ble droppet —
repoets vakuøs-gate-klasse. Taket i testen er 1 500 TEGN per listing over de basene gaten kan
se, og egenskapen som produserte fallet er gatet direkte (kostnaden følger oppføringer på ETT
nivå, ikke dokumenter i basen). Ordrens kriterium er altså **ikke** oppfylt bokstavelig for K2;
det som ER oppfylt er bindingen: intet nivå i K2 koster mer enn **4,9 %** av den flate formen.
## 5. Ærlighets-grenser
@ -97,6 +115,8 @@ uv run --with tiktoken python scratchpad/s7a3/k2_profile.py after
uv run python scratchpad/s7a3/k2_before.py
# gatens egne tall
uv run python scratchpad/s7a3/measure_sizes.py
# ordrens andre binding: alle 478 nivaaer med den shippede funksjonen
uv run --with tiktoken python scratchpad/s7a3/k2_read_dir_sweep.py
```
Kontroll ved slutten av punkt 2: **1 252 passed / 5 skipped**, `ruff` og `mypy` rene, golden

4
docs/okf-konsum-kontrakter.md
View file

@ -124,8 +124,8 @@ That is a consumer refusing a producer's legitimate output over a directory name
directory, `ProvenanceStamp.bundle_id_source` / `DryRunReport.bundle_id_source` carry the whole
resolution into the artefacts, and the run prints **one warning line** naming both values.
- **A base is addressed by its declared id at BOTH doors.** The exploration catalogue
(`list_bundles` / `read_bundle` / `read_file` / `quick_validate`) and the mandate dispatcher
resolve the same id. This is a consequence of the slacken rather than a separate decision: while
(`list_bundles` / `read_bundle` / `read_dir` / `read_file` / `quick_validate`) and the mandate
dispatcher resolve the same id. This is a consequence of the slacken rather than a separate decision: while
a disagreeing declaration was refused the two could not differ, and if they differed now, an
exploration's own minted mandate would be unroutable.