fix(ms-ai-architect): G7 idx-26l..26r lukket — og maalingen som grunnla formen saa under halve klassen
Sju entries lukket, aatte linjer slettet (26l hadde linja som eget avsnitt og
mistet ogsaa blanklinja). Ingen erstatningstekst: formen sier slett, ikke rett.
idx-26r trengte aldri form-beslutningen den var bokfoert for. «Kall eller
runder?» handler om om TALLET er riktig; under en slette-form er riktighet ikke
i mulighetsrommet, og linja er uverifiserbar under begge lesninger. Sjekket, ikke
paastaatt: idx-26k baerer eksplisitt sperre, idx-26r baerer ingen. STATEs «ikke
mekanisk» bar videre entry-teksten skrevet 14:11 — ti minutter FOER da16608
(14:21) oppløste den. Spoersmaal #15 er moot for slettingen.
Tre av sju BEHOLDTE linjer feilet verifiseringen. Formen sier «behold og
verifiser» og forutsatte at de ville passere. Bokfoert, ikke reparert:
- idx-26t: «10 unike URLer» er sann som kilder (10 entries), usann som URL-er
(11; entry 8 baerer to). Avviket gaar samme vei som alle aatte.
- idx-26u: «File size: ~14 KB» er FALSIFISERBAR, ikke bare uverifiserbar — git
ER artefaktet. 17388 -> 17963 -> 17965 -> 18554 byte, og linja staar ordrett i
den ELDSTE versjonen. Aldri sann paa noe punkt repoet kan observere.
- idx-26v: 80/20 uten nevner. 26j-presedensen «lukk i samme edit» ble TESTET mot
forutsetningen, ikke kopiert: 26j hadde en partisjon (12/5), denne fila har
ingen (8/8 Verified, seksjoner 3/3). Aa re-uttrykke ville krevd aa finne paa
en nevner — defektklassen den skulle lukke.
- idx-26w: 7/7 stemmer som aritmetikk, men 2 av 7 URL-er er ikke Learn, saa «fra
MCP-research» overklager. Proveniens, ikke telling.
TYNGSTE FUNN — korpusmaalingen som grunnla ratifiseringen var en underteljing.
«23 linjer i 23 filer, fire dialekter» er engelsk-spraaklig maalt. Dialekt-bred
sveip: 47 kandidater, 2 haandluket falske positive (kilde-tellinger), 1 ekte
under feil etikett => 45 EKTE LINJER I 45 FILER, minst 16 feltnavn-dialekter.
Norske former (MCP-kall, MCP-kall utfoert, Totalt antall MCP-kall), MCP call
summary, listeform og overskriftsform falt alle utenfor.
Dette ugyldiggjoer INGEN av de ni editene — slettegrunnen er uverifiserbarhet og
gjelder uansett populasjon. Det ugyldiggjoer REKKEVIDDEN: spoersmaal #17 gjaldt
«14 ubokfoerte filer»; reell populasjon er 45. Boettene er bevisst IKKE oppgitt —
et maskinforsoek i oekten reproduserte nøyaktig artefaktet haanden maatte rette
sist (leser «3 (search) + 2 (fetch) = 5 total» som «oppgitt 3»).
Alle 11 ankere (7 eksisterende + 4 nye) unikhetssjekket med grep -cF, ikke med
gatens text.includes. Koe: 11 aapne / 20 resolved. Suite: 1047/1047.
Docs: §9.15.
This commit is contained in:
parent
da16608c60
commit
30d4340e94
9 changed files with 182 additions and 22 deletions
|
|
@ -1728,3 +1728,116 @@ greppable rather than prose.
|
|||
**Anchor uniqueness for idx-26s was verified after it was written, not before** — named here rather
|
||||
than quietly fixed. The gate proves *presence* (`text.includes`), never uniqueness, so a non-unique
|
||||
anchor passes silently. All three occur exactly once.
|
||||
|
||||
---
|
||||
|
||||
## §9.15 — idx-26l…idx-26r: den ratifiserte footer-formen anvendt på sju filer, og målingen som grunnla den viste seg å være halv
|
||||
|
||||
Andre batch av footer-klassen. Formen fra §9.14 ble anvendt uendret på de sju bokførte
|
||||
filene, og alle sju er lukket. Det som gjør denne økten verdt å lese er ikke de sju
|
||||
slettingene — de var mekaniske — men de to tingene som falt ut av å sjekke *hva som sto
|
||||
igjen* og *hvor stor klassen faktisk er*.
|
||||
|
||||
### Anvendt
|
||||
|
||||
Sju filer, åtte slettede linjer (én fil hadde linja som eget avsnitt og mistet også
|
||||
blanklinja under). Ingen erstatningstekst noe sted: formen sier *slett*, ikke *rett*.
|
||||
|
||||
| Entry | Fil | Slettet | Beholdt, og verifisert ved telling |
|
||||
|-------|-----|---------|-------------------------------------|
|
||||
| 26l | `feedback-loops-continuous-improvement.md` | `**MCP calls:** 6` | ingen tellinger igjen (kun en dato) |
|
||||
| 26m | `rag-caching-optimization.md` | `**MCP calls:** 6` | `9 unike Microsoft Learn URLer` ✔ (9 entries, 9 URL-er) |
|
||||
| 26n | `agent-to-agent-a2a-protocol.md` | `**MCP calls:** 4` | `10 unike URLer` ✘ — se under |
|
||||
| 26o | `agent-to-agent-communication.md` | `**MCP calls**: 4` | `7 unique URLs` ✔ som tall, ✘ som proveniens |
|
||||
| 26p | `agent-365-governance-and-deployment.md` | `**Total MCP calls:** 4` | `7 Microsoft Learn-artikler` ✔ |
|
||||
| 26q | `azure-cost-management-ai.md` | `**MCP calls:** 4` | `8 unique Microsoft Learn URLs` ✔ |
|
||||
| 26r | `foundry-agent-service-ga.md` | `**MCP calls:** 4` | `9 primærkilder` ✔ (9 entries, 9 URL-er) |
|
||||
|
||||
### idx-26r trengte aldri form-beslutningen den var bokført for
|
||||
|
||||
Entryen sa at linja «ikke kan adjudiseres uten å avgjøre om feltet teller kall eller
|
||||
runder». Begge lesningene handler om **om tallet er riktig**. Under en form som sletter
|
||||
i stedet for å rette, er riktighet ikke i mulighetsrommet: linja går fordi den er
|
||||
uverifiserbar, og den er uverifiserbar under begge lesningene. Åpent spørsmål **#15** er
|
||||
dermed **moot for slettingen** — samme figur som lukket 26j, der et *fravær* avgjorde et
|
||||
valg ingen av grenene kunne avgjøre.
|
||||
|
||||
Hvorfor dette ikke var å gjenåpne en ratifisering, sjekket i stedet for påstått: `idx-26k`
|
||||
bærer en eksplisitt sperre («Do not close this one in isolation»), `idx-26r` bærer ingen.
|
||||
Scope-addendumet til 26j sier at grunnen er uverifiserbarhet, «a property that holds for
|
||||
ALL 23 lines». STATEs advarsel om at fila «ikke er mekanisk» bar videre framingen fra
|
||||
entry-teksten, skrevet 14:11 — ti minutter *før* addendumet (14:21) som oppløste den.
|
||||
**Entryens framing overlevde addendumet som svarte på den.**
|
||||
|
||||
### Det formen ikke dekket: tre funn i linjene som ble BEHOLDT
|
||||
|
||||
Formen sier at sjekkbare tellinger «beholdes og verifiseres». Den forutsatte at de ville
|
||||
passere, og sier ingenting om hva man gjør når én ikke gjør det. Tre gjorde ikke det, og
|
||||
alle tre er **bokført, ikke reparert**:
|
||||
|
||||
- **`idx-26t`** — `agent-to-agent-a2a-protocol.md`: `10 unike URLer` er sann lest som
|
||||
*kilder* og usann lest som *URL-er* (10 nummererte entries, 11 distinkte URL-er; entry 8
|
||||
bærer to). Samme udefinerte referent, nå inne i linja formen ba oss beholde. **Avviket
|
||||
går samme vei** som alle åtte MCP-avvikene.
|
||||
- **`idx-26u`** — `azure-cost-management-ai.md`: `**File size:** ~14 KB` er **falsifiserbar**,
|
||||
ikke bare uverifiserbar, fordi git *er* artefaktet som avgjør den. Målt ved hver commit
|
||||
som har rørt fila: 17388 → 17388 → 17963 → 17965 → 18554 byte. Linja står ordrett i den
|
||||
*eldste* versjonen, så påstanden var alt gal da fila kom inn i repoet og har **aldri**
|
||||
vært sann på noe punkt repoet kan observere.
|
||||
- **`idx-26v`** — samme fil: `80% Microsoft-verified, 20% domain-specific` er 26j-lokator-4-klassen.
|
||||
Den ble **ikke** lukket i samme edit, og avviket fra 26j ble målt før det ble besluttet:
|
||||
26j kunne bytte prosenten mot en strukturell telling fordi *den* fila hadde en partisjon
|
||||
(12 Verified / 5 Baseline). Denne har ingen — alle 8 rader i URL-tabellen er `Verified`,
|
||||
og seksjonstabellen er 3/3. Å re-uttrykke prosenten ville krevd å **finne på** en nevner,
|
||||
som er nøyaktig «erstatningen forfatter defektklassen den lukker».
|
||||
- **`idx-26w`** — `agent-to-agent-communication.md`: `7 unique URLs fra MCP-research`
|
||||
stemmer som aritmetikk (7 entries, 7 URL-er) og feiler som **proveniens**: bare 5 ligger
|
||||
på learn.microsoft.com; kilde 6 (`a2a-protocol.org`) og 7 (`jsonrpc.org`) kan ikke ha
|
||||
kommet fra microsoft-learn-serveren. Kontrasten i samme batch gjør formen synlig — 26n
|
||||
navngir «MCP-research + tavily-research» og dekker sine ikke-Learn-kilder.
|
||||
|
||||
### Korpusmålingen som grunnla ratifiseringen så under halvparten av klassen
|
||||
|
||||
Dette er øktens tyngste funn, og det gjelder ikke editene — det gjelder **tallet alle
|
||||
entries i klassen siterer**.
|
||||
|
||||
Ratifiseringen hviler på «23 footerlinjer i 23 filer … fire feltnavn-dialekter». Etter de
|
||||
ni slettingene (2 i `088cf06` + 7 her) skulle korpuset da hatt **14** igjen. En dialekt-bred
|
||||
sveip finner **47 kandidatlinjer**. Håndsjekk av de tre som kunne vært kilde- snarere enn
|
||||
kall-tellinger: to er falske positive (`Total MCP-kilder: 4 unique URLs`,
|
||||
`MCP-kilder: 5 Microsoft Learn-dokumenter`), én er ekte under feil etikett
|
||||
(`Totalt antall MCP-kilder: 3 docs_search calls + 2 docs_fetch calls = 5 MCP-kall`).
|
||||
|
||||
**Ground truth: 45 ekte linjer i 45 filer, i minst 16 distinkte feltnavn-skrivemåter** —
|
||||
mot de fire målte. Den opprinnelige regexen var engelsk-språklig og så ikke `MCP-kall`,
|
||||
`MCP-kall utført`, `Totalt antall MCP-kall`, `Total MCP-kall`, `MCP-kall totalt`,
|
||||
`MCP-kall brukt`, `MCP-calls brukt`, `MCP call summary`, listeform (`- **MCP calls:**`)
|
||||
eller overskriftsform (`### MCP Calls: 6`, `### Total MCP Calls: 4`).
|
||||
|
||||
**Dette ugyldiggjør ingen av de ni editene.** De sju her ble håndklassifisert som medlemmer,
|
||||
og slettegrunnen — uverifiserbarhet — gjelder uansett populasjonsstørrelse. Det det
|
||||
ugyldiggjør er **rekkevidden**: åpent spørsmål **#17** gjaldt «14 ubokførte filer». Den
|
||||
reelle ubokførte populasjonen er **45**.
|
||||
|
||||
**Bøttene er bevisst IKKE oppgitt.** Et maskinelt forsøk i denne økten reproduserte nøyaktig
|
||||
artefaktet hånden måtte rette sist gang: det leser `3 (search) + 2 (fetch) = 5 total` som
|
||||
«oppgitt 3, sum 7». Regex sa 11 og hånden sa 8 forrige gang; en ny maskintelling har ikke
|
||||
fortjent tillit her. Klassifiseringen av de 45 er **håndarbeid som ikke er gjort**.
|
||||
|
||||
### Gjenbrukbare funn
|
||||
|
||||
- **En entrys framing kan overleve addendumet som oppløste den.** 26r var bokført som
|
||||
blokkert av et spørsmål et dokument skrevet ti minutter senere hadde gjort irrelevant.
|
||||
Sjekk om sperren er *eksplisitt* (26k har en, 26r har ingen) før du behandler prosa som
|
||||
en sperre.
|
||||
- **«Behold og verifiser» forutsetter at verifiseringen passerer.** Tre av sju beholdte
|
||||
linjer feilet. En form som ikke sier hva som skjer ved feil, har et hull der defekten
|
||||
flytter inn.
|
||||
- **Falsifiserbar er ikke det samme som uverifiserbar, og git kan være artefaktet.** `~14 KB`
|
||||
kunne avgjøres; `MCP calls: 5` kunne ikke. Samme footer, to helt ulike bevissituasjoner.
|
||||
- **En presedens som «lukk det i samme edit» må testes mot om forutsetningen finnes.**
|
||||
26j kunne det fordi fila hadde en partisjon. Å kopiere handlingen uten forutsetningen
|
||||
ville produsert en oppdiktet nevner.
|
||||
- **Den dialekt-blinde regexen rammer korpus-målinger, ikke bare enkelt-editer.** Et tall
|
||||
som er sitert ordrett i sju køoppføringer var målt over halve populasjonen. Ingen av de
|
||||
sju kunne oppdage det; de siterte hverandre.
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue