docs(major2): funn (b) re-maalt live - loekka konvergerer paa foerste reviderte forsoek
Ny § 4b i docs/2026-09-06-major2-levende-k2.md. Én betalt kjøring, samme
harness som § 4 (revise-armen, PACE_SECONDS=2, capacity 100).
AVVIK fra ordren, uttalt: ordren sier «fiksturene fra § 4 rad 6». Rad 6s BASE
er brukt (K2-priset-SYNTETISK-C), men rad 3/4s MANUS - rad 6s eget manus oppgir
kostlinja i mandatets begrunnelse, saa stage 0 fyrer aldri der og spoersmaalet
kunne ikke besvares. Alt annet er uendret.
Instrumentet validert mot en kjent positiv FOER bruk: rotnivaa-listingen paa
levert K2 = 3 954 tegn / 1 495 o200k-tokens over 629 konseptfiler (S7a-3s
publiserte tall, eksakt).
MAALT: forsoek 1 gir 1000/500 og avvises med BEGGE felt navngitt i én melding;
forsoek 2 svarer 1250/850 og VALIDERES, med ett forsoek til gode. Oekt 94 brukte
alle tre paa aa veksle mellom feltene og konvergerte aldri. Modellen trengte
aldri to runder for to felt - den trengte aa faa vite om begge.
Sluttdommen er likevel REJECTED, og det er D6 - ikke stage 0: ekspertens revise
ba om aa HALVERE anslaget, og forsoek 3 OEKTE det (150 000 -> 250 000) og brakk
begge feltene paa nytt. Validatorens siste dom vinner. § 5/§ 8s
etterlevelses-funn reprodusert uendret.
own-proposal er nå MAALT mot gaten (§ 4 kunne bare si «umaalt mot doera»): tre
forsoek, tre oppdiktede kostkoder, hver avvist med den UENDREDE
én-setnings-formen for ukjent kode.
Sidefunn: funn (c)s DirectoryPathRefused fyrte LIVE tre ganger med peker til
read_dir, der ab747bc var stod en IsADirectoryError paa krasj-kanalen.
Kostnad: estimat FOER NOK 0,54; faktisk 42 946 input + 1 606 output =
NOK 0,1843 = 3,7 % av taket paa 5. 0 stk. 429. Takene URØRT.
Ingen ekte Azure-vert i sporet fil (<resource>-maskering; lekkasjesjekk kjoert
etter git add). 1387/5, ruff+mypy rene, golden BYTE-UENDRET
(shasum -a 1 av INNHOLDET = ea8c534773acdbe41ae68f2c55724d69aaf8be4f).
Co-Authored-By: Claude <claude-opus-5>
This commit is contained in:
parent
78e8e39147
commit
b70cc09b80
1 changed files with 63 additions and 3 deletions
|
|
@ -176,9 +176,12 @@ Modellen fant hver av de to riktige verdiene, men aldri samtidig: den retter fel
|
||||||
navngir og brekker det andre. Med `max_attempts = 3` per tilnærming rekker den ikke å konvergere på
|
navngir og brekker det andre. Med `max_attempts = 3` per tilnærming rekker den ikke å konvergere på
|
||||||
to felt.
|
to felt.
|
||||||
|
|
||||||
**Dette er funn, ikke fiks.** Alle tre — prompt-teksten for `affected_items`, at stage 0 kun navngir
|
**Dette var funn, ikke fiks.** Alle tre — prompt-teksten for `affected_items`, at stage 0 kun
|
||||||
første overtredelse, og at katalog-oppføringer leses som filnavn — bor i `src/`, som ordrens gjerde
|
navngir første overtredelse, og at katalog-oppføringer leses som filnavn — bor i `src/`, som DENNE
|
||||||
holder utenfor. De er rapportert, ikke rettet.
|
ordrens gjerde holdt utenfor. De ble rapportert, ikke rettet.
|
||||||
|
|
||||||
|
**Alle tre er senere rettet under egne ordrer, og re-målt live:** (a) i `c6886ed`, (c) i `ab747bc`,
|
||||||
|
(b) i `78e8e39`. Re-målingen av (b) — og de to andres oppførsel live — står i **§ 4b**.
|
||||||
|
|
||||||
**De to fikstur-endringene er deklarert, og de forteller ikke modellen hva den skal foreslå.**
|
**De to fikstur-endringene er deklarert, og de forteller ikke modellen hva den skal foreslå.**
|
||||||
(a) Mandatets begrunnelse oppgir kostlinja slik dokumentet har den — det er hva en fagperson ville
|
(a) Mandatets begrunnelse oppgir kostlinja slik dokumentet har den — det er hva en fagperson ville
|
||||||
|
|
@ -188,6 +191,63 @@ og modellen ser den først ved review-døra.
|
||||||
|
|
||||||
---
|
---
|
||||||
|
|
||||||
|
## 4b. Re-måling etter funn (b): konvergerer Steg 5 nå på to felt?
|
||||||
|
|
||||||
|
Funn (b) er rettet i `78e8e39` — stage 0 navngir **alle** baseline-overtredelser i samme avvisning,
|
||||||
|
hver i uendret setningsform, sammenføyd med `; `. Dommen (D6) og takene er urørt.
|
||||||
|
|
||||||
|
**Én betalt kjøring, samme harness som § 4** (`scratchpad/major2-live/live_major2.py`, revise-armen,
|
||||||
|
`PACE_SECONDS=2`, deployment-`capacity` 100). **Avvik fra ordren, uttalt:** ordren sier «fiksturene
|
||||||
|
fra § 4 rad 6». Rad 6s **base** er brukt (`K2-priset-SYNTETISK-C`, uten det upriste 101K-arket), men
|
||||||
|
rad 6s **manus** oppgir kostlinja i mandatets begrunnelse — da fyrer stage 0 aldri, og spørsmålet
|
||||||
|
kan ikke besvares. Manuset er derfor rad 3/4s (`scripted-replies-kode.json`: begrunnelsen navngir
|
||||||
|
kostkoden, ikke tallene), som er nøyaktig der oscillasjonen ble målt. Alt annet er uendret.
|
||||||
|
|
||||||
|
**Instrumentet er validert mot en kjent positiv FØR bruk:** rotnivå-listingen på levert K2 måler
|
||||||
|
**3 954 tegn / 1 495 o200k-tokens over 629 konseptfiler** — S7a-3s publiserte tall, eksakt.
|
||||||
|
|
||||||
|
**Målt sekvens (proposer, genererings-kall, `max_attempts=3`):**
|
||||||
|
|
||||||
|
| # | Prompt bar | Svar | Stage 0 |
|
||||||
|
|---|---|---|---|
|
||||||
|
| 1 | (ingen tidligere avvisning) | `1000 / 500` | avvist — **begge felt navngitt i ÉN melding** |
|
||||||
|
| 2 | den nye to-setnings-grunnen ordrett | **`1250 / 850`** | **VALIDERT** — begge riktige samtidig |
|
||||||
|
| 3 | ekspertens `revise` (kjøpt forsøk) | `1000 / 500`, krav 250 000 | avvist — begge felt igjen |
|
||||||
|
|
||||||
|
Avvisningen forsøk 2 fikk, ordrett fra kjøringens stdout:
|
||||||
|
|
||||||
|
```
|
||||||
|
quantity 1000 for cost code '21.1' is outside the 5.0% tolerance around the baseline quantity 1250; unit_cost 500 for cost code '21.1' is outside the 5.0% tolerance around the baseline unit_cost 850
|
||||||
|
```
|
||||||
|
|
||||||
|
**Svaret er ja, og marginen er større enn spørsmålet ba om.** § 4 kjøring 3 brukte alle tre
|
||||||
|
forsøkene på å veksle mellom de to feltene og konvergerte aldri. Her konvergerte den på **det første
|
||||||
|
reviderte forsøket**, med ett forsøk til gode — review-døra åpnet med `attempts remaining: 1`.
|
||||||
|
Modellen trengte aldri to runder for to felt; den trengte å få vite om begge.
|
||||||
|
|
||||||
|
**Kjøringens sluttdom er likevel `REJECTED`, og det er D6 — ikke stage 0.** Ekspertens `revise` ba om
|
||||||
|
å **halvere** anslaget; forsøk 3 **økte** det (150 000 → 250 000) og brakk begge kostlinjefeltene på
|
||||||
|
nytt. Validatorens **siste** dom vinner, så tilnærmingen ender avvist. Det er § 5/§ 8s
|
||||||
|
etterlevelses-funn reprodusert uendret, på en kjøring der stage 0 ikke lenger er årsaken.
|
||||||
|
|
||||||
|
**`own-proposal` er nå MÅLT mot gaten** (§ 4 kunne bare si «validerte ALDRI — umålt mot døra»): tre
|
||||||
|
forsøk, tre oppdiktede kostkoder (`steel_struct`, `support_struct`), hver avvist med den **uendrede
|
||||||
|
én-setnings**-formen for ukjent kode. Den nådde aldri døra, og grunnen er fabrikkerte koder — ikke
|
||||||
|
oscillasjon.
|
||||||
|
|
||||||
|
**Funn (c) virker live, som sidefunn:** navigatøren kalte `read_file` på tre KATALOGER, og fikk
|
||||||
|
`DirectoryPathRefused` ved navn med en peker til `read_dir` — der `ab747bc` var, sto en
|
||||||
|
`IsADirectoryError` på krasj-kanalen. Orkestreringen stoppet etter tre påfølgende verktøyfeil, som
|
||||||
|
er dens egen mekanisme. Det gjenstående nabofunnet (`.md` på et katalognavn → `FileNotFoundError`)
|
||||||
|
er urørt og fortsatt åpent.
|
||||||
|
|
||||||
|
**Kostnad.** Estimat FØR: 80 000 inn + 4 000 ut × listeprisene i § 1 × 1,5 margin = **NOK 0,54**.
|
||||||
|
**Faktisk: 42 946 input + 1 606 output = NOK 0,1843** — **3,7 % av taket på 5**, og under estimatet.
|
||||||
|
**0 stk. 429.** 22 betalte prompter (proposer 17, checker 5); utforskningens tre roller er skriptet
|
||||||
|
som før. Største enkeltkall er godt under 100 000 tokens; takene er URØRT.
|
||||||
|
|
||||||
|
---
|
||||||
|
|
||||||
## 5. SC1 og SC8 — forslaget FØR og ETTER ekspertens ord
|
## 5. SC1 og SC8 — forslaget FØR og ETTER ekspertens ord
|
||||||
|
|
||||||
Begge armer kjørte identisk konfigurasjon; **det eneste som skiller dem er svaret på stdin.**
|
Begge armer kjørte identisk konfigurasjon; **det eneste som skiller dem er svaret på stdin.**
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue