docs(plan): V1 §6 — rekkevidde-forbeholdet korrigert, og funnet under funnet
llm-ingestion-okf svarte at (d) er gjennomførbar og målte to grunner til at den slår deres egen (b). Den ene korrigerer oss: konflikten er ikke bare normativ. Fasitsettene finnes hos implementasjonene, `generated` ligger på :8 inne i prefikset i fire filer, så :280-halvdelen fyrer ved deres neste release. Reprodusert her, inkl. _is_ingest_owned (materialize.py:131-150). Kontrollen avdekket et selvstendig punkt ingen har meldt: :29 sier "the SHARED golden extractions" i bestemt form, men det finnes TO disjunkte sett — okf har orders/products/metrics/status, po-claude har costs/edge/meta, og de eneste felles navnene (index.md) er byte-ulike. Commons har aldri hatt settet. Konformansleddet er derfor ikke-testbart i dag. Ikke en del av V1, ikke i køen — tatt med fordi det avgjør hvor tungt :29-argumentet veier. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XYkLsRfSBBUjULS219Fy8X
This commit is contained in:
parent
249425bd73
commit
3de702b937
1 changed files with 43 additions and 4 deletions
|
|
@ -169,10 +169,42 @@ gyldig svare at fasit-klassen aldri får mer enn én produsent, eller at `genera
|
||||||
det byte-sammenlignede prefikset. Men da er *det* valget som må ratifiseres — funnet sier bare
|
det byte-sammenlignede prefikset. Men da er *det* valget som må ratifiseres — funnet sier bare
|
||||||
at O1 ikke kan vedtas uten samtidig å ta stilling til `:29`.
|
at O1 ikke kan vedtas uten samtidig å ta stilling til `:29`.
|
||||||
|
|
||||||
**Målt forbehold om rekkevidde:** `examples/ingest-golden-*` **finnes ikke i commons i dag**
|
### 6.1 Rekkevidde-forbeholdet, korrigert 2026-07-26
|
||||||
(`ls` → ingen treff). Klassen er specifisert (`:259-267`), ikke materialisert. Konflikten er
|
|
||||||
derfor i dag **normativ, ikke observerbar** — den utløses den dagen commons publiserer sin
|
Første utgave skrev at konflikten er «normativ, ikke observerbar — den utløses den dagen commons
|
||||||
første ingest-fasit. Fikstursettet `llm-ingestion-okf` snakker om å regenerere, er deres eget.
|
publiserer sin første ingest-fasit». **Det var for snevert, og `llm-ingestion-okf` korrigerte
|
||||||
|
det med en måling.** Riktig bilde, etter kontroll i alle tre trær:
|
||||||
|
|
||||||
|
- `examples/ingest-golden-*` finnes fortsatt **ikke i commons** — og har aldri gjort det
|
||||||
|
(`git log --all -- 'examples/ingest-golden-*'` → tomt).
|
||||||
|
- Men fikstursettene **finnes hos implementasjonene**, og `generated` ligger i bytene:
|
||||||
|
fire filer hos `llm-ingestion-okf`, alle på `:8`, inne i prefikset. **Del (ii) av funnet —
|
||||||
|
at `Golden regression` (`:280`) ville fyre på hver versjonsbump — er derfor observerbar i
|
||||||
|
dag, ikke i framtiden.** Den utløses ved deres neste release.
|
||||||
|
|
||||||
|
### 6.2 Funnet under funnet: «the shared golden extractions» har ingen referent
|
||||||
|
|
||||||
|
Kontrollen for 6.1 avdekket noe som gjelder uavhengig av hele V1-spørsmålet, og som ingen har
|
||||||
|
meldt:
|
||||||
|
|
||||||
|
| Repo | `examples/ingest-golden-*/expected-bundle/` |
|
||||||
|
|---|---|
|
||||||
|
| commons | finnes ikke, har aldri funnes |
|
||||||
|
| `llm-ingestion-okf` | `ingest-orders.md`, `ingest-products.md`, `ingest-metrics.md`, `ingest-status.md` (+ 3 `index.md`) |
|
||||||
|
| `portfolio-optimiser-claude` | `ingest-costs.md` ×2, `ingest-edge.md`, `ingest-meta.md` (+ 2 `index.md`) |
|
||||||
|
|
||||||
|
**Overlappet i innholdsfiler er null.** De eneste sammenfallende navnene er `index.md`, og de er
|
||||||
|
byte-ulike (ulik oppsummering, ulike lenkemål — verifisert med `cmp`).
|
||||||
|
|
||||||
|
`ingest-spec.md:29` krever at en konform implementasjon reproduserer «**the shared** golden
|
||||||
|
extractions (§11) byte for byte». Bestemt form forutsetter ett sett. Det finnes to, begge
|
||||||
|
lovlig navngitt etter konvensjonen i `:259-260`, ingen av dem publisert her. **Konformansleddet
|
||||||
|
er dermed ikke-testbart i dag** — ikke fordi fasiten mangler, men fordi det er to av dem, og
|
||||||
|
hver implementasjon reproduserer sin egen per konstruksjon.
|
||||||
|
|
||||||
|
Dette er et **selvstendig punkt**, ikke en del av V1, og det er ikke i køen. Det er tatt med
|
||||||
|
her fordi det avgjør hvor tungt `:29`-argumentet i §6 veier: argumentet er ikke «dette bryter
|
||||||
|
en delt fasit vi har», men «dette sementerer at en delt fasit aldri kan oppstå».
|
||||||
|
|
||||||
## 7. Det som ikke er commons' å avgjøre
|
## 7. Det som ikke er commons' å avgjøre
|
||||||
|
|
||||||
|
|
@ -212,5 +244,12 @@ line-oriented-krav, og `ingest_manifest` som stempelets andre halvdel. Ingen ops
|
||||||
| Konformans krever byte-lik delt fasit | `ingest-spec.md:29` | «reproduce the shared golden extractions (§11) byte for byte» |
|
| Konformans krever byte-lik delt fasit | `ingest-spec.md:29` | «reproduce the shared golden extractions (§11) byte for byte» |
|
||||||
| Fasiten sammenlignes byte for byte | `ingest-spec.md:267`, `:280` | «byte for byte» / «any byte … diverges» |
|
| Fasiten sammenlignes byte for byte | `ingest-spec.md:267`, `:280` | «byte for byte» / «any byte … diverges» |
|
||||||
| Ingen ingest-fasit finnes i commons | `ls -d examples/ingest-golden-*` | ingen treff |
|
| Ingen ingest-fasit finnes i commons | `ls -d examples/ingest-golden-*` | ingen treff |
|
||||||
|
| …og har aldri funnes | `git log --all -- 'examples/ingest-golden-*'` | tomt |
|
||||||
|
| `generated` ligger i fasit-bytene hos okf | `grep -rn '^generated' llm-ingestion-okf/examples/ingest-golden-*/expected-bundle/*.md` | 4 filer, alle `:8` |
|
||||||
|
| …inne i det ordnede prefikset | `sed -n '1,9p' .../ingest-orders.md` | 7 nøkler `:2-8`, `generated` sist |
|
||||||
|
| Predikatet nøkler på literalen i dag | `materialize.py:131-150` | `frontmatter.get("generated") != "true"` + stem-match |
|
||||||
|
| To disjunkte fasitsett finnes | `comm -12` over begge trærs `expected-bundle/*.md` | kun `index.md`-navn felles |
|
||||||
|
| …og de felles `index.md` er ulike | `cmp` på `ingest-golden-file/.../index.md` | ULIKE |
|
||||||
|
| §1 sier «**the shared** golden extractions» | `ingest-spec.md:29` | bestemt form, én mengde forutsatt |
|
||||||
| `ingested_at` har ingen wall-clock-default | `ingest-spec.md:141` | «there is NO wall-clock default» |
|
| `ingested_at` har ingen wall-clock-default | `ingest-spec.md:141` | «there is NO wall-clock default» |
|
||||||
| Spec-tekst uendret siden 07-21 | `git log --oneline -- ingest-spec.md` | `bfa5a9b`, forrige `7aa53fc` — ingen commit etter |
|
| Spec-tekst uendret siden 07-21 | `git log --oneline -- ingest-spec.md` | `bfa5a9b`, forrige `7aa53fc` — ingen commit etter |
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue