Groep a4 rijen
- TP
- 1
- FP
- 1
- TN
- 1
- FN
- 1
50%1 / 2 werkelijke positieven
Accuracy ter context: 50%. Accuracy heeft alle rijen als noemer.
Een plek om aan de knoppen te draaien. Formuleer een vermoeden, verander één ding en kijk wat er gebeurt.
Verander de componenten. Wat gebeurt er met de lengte?
Geef iedere invoer meer of minder invloed.
Volg de helling van L(w) = (w − 3)².
Groen is de eerste kolom, oranje de tweede. Samen beelden ze (1, 1) af.
Kies een uitvoercel. De gemarkeerde rij en kolom leveren precies die som.
1.0 × 2.0 + 2.0 × 1.0 = 4.0
A = [[1, schuif], [0, hoogte]]. Probeer een scheeftrekking, spiegeling en hoogte nul.
Voor f(x)=x²: oranje verbindt twee punten, groen toont de exacte lokale helling.
Volg eerst x → z → y. Vermenigvuldig daarna de lokale afgeleiden terug naar x.
dy/dx = 6.00 × 2.00 = 12.00
Ellipsen verbinden punten met gelijk verlies: L = w₁² + 4w₂². De pijl wijst tegen de gradiënt in.
Verwachte aantallen per 10.000 fictieve berichten. Let ook op de grote groep gewone mail.
| Werkelijkheid | Melding | Geen melding |
|---|---|---|
| Spam | 90 | 10 |
| Gewoon | 495 | 9405 |
De eerste zeven waarden blijven 1, 2, 2, 3, 3, 4, 4. Alleen de laatste schuift.
Verander de richting en de vaste ruis. Een boog kan sterk samenhangen terwijl de lineaire correlatie nul is.
Twee uitkomsten: p is de werkelijke kans op A, q de voorspelde kans. Alle waarden zijn in bits.
1.000 + 0.000 = 1.000 bits
In deze simulatie kennen we de volledige reeks: 2, 4, 6, 8, 10, 12, 14, 16. Verberg daarna een deel.
Gegeven: 2, 3, leeg, 5, 50, leeg, 8. Oranje punten zijn ingevuld, groene punten echt gemeten.
De echte ontbrekende waarden zijn onbekend. Dit experiment vergelijkt aannames; het vertelt niet welke invulling waar is.
Training: 2, 4, 6. Verander alleen het onbekende testvoorbeeld. Groen leert uit training; oranje kijkt ook naar test.
Vier planten, elk gemeten op drie dagen. Kies een split en volg welke metingen samen blijven.
Alle vier de planten staan aan beide kanten. Dit toetst geen generalisatie naar onbekende planten.
Twee planten verschillen 30 cm in hoogte en 2 jaar in leeftijd. Vaste trainingsschalen: 20 cm en 5 jaar.
Bij millimeters verandert ook de trainingsschaal van 20 cm naar 200 mm. De gestandaardiseerde afstand blijft daardoor gelijk.
Training kent blauw en rood. Groen is een nieuwe categorie. De kolommen veranderen tijdens gebruik niet.
rood → [0, 1] · onbekend = nee
Een nulvector krijgt een expliciete vlag. Zo verwar je een nieuwe kleur niet met een bekende kleur.
Vijf vaste punten volgen y=2x+1. De groene lijn is jouw model; oranje lijnen tonen de afwijkingen.
De absolute fouten zijn 1, 1, 1, 1 en jouw gekozen waarde. MAE en RMSE hebben dezelfde eenheid; MSE heeft de gekwadrateerde eenheid.
p=1/(1+exp(−(w*x+b))). De stippellijn is de veelgebruikte drempel 0.5; het punt toont x=1.
Groene cirkels: klasse 0. Oranje vierkanten: klasse 1. Beide features gebruiken dezelfde schaal. Lijnen verbinden de geselecteerde buren.
Zes fictieve spamkansen met vaste labels. Verhoog de drempel om minder berichten als spam aan te merken.
| Werkelijkheid | Geen spam | Spam |
|---|---|---|
| Geen spam | TN 2 | FP 1 |
| Spam | FN 1 | TP 2 |
Cirkels zijn klasse 0, vierkanten klasse 1. Links gaat x<t; rechts x≥t. De ouder heeft Gini 0.5.
Elke rij A–H heeft bij iedere trekking dezelfde kans. De tellingen laten zien welke rijen deze steekproef mist.
Getrokken volgorde:
Seed 7. Dit voorbeeld gebruikt een vaste eenvoudige generator voor herhaalbaarheid; Python gebruikt zijn eigen generator.
Doelen: 0, 0, 2, 2, 5, 5. Begin bij hun gemiddelde. Elke stap fit een nieuwe regressiestomp op de actuele residuen.
Dit is trainingsfout. Meer stompen kunnen op onbekende data alsnog slechter presteren.
w=(1,0), b=−grens. De stippellijnen liggen één eenheid van de grens. Cirkels zijn −1, vierkanten +1.
Twaalf rijen, vier folds. Groen is training; oranje is validatie. Kies een ronde en volg de drie onbekende rijen.
Ook de scaler wordt elke ronde opnieuw op alleen de negen trainingsrijen gefit. De uiteindelijke testset zit niet in dit schema.
Twaalf vaste trainingspunten: sin(πx) plus ruis. De oranje curve is het bekende simulatiepatroon; groen is je gefitte polynoom.
Validatie gebruikt 41 andere x-waarden met ruisvrije doelen. Die waarheid kennen we alleen doordat dit een simulatie is.
De centra starten dicht bij elkaar. Rondjes zijn punten, kruisen centra. Voer de twee stappen om en om uit.
C0 (0.00, 0.00) · C1 (1.00, 0.00)
Na een centrumupdate horen de lijnen nog bij de vorige toewijzing. Wijs opnieuw toe om te zien of punten van groep wisselen.
De punten zijn al gecentreerd. Groen is de gekozen richting; oranje lijnen tonen wat de één-dimensionale reconstructie verliest.
De knop berekent de hoofdrichting uit de covariantie en rondt op één graad af. 180° omkeren geeft dezelfde as.
Elk vakje is één getal. Deze vaste voorbeeldwaarden veranderen mee met de gekozen vormen.
Bias b = [0.0, 0.1, 0.2], eenmaal per uitvoerneuron. Matrixvakjes tonen één decimaal; de uitvoerrij twee.
Groen: activatie. Oranje: afgeleide. Verplaats de invoer en vergelijk de twee getallen.
Verander logits of het juiste label. De gradiënt is p−y voor dit ene voorbeeld. Een gemeenschappelijke verschuiving verandert de kansen niet.
Werkelijke logits: [2, 1, 0]
Eén verborgen tanh-neuron, een lineaire uitgang en doel 1. Hier is L=½(ŷ−1)²; de lescode gebruikt meerdere klassen en cross-entropy.
De stap gebruikt voor beide gewichten dezelfde oude voorwaartse berekening. De getallen zijn afgerond; schuiven en leerstap behouden de volledige precisie. Het schuifbereik groeit mee als een leerstap erbuiten komt en blijft daarna gelijk tot Reset.
m=xy, s=m+x, t=tanh(s). Kies een uitkomst; oranje verbindingen tonen haar lokale afgeleiden.
Getallen op de verbindingen zijn lokale factoren, nog geen totale gradiënten. x komt langs twee verschillende routes bij de eindknoop.
Voor s=x×x en f=s+x heeft x drie terugwegen. Volg ze apart; de twee ingangen van de vermenigvuldiging mogen niet samenvallen.
De gradiënten staan op nul.
64 voorbeelden, 16 features per laag, ReLU en nulbias. Dezelfde vaste normale trekkingen worden anders geschaald.
Laag 0 is de invoer. De as is begrensd van 10⁻¹⁰ tot 10¹⁰. De gemeten waarden hieronder blijven onbegrensd; He is ook hier geen perfecte behoudsgarantie.
L=½(w₀²+20w₁²), start (3,1.5). Groen: SGD. Oranje: momentum. Beide krijgen dezelfde leersnelheid en hetzelfde aantal updates.
Gradiënt g=2, eventueel −2 vanaf stap 11. Groen is m, oranje is het gecorrigeerde m̂. De grijze lijn is g.
β₂=0.999. v̂ blijft hier vier: g² verandert niet bij een tekenwissel. Biascorrectie verwijdert de nulstartbias, niet de vertraging bij een veranderend signaal.
Verander alleen voorbeeld 3. Kijk of de uitvoer voor voorbeeld 1 mee verandert. γ=1, β=0 en ε=10⁻⁵.
| Rij | f1 | f2 | f3 |
|---|---|---|---|
| 1 | 1 | 3 | 5 |
| 2 | 2 | 4 | 6 |
| 3 | 3 | 5 | 7 |
| Rij | f1 | f2 | f3 |
|---|---|---|---|
| 1 | -1.22 | 0.00 | 1.22 |
| 2 | -1.22 | 0.00 | 1.22 |
| 3 | -1.22 | 0.00 | 1.22 |
Gemiddelden per rij: [3.00, 4.00, 5.00]. Elke rij gebruikt alleen zijn eigen features.
Iedere kaart toont invoer → uitvoer. Tijdens training worden behouden activaties door 1−p gedeeld. Het gemiddelde van één trekking mag afwijken.
Invoergemiddelde en verwachte trainingsuitvoer: 1.125. De maskerreeks is reproduceerbaar; een nieuw masker verandert de demonstratie.
hₜ=tanh(0.8xₜ+whₜ₋₁), met h₀=0. Verander de volgorde of het gedeelde recurrente gewicht w. Alle toestanden worden opnieuw berekend.
| Stap t | Invoer xₜ | Vorige h | Nieuwe h |
|---|---|---|---|
| 1 | 1.0 | 0.000 | 0.664 |
| 2 | 0.0 | 0.664 | 0.434 |
| 3 | -1.0 | 0.434 | -0.459 |
| 4 | 1.0 | -0.459 | 0.445 |
| 5 | 0.0 | 0.445 | 0.302 |
∂h₅/∂x₁ = 0.050129
Dit is de gevoeligheid voor de eerste gelezen input, via alle vijf tanh-stappen. Bij w=0 heeft een eerdere input geen invloed op een latere toestand.
c₀=1. De forgetpoort f blijft gelijk. Alleen stap 1 schrijft i×0.5 bij; daarna is de schrijfbijdrage nul. De gelezen uitvoer is o×tanh(c).
Groen: celtoestand. Oranje: gelezen uitvoer. Poorten staan hier vast; de getoonde afgeleide is alleen de directe geheugenroute, niet de volledige LSTM-gradiënt.
De beginvectoren zijn handgemaakte rekenvoorbeelden. Iedere kat-positie ontvangt dy=(1,−0.5), hond (−0.2,0.3), PAD (4,4). Bekijk één SGD-update.
| Token | Beginvector | Gradiëntsom | Nieuwe vector |
|---|---|---|---|
| PADID 0 | 0.00, 0.00 | 0.00, 0.00 | 0.00, 0.00 |
| katID 1 | 1.00, 0.00 | 2.00, -1.00 | 0.80, 0.10 |
| hondID 2 | 0.00, 1.00 | -0.20, 0.30 | 0.02, 0.97 |
| fietsID 3 | -1.00, 1.00 | 0.00, 0.00 | -1.00, 1.00 |
De niet-gebruikte fietsrij krijgt geen bijdrage. Delen door het aantal voorkomens is een andere afspraak; hier tellen we op.
Een scalar-demonstratie met dezelfde lokale helling a in ieder blok. Zonder skip vermenigvuldig je a; met skip 1+a. De grafiek toont de absolute grootte op een log-schaal.
Oranje: gewone keten. Groen: residual. Nul en waarden kleiner dan 10⁻⁸ staan aan de onderrand; het getal toont de echte waarde en het teken. Een skipverbinding kan ook uitdoven of exploderen.
Eén echt berekende sigmoid-classifier: invoer 1 → tanh-encoder → head. De beginwaarden zijn een leerfixture, geen voorgetraind model. Iedere stap gebruikt de gradiënt van de huidige binaire cross-entropy.
0 stappen uitgevoerd. Bij een bevroren encoder blijft de feature gelijk terwijl de head leert. Dit experiment heeft één trainingspunt en meet geen generalisatie.
Het gekleurde 3×3-venster gebruikt precies dezelfde gewichten op iedere positie. We berekenen cross-correlatie, zonder bias of padding.
| 0 | 0 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 |
| -1 | 0 | 1 |
| -1 | 0 | 1 |
| -1 | 0 | 1 |
| 3 | 3 | 0 |
| 3 | 3 | 0 |
| 3 | 3 | 0 |
0 + 0 + 1 + 0 + 0 + 1 + 0 + 0 + 1
Eén outputfilter telt de bijdragen van alle inputkanalen op. Meer beeldposities kosten meer rekenwerk, maar voegen geen gewichten toe. Dilatie is hier één.
Per as: floor((8 + 2×0 − 3) / 1) + 1 = 6
2×2-maxpooling. Iedere output ontvangt dy=1. Bij een gelijk maximum wint de eerste positie in rijvolgorde; de gekozen inputpixel is gemarkeerd.
| 1 | 2 | 1 |
| 2 | 9 | 2 |
| 1 | 2 | 1 |
| 9 | 9 |
| 9 | 9 |
| 0 | 0 | 0 |
| 0 | 4 | 0 |
| 0 | 0 | 0 |
Gekozen venster: start (0,0). Maximum op (1,1). Vier overlappende vensters kunnen dezelfde pixel kiezen.
Drie tokens, vier kanalen en één causale head. Q=K=V=LN1(X), Wₒ=0.25I; FF(z)=0.3ReLU(z). Alle tussenwaarden worden opnieuw berekend.
| Stap | 0 | 1 | 2 | 3 |
|---|---|---|---|---|
| X · invoer | 1.00 | -1.00 | 0.20 | 1.00 |
| LN1(X) | 0.86 | -1.59 | -0.12 | 0.86 |
| Attention · vóór factor | 0.23 | -0.30 | -0.12 | 0.18 |
| H = X + αA | 1.23 | -1.30 | 0.08 | 1.18 |
| LN2(H) | 0.90 | -1.55 | -0.21 | 0.86 |
| Feedforward · vóór factor | 0.27 | 0.00 | 0.00 | 0.26 |
| Y = H + βF | 1.50 | -1.30 | 0.08 | 1.44 |
Uitvoer token 3: 1.5007, -1.2952, 0.0824, 1.4406
α en β zijn alleen schakelaars voor deze proef. Bij α=β=0 blijft Y=X. Verander token 3 terwijl je token 1 inspecteert: het causale masker houdt zijn uitvoer gelijk.
Voor breedte C=8 vormen kanalen 2i en 2i+1 een sinus/cosinus-paar. Kies een positie en bekijk de waarden, zonder iets te trainen.
De horizontale as is de positie. Langzamere golven veranderen minder tussen naburige tokens. Dat we een grotere positie kunnen uitrekenen bewijst niet dat een model daar goed generaliseert.
Handgemaakte Q, K en V voor drie woorden; geen aangeleerde betekenis. Verander de query van één rij. De score is q·k/√2, daarna volgt softmax.
| Query | de | kat | slaapt |
|---|---|---|---|
| de | 1.000 | — | — |
| kat | 0.362 | 0.638 | — |
| slaapt | 0.472 | 0.381 | 0.147 |
Keys én values in dit rekenvoorbeeld: de=(1,0), kat=(0,1), slaapt=(−1,0.5). De streepjes zijn exact nul door het masker.
Deze uitvoer is de gewogen som van V. Een hoog attentiongewicht is op zichzelf geen verklaring van het hele model.
Hier zijn de vier projectiematrices bewust identiteitsmatrices: Q=K=V=X. Zo zie je de assen en schaling zonder verborgen training. In een echt model worden die projecties geleerd.
| Token | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 |
|---|---|---|---|---|---|---|---|---|
| 1 | 1 | 0 | 0 | 1 | 0.5 | 0 | -1 | 0 |
| 2 | 0 | 1 | 1 | 0 | 0 | 0.5 | 0 | -1 |
| 3 | 1 | 1 | -1 | 0 | 0.5 | 0.5 | 1 | 1 |
Gemarkeerd: kanalen 0 t/m 3, head 1. Deze head deelt zijn dot-products door √4.
Headuitvoer: 0.860, 0.769, -0.488, 0.231
Na concatenatie heeft iedere token weer acht waarden. De algemene projecties houden hetzelfde parameteraantal bij vaste C; de expliciete scoreopslag groeit hier wel met H.
Een zichtbaar teken kan meerdere codepunten bevatten. Bekijk codepunten en hun UTF-8-bytes; dit is nog geen geleerde BPE-tokenisatie.
U+006399U+006197U+0066102U+00E9195 · 169U+002032U+1F642240 · 159 · 153 · 130NFC verandert deze tekst niet. Onze BPE past geen normalisatie, trimmen of lowercasing toe.
Deze korte ASCII-teksten houden ieder bytefragment leesbaar. De paren worden na iedere stap opnieuw geteld; documentgrenzen blijven staan.
Laatste paar: a + n. Getelde posities: 6; echte vervangingen: 6.
Volgende paar: a + an, 3 keer. Gelijke tellingen worden beslist met het kleinste numerieke ID-paar.
Een vaak geteld paar kan overlappen. In aaaaa zijn er vier aa-posities, maar één merge-stap vervangt er slechts twee.
100 intervallen, stapindices 0 tot en met 100. Warmup start bij nul; zonder warmup begint het schema direct bij de piek.
Zes verzonnen logits. Volgorde: temperatuur → top-k → top-p → trekking.
Voorbeeld met 4 KV-heads, 64 componenten per head en 2 bytes per waarde.
| Berekening | Volledige prefix | Met cache |
|---|---|---|
| Posities voor Q/K/V | 128 | 1 |
| Scorecellen | 65.536 | 512 |
2 × 4 lagen × 1 reeksen × 128 tokens × 4 heads × 64 × 2 bytes. Exclusief gewichten, buffers en overhead. Dit is geen snelheidsmeting.
Symmetrisch bereik −7 tot +7, 15 niveaus. Exacte halve codes ronden naar even.
| Gewicht | Code q | q × schaal | Fout |
|---|---|---|---|
| -2.00 | -2 | -2.000 | 0.000 |
| -0.50 | 0 | 0.000 | 0.500 |
| 0.00 | 0 | 0.000 | 0.000 |
| 0.50 | 0 | 0.000 | -0.500 |
| 1.20 | 1 | 1.000 | -0.200 |
| 7.00 | 7 | 7.000 | 0.000 |
Ideaal gepakt: 3 bytes aan codes. In onze NumPy-oefening: altijd 6 bytes (int8). Beide hebben daarnaast schaalmetadata nodig; onze float64-schaal gebruikt 8 bytes. De uitvoerkwaliteit wordt apart gemeten.
Eigen getallenvoorbeeld met X = [1, 2, −1, 0.5]. Je stelt B zelf in; dit diagram traint niet.
| Route | 0 | 1 | 2 |
|---|---|---|---|
| XW | 1.250 | 2.250 | -0.750 |
| (α/r)XAB | 0.000 | 0.000 | 0.000 |
| Som | 1.250 | 2.250 | -0.750 |
Uitvoer: 1.2500, 2.2500, -0.7500. Bij B-factor nul draagt de adapter niets bij. De adapter heeft hier minder trainbare gewichten dan de basismatrix.
Drie verzonnen antwoordopties en scores. Exact optimum van E[reward] − β KL(π || πref).
| Antwoord | Reward | Referentie | Optimum |
|---|---|---|---|
| Kort antwoord | 1.0 | 40% | 30.07% |
| Uitgebreid antwoord | 0.0 | 40% | 7.21% |
| Antwoord uitstellen | 2.0 | 20% | 62.73% |
De referentie heeft kansen 40%, 40%, 20%. Een fout in de reward wordt meegeoptimaliseerd; dit is geen beoordeling van echte antwoordkwaliteit.
Synthetisch model: L = 1 + 4/√N + 9/√D, met C = 6ND. N en D zijn continue rekenwaarden.
Budget C = 60.000 benaderde FLOPs. Geen echte modelmeting of tijdsraming; buiten het gemeten bereik is extrapolatie onzeker. De verticale schaal past zich aan het budget aan.
Een synthetische validatieset van acht gevallen. Verander welke antwoorden van B goed zijn; er draait hier geen taalmodel.
| Variant A ↓ / B → | B goed | B fout |
|---|---|---|
| A goed | 3 | 1 |
| A fout | 2 | 2 |
Vergelijk per geval, niet alleen het gemiddelde. Acht verzonnen gevallen bewijzen geen prestatie op nieuwe data.
Kies een fictief voorstel. Alleen een geldige call bereikt de rekenfunctie of de eigen voorraadlijst.
{
"id": "c1",
"name": "multiply",
"arguments": {
"x": 6,
"y": 7
}
}Naam en argumenten passen bij het vaste contract. Het resultaat komt uit echte lokale JavaScript-rekenlogica, zonder netwerk.
Vooraf gegeven tokenaantallen, inclusief markers. Verwijder de oudste hele paren; systeemcontext en huidige vraag blijven staan.
De twee laagste scores horen bij goede antwoorden. Een hoge score is hier geen gekalibreerde waarheidskans.
Bij geen antwoorden bestaat er geen risico onder beantwoorde gevallen. Dat is geen gemeten foutloos systeem.
Acht directe vragen zijn goed. Verander het aantal moeilijke vragen en hun uitkomst; vergelijk de noemers.
Meer moeilijke gevallen veranderen de totale accuracy. Zolang de categorie-accuracies gelijk blijven, verandert macro niet.
Hetzelfde antwoordpaar staat twee keer in een andere volgorde. Kies stemmen en vergelijk de terugvertaalde model-ID’s.
Gekozen identiteitmodel-1
Gekozen identiteitmodel-2
A/A is hier inconsistent. A/B kiest tweemaal model-1. Consistentie bewijst geen inhoudelijke juistheid en inconsistentie bewijst niet automatisch positievoorkeur.
Vensters tellen hier woorden, geen modeltokens. Kies een passage om haar exacte bronbereik te zien.
De lamp brandt groen na reset.
Bron: eigen-lamp · tekenbereik [0, 30) in deze vaste tekst.
Vergelijk twee exacte buren met zoeken in alleen de gekozen buckets. De punten zijn geen echte tekstembeddings.
De vier vierkanten zijn gegeven centroiden én corpuspunten. Twee extra punten liggen bij de grens van oost en noord. Meer buckets kost meer vergelijkingen; exacte buren zijn nog geen bewijs van inhoudelijke relevantie.
Iedere lijst geeft 1 / (c + rang). De ruwe BM25- en cosinusscores zijn niet nodig.
De balken zijn geschaald naar de hoogste score in deze run. Dit zijn rangbijdragen, geen betrouwbaarheidskansen.
Vraag: reset lamp. B bevat de handmatig gekozen resetinstructie. Laat meer kandidaten toe en bekijk de nieuwe volgorde.
De reset van de lamp staat hier.
Gaat naar de scorerReset sensor: houd de knop vijf seconden vast.
Gaat naar de scorerReset lamp: houd de knop tien seconden vast.
Buiten de kandidaatgrensDe reset van de lamp staat hier.
coverage 1.0 · adjacency 0.0Reset sensor: houd de knop vijf seconden vast.
coverage 0.5 · adjacency 0.0Score = 0,6 × coverage + 0,4 × adjacency. Deze regel begrijpt geen ontkenning; een hoge score of marge bewijst geen juistheid. Met één kandidaat laten we de margeregel passeren.
Verander één onderdeel en volg de technische controle. Ondersteuning is voor deze voorbeelden afzonderlijk met de hand beoordeeld.
Reset duurt tien seconden. De lamp brandt groen.
Document: lamp
Bronversie: 14a0cc3959ad
Tekeninterval: [0, 26)
Reset duurt tien seconden.
Te controleren claimReset duurt tien seconden.
Een hash controleert de vastgelegde tekstversie, niet de waarheid of betrouwbaarheid van de bron. De inhoud wordt nooit als opdracht uitgevoerd.
Drie vragen hebben één voldoende bron; één vraag is expliciet onbeantwoordbaar. Verander onderdelen en vergelijk de noemers.
Alleen de zoekstap herstellen verandert vraag 2 in onnodig onthouden. Voor een goed antwoord moet ook de generator het aanwezige bewijs gebruiken. Extra gokken verhoogt dekking, maar kan juistheid en ondersteuning verlagen.
Vraag: bereken 7 + 8. Kies het beleid en volg elke beslissing. Ook een mislukte poging verbruikt budget.
15
Functie uitgevoerd15
Geen functie uitgevoerdElke beslissing kost 2, elke uitgevoerde functie 3 fictieve eenheden. Dit is geen tijdmeting. Direct stoppen met 16 is goedkoop én onjuist.
Je speelt de host. Keur een voorstel goed, verander daarna één veld en probeer de actie. De vingerafdruk wordt echt met SHA-256 berekend.
learner · c1 · versie 0
lamp → doneVingerafdrukBerekenen…Geen passende goedkeuringEen hash is geen toestemming. Alleen jouw knopbesluit vult hier het aparte register. Herhalen van dezelfde geslaagde call leest het bewaarde resultaat en verandert niets opnieuw.
read voedt twee takken: calculate en lookup. answer wacht op beide. Bekijk welke taken in deze momentopname mogen starten.
Duren: read 2, calculate 4, lookup 3, answer 1. Kosten gelden voor één volledige foutloze uitvoering; retries komen erbij. De ideale parallelle tijd veronderstelt onbeperkte workers, geen overhead en onafhankelijke effecten.
s1 vat r1 samen. Haar eigen vervaltijd is later, maar zij mag een verlopen of gewijzigde bron niet blijven doorgeven.
[s1 | summary | notes@v1] Reset: tien seconden. [r1 | observation | manual@v1] Houd de knop tien seconden vast. [r5 | observation | notes@v1] Lamp groen.
Volledige blokken, inclusief metadata, tellen mee. Een hoge score is geen bewijs van waarheid. De tekst wordt nergens als opdracht uitgevoerd.
De client biedt een versie aan. Alleen een passend, geldig antwoord leidt tot de initialized-melding.
{
"jsonrpc": "2.0",
"id": 0,
"method": "initialize",
"params": {
"protocolVersion": "2025-11-25",
"capabilities": {},
"clientInfo": {
"name": "ai-lab-client",
"version": "1.0.0"
}
}
}{
"jsonrpc": "2.0",
"id": 0,
"result": {
"protocolVersion": "2025-11-25",
"capabilities": {
"tools": {}
},
"serverInfo": {
"name": "ai-lab-server",
"version": "1.0.0"
}
}
}{
"jsonrpc": "2.0",
"method": "notifications/initialized"
}Een timeout is een lokale gebeurtenis en verstuurt hier geen cancelmelding. Een kapot pakket telt als ontvangstpoging, maar niet als geldig protocolbericht.
Vermenigvuldigen kan mislukken binnen een geldig bericht. Dan blijft het antwoord een result met isError.
{"name":"multiply","arguments":{"a":2,"b":3}}isError: false{
"jsonrpc": "2.0",
"id": "call",
"result": {
"content": [
{
"type": "text",
"text": "{\"value\":6,\"status\":\"ok\"}"
}
],
"structuredContent": {
"value": 6,
"status": "ok"
},
"isError": false
}
}De schuiven kiezen geldige hele getallen. De Python-opdracht controleert daarnaast de berichtvorm en het schema. Een toolbeschrijving verleent geen uitvoerrecht.
Getal 0 en tekst "0" hebben ieder een eigen wachtende rij. Numeriek 0.0 hoort bij getal 0.
pendingID 0pingID "0"pingNog geen antwoorden afgehandeld.
Een ID blijft gebruikt nadat het verzoek is afgehandeld. Annuleren stopt het lokale wachten en belooft geen rollback.
Voor [2, 3, 4] telt count drie waarden en vindt sum negen. Pas na controle volgt het gemiddelde.
3bronversie 39bronversie 3okGemiddelde: 3De demo voert de workers achter elkaar uit. Het kostenplan bewijst geen parallelle versnelling. Eén directe functie berekent hetzelfde gemiddelde zonder workerberichten.
Verander de patchmaat en kies een patch. Volg dezelfde pixels van het rooster naar één rij en zijn projectie.
[0, 1, 4, 5]
De vaste projectie telt afwisselende kenmerken op; bias [0, 1]. Uitvoer: [4, 7].
Handgekozen rekenvoorbeelden. De getallen komen uit de eigen NumPy-functies; er is geen getrainde beeld- of tekstencoder.
Twee tokens hebben waarden 1 en 2. Keys blijven 1 en 2, values 3 en 6. Verander alleen de queryprojectie.
Beide keys blijven bereikbaar. Dit is ongemaskeerde beeldattention, geen woordvoorspelling.
Patchmaat 2 blijft gelijk. Dit telt scores in één laag; de telling is geen meting van tijd of FLOPs.
Handgekozen rekenvoorbeelden. De getallen komen uit de eigen NumPy-functies; er is geen getrainde beeld- of tekstencoder.
Beeld A en tekst A horen bij elkaar, net als B en B. Verwissel de tekstvectoren zonder de doelkoppeling op de diagonaal aan te passen.
| Beeld | Tekst A | Tekst B |
|---|---|---|
| A | 2 | 0 |
| B | 0 | 2 |
De gemarkeerde diagonaal blijft het trainingsdoel. Een kleiner verlies betekent hier dat meer kans bij die bekende koppelingen terechtkomt.
Handgekozen rekenvoorbeelden. De getallen komen uit de eigen NumPy-functies; er is geen getrainde beeld- of tekstencoder.
Het beeld heeft richting A: [1, 0]. Verwijder die richting uit de aangeboden labels en maak de verdeling scherper met een lagere temperatuur.
Richting A is beschikbaar en wint binnen deze aangeboden labels.
Handgekozen rekenvoorbeelden. De getallen komen uit de eigen NumPy-functies; er is geen getrainde beeld- of tekstencoder.
Verplaats de tijdstap. De vaste wolkjes worden zwakker en de bijdrage van normale ruis wordt groter.
Menselijke stap 16 gebruikt array-index 15. De gewichten zijn wortels; het zijn geen percentages van de puntcoördinaten.
Elk niveau gebruikt dezelfde getrokken ruis in de gesloten formule. De schuifregelaar voert geen opeenvolgende updates uit; het model leert hier nog niets.
Vergelijk dezelfde onafhankelijke validatiepunten vóór en na training. Het netwerk krijgt het verstoorde punt en twee tijdkenmerken.
| x | y | sin φ | cos φ |
|---|---|---|---|
| 1,013 | 1,164 | 0,707 | 0,707 |
| Vector | Coord. 1 | Coord. 2 |
|---|---|---|
| Doel ε | -1,241 | -1,088 |
| Model E | -0,262 | 0,106 |
Verlies over acht voorbeelden kan per stap schommelen. Een betere gemiddelde score garandeert geen perfecte voorspelling voor ieder afzonderlijk punt.
Voorberekende uitkomsten van 2000 echte updates met één vaste seed. Het doel ε staat alleen naast de voorspelling ter vergelijking; het is geen netwerkinvoer. In het bouwproject train je zelf.
Begin met één rekenstap: huidig punt [1; 2], vaste ruisschatting [0,5; −0,5] en β=[0,1; 0,2]. Onderzoek daarna de echte getrainde sampler.
De innovatie schaalt met de wortel van de posteriorvariantie, niet met de voorwaartse β.
De drie beelden horen bij dezelfde generatie met seed 97. Vier wolkjes herkennen is nog geen volledige kwaliteitstoets; het project meet ook balans en spreiding.
Het rekenvoorbeeld heeft twee stappen. De onderste snapshots komen uit een apart schema van 64 stappen met het getrainde model: start met normale ruis, zonder schoon doelpunt of bekende trainingsruis.
Dezelfde dertien samples kunnen overlappende frames opleveren. Verander de vensterlengte en sprong; onderzoek apart wat er met de staart gebeurt.
| Index n | Amplitude | Herkomst |
|---|---|---|
| 0 | 0 | Audio |
| 1 | 0,25 | Audio |
| 2 | 0,5 | Audio |
| 3 | 0,75 | Audio |
De staart is bedekt. Nulvulling voegt geen nieuwe gemeten audio toe. De frames overlappen: sommige samples worden meermaals gebruikt.
Een sample is één digitale amplitudewaarde. Padding gebruikt het minimale aantal frames dat de staart bedekt; ontbrekende waarden zijn nul. De grafiek toont sample-indexen, geen seconden.
Vergelijk twee vensterlengtes en toonhoogtes. Bekijk het venstervermogen of één mel-driehoek op precies dezelfde frequentieas.
Melband M1 loopt van 0 tot 506,101 Hz en heeft haar theoretische piek bij 218,842 Hz. Een FFT-bin hoeft niet precies op die piek te liggen.
| Kenmerk | Waarde |
|---|---|
| M1 | 2,055 |
| M2 | 4,754 |
| M3 | 1,427 |
| M4 | 0 |
| M5 | 0 |
| M6 | 0 |
| E | 4,836 |
Verdubbeling van de amplitude verviervoudigt het vermogen vóór de logtransformatie. De melgewichten veranderen daardoor niet.
Dit zijn vaste toonvoorbeelden bij 8 kHz met een symmetrisch Hann-venster. De zeven kenmerken zijn ln(1+1000×vermogen): zes melbanden en totale energie. Het zijn geen dB, PSD of MFCCs.
Ieder frame kiest blank of A. Bekijk alle paden, voeg eerst herhalingen samen en verwijder daarna blanks. Tel pas dan de kansen per transcriptie op.
| Pad | Na collapse | Padkans |
|---|---|---|
| 0 0 | leeg | 0,36 |
| 0 1 | A | 0,24 |
| 1 0 | A | 0,24 |
| 1 1 | A | 0,16 |
| Transcriptie | Gesommeerde kans |
|---|---|
| leeg | 0,36 |
| A | 0,64 |
Hier verschillen de uitkomsten: greedy kiest het beste afzonderlijke pad, maar meerdere andere paden steunen samen een waarschijnlijkere transcriptie. Voor AA zijn minstens drie frames nodig: A, blank, A.
0 betekent blank, 1 betekent A. Blank is geen spatie. De framekansen zijn hier op ieder tijdstip gelijk; de padkans is het product van de gekozen framekansen.
Volg de toestanden van een gegeven transcriptie. Vergelijk de voorwaartse logmassa met de posterior: die tweede kijkt ook naar de rest van de audio.
Uitgebreid doel: _ A _. De positie s onderscheidt verschillende toestanden met hetzelfde label; _ staat voor blank.
| s | Label | log α | Posterior |
|---|---|---|---|
| 0 | blank | -0,511 | 0,375 |
| 1 | A | -0,916 | 0,625 |
| 2 | blank | −∞ | 0 |
| Klasse | Kans p | Posterior q | p − q |
|---|---|---|---|
| blank | 0,6 | 0,375 | 0,225 |
| A | 0,4 | 0,625 | -0,225 |
De eindkans gebruikt op het laatste frame toestanden s=1 en s=2. Blanks en eventuele herhalingen worden verwerkt in de toestanden, niet achteraf uit de som gegooid.
De transcriptie is hier gegeven om haar kans en trainingsgradiënt te berekenen. Dit is geen decoder voor de onbekende beste reeks. −∞ betekent een onbereikbare toestand; beta sluit de huidige emissie uit.
Volg ieder verzoek vanaf de aankomst tot het batchresultaat. Vergelijk een piek met rustige aankomsten en onderzoek wat de verzamelgrens werkelijk begrenst.
● Aankomst · gestreept: wachten · gevuld: verwerking. Verzoeken met hetzelfde batchnummer eindigen samen.
| R / batch | Start | Einde | Wacht | Latency |
|---|---|---|---|---|
| 1 / 1 | 1 | 5 | 1 | 5 |
| 2 / 1 | 1 | 5 | 0 | 4 |
| 3 / 2 | 6 | 8 | 2 | 4 |
1 van 3 verzoeken overschrijden 4 ms; gelijk aan de grens telt als gehaald. Grootste wachttijd: 2 ms bij een verzamelgrens van 2 ms. Een bezette uitvoerder kan die wachttijd verder laten oplopen.
Eigen FIFO-oefensimulator: één uitvoerder, overhead 1 ms en 1 ms per grootste werktoken. Geen echte hardwaremeting of continuous LLM batching. Een SLO is hier een zelfgekozen grens voor de totale latency.
Verander de scores of juist de labels. De histogrammen kennen de labels niet; accuracy en Brier hebben ze wel nodig. Dezelfde vakverdeling kan verschillende ruwe scores verbergen.
| Scorevak | Referentie | Huidig |
|---|---|---|
| V1: [0; 0,25) | 50% | 50% |
| V2: [0,25; 0,5) | 0% | 0% |
| V3: [0,5; 0,75) | 0% | 0% |
| V4: [0,75; 1] | 50% | 50% |
| Rijen [start; stop) | Accuracy | Brier |
|---|---|---|
| [0; 2) | 0% | 0,725 |
| [2; 4) | 0% | 0,725 |
Gekozen grenzen overschreden: accuracy ja, Brier ja, verdeling nee. Hier verslechtert de kwaliteit terwijl het histogram gelijk blijft.
Vier vaste onderwijsvoorbeelden, rijvensters en gekozen grenzen: accuracy minimaal 0,8; Brier maximaal 0,25; divergentie maximaal 0,1. Dit zijn onderzoekssignalen, geen universele alarmen, significantietoets of automatische hertraining.
Kies grenzen voor fictieve waarnemingen onder dezelfde prompt-, generatie- en cachecondities. Bekijk daarna een afzonderlijke payloadberekening; die voorspelt de gemeten piek-RAM niet.
Gekozen: q8. 2 geschikt. Rangorde: kwaliteit, tokens/s, tijd tot eerste token, ID.
WASM · demo-pc · 128 invoer / 16 uitvoertokens · koude cache
Voldoet aan alle voorwaarden.
WEBGPU · demo-pc · 128 invoer / 16 uitvoertokens · koude cache
Voldoet aan alle voorwaarden.
WEBGPU · other-pc · 128 invoer / 16 uitvoertokens · koude cache
Afgewezen: ander apparaat.
WASM · demo-pc · 128 invoer / 16 uitvoertokens · warme cache
Afgewezen: andere prompt-, generatie- of cachecondities.
1.000.000 parameters, 4 lagen, 2 KV-koppen, kopdimensie 32 en 16-bitcache. De profielwaarnemingen hierboven blijven afzonderlijke fictieve gegevens.
De balk toont alleen de onderlinge verhouding en schaalt mee. Metadata, activaties en runtimebuffers ontbreken. Werkelijke bestanden en piek-RAM kunnen groter zijn.
Alle profielwaarden zijn verzonnen onderwijsdata. Prompt: 128 tokens; uitvoer: 16 tokens; koude cache; apparaat demo-pc. Download maximaal 10 MiB, minimaal 15 tokens/s. Geen benchmark van je eigen pc of een bestaand model. Een hashcontrole uit de les bevestigt alleen identiteit tegenover het gegeven manifest.
Kies welke kenmerken een waarnemer kent. Bekijk de overblijvende velden, de groepen met dezelfde combinatie en hoeveel rijen onder jouw minimum vallen.
| Rij | Zone | Leeftijd |
|---|---|---|
| 1 | noord | 20-29 |
| 2 | noord | 20-29 |
| 3 | noord | 30-39 |
| 4 | zuid | 20-29 |
| 5 | zuid | 20-29 |
| 6 | zuid | 30-39 |
2 van 6 rijen zitten in een klasse kleiner dan 2. Het gekozen minimum is niet overal gehaald. Een klasse van precies 2 telt als groot genoeg.
Alle zes rijen zijn verzonnen. Een gehaald gekozen minimum zegt alleen iets over deze tabel en deze kenmerken; het bewijst geen anonimiteit tegenover externe informatie of juridische naleving.
Vergelijk n nullen met dezelfde n bijdragen waarvan één nul een één wordt. De publieke grenzen zijn vooraf 0 en 1. Verander n en ε en volg gevoeligheid, schaal en de twee ideale verdelingen.
━━ A: gemiddelde 0┄┄ B: gemiddelde 0,25
Grootste getoonde absolute log-dichtheidsverschil: 1 bij ε = 1. De analytische grens geldt voor ieder z; deze eindige plotpunten bewijzen die grens niet.
De som veronderstelt hetzelfde burenmodel en dezelfde privacy-eenheid, met een passende garantie voor elke volgende uitgifte gegeven eerdere uitkomsten. Willekeurig gedeelde ruis volstaat niet.
De exacte binaire som past binnen de gekozen cap, inclusief gelijkheid.
Dit beeld berekent alleen ideale verdelingen en een numerieke ledger. Het maakt geen ruisuitgifte en levert geen software-DP-garantie. Het plot is een uitsnede; de ideale Laplace-verdeling loopt over de hele reële lijn.
Kies welke kaartjes in de noemer horen. Bekijk ook een groep zonder positieve labels en gelijke TPR/FPR bij verschillende base rates.
TPR: gevonden positieven deelt door werkelijke positieven. De balk toont alleen een percentage als die noemer positief is.
50%1 / 2 werkelijke positieven
Accuracy ter context: 50%. Accuracy heeft alle rijen als noemer.
100%1 / 1 werkelijke positieven
Accuracy ter context: 100%. Accuracy heeft alle rijen als noemer.
Grootste verschil voor deze maat: 0,5. Dit verschil kiest zelf geen acceptabele grens.
Alle groepen en rijen zijn verzonnen. Dit zijn empirische maten op gedeclareerde labels, geen causaal oordeel of algemene fairnessgarantie. Een ontbrekende maat is onbekend, geen gemeten nul.
Onderzoek een vast grid voor twee verzonnen groepen. Filter op een expliciet criterium, vergelijk publieke foutkosten en beoordeel pas daarna de gekozen drempels op andere rijen.
Groen: past binnen de grens · grote stip: gekozen. Punten kunnen samenvallen; de tabel toont iedere kandidaat.
Gekozen 1:1: drempel a 0,3, b 0,3; validatiegap 0,167. Kies op deze validatiegegevens, voordat je de andere rijen bekijkt.
| ID | Drempels a / b | Kosten C | Gap |
|---|---|---|---|
| 0:0 | 0 / 0 | 5 | 0 |
| 0:1 | 0 / 0,3 | 3 | 0,667 |
| 0:2 | 0 / 0,5 | 3 | 0,667 |
| 0:3 | 0 / 1 | 4 | 1 |
| 1:0 | 0,3 / 0 | 4 | 0,5 |
| 1:1gekozen | 0,3 / 0,3 | 2 | 0,167 |
| 1:2 | 0,3 / 0,5 | 2 | 0,167 |
| 1:3 | 0,3 / 1 | 3 | 1 |
| 2:0 | 0,5 / 0 | 5 | 1 |
| 2:1 | 0,5 / 0,3 | 3 | 0,5 |
| 2:2 | 0,5 / 0,5 | 3 | 0,5 |
| 2:3 | 0,5 / 1 | 4 | 0,5 |
| 3:0 | 1 / 0 | 7 | 1 |
| 3:1 | 1 / 0,3 | 5 | 1 |
| 3:2 | 1 / 0,5 | 5 | 1 |
| 3:3 | 1 / 1 | 6 | 0 |
Je bekijkt nu alleen validatie. De knop houdt de gekozen drempels vast en vergrendelt de keuzevelden.
Dit is een beperkt deterministisch grid op vaste oefendata. Een kleine gap bewijst geen algemene fairness of statistische zekerheid. Dezelfde oefenbeoordeling wordt bij terugkeer hergebruikt; na bekijken is zij geen nieuwe onafhankelijke eindtest.
Herschik één kolom, behoud de labels en vergelijk met hetzelfde baselineverlies. Kies ook een model waarbij verstoring juist helpt.
Vast model: gewichten 1 / 0, bias 0, interactie 0.
De tweede kolom voorspelt dezelfde labels, maar dit vaste model gebruikt haar niet.
Verlies na verstoring min baseline: 1,333 gemiddeld. In deze vaste vergelijking stijgt het gemiddelde verlies.
Nieuwe kolom volgt rij-indices 2, 1, 0 (vanaf nul). Labels blijven bij hun rij. Verschil voor deze volgorde: 2,667.
| Rij | x₀ | x₁ | Label | Voorsp. |
|---|---|---|---|---|
| 0 | -1↓1 | -1↓-1 | -1 | -1↓1 |
| 1 | 0↓0 | 0↓0 | 0 | 0↓0 |
| 2 | 1↓-1 | 1↓1 | 1 | 1↓-1 |
Dit zijn expliciet opgegeven volgorden, geen nieuwe willekeurige trekkingen. De populatiespreiding beschrijft deze herhalingen en is geen betrouwbaarheidsinterval. Correlatie kan ongewone combinaties maken; een afgeronde nul bewijst geen exact nul-effect of waardeloos kenmerk.
Alle modellen en rijen zijn verzonnen en blijven vast. Deze uitleg beschrijft modelgedrag bij de gekozen gegevens en ingreep; zij bewijst geen causaliteit, dataherkomst of geldigheid buiten deze oefening.
Varieer één feature bij vaste rijcontexten. Vergelijk afzonderlijke responslijnen, veranderingen vanaf een eigen anchor en hun achtergrondgemiddelde.
Vast model: gewichten 1 / 2, bias 0, interactie 1.
De interactie maakt de eerste lijn vlak en de tweede stijgend. Eén gemiddelde verbergt dat verschil.
Oorspronkelijke modelrespons; er is geen anchor afgetrokken. Het uniforme gemiddelde is het gewone PDP van deze achtergrond.
| Grid | Rij 1 | Rij 2 | Gem. |
|---|---|---|---|
| -1 | -2 | 0 | -1 |
| 0 | -2 | 2 | 0 |
| 1 | -2 | 4 | 1 |
Een gemiddelde kan verschillende hellingen verbergen. Centreren trekt per lijn haar eigen anchor af. Gewichten kiezen een achtergrond; zij laten de andere feature niet automatisch met het grid meeveranderen en maken de curve geen causale verklaring.
Alle modellen en rijen zijn verzonnen en blijven vast. Deze uitleg beschrijft modelgedrag bij de gekozen gegevens en ingreep; zij bewijst geen causaliteit, dataherkomst of geldigheid buiten deze oefening.
Kies de meetlat en verander welke context zwaar meetelt. De proxyacties blijven bepaald door de scoretabel; het doelregret meet wat die keuze op de doeltabel laat liggen.
De proxy kiest steeds actie 0; in de eerste context mist zij het bedoelde resultaat.
Gewogen doelregret: 0,3. Het verschil vergelijkt twee acties op dezelfde doeltabel. De gestreepte lijn toont het gemiddelde.
| Actie | Proxy | Doel | Keuze |
|---|---|---|---|
| 0 | 0,9 | 0,2 | proxy |
| 1 | 0,6 | 0,8 | doel |
Doel bij proxyactie: 0,2. Beste doel: 0,8. Gemist: 0,6.
| Actie | Proxy | Doel | Keuze |
|---|---|---|---|
| 0 | 0,9 | 0,9 | proxydoel |
| 1 | 0,8 | 0,7 |
Doel bij proxyactie: 0,9. Beste doel: 0,9. Gemist: 0.
Doelregret is geen proxyscore min doelscore. Het vergelijkt de gekozen en beste actie binnen dezelfde doeltabel. Bij gelijke scores bepaalt de laagste index de keuze; een contextgewicht van nul verwijdert de context niet.
Alle tabellen zijn vooraf ingevulde oefenaannames. Een doelscore is hier beschikbaar omdat de oefenauteur haar opgeeft; dit bewijst geen universele waarde, causaliteit of alignment van een echt systeem.
Vergelijk vaste kandidaten op dezelfde bekende scenario’s. De achtergrond verandert gemiddelden; de hoogste schade blijft over alle opgegeven scenario’s berekend.
De gecombineerde kandidaat kan de routine direct afhandelen en de uitzondering controleren.
Eerst maximale schade ≤ 0,2, daarna hoogste gemiddelde nut. Geschikt in inputvolgorde: p1, p2.
Groen is gemiddeld nut, oranje is hoogste bekende schade. De gestreepte lijn markeert de grens; een hoger nut kan een te hoge schade niet goedmaken.
Acties per context: 0, 0. Slechtste context: 1.
| Context | Nut | Schade | Gewicht |
|---|---|---|---|
| 0 | 0,9 | 0,05 | 1 |
| 1 | 0,9 | 0,8 | 0 |
Acties per context: 1, 1. Slechtste contexten: 0, 1.
| Context | Nut | Schade | Gewicht |
|---|---|---|---|
| 0 | 0,6 | 0,1 | 1 |
| 1 | 0,6 | 0,1 | 0 |
Acties per context: 0, 1. Slechtste context: 1.
| Context | Nut | Schade | Gewicht |
|---|---|---|---|
| 0 | 0,9 | 0,05 | 1 |
| 1 | 0,6 | 0,1 | 0 |
Gelijkheid aan de schadegrens telt mee. Bij gelijk nut volgen lagere maximale schade, lagere gemiddelde schade en de lexicografisch kleinste id. Een nieuw, niet opgegeven scenario kan andere gevolgen hebben.
Nut en schade zijn verzonnen scores, geen gemeten kansen. De grens geldt alleen voor de gedeclareerde scenario’s en kandidaten. Herkomst van rapporten en veiligheid in onbekende situaties zijn hiermee niet bewezen.
Verander zes vooraf beoordeelde feiten. De routes naar hoog risico blijven naast de vragen over verboden gebruik en transparantie staan.
P omvat de volledige beoordeelde productroute. E beoordeelt de eerste twee alinea’s van artikel 6(3); de afzonderlijke profileringsdoorbreking volgt daarna. Onbekend is geen kans van 50%.
Het vooraf beoordeelde productfeit P.
NeeToepassing A, met de uitzonderingsvoorwaarden en aparte profileringsdoorbreking.
OnbekendEén bevestigde route is voldoende voor het hoog-risicosignaal.
Combinatie van de twee routes.
Een aparte vraag; hoog risico heft een verbod niet op.
Kan naast hoog risico gelden.
Hoog risico: Onbekend. Verboden gebruik: Nee. Transparantie: Ja.
Een open feit blijft hier zichtbaar, ook wanneer een andere route het signaal al beslist.
Bronstand 30 oktober 2026. Dit zijn vooraf beoordeelde, beperkte oefengegevens. De visualisatie stelt geen juridische feiten vast en geeft geen toestemming om een systeem te gebruiken.
Kies een beperkt oefendossier, rol en peildatum. De tabel is vooraf geselecteerd; een toekomstige regel of lege oefenset zegt niets over andere huidige verplichtingen.
Reikwijdte en hoog-risicoroute vooraf beoordeeld. Alleen de drie gekozen dossieronderdelen, geen volledige wettelijke checklist.
dossier · start
Startdag bereikt
Primaire bron voor dit onderdeelmonitoring · start
Startdag bereikt
De werking volgen volgens de gebruiksinstructies (artikel 26(5)).
Primaire bron voor dit onderdeeltoezicht · start
Startdag bereikt
Primaire bron voor dit onderdeelOpgegeven ids, inclusief herhalingen: monitoring, oude-notitie.
Dekking telt vooraf beoordeelde bewijs-ids, geen juridische naleving. Een lege geselecteerde oefenset zegt niets over andere verplichtingen.
monitoringtoezichtmonitoringtoezichtoude-notitieDubbele verwijzingen tellen één keer. Extra ids vervangen geen ontbrekend bewijs. Een volledige id-lijst bewijst nog geen uitgevoerde taak of juridische naleving.
Bronstand 30 oktober 2026. Dit zijn vooraf beoordeelde, beperkte oefengegevens. De visualisatie stelt geen juridische feiten vast en geeft geen toestemming om een systeem te gebruiken.
Kies een beginpunt en blokkeer pijlen. Een omweg kan het archief bereikbaar houden, ook als je de eerste route onderbreekt.
Een dikke rand markeert het beginpunt; de labels geven de zones. Een streepjespijl is geblokkeerd. De beschikbare pijlen vormen de graaf na de ingreep.
archief, document, model, tool
archief, document, model, tool
Vóór document → tool → archief
Na document → tool → archief
Vóór document
Na document
Vóór document → model
Na document → tool → model
Vóór document → tool
Na document → tool
document → model publiek → appdocument → tool publiek → apptool → archief app → privédocument → tool publiek → apptool → archief app → privéDit is een gekozen datastroommodel. Bereikbaarheid bewijst geen echte bevoegdheid of kwetsbaarheid. Bij even korte routes kiest de oefencode het alfabetisch eerste volledige pad.
Eigen, vooraf berekende oefengegevens. Je bedient een begrensd model; er worden geen externe systemen, documenten of tools aangesproken.
De naïeve regel volgt het laatste herkende gebruikerstoken. De verdedigde regel houdt de oefenkleur in vertrouwde applicatiecode.
Posities [start, einde) tellen Python-codepunten. De emoji telt als één. Alleen exacte kleine-lettertokens tellen; fragmenten uit verschillende berichten worden niet samengeplakt.
Gekozen uit: gebruikersbericht.
Gekozen uit: systeembericht.
Deze verdediging geldt voor onze vaste kleurgrammatica. Alleen een systeemrol of bronlabel toevoegen geeft geen sluitende bescherming voor een echt taalmodel.
Eigen, vooraf berekende oefengegevens. Je bedient een begrensd model; er worden geen externe systemen, documenten of tools aangesproken.
De normale taak telt units op. Verander de documentinhoud en leesvolgorde: een documenttoken mag de verdedigde kleur niet bepalen.
Gebruiker: Tel de units. Vaste kleur: blauw
Bronlabel: oefenwebpagina. Alle inhoud komt uit deze eigen oefenset.
Gekozen uit: document factuur.
Normale somtaak: 5 units
Gekozen uit: systeembericht.
Normale somtaak: 5 units
Het id system maakt een document geen systeembericht. De verdediging bewaart de somtaak én de vaste kleur. Onze kleurregels geven geen algemene beveiligingsgarantie voor echte taalmodellen.
Eigen, vooraf berekende oefengegevens. Je bedient een begrensd model; er worden geen externe systemen, documenten of tools aangesproken.
Een model mag een voorstel doen. Vormcontrole, specifiek beleid en de bestaande toestand bepalen samen of er iets gebeurt.
{"operation": "paint", "target": "kaart-a", "color": "groen"}Geldig JSON-voorstel met precies operation, target en color.
Dit paar staat niet in het beleid.
kaart-a → groen
Niet toegepast: beleid weigert dit doel/kleurpaar.
Een lege selectie verleent geen toestemming. Een onbekend doel wordt nooit aangemaakt. Dezelfde kleur opnieuw toepassen kan toegestaan zijn, ook als de kaart er gelijk uit blijft zien. Alle voorstellen blijven tekst.
Eigen, vooraf berekende oefengegevens. Je bedient een begrensd model; er worden geen externe systemen, documenten of tools aangesproken.
De vaste taak bepaalt wat nodig is. Verander de aangeboden rechten en vergelijk dienstmacht met toestemming voor deze specifieke taak.
lezen → kaart-akleuren → kaart-akleuren → kaart-alezen → kaart-akleuren → kaart-alezen → kaart-akleuren → kaart-blezen → kaart-bpubliceren → kaart-apubliceren → kaart-bGeen.
lezen → kaart-aAlleen dienstrecht: toegestaan
Ook taakgebonden: toegestaan
Toegekend én nodig voor deze taak.
lezen → kaart-bAlleen dienstrecht: toegestaan
Ook taakgebonden: geweigerd
Dit recht valt buiten de vaste taak.
kleuren → kaart-aAlleen dienstrecht: toegestaan
Ook taakgebonden: toegestaan
Toegekend én nodig voor deze taak.
kleuren → kaart-bAlleen dienstrecht: toegestaan
Ook taakgebonden: geweigerd
Dit recht valt buiten de vaste taak.
publiceren → kaart-aAlleen dienstrecht: toegestaan
Ook taakgebonden: geweigerd
Dit recht valt buiten de vaste taak.
publiceren → kaart-bAlleen dienstrecht: toegestaan
Ook taakgebonden: geweigerd
Dit recht valt buiten de vaste taak.
lezen → kaart-aAlleen dienstrecht: toegestaan
Ook taakgebonden: toegestaan
Toegekend én nodig voor deze taak.
Een ontbrekend recht maakt de normale taak onmogelijk. Een overtollig recht geeft de dienst meer macht, maar wordt door de taakgebonden regel geweigerd. Een modelvoorstel kan de vaste taak niet uitbreiden.
Alle kaarten, rechten, routes en kosten zijn eigen oefengegevens. Deze oefening voert geen externe tools uit en verstuurt geen gegevens.
De dienst kan meer kaarten lezen dan één gebruiker. Een actornaam in het voorstel is geen bewijs dat die gebruiker de aanvraag doet.
Eigenaar: alice
Tenant: rood
Oefeninhoud: "CANARY-EIGEN-A"
Eigenaar: bob
Tenant: blauw
Oefeninhoud: "CANARY-EIGEN-B"
Vertrouwde sessie: alice / rood. Voorstel claimt bob en vraagt kaart-b.
Geweigerd
De kaart hoort bij een andere tenant.
Toegestaan
De controles staan deze toegang toe.
Teruggegeven tekst: "CANARY-EIGEN-B"
Geweigerd
De claim wijkt af van de vertrouwde actor.
Teruggegeven tekst: None
De verdedigde assistent controleert doel, dienstrecht, sessie-identiteit, tenant en eigenaar. De eerste weigering bepaalt de reden. None betekent geen tekst teruggeven; "" is een toegestane lege kaart.
Alle kaarten, rechten, routes en kosten zijn eigen oefengegevens. Deze oefening voert geen externe tools uit en verstuurt geen gegevens.
Een onbetrouwbare bron, privébron en uitbox zijn losse ingrediënten. Pas een complete gebeurtenisreeks verbindt ze. Blokkeer pijlen en controleer ook de gewone taakroute.
ingest — inlezenread — privé lezenrelay — doorgevensend — versturenEen streepjespijl is geblokkeerd. Bij read verkrijgt de agent de privégegevens en blijft de besturing bij die agent; een volgende relay kan ze doorgeven.
Taakdata → uitbox x
ingest(s, a)send(a, x)Taakdata → uitbox x
ingest(s, a)send(a, x)Privé p → uitbox x
ingest(s, a)relay(a, b)read(b, p)relay(b, a)send(a, x)Geen route in dit model.
Na de ingreep: 1 normale routes en 0 routes met privélezing.
Een getuige gebruikt precies één privélezing. De code kiest eerst de kortste reeks en dan de alfabetisch eerste volledige reeks tripletten. Het model toont een mogelijkheid; het bewijst geen geslaagde aanval op een echt taalmodel.
Alle kaarten, rechten, routes en kosten zijn eigen oefengegevens. Deze oefening voert geen externe tools uit en verstuurt geen gegevens.
De limieten gelden voor het hele plan. Een geweigerde stap en alle latere stappen tellen niet mee als verbruik. Exact op de grens mag wel.
Bovenliggende stap: None (hoofdtaak)
2 oefentokens · 1 uitvoereenheden
Bovenliggende stap: a
3 oefentokens · 0 uitvoereenheden
Bovenliggende stap: a
0 oefentokens · 2 uitvoereenheden
Bovenliggende stap: b
1 oefentokens · 1 uitvoereenheden
Geaccepteerd: a
Gestopt vóór b door tokenlimiet.
Hoofdtaken hebben diepte 1 en delen één virtuele ouder voor fan-out. Ook een gratis stap verbruikt een stap. Kosten zijn vooraf vertrouwde oefenbovengrenzen; geen eigen schatting van een model of echte factuur.
Alle kaarten, rechten, routes en kosten zijn eigen oefengegevens. Deze oefening voert geen externe tools uit en verstuurt geen gegevens.
De vertrouwde aanvraag noemt een volledig server/toolpaar. Vergelijk die aanvraag met de keuze na het lezen van de aangeboden beschrijvingen.
De gewone opdracht vraagt a/read.
a/readEerste marker [[tool:a/read]]b/readGewone uitleg voor b/read.a/helperTweede marker [[tool:b/read]]Gekozen paar
b/readMarker gelezen uit
a/helperGekozen paar
a/readMarker gelezen uit
Geen beschrijvingsbronEen beschrijving kan een andere tool beïnvloeden zonder zelf gekozen te worden. De gebonden regel bewaart de aanvraag; zij verleent daarmee nog geen uitvoeringsrecht.
Alle beschrijvingen, aanroepen, bevoegdheden en pins zijn eigen oefengegevens. Deze vergelijking roept geen echte tool of server aan.
Verander de call of de huidige bevoegdheden. Een oude goedkeuring past alleen bij hetzelfde vastgelegde verzoek en voldoende actuele rechten.
{
"server": "a",
"tool": "read",
"arguments": {
"target": "kaart-b",
"mode": "kort"
}
}Vingerafdruk van deze call
32d39ee5227bad01b890f5e5d24bc191309813c8eb4539483cf8f2ff54bcfe27Deze context is apart vertrouwd na authenticatie buiten de oefening.
Vastgelegde vingerafdruk
6de0afc38bff7c90a607216ef5b276d328c5c0509fa8acafbf8632970abc5c53a/readDit beleid wordt niet uit de toolbeschrijving afgeleid.
Alleen de callhash vergeleken: verschillend.
{"arguments":{"mode":"kort","target":"kaart-b"},"server":"a","tool":"read"}De goedkeuring hoort bij andere aanroepbytes.
Ontbrekende scopes bij deze reden: []
De eerste weigering bepaalt de reden. Alleen bij reden scope worden ontbrekende scopes genoemd. Dit eigen id-mapformaat vervangt geen volledig toolschema, authenticatie of eenmalige goedkeuringsadministratie.
Alle beschrijvingen, aanroepen, bevoegdheden en pins zijn eigen oefengegevens. Deze vergelijking roept geen echte tool of server aan.
Een eerdere beoordeling geldt voor de gekozen inhoud. Onderzoek welke wijzigingen de vingerafdruk veranderen en welke volgordeveranderingen dezelfde betekenis houden.
{
"server": "a",
"revision": "r1",
"tools": [
{
"tool": "read",
"description": "[[tool:elders/read]]",
"parameters": [
"target",
"mode"
],
"read_only": true,
"scopes": [
"read",
"audit"
]
},
{
"tool": "paint",
"description": "Kleur kaart.",
"parameters": [
"target",
"color"
],
"read_only": false,
"scopes": [
"paint"
]
}
]
}Server: a
69443941aac717263cea82c687dc9c267a13fa36be60b83d07e65920aba4413bDe optie voor een huidige pin veronderstelt een aparte beoordeling; de controlefunctie werkt haar referentie niet automatisch bij.
57c402536871ebb9cb2093abe956200d0e8b124ccd75959aad08503ceba6a5d1{"revision":"r1","server":"a","tools":[{"description":"Kleur kaart.","parameters":["color","target"],"read_only":false,"scopes":["paint"],"tool":"paint"},{"description":"[[tool:elders/read]]","parameters":["mode","target"],"read_only":true,"scopes":["audit","read"],"tool":"read"}]}U+005B U+005B U+0074 U+006F U+006F U+006C U+003A U+0065 U+006C U+0064 U+0065 U+0072 U+0073 U+002F U+0072 U+0065 U+0061 U+0064 U+005D U+005DU+004B U+006C U+0065 U+0075 U+0072 U+0020 U+006B U+0061 U+0061 U+0072 U+0074 U+002EDe letter é en e gevolgd door een combining accent kunnen gelijk ogen, maar hebben andere codepunten en bytes.
Deze metadata verschilt van de verwachte vingerafdruk.
changedDe hash dekt deze eigen metadata. Een match bewijst geen veilig gedrag, betrouwbare auteur, geldige handtekening of gelijkheid van echte implementatiebytes. Ook een read_only-hint blijft metadata.
Alle beschrijvingen, aanroepen, bevoegdheden en pins zijn eigen oefengegevens. Deze vergelijking roept geen echte tool of server aan.