{"block_close_oss.c33fd1fe9c":"Community en ecosysteem","core-extras.96d330537a":"Basis IR","core-extras.bee831a169":"Substraat","core-extras.61a0822826":"Apps op Core","core-extras.15438cc098":"niet ondersteund","core-extras.ad565d9d01":"Functie","core-extras.0155bf03e5":"Segment legenda","core-extras.8b7110078e":"Algoritmegroepen per datatype","core-extras.25ab4276a6":"Scrollbare capaciteitenmatrix","open-source-aion.81f3904118":"Kennismanagement gebouwd op AION-stijl herkomst.","open-source-aion.4a86080d67":"Spindle","open-source-aion.fe0a091fdb":"Producten","open-source-aion.de5ec3713e":"Merkle-certificeerbare parser gebruikt door AION voor invoerverwerking.","open-source-aion.188fb5d6cf":"Reed","open-source-aion.45f836850a":"Geverifieerde runtime die AION-certificaten koppelt aan uitvoeringstranscripten.","open-source-aion.de6848949f":"Selvedge","open-source-aion.a174288eda":"Gebeurtenisherkomst voor systemen: hash-geketende records van wat er gebeurde, niet redeneerstappen binnen een beslissing.","open-source-aion.1aa2f31ee7":"Ledger","open-source-aion.d5d6e83bf2":"Verder verkennen","open-source-aion.75e393a1ac":"Bekijk verwante projecten","open-source-aion.f9743247fa":"Lees de documentatie","open-source-aion.ef0fd4ccef":"Bekijk het bewijspad","open-source-aion.77453cde44":"Controleer een voorbeeldcertificaat met aion check, cvc5 of een andere LRAT-compatibele verifier zodra de repository verschijnt. De publicatie is gepland voor 1 september 2026, en de installatie-instructies verschijnen samen met de repository.","open-source-aion.dd58b70279":"Het bewijs wordt meegeleverd met het antwoord","open-source-aion.90e40d5043":"Aan de slag","open-source-aion.df84637182":"AION","open-source-aion.650fabe787":"Open Source","open-source-aion.close.accent":"zodat iedereen het zonder jou kan controleren","open-source-aion.close.panel.title":"Wat een certificaat bevat","open-source-aion.close.panel.tag":"ENVELOP","open-source-aion.close.panel.row.0.label":"Envelop","open-source-aion.close.panel.row.0.value":"Eén vorm, acht velden","open-source-aion.close.panel.row.1.label":"Families","open-source-aion.close.panel.row.1.value":"Negen geregistreerd en uitbreidbaar","open-source-aion.close.panel.row.2.label":"Controleren","open-source-aion.close.panel.row.2.value":"Begrensd, geen licentie, geen herhaling","open-source-aion.close.panel.row.3.label":"Waar het draait","open-source-aion.close.panel.row.3.value":"Op jouw locatie, niets uitgaand","open-source-aion.close.panel.foot":"Een certificaat blijft klein en jaren later nog te hercontroleren.","open-source-aion.ea722c81af":"Europees","open-source-aion.26803e587f":"Bij audit","open-source-aion.15edfb4da4":"Gemaakt in","open-source-aion.75f527181b":"Offline","open-source-aion.f8c94a3b4b":"Wat het is","open-source-aion.6b5eb5323e":"Offline, lineair","open-source-aion.a49b62e167":"Exacte rationale getallen","open-source-aion.45f053dc73":"Rekenen","open-source-aion.4329e5da7b":"11 logische domeinen","open-source-aion.9a948dc88c":"AFLEIDING","open-source-aion.e6c67de15e":"Bewijsformaten","open-source-aion.87415af880":"Bewijscertificaten","open-source-aion.9c8c22f54d":"Bewijs, geen garanties","open-source-aion.44ab85a252":"Herkomst","open-source-aion.3271776def":"Offline, geen service","open-source-aion.03128bed90":"Verificatie","open-source-aion.4f1428fca3":"Hardware die jij beheert","open-source-aion.5703321d0e":"Draait op","open-source-aion.978e9ec250":"Standaard, draagbaar","open-source-aion.3229609e15":"Verificatie","open-source-aion.cba0624eb5":"Verificatierecord","open-source-aion.26ef011865":"Bekijk waar het draait","open-source-aion.6f696724c6":"Bekijk het verificatiepad","open-source-aion.a3f1131acb":"AION is bewijsinfrastructuur voor AI-beslissingen, openbaar vanaf 1 september 2026. Het levert naast een AI-resultaat een compact bewijs, en een aparte checker doorloopt dat bewijs aan de hand van de oorspronkelijke premissen en accepteert of verwerpt het zonder model, solversessie of netwerk.","open-source-aion.a2831cb958":"voor onafhankelijk controleerbare AI-beslissingen","open-source-aion.78db6d1920":"Bewijsinfrastructuur","open-source-aion.2ff69b9a05":"AION","open-source-aion.2672a489dd":"Vertrouw het nooit zomaar","open-source-aion.4c1c703b94":"Het punt","open-source-aion.2518be9b9c":"Niet nodig","open-source-aion.4ab2910209":"Jouw account","open-source-aion.3477f4d91d":"Hetzelfde antwoord","open-source-aion.d7e70b6e08":"Zelfde vraag","open-source-aion.930888ee28":"Geen internet","open-source-aion.d072f5db48":"Controleren heeft nodig","open-source-aion.576347ec82":"Europa","open-source-aion.eeffc514bd":"Nee, anderen gebruiken het voor jou","open-source-aion.cef1deea41":"Jij bouwt het","open-source-aion.64ae43e8fe":"Bewijscontrole","open-source-aion.fdd1e56642":"Een bon voor antwoorden","open-source-aion.704869f20f":"In gewone woorden","open-source-aion.658a8547d7":"Is het veilig?","open-source-aion.06c805023d":"Een reden die je kunt meenemen","open-source-aion.e92ed103c2":"AION voegt een controleerbaar bewijs toe aan een AI-antwoord. Je assistent kan vertellen of de redenering klopt zonder dat jij de techniek hoeft te begrijpen, en het bewijs kan later opnieuw zonder internetverbinding worden gecontroleerd. AION is openbaar vanaf 1 september 2026, de dag waarop ook de documentatie live gaat.","open-source-aion.336366183a":"voor AI-beslissingen","open-source-aion.41cbc965ef":"Een controleerbaar bewijs","open-source-aion.4eabc3bc63":"CDCL met theory plugins","open-source-aion.68836c550e":"Kern","open-source-aion.0cdb7c9a36":"Lineaire tijd, offline","open-source-aion.dfa8ff7110":"LRAT, DRAT, Alethe, verenigd","open-source-aion.aeacbd6e45":"Theorieën","open-source-aion.e2ae20d9ae":"Rust","open-source-aion.89b86ab0e6":"Taal","open-source-aion.942587e61e":"Projectblad","open-source-aion.d4a74b503a":"Lees de documentatie","open-source-aion.b683cc6ce4":"AION opent het programma op 1 september 2026: bewijsinfrastructuur voor AI-beslissingen, met de repository en de documentatie die dan samen verschijnen. Uitleg achteraf vraagt je alleen een tweede verhaal van hetzelfde systeem te vertrouwen. AION levert in plaats daarvan een bewijscertificaat dat elke verifier offline en in lineaire tijd kan controleren, zonder de solver.","open-source-aion.8f2ee5be83":"AI-resultaten","open-source-aion.376868cca2":"voor onafhankelijk controleerbare","open-source-aion.hero.source":"Vraag naar de release","open-source-aion.45471af790":"Gebeurtenisherkomst","open-source-aion.ac9835d4bd":"Uitvoeringstranscripten","open-source-aion.24f43d4446":"Syntaxisbomen","open-source-aion.f6b229e148":"Jouw bestanden, jouw hardware, jouw cijfers en een checker die het bewijs van een ander leest","open-source-aion.144fbc96c6":"GETELD","open-source-aion.719075bb86":"PARSEREN EN OPLOSSEN","open-source-aion.8f84ba12df":"JE EIGEN BESTANDEN","open-source-aion.8f088dbc07":"Dat is een evaluatie van twee weken met een schriftelijk resultaat, geen demonstratie. De corpus is van jou, de hardware is van jou, de cijfers mag je intern publiceren en voor deze oefening hoef je niet met ons te overleggen. De harness zit bij de repository, dus de run kan starten op de dag dat de toegang binnenkomt.","open-source-aion.36ef075645":"Correct betekent niet wat AION zelf over zichzelf vindt. Elk bestand in een standaardcorpus draagt de status die ervoor bekend is. De harness vergelijkt AIONs antwoord per geval met die annotatie, zodat de eindtelling een score tegen een vastgelegde ground truth is. Je kunt de adresruimte per run begrenzen, zodat één problematisch bestand geen machine meesleept.","open-source-aion.e5bce47d50":"Wat een pilot oplevert","open-source-aion.680f97998b":"AION levert een benchmark-harness mee. De cijfers die je in een businesscase noemt, zijn daardoor de cijfers die jouw eigen bestanden op jouw eigen hardware opleverden. Geef een corpus op; de harness registreert per geval de parseertijd, oplostijd en maximale resident memory en drukt daarna af hoeveel antwoorden correct waren. De run herhaalt op hetzelfde corpus, zodat een tweede evaluatie regel voor regel naast de eerste kan liggen.","open-source-aion.2d5f8acea9":"en lees de cijfers terug","open-source-aion.5586707b63":"Draai eerst je eigen bestanden","open-source-aion.67ec8d614c":"Voordat je je vastlegt","open-source-aion.55744ee096":"Zelfs dan zal iemand een uitkomst betwisten. Daarvoor heb je een route nodig, geen vergadering","open-source-aion.80935eb972":"GEDATEERD","open-source-aion.43acc44dc6":"LIVE BEWAAKT","open-source-aion.24538c3986":"MARGE, GEEN ALARM","open-source-aion.368f25d10d":"Ergens vóór die laatste dag was er een moment waarop het werk nog in één middag kon worden gedaan. Dat is de dag die een manager gemarkeerd wil zien, want elke optie daarna kost meer. Door de marge dagelijks te lezen komt die dag in beeld.","open-source-aion.c5701049a8":"Het rapport heeft een eigenaar, geen wachtrij, en elke regel staat voor ander werk met een andere urgentie. Eén regel is klaar en vraagt van niemand nog iets. Eén heeft nog vier dagen, dus dat is het plan voor deze week en niet voor vandaag. Eén heeft nog één dag, dus dat is het werk van vanochtend. Eén is al twee weken over de datum; daarbij horen een naam en een zin die het gat verklaart.","open-source-aion.26435b9406":"Alles met een deadline kan tijdens de looptijd worden bewaakt. AION meldt hoeveel ruimte er nog is als een getal met teken, niet als een simpele geslaagdmelding. Een reactietermijn met nog vier dagen. Een bewaartermijn die twee weken over de sluitingsdatum is. Dat is operationele informatie waar iemand vanochtend naar kan handelen. Het getal verschuift elke dag, dus het rapport leest als marge en niet als alarm.","open-source-aion.f49579b8d6":"nog voor de overtreding","open-source-aion.0e185152c8":"Je leest de marge elke dag","open-source-aion.bc09e774e9":"Lopende verplichtingen","open-source-aion.cff8079f65":"Records beantwoorden vragen achteraf. Sommige verplichtingen moet je volgen terwijl ze lopen","open-source-aion.127edee78d":"ONDERTEKEND","open-source-aion.b1c1ba1af8":"EEN LIJST","open-source-aion.8d27ef68f5":"ZEVEN DINGEN KUNNEN VERANDEREN","open-source-aion.c84f34cb7c":"Toeschrijving is een tweede mechanisme, geen extra kolom in hetzelfde record. Er wordt een handtekening over de afleidingsvolgorde gezet, zodat zichtbaar blijft wie een resultaat produceerde wanneer de opdrachtnemer verandert en twee identieke antwoorden van twee leveranciers van elkaar te onderscheiden blijven. Dat geldt ook wanneer beide uit dezelfde opgegeven invoer zijn ontstaan.","open-source-aion.a76201631f":"Elke regel op die lijst noemt het onderdeel dat veranderde. Het bijbehorende opgeslagen certificaat is compleet, dus opnieuw controleren betekent een run uitvoeren, geen reconstructie. Het alternatief dat de meeste organisaties hebben, is kiezen tussen alles opnieuw bekijken en niets opnieuw bekijken; in de praktijk wordt die keuze altijd op dezelfde manier gemaakt.","open-source-aion.5c82441a97":"Het record","open-source-aion.10d9103c24":"Een resultaat dat vorig jaar werd geaccepteerd, viel onder het contract van vorig jaar. Zeven dingen kunnen eronder veranderen: checkerregel, certificaatschema, policy, compilerregel, runtimecontract, modelversie of simulatiecontract. Verandert er één, dan krijg je een lijst van de conclusies die daarop steunden.","open-source-aion.1829734913":"krijg je een lijst om te herzien","open-source-aion.6d49555943":"Als een regel later verandert","open-source-aion.7f325552d8":"Je audittrail, met versies","open-source-aion.d272027f73":"Een lokaal record is eenvoudig bij te houden. Het betekenisvol houden wanneer regels veranderen is lastiger","open-source-aion.05a898ec87":"GEEN MODELHOST","open-source-aion.c530254e40":"JOUW LOCATIE","open-source-aion.66b3dbbe8f":"GEEN UITGAANDE AANROEP","open-source-aion.8ae7a1670e":"Voor een functionaris gegevensbescherming beantwoordt dit een korte reeks vragen over dit pad, en alleen dit pad: geen verwerker om aan een register toe te voegen, geen overdracht om te onderbouwen, geen modelaanbieder in de keten en niets van ons dat tijdens jouw incident onbeschikbaar kan zijn of onder je voeten kan veranderen volgens het releaseschema van iemand anders. De build die je hebt, is de build die volgend jaar draait. Dat antwoord luidt hetzelfde of de locatie nu verbonden of air-gapped is.","open-source-aion.60ad7ae15b":"Twee paden kunnen een grens overschrijden en beide kun je zelf configureren. Een cluster draait op adressen die je zelf instelt. Een externe prover, als je die in de keten wilt opnemen, is een programma dat je installeert en als lokaal proces op je eigen machine draait.","open-source-aion.2f6a307ba7":"Voor operators","open-source-aion.dbc08c41b9":"De standaardbuild van AION heeft geen uitgaande client. Een bewijs controleren, een vereiste vertalen, een signaal bewaken en de zoekopdracht uitvoeren: alles gebeurt op de machine waarop je het startte, binnen je eigen grens, op hardware die je beheert. Er is geen gehost model in de keten en geen route ernaartoe. Dezelfde build draait in een air-gapped ruimte net zo goed als in een verbonden ruimte, want niets op het standaardpad heeft een netwerk nodig om af te ronden.","open-source-aion.90c790a231":"en niets belt naar buiten","open-source-aion.4b9230d5db":"Alles draait op locatie","open-source-aion.fe7f7fc61a":"Waar het werk gebeurt","open-source-aion.ed461cacdf":"Een bewijs over de regels is één ding. Waar het werk draait, is de volgende vraag die mensen stellen","open-source-aion.640d41197b":"ÉÉN UITGEWERKT","open-source-aion.29ff0fb82f":"ZEVEN STELLINGEN","open-source-aion.431d64456a":"Dat is een uitspraak over de regelset, geen steekproef uit eerdere gevallen. Duizend aanvragen testen laat duizend aanvragen zien; een non-interferencecheck dekt elk paar dat de regels toestaan, met self-composition, property-directed reachability en k-inductie. De abstractie wordt aangescherpt waar een paar laat zien dat ze te ruim was. Als de eigenschap niet geldt, krijg je geen statistiek terug maar twee aanvragen die in elk openbaar veld gelijk zijn, behalve in het veld waar je naar vroeg, met twee verschillende uitkomsten naast elkaar. Daar kan een compliance officer diezelfde ochtend naar handelen.","open-source-aion.e5e1cd5506":"Neem de vraag die toezichthouders en klagers het vaakst stellen, in verschillende woorden: heeft dit veld de uitkomst veranderd? Je beantwoordt haar als eigenschap over twee runs. Koppel alle openbare invoer aan elkaar, laat het betreffende veld aan beide kanten vrij en eis dat de zichtbare uitkomst gelijk is. Als dat altijd zo is, hing de uitkomst niet van dat veld af.","open-source-aion.227872d789":"Eén daarvan, uitgewerkt","open-source-aion.5f92fd5ed1":"Een certificaat is alleen interessant om de zin die je ermee kunt uitspreken. Deze binary hoort bij deze source graph. Deze workload draaide met deze capabilities. Deze actie had de vereiste goedkeuring. Dit optimum voldoet aan deze grens. Dit traject respecteerde deze invarianten. Deze conclusie volgt uit deze constraints. Deze output kwam uit precies dit model en deze parameterset.","open-source-aion.418a3bc2fc":"aan een toezichthouder tonen","open-source-aion.7a7af31402":"Zeven stellingen die je kunt","open-source-aion.a13c1cf72d":"Wat je werkelijk kunt bewijzen","open-source-aion.20467ce964":"Een geval gaat over één aanvraag. Sommige vragen gaan tegelijk over twee aanvragen","open-source-aion.dde18d1e41":"WIE HEEFT HET IN BEHEER","open-source-aion.f3b603a5b2":"IN WAARDEN","open-source-aion.53d2799375":"HET GEVAL","open-source-aion.f18bb15530":"Beide zijn bevindingen en beide hebben een eigenaar. Geen van beide volgt uit alleen geslaagd of mislukt. Het tegenvoorbeeld laat zien welke van de twee je in handen hebt.","open-source-aion.d83e9c1af9":"Het tegenvoorbeeld maakt ook een einde aan discussies die anders weken duren, omdat het niemands mening is over de vraag of de regel te streng is. Het is een geval, uitgedrukt in de echte waarden waarover de regel werkt. Ofwel het geval is ergens in jouw bedrijf mogelijk: dan klopt de regel en is het systeem fout. Ofwel het geval kan niet voorkomen: dan ontbreekt in de specificatie een constraint die iedereen aannam maar niemand opschreef.","open-source-aion.7455444aea":"Als een regel niet geldt, geeft AION de specifieke situatie terug die hem breekt, uitgeschreven als proza: welke waarden, van welk type, en welke voorwaarden ze schenden. Een engineer kan het reproduceren en een manager kan de kosten bepalen; voor één keer discussiëren ze over hetzelfde geval.","open-source-aion.7d4873637b":"als het geval dat hem brak","open-source-aion.aeb268fac7":"Een gebroken regel komt terug","open-source-aion.b5951203ea":"Wat een fout je geeft","open-source-aion.8a9a27b8f7":"Dan blijven de zinnen over die twee dingen kunnen betekenen, en daar wordt naar gevraagd","open-source-aion.e1814a04c0":"TE BEOORDELEN","open-source-aion.20e7dea6cd":"LEZEN IN GEWONE TAAL","open-source-aion.295ea7bb80":"ENGELS BEHOUDEN","open-source-aion.a4abbaea33":"Vertaling is een patroonbibliotheek, geen model. Dezelfde zin levert dus altijd dezelfde lezing op en een review hoeft niet opnieuw omdat de tool tussen het ene kwartaal en het volgende van gedachten veranderde. Een tweede reviewer die dezelfde zin leest, komt op dezelfde voorwaarde uit, en juist daardoor is een review overdraagbaar.","open-source-aion.f3689055f1":"Elke voorwaarde komt met één zin in gewoon Engels die zegt wat zij vastlegt. Ook de grootheden waarop ze werkt zijn opgenomen, elk met het soort waarde dat ze bevat en een eigen beschrijving. Zo kan degene die de vereiste beheert de review doen, niet alleen degene die de notatie beheert.","open-source-aion.cac3da045e":"Hoe het standhoudt","open-source-aion.c6b765e4cc":"Vereisten worden geschreven door mensen die het bedrijf begrijpen en door mensen die de notatie begrijpen omgezet in voorwaarden. Daarna kunnen de twee versies jaren uit elkaar gaan lopen. AION houdt ze gekoppeld: je schrijft de vereiste als Engelse zin en de daaruit gemaakte voorwaarde neemt jouw zin mee. De reviewer leest beide naast elkaar, dus afdrijven blijkt op papier en niet pas uit een incident.","open-source-aion.589a38f560":"naar degene die de vraag stelde","open-source-aion.5d212c3d75":"De regel blijft leesbaar","open-source-aion.5373332e20":"Wie kan lezen wat is gecontroleerd","open-source-aion.5f882ec681":"Een verwijzing is alleen nuttig als de regel waarnaar ze wijst door jouw eigen mensen kan worden gelezen","open-source-aion.bca8d6442c":"BRUIKBAAR","open-source-aion.705bc98c49":"NOEMT DE REGEL","open-source-aion.ab9f5d57e4":"NOEMT DE STAP","open-source-aion.b4ba975800":"Juist doordat die twee uit elkaar blijven, kun je een weigering naar een leverancier sturen. Een beschuldiging is namelijk het enige wat je niet stilletjes uit een leveranciersrelatie kunt terugtrekken.","open-source-aion.7a47f854de":"Dat formaat is bruikbaar voor een auditor of leveranciermanager, omdat het een meningsverschil in een verwijzing verandert. AION scheidt ook twee fouten die onder één woord vallen. Ofwel de stap kan niet worden gereconstrueerd, wat een defect in het bewijs is en een bevinding tegen de producent; ofwel de stap gebruikt een regel die deze checker niet bevat, wat een afbakeningsvraag voor jou is en geen bevinding tegen iemand.","open-source-aion.d9469b7dda":"Een foutmelding die alleen verification failed zegt, kun je niet toewijzen, bespreken of herstellen; ze komt aan als een geschil in plaats van een bevinding. AION geeft een locatie en een reden: welke stap, in welk bestand, welke regel volgens de stap werd toegepast en wat ontbrak toen de stap opnieuw werd uitgewerkt. Zo kan de weigering met een reproduceerbare verwijzing terug naar het producerende team. Kan het bewijs niet worden gereconstrueerd, dan ligt het eigenaarschap bij de producent; ontbreekt de genoemde regel in de checker, dan is het een afbakeningsbesluit. Dat zijn verschillende wachtrijen en verschillende herstelacties.","open-source-aion.ccc6a09991":"met de stap en de reden","open-source-aion.3619f211ef":"Een mislukte controle komt terug","open-source-aion.29801085dc":"De output moet bruikbaar zijn","open-source-aion.57c6ba11fc":"De zeven producenten houden hun eigen uitkomst. AION standaardiseert de envelop en routering voor het bewijs.","open-source-aion.f37804f36b":"ÉÉN ENVELOP","open-source-aion.8a3b4bf313":"ZEVEN PRODUCENTEN","open-source-aion.479f1de8ea":"De gedeelde envelop geeft de organisatie één register, één compatibiliteitsmodel en één overzicht van getroffen records wanneer een regel verandert. Elke certificaatfamilie behoudt haar eigen verifier en weigeringsregels. Een nieuwe familie sluit aan door die regels en verifier te registreren; AION wordt daarmee niet de producent. Het register is het deel dat groeit.","open-source-aion.5b958e86c7":"Een solver kan logische, optimalisatie- of temporele certificaten leveren. Twin en FMI leveren verschillende uitkomsten, maar delen de simulatie- en FMI-familie. De producent bepaalt wat is gemaakt; de certificaatfamilie bepaalt hoe de claim wordt gecontroleerd. Beide worden apart vastgelegd, dus het een volgt niet uit het ander.","open-source-aion.57e1cc2701":"Wat één envelop verandert","open-source-aion.8bd8b74c55":"Solver, Loom, Nexus, Kera, Selvedge, Twin en FMI zijn zeven producenten van verschillende uitkomsten, geen zeven certificaatfamilies. AION geeft hun bewijs één envelop en stuurt elk certificaat naar de verifier van de juiste familie. De envelop bevat producent, familie, schema en opgegeven invoer; de verifier van de familie bewaart de technische betekenis. Een leverancier kan zo de implementatie wijzigen zonder de bewijsgrens van de organisatie te wijzigen; alleen een verandering van familie of schema vergroot de compatibiliteitsreview.","open-source-aion.65a41e884e":"één envelop voor het bewijs","open-source-aion.837663a52a":"Zeven producenten en","open-source-aion.647e0f46ec":"Zeven producenten","open-source-aion.af6010147d":"Eén leverancier is één relatie. De interessante vraag is hoe ver dit reikt","open-source-aion.35ecafecfb":"JOUW MACHINE","open-source-aion.0676f9f8de":"DRIE DINGEN","open-source-aion.dfc87eabb4":"Daarmee verplaats je het gesprek uit het speelveld waar leveranciers zich prettig voelen. Je vraagt ze niet langer om je te overtuigen en betaalt niet meer om hun omgeving na te bouwen. Zodra je die drie dingen hebt, kun je de controle herhalen wanneer je wilt, op welke hardware je wilt, zelfs in de week nadat het contract is afgelopen.","open-source-aion.7677ed77e3":"Het loont om precies te zijn over het artefact, want het is niet altijd een bestand. Afhankelijk van de familie kan het een bestand, archief, stream, ondertekende bundel, tracepaar, witness, uitvoeringsreceipt of gestructureerde afleiding zijn. Wat het altijd is, ongeacht de vorm, is iets wat een verifier kan lezen zonder dat de producent aanwezig is.","open-source-aion.a29def781f":"Wat een certificaat werkelijk is","open-source-aion.fdca1fef67":"Een certificaat is geen log en geen samenvatting. Het is het bewijs dat het werk achterlaat. Wat een leverancier overdraagt, bestaat uit drie dingen: de claim, de opgegeven invoer en het contract waartegen die is gemaakt, en het certificaat dat het systeem produceerde. Niet hun licentie, niet hun versie en niet hun machine. Die drie reizen samen en om ze te controleren heb je verder niets van de leverancier nodig.","open-source-aion.b054d236cd":"in plaats van hun software","open-source-aion.53e1575f60":"Jij controleert het certificaat","open-source-aion.5e40f4ba8a":"De verschuiving in positie","open-source-aion.b9e2767b28":"Er is een route die noch neerkomt op hen geloven, noch op hun software opnieuw draaien","open-source-aion.7d87348ad6":"JOUW NAAM EROP","open-source-aion.48a5aca907":"HUN SYSTEEM","open-source-aion.32c3cafa08":"Dat is de positie waar een auditor naar kijkt wanneer die vraagt hoe je zekerheid hebt verkregen, ook onder bewijsregels zoals die van de EU AI Act. AION verandert die positie door elk resultaat een controleerbaar certificaat te geven, zonder de leverancier na te bouwen en zonder toegang tot iets wat de leverancier als eigen beschouwt. De controle draait op je eigen machine, alleen tegen het certificaat.","open-source-aion.ac90e72b2c":"De gebruikelijke uitwegen eindigen allebei op dezelfde plek. Je kunt om hun bewijs vragen, een document dat ze over hun eigen software hebben geschreven. Of je kunt vragen hun systeem zelf te reproduceren, wat hun licentie, versie en omgeving vereist en je nog steeds afhankelijk maakt van het ding dat het antwoord produceerde.","open-source-aion.fc63c534d2":"Een solver zegt dat de planning haalbaar is. Een AI-systeem komt tot een gereguleerde conclusie. Een agentsysteem voert namens jou een handeling uit. Een compiler produceert een veiligheidskritisch artefact. Een runtime voert een gecontroleerde workload uit. Een simulatie valideert een ontwerpbeslissing. Een digital twin meldt dat een bedrijfstoestand veilig is. In elk geval vond het werk ergens anders plaats en komt het gevolg bij jou terecht.","open-source-aion.c9672e2ac8":"jouw naam staat op het antwoord","open-source-aion.925d7b4a2d":"Hun systeem produceerde het","open-source-aion.47b025f850":"Waar de verantwoordelijkheid ligt","open-source-aion.905aee629b":"Het werk, een reden die je kunt lezen en dezelfde regel voor iedereen die ermee te maken krijgt","open-source-aion.4d0ee37058":"EEN DATUM","open-source-aion.6ccb4a6f6a":"DEZELFDE REDEN","open-source-aion.84adcc762b":"DEZELFDE CONTROLE","open-source-aion.56c6f422d8":"Dat is een brief die iemand kan schrijven. In plaats van te zeggen dat het systeem besliste, kun je de regel citeren, de datum en versie noemen en degene die hem schreef vragen of dit inderdaad de bedoeling was.","open-source-aion.073cdea47b":"Dat heeft alleen waarde als je het kunt zien. Wat je overhoudt, zijn drie bruikbare dingen: de regel in gewone woorden die je hardop kunt lezen; de reden waarom hij op jou van toepassing was, met jouw situatie erin; en de datum waarop het werk is gecontroleerd. Dat verslag noemt wat het controleerde en tegen welke versie van de regels.","open-source-aion.a50f912efb":"Wat je ermee kunt doen","open-source-aion.1d94c73b03":"Geef hetzelfde werk twee keer aan AION en de controle verloopt op maandag en vrijdag op dezelfde manier, voor jou en voor degene achter je in de wachtrij. Niet iedereen krijgt hetzelfde antwoord, want situaties verschillen. Wel dwaalt de controle zelf niet af en interpreteert niemand jouw geval ter plekke. Een jaar later wordt hetzelfde werk met dezelfde vastgelegde regels gecontroleerd, dus een antwoord dat je kreeg valt nog steeds uit te leggen. Wat je overhoudt is daarom steeds hetzelfde drietal: dezelfde controle, dezelfde reden en een datum.","open-source-aion.fba7a52bf4":"op maandag en vrijdag","open-source-aion.77a3327a99":"Op dezelfde manier gecontroleerd","open-source-aion.cebde51ae2":"Wat je overhoudt","open-source-aion.a566f0cb1b":"Tijd is één soort regel. De meeste regels zijn eenvoudig en gelden voor iedereen","open-source-aion.29231cd04d":"OP TIJD","open-source-aion.d89f7642e7":"BEWAAKT","open-source-aion.5d491ce50f":"DAGEN OVER","open-source-aion.c50722f442":"Dezelfde lezing werkt na de datum net zo goed als ervoor. Veertien dagen te laat is een feit waar iemand met een datum bij naar kan vragen, geen rood merkteken dat zonder waarschuwing verscheen.","open-source-aion.0b1cbd5f8a":"Een geslaagdmelding zegt niets tot het moment waarop ze geen geslaagdmelding meer is; dan zijn de goedkope opties verdwenen. Een getal laat zien waar je staat: tweeëntwintig dagen over is een notitie in een agenda, vier dagen over is deze week en één dag over is vanochtend.","open-source-aion.af41b675b0":"Wat je eraan hebt","open-source-aion.2ff91b62ec":"Regels met een klok erin zijn de regels waarmee mensen in de problemen komen. Een antwoord dat binnen dertig dagen verschuldigd is, een terugbetalingsvenster, een periode waarna iets moet worden verwijderd. AION bewaakt ze terwijl ze lopen en meldt hoeveel ruimte er vandaag nog is, als aantal dagen.","open-source-aion.94dc6c2b80":"ruim vóór de laatste","open-source-aion.6bdbc0422a":"Je ziet hoeveel dagen over zijn","open-source-aion.37f768721f":"Deadlines die jou raken","open-source-aion.e3c2d4b24a":"Omdat het werk ter plekke gebeurt, kan AION ook de klok voor je in de gaten houden","open-source-aion.4ace2cc9bc":"GEEN ACCOUNT","open-source-aion.c5c3055a7b":"NIETS VERSTUURD","open-source-aion.a5b9137c2b":"BLIJFT HIER","open-source-aion.874bab5372":"Als er al een verbinding is, heeft iemand die bewust tussen eigen machines ingesteld en blijft ze uit tot die persoon haar inschakelt. Jouw zin wordt met vastgelegde regels gelezen, in dezelfde ruimte als jij, en het antwoord komt zonder internetverbinding. Er ging niets van de machine af om het te maken en er werd niets verstuurd.","open-source-aion.4a03f17947":"Geen account, geen registratie en geen externe dienst die volgend jaar moet werken, betrouwbaar moet zijn of nog moet bestaan om een antwoord te krijgen.","open-source-aion.f10eb79b5b":"Wat dit voor jou betekent","open-source-aion.c17d4e01b4":"Veel tools beantwoorden een vraag over jou door je gegevens weg te sturen en op antwoord te wachten. Je informatie reist naar een bedrijf dat je niet hebt gekozen, misschien naar een land waarvan je de naam nooit hoort. AION doet het werk waar je het al uitvoert. Er wordt niets verstuurd, want er is niets om het mee te versturen.","open-source-aion.9e50609149":"op de machine waar je bent","open-source-aion.ca67037369":"Het antwoord wordt berekend","open-source-aion.7df600af96":"Waar je gegevens naartoe gaan","open-source-aion.399483042a":"Gevraagd worden is één helft. De andere helft is wat je te horen krijgt als het antwoord nee is","open-source-aion.0b5b7048ea":"JIJ KIEST","open-source-aion.f12c755afa":"HET VRAAGT HET AAN JOU","open-source-aion.300453f44e":"TWEE BETEKENISSEN","open-source-aion.6debd2c487":"Dat klinkt als een kleine beleefdheid. Het is het verschil tussen een regel waarmee je hebt ingestemd en een regel die iemand namens jou haastig heeft geraden op een dag dat je er niet was. Raden is de gebruikelijke manier waarop dit gebeurt en niemand krijgt ooit te horen dat het is gebeurd. Even vragen kost een moment en haalt de gok uit het dossier.","open-source-aion.6f02dd9d43":"AION stopt en vraagt het. Het citeert de woorden waarover het twijfelt, zet beide lezingen in gewone taal uiteen, stelt een vraag met jouw eigen formulering erin en wacht. Jij kiest. Zolang de vraag openstaat wordt er niets besloten.","open-source-aion.0ccfcd0de4":"Wat er verandert","open-source-aion.b3124516ab":"‘Annuleer als de vertraging meer dan één uur bedraagt.’ Is vijfenzeventig minuten meer dan één uur, of worden uren als hele eenheden geteld, zodat vijfenzeventig minuten één uur is en één uur niet meer dan één uur? Beide lezingen zijn normaal Engels. Ze verschillen precies in één geval en dat geval zal zich voordoen.","open-source-aion.4449c95cf9":"twee dingen betekent, vraagt het","open-source-aion.75ca04ac1b":"Als je zin mogelijk","open-source-aion.2297deb89a":"Wanneer je zin onduidelijk is","open-source-aion.32cf0852b8":"Een zin kan tegelijk twee dingen betekenen. Dat is een reden om even te stoppen","open-source-aion.b5d2541ad8":"GEEN JARGON","open-source-aion.3b7c198e57":"HET KOMT TERUG","open-source-aion.c4cc4b9845":"JE EIGEN WOORDEN","open-source-aion.5c9a5c3396":"Wanneer dezelfde zin opnieuw wordt gelezen, levert hij exact dezelfde regel op, omdat AION ondertussen niets leert, afdrijft of een beter idee krijgt. Een regel waarmee je eenmaal hebt ingestemd, blijft de regel waarmee je instemde; degene die hem toepast leest jouw zin, geen samenvatting van iemand anders. Onderweg wordt hij niet in andermans woorden omgezet.","open-source-aion.ba41f25c15":"Uit het bewaren van de zin volgen twee dingen. Je kunt door te lezen nagaan of hij op de dag dat je hem schreef goed is begrepen, in plaats van dat pas een jaar later door een incident te ontdekken.","open-source-aion.c19473d784":"Schrijf de regel in gewone woorden en AION bewaart die woorden. Dat klinkt als een kleine beleefdheid, tot het ertoe doet: maanden later, wanneer iets door die regel wordt gestopt, verschijnt jouw zin bovenaan de uitleg, in de woorden die jij koos.","open-source-aion.4c0e51d183":"je hardop zou zeggen","open-source-aion.dcf65c0f8a":"Schrijf de regel zoals","open-source-aion.e1a651b90e":"Zeggen wat je wilt","open-source-aion.beda6f7681":"Een som opnieuw doen vereist dat de som is opgeschreven. Dat geldt ook voor een regel, en die van jou kan een zin zijn","open-source-aion.ef6371cd2e":"HET STOPT","open-source-aion.47ce22a1f7":"STAP VOOR STAP","open-source-aion.9195df51f1":"EEN TWEEDE LEZING","open-source-aion.b66352de76":"Het stoppen is de belangrijke helft. Iedereen kan het met je eens zijn. Iets dat stopt en naar de regel wijst, is de moeite waard, en daar is maar weinig van.","open-source-aion.e04fafc8fc":"AION telt de kolom opnieuw op. Niet voor rekeningen, maar voor het moeilijkere werk dat machines doen wanneer ze beslissen dat iets toegestaan, veilig of onmogelijk is, wanneer ze iets bouwen of namens jou uitvoeren, of wanneer ze berekenen wat er zou gebeuren voordat iemand het probeert. Het leest het werk dat de eerste machine opschreef, voert elke stap opnieuw uit en stopt bij de eerste stap die niet uitkomt.","open-source-aion.b55b759c73":"Als een rekening niet klopt, discussieer je niet over de vraag of het totaal juist is. Je telt de kolom zelf opnieuw op. Krijg je hetzelfde getal, dan staat het totaal. Stop je bij de vierde regel omdat die niet klopt, dan kun je precies zeggen welke regel het is en is de discussie in één zin voorbij.","open-source-aion.59141b0dfa":"in plaats van je te geloven","open-source-aion.fa22d5033b":"Iemand doet de som opnieuw","open-source-aion.333a6c87f2":"een wijziging levert een lijst van gevolgen en een wachtrij op, geen stille herinterpretatie van het verleden","open-source-aion.0eecb96558":"zijn vijf feiten","open-source-aion.59e22ed738":"geproduceerd, ondertekend, geverifieerd, geaccepteerd en nog compatibel","open-source-aion.d78c662e5b":"gecontroleerd, niet aangenomen","open-source-aion.5b44284acd":"nog compatibel met","open-source-aion.cc4bc74f90":"met een contractversie","open-source-aion.3bb51eeea5":"geaccepteerd onder","open-source-aion.72954f75cf":"met een verifier-versie","open-source-aion.3741770a87":"geverifieerd door","open-source-aion.7fc7c8aef9":"over een hash van de afleidingsvolgorde","open-source-aion.d2a7817a72":"ondertekend door","open-source-aion.9d7c5e8097":"met een versie","open-source-aion.8fffa5fcb8":"geproduceerd door","open-source-aion.756e62f03a":"Eén resultaat, vijf feiten","open-source-aion.2b8be4ecd3":"Toeschrijving gebruikt een eigen mechanisme: een Ed25519-handtekening over een BLAKE3-hash van de afleidingsvolgorde, met een monotone nonce en tijdstempel, controleerbaar tegen de openbare sleutel van de producent. Acceptatie gebruikt een ander mechanisme, met de identiteit en versie van de verifier en de contractversie die deze heeft toegekend. Wanneer er iets onderliggends verandert, zoals een checkerregel, certificaatschema, policy, compilerregel, runtimecontract of modelversie, vormen de certificaten die daarvan afhankelijkheid hebben verklaard een getroffen set en worden ze opnieuw gecontroleerd, met het gewijzigde onderdeel erbij.","open-source-aion.6b8169d142":"Een oordeel op zichzelf is een woord zonder auteur. Vijf feiten die meestal tot één geheel samenvallen, worden hier apart gehouden: wie een resultaat produceerde, wie het ondertekende, wat het verifieerde, onder welk contract het werd geaccepteerd en of het nog compatibel is met de regels van vandaag. Dat zijn vijf verschillende vragen; vier ervan blijven overeind wanneer de leverancier verandert.","open-source-aion.2cd4b335f4":"Een controleur verifieert.","open-source-aion.d15fbc9566":"Niets verifieert zichzelf.","open-source-aion.481d0fc02c":"Het hele betoog","open-source-aion.ca75c84634":"Elk certificaat hier eindigt als één record, waarin de feiten apart blijven","open-source-aion.3ecc9abb23":"UITBREIDBAAR","open-source-aion.8112bd91bc":"AIRGAPPED","open-source-aion.9be34046ca":"LOKAAL","open-source-aion.ae61af8b9c":"Wanneer één verificatie werkelijk te groot is voor één machine, wordt het werk over machines verdeeld in cubes, met clause sharing ertussen. Een samengesteld resultaat wordt pas geaccepteerd na een dekkingscontrole: geen twee cubes mogen dezelfde literalset vastleggen en wat ze afdekken moet optellen tot de volledige ruimte, niet tot bijna alles. Een join die één element tekortkomt, is een weigering, volgens dezelfde discipline als elders in het product. Ook een verifierregister en een extension-API maken het mogelijk om een certificaatfamilie die hier niet is geschreven toch hier te controleren.","open-source-aion.04cd68c7fb":"Er kunnen slechts twee dingen een grens over en beide worden door jou geconfigureerd. Een cluster draait op adressen die je instelt. Een externe producent is een programma dat je installeert en als lokaal proces draait. Er is nergens in de keten een gehost model en geen dienst van ons die tijdens jouw incident onbeschikbaar kan zijn of volgens het releaseschema van iemand anders kan veranderen. Een airgapped omgeving verifieert precies zoals een verbonden omgeving, omdat verificatie de producent nooit nodig had.","open-source-aion.ac1913e46c":"Twee uitwegen, beide van jou","open-source-aion.c2193fefe2":"Verificatie is een berekening als elke andere en jij beslist waar ze draait. AION verschijnt op 1 september 2026: zodra de repository openbaar is, link je de bibliotheek, voer je het commando uit of zet je de service binnen je eigen grens op. De standaardbuild bevat geen uitgaande client. Een certificaat controleren vereist dus geen account, provider of route buiten de machine waarop je bent begonnen.","open-source-aion.72d09c5994":"een service of een enclave","open-source-aion.f8ac38e647":"Een bibliotheek, een commando","open-source-aion.604918db00":"Waar verificatie draait","open-source-aion.c07ebfbab5":"Een archief blijft stil staan. De volgende vraag is waar dit alles werkelijk draait","open-source-aion.d34941b7ce":"GEÏNDEXEERD","open-source-aion.79ae623ce9":"OP INHOUD GEADRESSEERD","open-source-aion.0f7d1ea9ca":"Het onderdeel dat je moet bouwen in plaats van aannemen is de index. Wanneer een checkerregel, certificaatschema, policy, compilerregel, runtimecontract of modelversie verandert, vind je de certificaten waarvan de geldigheid van dat onderdeel afhing door ze op te zoeken, niet door alles te scannen en te hopen. Afhankelijkheden staan in de envelop; de getroffen set is dus een query en de herverificatie-wachtrij het resultaat, met het gewijzigde onderdeel bij elke regel. Het alternatief dat de meeste organisaties werkelijk hebben, is alles opnieuw bekijken of niets opnieuw bekijken.","open-source-aion.144711734a":"Opslag is alleen nuttig als een lezer die verder is gegaan het nog kan openen. Daarom bevat elk record de handtekening van de producent, de identiteit en versie van de verifier die het accepteerde, de contractversie waaronder het werd geaccepteerd en de afhankelijkheden waarop het rust. Bij het opnieuw inladen draait een compatibiliteitstest.","open-source-aion.22f96be502":"De getroffen set is een echte index","open-source-aion.a1b04ec691":"De certificaten die het bewaren waard zijn, zijn de certificaten waar je jaren later naar wordt gevraagd. AION slaat een geaccepteerd certificaat compact en op inhoud geadresseerd op: identifiers als verschillen, herhaalde patronen run-length-gecodeerd, identieke subbewijzen één keer gehasht en opgeslagen, en alles geadresseerd op inhoud in plaats van op de plek waar iemand het archiveerde. Juist dat inhoudsadres laat een lezer die verder is gegaan hetzelfde certificaat terugvinden en jaren na de run een tweede keer controleren.","open-source-aion.c017c017d7":"en blijft hercontroleerbaar","open-source-aion.2e10b84b57":"Een certificaat blijft klein","open-source-aion.9263a81467":"Opslaan wat is gecontroleerd","open-source-aion.1f029bacad":"Zes families, en elke familie eindigt in hetzelfde record","open-source-aion.1deb4d4a29":"TRAJECT","open-source-aion.f8d5b44c34":"INVARIANTEN","open-source-aion.52dd7acef9":"CONFORMITEIT","open-source-aion.24d7374cb9":"Juist doordat die drie uit elkaar blijven, zijn de eerste twee iets waard. Een assurance die stilzwijgend de derde veronderstelt, faalt bij de toezichthouder. Een certificaat dat zijn eigen grens benoemt, overleeft de vergadering.","open-source-aion.0e4ffe42fa":"Over een simulatie worden drie verschillende vragen gesteld. Professioneel werken betekent hier eerlijk zijn over welke twee vragen je kunt beantwoorden. Execution conformance vraagt of model, parameters en configuratie werkelijk dit traject opleverden; dat is controleerbaar. Mathematical property checking vraagt of de genoemde invarianten tijdens de run gelden; ook dat is controleerbaar, waarbij een fout het trace teruggeeft in plaats van een oordeel. Physical validity vraagt of het model de echte wereld vertegenwoordigt; geen certificaat kan dat vaststellen. Dat behoort toe aan de modeleigenaar en blijft permanent diens verantwoordelijkheid.","open-source-aion.bb70d13ca4":"De grens waar deze sectie zorgvuldig mee omgaat","open-source-aion.ac558913f9":"Een simulatieresultaat wordt lang na afloop gebruikt voor beslissingen. Het certificaat bevat de identiteit van model en FMU, de parameterset, de beginstatus, de solverconfiguratie, de tijdstap- of eventreeks, de statusovergangen, de uitgevoerde invariantcontroles, de convergentie- of beëindigingsstatus, de hash van het resulterende traject en een tegenvoorbeeldtrace wanneer een eigenschap faalt.","open-source-aion.1c9f5f0f21":"beantwoordt precies twee ervan","open-source-aion.242c47d00a":"Drie vragen, en dit","open-source-aion.a635f9edf3":"Twin en FMI, gecertificeerd","open-source-aion.43f8bc442f":"Uitvoering is één run van één ding. Een simulatie maakt er miljoenen tegelijk","open-source-aion.d3a968f797":"OUTPUT-ID","open-source-aion.d79014995c":"GEATTESTEERD","open-source-aion.2fbbf64505":"CAPABILITIES","open-source-aion.51fd9d7843":"Determinisme maakt de rest controleerbaar. Omdat de overgangen deterministisch zijn gegeven de module, invoer en grants, kan een verifier ze volgen zonder de workload in de oorspronkelijke omgeving opnieuw uit te voeren. Twee runs die met dezelfde invoer dezelfde outputidentiteit claimen, zijn het eens of wijzen naar de overgang waar ze niet meer overeenkomen. Dat is runtime-attestatie in de praktijk: wat draaide en onder welke bevoegdheid, controleerbaar zonder het opnieuw te draaien.","open-source-aion.0d0fd79859":"De meeste vragen over een workload achteraf gaan eigenlijk over diens bevoegdheid. Waar kon dit ding tijdens het draaien bij en heeft het iets anders bereikt? Een certificaat dat capability-grants samen met de overgangen draagt, beantwoordt dat zonder dat iemand een log hoeft te lezen en voor iemand die de runtime niet beheert.","open-source-aion.890c61e134":"Waarom de capabilityset het interessante veld is","open-source-aion.1331fa2052":"Een exitstatus zegt dat een workload klaar is. Het uitvoeringscertificaat zegt wat klaar is: identiteit van workload en module, runtimeversie, de capabilities die hij had, de ontvangen invoer, de deterministische statusovergangen, de resource-limieten waarbinnen hij draaide, de identiteit van de geproduceerde output en of hij voltooid is of is vastgelopen. Elk daarvan is een veld waaruit een latere vraag te beantwoorden is, zonder terug te gaan naar de machine die hem draaide.","open-source-aion.65576ef482":"onder welke capabilities","open-source-aion.74a9894f4f":"Wat draaide, waarop en","open-source-aion.eabc461dcf":"Selvedge, gecertificeerd","open-source-aion.b4792818f1":"Een gecompileerd artefact moet nog steeds ergens draaien en ook die run is een claim","open-source-aion.414cbcc9ec":"HERKOMST","open-source-aion.24466ece94":"BRON NAAR ARTEFACT","open-source-aion.c81d361198":"Die precisie maakt het artefact downstream bruikbaar. In een gereguleerde build is de vraag zelden of een compiler goed is. Het gaat erom of deze binary bij deze source graph hoort onder deze optimalisatieconfiguratie. Dat is een vraag met een antwoord en dat antwoord reist met het artefact mee, in plaats van in het buildsystem te leven dat het produceerde. Dat is buildprovenance in de praktijk: een claim over dit artefact die controleerbaar is zonder het buildsystem dat het maakte.","open-source-aion.6c1fd4df2b":"De verklaring is de discipline. Een certificaat beweert niet als één ongedifferentieerde claim dat elke optimalisatie correct was, want zo'n claim is noch controleerbaar noch waar voor een echte compiler. Het noemt precies welke behouds- of equivalentie-eigenschappen het bij welke transformaties vaststelt; de verifier controleert die en rapporteert niets anders.","open-source-aion.fd5ed4a1d8":"Benoemde claims, geen allesomvattende claim","open-source-aion.82a76c947a":"Een compiler levert een artefact en een exitstatus. Het compilatiecertificaat bevat wat dat artefact geacht wordt te zijn: de identiteit van de bron of graph waaruit het kwam, de compiler- en optimalisatieversie, de toegepaste transformaties, behoud van type en vorm, de gekozen kernels, de identiteit van het geproduceerde artefact en de equivalentie- of invariantcontroles die het certificaat verklaart.","open-source-aion.06efebf0f5":"over de bron waaruit het kwam","open-source-aion.3f208ecc5e":"De binary is ook een claim","open-source-aion.716710e273":"Kera, gecertificeerd","open-source-aion.89572e64cc":"Een organisatie kan worden gecertificeerd. Dat geldt ook voor de compiler die bouwde wat ze draait","open-source-aion.502114d554":"RECEIPTS","open-source-aion.fab60cdf92":"GRENZEN","open-source-aion.490fb49f60":"BEVOEGDHEID","open-source-aion.965738574a":"De waarde blijkt wanneer de handeling wordt betwist. Een workflowtrace is het verhaal van de organisatie over zichzelf. Een certificaat dat een onafhankelijke verifier onder een benoemde contractversie heeft geaccepteerd, is een andere klasse bewijs. Precies dat verschil wil AION creëren.","open-source-aion.f4652935ed":"Dit certificaat gaat over een beheerde handeling, niet over waar een agent aan dacht. Het beantwoordt de vragen die werkelijk worden gesteld: bestond de bevoegdheid toen de actie werd gestart, hield de poort die moest houden ook werkelijk stand, was de goedkeuring aan de actie gekoppeld in plaats van aan een bericht in de buurt en zijn de statusovergangen in het record de overgangen die het contract toestaat? Dat is allemaal machinaal controleerbaar en vereist geen toegang tot een model.","open-source-aion.be15814346":"Wat het vaststelt en wat niet","open-source-aion.38d3c11f27":"Een voltooide workflow is een claim als alle andere. Het organisatiecertificaat legt de beheerde handeling vast die werkelijk plaatsvond: het doel en de policyversie waaronder ze draaide, de gevormde organisatie, de opgeloste rollen en bevoegdheden, de uitgevoerde taken en hun overgangen, de gepasseerde policygates, de gekoppelde goedkeuringen, de uitgevoerde acties en de geregistreerde receipts.","open-source-aion.65a8805f19":"zijn contract te hebben gevolgd","open-source-aion.f827cfbcbf":"Een handeling kan bewijzen","open-source-aion.07fba05892":"Nexus, gecertificeerd","open-source-aion.c6fd961235":"Redenering is één producent. Een organisatie van agents is moeilijker te certificeren","open-source-aion.2764d46fd5":"GEEN MODEL-AANROEP","open-source-aion.58376ce0c1":"KERNEN","open-source-aion.3c3d2a37fc":"De Engelse requirement-front-end hoort hier ook bij, omdat een redeneercertificaat maar zo goed te beoordelen is als de constraint bovenaan. Een deterministische patroonbibliotheek geeft formele voorwaarden terug, gerangschikt op het aantal overeenkomende triggerzinnen. Elke voorwaarde bevat de gewone lezing en de grootheden waarop ze werkt. Wanneer een zin werkelijk meer dan één lezing heeft, stelt AION de ambiguïteit als benoemde vraag aan de orde in plaats van haar stilzwijgend te beslechten.","open-source-aion.c4d7d27503":"Daaronder zitten producenten van beide soorten, die via dezelfde grens worden geaccepteerd. AION beslist zelfstandig over Booleaanse structuur, verschilrekenkunde, bitvectorwoorden en gelijkheid met uninterpreted functions, via een volledige conflictgestuurde zoekopdracht met twee bewaakte literals, een heap-geordende activiteitsheuristiek, geometrische restarts en activiteitsgestuurde clausedeletie. Bij een onvoldoe-baar antwoord geeft het een core terug, die benoemt welke van jouw constraints botsten in plaats van de gevonden zoekroute te beschrijven. Een externe solver draait als eigen proces en levert een bewijs terug; alleen dat bestand gaat over de grens. Elk programma dat een bewijsformaat uitvoert waarvoor AION een checker heeft, valt hieronder, waaronder cvc5. De grens is het formaat, niet de leverancier.","open-source-aion.5264c1875d":"Producenten, eigen en extern","open-source-aion.09b6611fc2":"Loom redeneert. Wat AION controleert, is het artefact dat de redenering achterlaat: de actieve constraints, de toegepaste regels, de deelproblemen die naar een solver gingen, de certificaten die die solvers terugstuurden, de gevonden tegenstrijdigheden, de grenzen die een beslissing sloten en de claim die uiteindelijk werd uitgesproken. Expliciete computationele artefacten en gedeclareerde afleidingen, als zodanig gecontroleerd.","open-source-aion.2224f4889f":"de afleiding waarop het rust","open-source-aion.1aceefa727":"Een conclusie komt met","open-source-aion.40e8df9cbd":"Loom en de solvers eronder","open-source-aion.cbac360b09":"Booleaanse en rekenkundige stappen vormen één familie. Daar begint de stack van de redenering","open-source-aion.9786d05f5a":"GEFUZZD","open-source-aion.a9bb80378b":"OPNIEUW AFGELEID","open-source-aion.0204e8b30c":"REGEL VOOR REGEL","open-source-aion.a43c278b96":"Op clauseniveau wordt elke toevoeging opnieuw uit eerste beginselen afgeleid: neem aan dat de nieuwe clausule onwaar is, propageer de clausules waarnaar de hints verwijzen en eis het conflict dat die hints beloofden. Als propagatie alleen haar niet afdwingt, wordt de toevoeging getoetst aan de zwaardere voorwaarde op de benoemde pivotliteral tegen elke clausule waarmee die pivot kan resolven. Zo kan een stap niet worden doorgelaten door een pivot te noemen die niet in de clausule staat. Formule en bewijs worden regel voor regel gelezen, zodat ook een bewijs dat groter is dan het geheugen van de machine van begin tot eind wordt gecontroleerd. AIONs eigen suite is vijandig tegenover AION: een hint die verwijst naar de stap die hij moet rechtvaardigen, twee stappen die op elkaar steunen, een beweerde maar ontbrekende pivot, twee clausules onder één identifier, de eindmarkering als identifier, verwijdering van een nooit toegevoegde clausule en tweemaal dezelfde clausule verwijderen. Elke reader die een bestand van een ander aanraakt, wordt tegen een corpus met vaste seed gefuzzd.","open-source-aion.13a29c20f0":"Bij elke stap gaan drie voorwaarden, in vaste volgorde, aan de regelcontrole vooraf: verwijst de stap naar zichzelf, is elk genoemd nummer aanwezig en staat een van die nummers hoger dan de stap die het noemt? Daarvoor wordt het bestand één keer gescand op dubbele stapnummers. Alleen een bewijs waarvan elke stap dit alles doorstaat, bereikt de laatste voorwaarde: sluit het bestand met een tegenspraak? Een afleiding die eindigt terwijl er nog literals staan, heeft al het andere doorstaan en wordt toch geweigerd.","open-source-aion.f626b7a7da":"Onder de oppervlakte","open-source-aion.1a95f2e67d":"Clausulebewijzen uit de LRAT-familie (SAT) en regelbewijzen in Alethe-formaat (SMT) vormen de familie met de langste geschiedenis van pogingen om haar te omzeilen; daarom is dit de juiste om te tonen. AION stuurt elke stap naar de routine die de regel uitvoert. Een regelnaam zonder implementatie beëindigt het lezen in plaats van stilletjes te slagen, en stapnummer en regel worden afgedrukt.","open-source-aion.8294eed416":"en een onbekende regel stopt het","open-source-aion.9959b32cda":"Elke stap doorstaat vier tests","open-source-aion.3821e115bc":"De familie met tegenstanders","open-source-aion.c415bc49f1":"De oudste familie heeft de meeste tegenstanders en is daarom de eerste om te bekijken","open-source-aion.06d55361b1":"VERSIEBEHEERD","open-source-aion.bca8de5f5a":"NEGEN FAMILIES","open-source-aion.187b58774c":"De families zijn om dezelfde reden afzonderlijk voorzien van versies. Een regelset kan in de logicafamilie strenger worden zonder de simulatiefamilie te verstoren. De getroffen certificaatset voor die wijziging bestaat precies uit de records die de veranderende versie hebben gedeclareerd. De negen van vandaag zijn logica en satisfiability, optimalisatie, temporele logica en hyperproperties, redenering, organisatie, compilatie, runtime-uitvoering, simulatie en FMI, en opslagintegriteit.","open-source-aion.ca4a7a3c63":"Een familie registreren is hoe een systeem dat nog niet bestond toen AION werd geschreven toch door AION controleerbaar wordt. De envelop is al dezelfde, de opslaglaag en herverificatie-wachtrij werken al en een nieuwe familie hoeft alleen een verifier en benoemde regelset te leveren. Derde-partijsoftware die een certificaatcontract uitvoert, komt via dezelfde deur binnen als onze eigen software.","open-source-aion.6581749da9":"Waarom het een register is en geen lijst","open-source-aion.c453f0b87d":"Een certificaatfamilie is een benoemd contract met een versie, geen bestandsformaat. Elke familie verklaart haar identiteit en versie, het claimtype dat ze vaststelt, de vereiste invoer, de representatie van bewijs of witness, het verificatiealgoritme, de regelset die de verifier accepteert, afhankelijkheids- en compatibiliteitsmetadata, de mensleesbare weergave als die er is en haar eigen weigeringstaxonomie.","open-source-aion.29a8090d97":"en de set is uitbreidbaar","open-source-aion.7dd9783a82":"Negen families, één register","open-source-aion.f4c0c73854":"Het register","open-source-aion.2b6d7305db":"Een onafhankelijke controle moet weten welk soort certificaat ze vasthoudt","open-source-aion.b4dee9d399":"GEEN REPLAY","open-source-aion.1ae37e9b3a":"GEEN LICENTIE","open-source-aion.082414b331":"BEGRENSDE CONTROLE","open-source-aion.85bcd01276":"In geen van die gevallen heeft de verifier de zoekopdracht, heuristieken, verborgen status, modelaanroepen of runtimeomgeving van de producent nodig. Daardoor blijft onafhankelijke verificatie betaalbaar in plaats van alleen een ideaal.","open-source-aion.73dc1e45ec":"De asymmetrie heeft in elk domein dezelfde vorm en is het waard om vier keer te zien. Een conflictgestuurde zoekopdracht kan urenlang door een ruimte lopen die niemand kan opsommen; het clausulebewijs dat eruit komt, wordt regel voor regel gevolgd. Een compiler kan honderden optimalisatiepassages uitvoeren met heuristieken die niemand buiten het team begrijpt; het certificaat registreert de behoudsclaims die daarbij moeten gelden. Een simulatie kan miljoenen stappen draaien; het certificaat levert checkpoints, overgangen, invarianten en de trace die de uitkomst controleerbaar maken. Een Nexus-operatie kan zeer veel agents coördineren; het certificaat stelt bevoegdheden, statusovergangen, goedkeuringen en actiereceipts vast.","open-source-aion.3bcb80f6d9":"Wat elke producent voor zichzelf houdt","open-source-aion.ceb0061493":"Het systeem dat het resultaat produceerde, krijgt niet het laatste woord over de vraag of zijn certificaat klopt. AION controleert een begrensd artefact in plaats van de dure berekening te herhalen. Daarom kan verificatie op een laptop draaien tegen werk dat een cluster een weekend kostte en heeft ze noch de licentie noch de machine van de producent nodig. Het certificaat levert de controlepunten die de checker afloopt, dus de kosten van controleren volgen de omvang van het artefact en niet die van de zoektocht erachter.","open-source-aion.69524cecfe":"en dat is de hele truc","open-source-aion.ee21bac231":"Controleren is niet opnieuw doen","open-source-aion.396e9b624d":"De architecturale scheiding","open-source-aion.504a1b0a8d":"Een envelop zegt wat er is aangekomen. De volgende vraag is wie hem mag openen","open-source-aion.a9ea7a518b":"ÉÉN ENVELOP","open-source-aion.d7e877b15b":"ACHT VELDEN","open-source-aion.34c043fc06":"Het afhankelijkheidsveld wordt onderschat. Een certificaat dat op een ander certificaat rust, noemt dat certificaat. Een weigering of schemaverandering verspreidt zich daardoor door de set die erop leunde, in plaats van te stoppen bij het eerste record waar iemand toevallig naar kijkt. Zo wordt een stapel geaccepteerde resultaten iets waar je een vraag aan kunt stellen.","open-source-aion.7dc6226fd7":"Stop je routeringsinformatie in de payload, dan wordt elke nieuwe certificaatfamilie een nieuwe integratie voor iedereen downstream. Houd je die informatie erbuiten, dan worden opslaglaag, compatibiliteitstracker, herverificatie-wachtrij en auditrecord één keer geschreven en werken ze ook voor families die nog niet bestonden toen ze werden gebouwd.","open-source-aion.48eb1ab2b4":"Waarom de scheiding zichzelf terugverdient","open-source-aion.419ad6edc1":"Een compilatiecertificaat en een clausulebewijs hebben intern niets gemeen, maar komen in dezelfde envelop aan. Acht velden: de claim, de invoer waartegen hij is gemaakt, de producent, de contractversie, het certificaattype, de certificaatpayload, de afhankelijkheden en de handtekening. Alles wat familiespecifiek is, zit in de payload; alles wat een verifier nodig heeft om het object te routeren, van versie te voorzien en vast te leggen, zit erbuiten.","open-source-aion.03a195fded":"en acht velden erin","open-source-aion.9895a4db76":"Elke familie, één envelop","open-source-aion.33164fb254":"De gemeenschappelijke envelop","open-source-aion.315fae6edd":"Acht soorten systemen, acht soorten claims en één envelop waarin ze allemaal reizen","open-source-aion.661f13bc63":"GECONTROLEERD","open-source-aion.ea0dae37f4":"EEN CERTIFICAAT","open-source-aion.f07b84d4d2":"EEN CLAIM","open-source-aion.1edfca7587":"AION is dat tweede programma. Het neemt een certificaat dat een ander heeft geproduceerd, reconstrueert wat het claimt en benoemt het item en de regel als een claim niet kan worden gereconstrueerd; daarna stopt het. Een weigering die naar regel 40 wijst, is iets wat één enkel woord nooit kan zijn.","open-source-aion.4428102723":"Formele methoden kozen decennia geleden om één reden voor deze opzet. De producent schrijft het werk op en een tweede, veel kleiner programma leest dat werk terug. Dat tweede programma moet zorgvuldig worden gebouwd, omdat het klein genoeg is om van begin tot eind te begrijpen. AION haalt die opzet uit de solverwereld en maakt haar het contract voor al het andere: redenering, agentoperaties, compilatie, uitvoering en simulatie.","open-source-aion.51edeceac1":"unsat. gecompileerd. voltooid. veilig. optimaal. policy geslaagd. simulatie geconvergeerd. workflow goedgekeurd. Acht systemen, acht woorden, en geen daarvan bevat de reden waarom het waar is. Proof-carrying computation is het alternatief: de producent houdt het dure werk en levert naast het resultaat een certificaat, waarna iets zonder belang bij het antwoord dat certificaat controleert.","open-source-aion.d3571e9e01":"tot iemand het opnieuw doet","open-source-aion.03d9c22d95":"Een resultaat is slechts een claim","open-source-aion.dfc28595b4":"Waarom er een tweede lezing bestaat","open-source-aion.3c6178c9cd":"Aan wie het rapport toebehoort","open-source-aion.42c21bbe27":"Wat een geval vastlegt","open-source-aion.4d05bcfcbf":"Wat je met een weigering kunt doen","open-source-aion.4c0a0d8ef3":"De twee gebruikelijke uitwegen","open-source-aion.e097afe170":"Wat volgt uit het bewaren ervan","open-source-aion.c9681d6875":"Wat het werkelijk doet","open-source-aion.1ee58a7b8d":"Waar de opzet vandaan komt","open-source-aion.eec3b038bd":"toeschrijving","open-source-aion.65279e1ecf":"verificatie","oss-aion-adoption-paths.733a87e5fb":"Test één beslispad","oss-aion-adoption-paths.34dfd13db9":"Controleer een voorbeeldcertificaat voordat je AION in een actief beslispad integreert.","oss-aion-adoption-paths.3f1d1c0d24":"Bekijk het meegeleverde voorbeeldcertificaat.","oss-aion-adoption-paths.a5339faf54":"Draai de meegeleverde voorbeeldbewijzen als controle.","oss-aion-adoption-paths.b38db2875a":"Controleer hetzelfde certificaat met aion check en een onafhankelijke compatibele verifier.","oss-aion-adoption-paths.0e42c62826":"Jouw evaluatieteam","oss-aion-adoption-paths.ca15f8db66":"Bouw het in een systeem","oss-aion-adoption-paths.e8219f1ea8":"Je bestaande softwareteam koppelt de bibliotheek zodat de systemen die je al draait een certificaat kunnen meegeven met elke beslissing.","oss-aion-adoption-paths.91e2e7e34b":"Jouw ingenieurs voegen AION toe aan een systeem dat je al gebruikt.","oss-aion-adoption-paths.96e8012ed9":"Elke beslissing draagt dan een controleerbaar certificaat.","oss-aion-adoption-paths.6e56d00bc7":"Geen nieuwe leverancier zit in het pad van die beslissing.","oss-aion-adoption-paths.b0e0c85d36":"Jouw engineeringteam","oss-aion-adoption-paths.4637a51566":"Gebruik het bij audits","oss-aion-adoption-paths.03b3d20015":"Een eerder geproduceerd certificaat kan op elk moment opnieuw worden gecontroleerd met de command-line tool, op je eigen hardware, offline.","oss-aion-adoption-paths.8b6e7ae424":"Bewaar het certificaat dat is geproduceerd toen de beslissing werd genomen.","oss-aion-adoption-paths.ab48bfd890":"Controleer het later opnieuw met de command-line tool, offline.","oss-aion-adoption-paths.6fe516ffcf":"Geef hetzelfde record aan een toezichthouder of auditor.","oss-aion-adoption-paths.4e64c95d9e":"Jouw complianceteam","oss-aion-adoption-paths.6b5eb5323e":"Begin met één beslispad","oss-aion-adoption-paths.1635f113ec":"Drie manieren om te adopteren","oss-aion-adoption-paths.5eef32f959":"Wie het draait","oss-aion-adoption-paths.29a9e7fa74":"Het certificaat is identiek, welke route je ook neemt.","oss-aion-adoption-paths.3e4f1a5e1b":"Eén bibliotheek, één command-line tool","oss-aion-adoption-paths.tag.d59fec26d9":"Voor integratie","oss-aion-adoption-paths.tag.391b31405f":"Voor je engineers","oss-aion-adoption-paths.tag.6fd7b4f249":"Voor compliance","oss-aion-archive-parts.cea57012da":"niet gecomprimeerd na het lezen","oss-aion-archive-parts.10f2f8d11a":"gecomprimeerd voor de plank","oss-aion-archive-parts.0468a5b797":"ARCHIEF","oss-aion-archive-parts.bce5035461":"en één veld dat ze overleeft","oss-aion-archive-parts.bd678f55fe":"Vier bewegingen op één certificaat","oss-aion-archive-parts.44e396b17f":"Welke verificateur het accepteerde, onder welke contractversie.","oss-aion-archive-parts.5348eece0f":"Verificateur en contract bewaard","oss-aion-archive-parts.53229277ab":"Identieke subbewijzen één keer opgeslagen en daarna geciteerd via hash.","oss-aion-archive-parts.0f6513214f":"Subbewijzen gehasht","oss-aion-archive-parts.76a7786a63":"Een herhaald patroon één keer opgeslagen, met de lengte waarvoor het herhaalt.","oss-aion-archive-parts.9e1a0f7aac":"Herhalingen samengevoegd","oss-aion-archive-parts.d6f5880b44":"Elke identifier opgeslagen als de afstand tot de vorige.","oss-aion-archive-parts.6b78716e70":"Identifiers als hiaten","oss-aion-archived-proof.5808299e06":"opgezocht, niet doorzocht","oss-aion-archived-proof.39241dfc0d":"De rest bleef dicht, omdat de index al wist dat ze niet geraakt waren.","oss-aion-archived-proof.d84b2eb85d":"Negen afhankelijkheden gedeclareerd, twee tabbladen geopend, vijf certificaten genoemd.","oss-aion-archived-proof.c9269e3e61":"zeven tabbladen bleven dicht","oss-aion-archived-proof.6f13975269":"nog steeds compatibel","oss-aion-archived-proof.8ec798a819":"regel r7","oss-aion-archived-proof.4b50837e2e":"in de wachtrij om opnieuw te lezen","oss-aion-archived-proof.2a858a12ec":"regel r7 vervangen in verificateur 2.5.0","oss-aion-archived-proof.0b58a007b4":"wijzigingsmelding","oss-aion-archived-proof.5886396d49":"aion-verify 2.4.0","oss-aion-archived-proof.3b89bc81cb":"zelfde certificaat","oss-aion-archived-proof.4b37dd07e6":"zoals gearchiveerd","oss-aion-archived-proof.39c9f8bf3a":"twee subbewijzen, één vorm","oss-aion-archived-proof.8c28e2d0a9":"één blok, één keer bewaard","oss-aion-archived-proof.e75bd8054c":"identifiers als hiaten","oss-aion-archived-proof.9bfe0da4af":"één lang bestand","oss-aion-archived-proof.46dc2748fa":"zoals geproduceerd","oss-aion-archived-proof.b6a0714797":"illustratieve identifiers","oss-aion-archived-proof.16bb6017da":"twee van de vijf in de wachtrij","oss-aion-archived-proof.884fa4a4de":"Eén certificaat, tweemaal","oss-aion-archived-proof.11ed0e1dd4":"beleid p9","oss-aion-archived-proof.1f776189b1":"schema 2","oss-aion-archived-proof.ec690c70cd":"certificaat d20c9b","oss-aion-archived-proof.a96a7e2f89":"certificaat 1a55f0","oss-aion-archived-proof.b504f66e53":"model m1","oss-aion-archived-proof.fd6c33ce54":"runtime-contract 3.1","oss-aion-archived-proof.ff651ff51f":"compilerregel c1","oss-aion-archived-proof.d00ec63b0b":"certificaat b4e187","oss-aion-archived-proof.e20acd4672":"certificaat 3c90de","oss-aion-archived-proof.6d50cc6c2e":"certificaat 7f21ab","oss-aion-archived-proof.5dd9b11122":"beleid p2","oss-aion-archived-proof.70d70366cf":"schema 4","oss-aion-archived-proof.d61ceadbdb":"contract","oss-aion-archived-proof.e15436a2bb":"verificateur","oss-aion-archived-proof.15da3daa68":"x3","oss-aion-asked-questions.question.refused":"Waarom werd mijn verzoek door een machine geweigerd?","oss-aion-asked-questions.answer.refused":"AION toont precies waar de controle stopte en waarom, in plaats van één onverklaard woord.","oss-aion-asked-questions.question.check":"Kan ik een geautomatiseerde beslissing zelf controleren?","oss-aion-asked-questions.answer.check":"Ja. AION werkt elke stap opnieuw uit op de machine waar je bent, zonder account en zonder iets te versturen.","oss-aion-asked-questions.question.sent":"Wordt mijn informatie ergens naartoe gestuurd?","oss-aion-asked-questions.answer.sent":"Nee. De standaardbuild kan niets versturen. Het werk gebeurt waar je al bent.","oss-aion-asked-questions.chrome.path":"Vragen die een weigering oproept","oss-aion-asked-questions.chrome.status":"openlijk beantwoord","oss-aion-asked-questions.readout":"Dit zijn de drie vragen die deze pagina openlijk beantwoordt, zonder account en zonder iets te versturen.","oss-aion-asked-questions.band":"Een keer gesteld, openlijk beantwoord","oss-aion-asked-you.ef80b73d6b":"in plaats van een verrassing later","oss-aion-asked-you.7e066a9db0":"een vraag nu","oss-aion-asked-you.fb041ecc2d":"Wacht","oss-aion-asked-you.c276980864":"GEVRAAGD","oss-aion-asked-you.93a5f8f470":"en wat er daarna gebeurt","oss-aion-asked-you.fb5efec5ec":"Wat het vraagt","oss-aion-asked-you.ed223cb507":"Met je eigen formulering erin, in plaats van een formulier om in te vullen.","oss-aion-asked-you.47ba586268":"Stelt een vraag","oss-aion-asked-you.16bb2c320d":"In gewone woorden, niet als een keuze tussen symbolen.","oss-aion-asked-you.590f0368a8":"Zet beide lezingen uiteen","oss-aion-asked-you.c0fedb51ee":"Het deel van je zin waarover het onzeker is, in jouw woorden.","oss-aion-asked-you.945cd96360":"Citeert de woorden terug","oss-aion-asymmetry.109e612009":"het bewijs reist","oss-aion-asymmetry.54086b1730":"het werk blijft bij de producent","oss-aion-asymmetry.77e82797f7":"ASYMMETRIE","oss-aion-asymmetry.7f5d144dcb":"per producent","oss-aion-asymmetry.d1abed327f":"Wat niet wordt gereproduceerd","oss-aion-asymmetry.816e835f60":"Autoriteit, overgangen, goedkeuringen, ontvangstbewijzen.","oss-aion-asymmetry.4f83e60cbc":"Veel agents, die coördineren.","oss-aion-asymmetry.d946c1fc52":"Agentsysteem","oss-aion-asymmetry.d978ba491a":"Checkpoints, overgangen en invarianten.","oss-aion-asymmetry.b081bda78f":"Miljoenen integratiestappen.","oss-aion-asymmetry.8e34943c35":"Simulatie","oss-aion-asymmetry.db98a95880":"De beweringen over behoud daartussen.","oss-aion-asymmetry.ce4dee4e4f":"Honderden passes en hun heuristieken.","oss-aion-asymmetry.341a20e237":"Compiler","oss-aion-asymmetry.d50aca2923":"Een afleiding die regel voor regel wordt gevolgd.","oss-aion-asymmetry.c0644e2b00":"Een zoektocht over een ruimte die niemand opsomt.","oss-aion-asymmetry.2212b12df6":"Oplosser","oss-aion-audit-flow.0d368d5958":"Er wordt een beslissing genomen","oss-aion-audit-flow.723d4b8215":"Een AI komt tot een antwoord in jouw systeem.","oss-aion-audit-flow.60616f24a0":"Een certificaat wordt bewaard","oss-aion-audit-flow.319012d052":"De redenering wordt vastgelegd in een draagbaar verslag.","oss-aion-audit-flow.b6e0507002":"Het wordt opnieuw gecontroleerd","oss-aion-audit-flow.060bdf8393":"Iedereen draait de controle offline op zijn eigen machine.","oss-aion-audit-flow.549ee9a7f2":"De auditor accepteert het","oss-aion-audit-flow.45d8142b03":"Bewijs dat ze verifiëren, geen belofte die ze moeten aannemen.","oss-aion-audit-flow.29a5795456":"Je stuurt logs door en hoopt dat ze worden geaccepteerd.","oss-aion-audit-flow.691576c10d":"Je overhandigt een certificaat dat de auditor zelf controleert.","oss-aion-audit-flow.4f25ce109b":"De uitleg zit vast aan één leverancier.","oss-aion-audit-flow.17092b76ad":"Standaard bewijsformaten houden het certificaat controleerbaar, ook na de oorspronkelijke leverancier en runtime.","oss-aion-audit-flow.4cb1b63499":"Het verslag wordt opnieuw gecontroleerd op infrastructuur die jij niet beheert.","oss-aion-audit-flow.c0baf00a21":"Het verslag wordt offline opnieuw gecontroleerd op hardware die jij beheert.","oss-aion-audit-flow.1574ac4dc4":"Van beslissing tot geaccepteerd bewijs","oss-aion-audit-flow.0fc25779d4":"Zonder controleerbaar bewijs","oss-aion-audit-flow.4b32d8f574":"Met AION","oss-aion-audit-flow.effbb773a5":"Bij de audit produceer je bewijs, geen garanties.","oss-aion-audit-flow.630840198f":"Onafhankelijke controle","oss-aion-broken-case.b2d44d537d":"twee stukken werk","oss-aion-broken-case.21a5e37384":"Het zegt wel dat iemand nu moet kiezen.","oss-aion-broken-case.446dd52366":"De case zegt niet in welke van deze twee je zit.","oss-aion-broken-case.1592f95dfc":"wie de specificatie ook bezit","oss-aion-broken-case.5350b811e8":"Iedereen wist dat en niemand heeft het ooit opgeschreven, daarom was de case\n überhaupt te vinden. Dus het werk is om de ontbrekende beperking op te schrijven.","oss-aion-broken-case.7e1ad0c117":"een herhaling kan hier niet gebeuren bij een nulsaldo","oss-aion-broken-case.e2acc6be4b":"kan dit hier gebeuren?","oss-aion-broken-case.70cf0e9d6e":"het team dat het beheert","oss-aion-broken-case.f4418abec4":"Dus de regel is juist en het systeem is fout. Het werk is een wijziging aan het systeem.","oss-aion-broken-case.7ebf5ee2c1":"herhalingen bij drie met een nulsaldo is een gewone maandag","oss-aion-broken-case.818db6fde5":"batchmodus staat maximaal twee herhalingen toe","oss-aion-broken-case.9ad82bcd1a":"geen herhaling terwijl het saldo nul is","oss-aion-broken-case.db09c40b94":"voorwaarden die het schendt","oss-aion-broken-case.1a01155586":"De specificatie geldt niet. Hier is een situatie waarin dat niet zo is, uitgeschreven.","oss-aion-broken-case.bb5f480b82":"de case, zoals die terugkomt","oss-aion-broken-case.8ba48b3c8c":"illustratieve case","oss-aion-broken-case.2a0ea29615":"één case, twee eigenaren","oss-aion-broken-case.0efd66fc70":"De case die het brak","oss-aion-broken-case.fd12863535":"nee","oss-aion-broken-case.fb360f9c09":"ja","oss-aion-broken-case.e7aef2e893":"modus is batch (type: text)","oss-aion-broken-case.dcfad8c5bf":"saldo is 0 (type: integer)","oss-aion-broken-case.bbf98b54e9":"herhalingen is 3 (type: integer)","oss-aion-business-glyph.9c8c22f54d":"Ontworpen voor audits","oss-aion-business-glyph.afd7103781":"Jouw infrastructuur","oss-aion-business-glyph.ea722c81af":"Europees","oss-aion-business-glyph.870c4d024a":"Draagbare formaten","oss-aion-business-glyph.81c093497b":"Afgesloten door het certificaat","oss-aion-business-glyph.862ee3b17a":"Blootstelling","oss-aion-business-glyph.6b5eb5323e":"Bewijs gekoppeld","oss-aion-business-glyph.b7a3f27883":"Risico verwijderd","oss-aion-business-glyph.7ba75e0ac6":"Certificaat blijft jaren controleerbaar","oss-aion-business-glyph.9f89ecaff5":"Oorspronkelijke sessie is verdwenen","oss-aion-business-glyph.33620369b5":"Het archief","oss-aion-business-glyph.7a71b6b89e":"Op hardware die jij beheert","oss-aion-business-glyph.e94a6d4bba":"Uitgelegd op andermans hardware","oss-aion-business-glyph.3eaad00bc0":"De gegevens","oss-aion-business-glyph.e20fee7c23":"Aparte controletool","oss-aion-business-glyph.9e3ee5bddf":"Oorspronkelijk model blijft nodig","oss-aion-business-glyph.5cb182685f":"De verifier","oss-aion-business-glyph.c5d37b3ae0":"Een certificaat dat de auditor controleert","oss-aion-business-glyph.6c4186cc8c":"Logs waarvan je hoopt dat ze worden geaccepteerd","oss-aion-business-glyph.d51b35c242":"De audit","oss-aion-cadence-banners.independent.eyebrow":"AION / onafhankelijke verificatie","oss-aion-cadence-banners.independent.lead":"Vertrouw de envelop","oss-aion-cadence-banners.independent.accent":"nadat een andere checker hem accepteert","oss-aion-cadence-banners.independent.body.one":"Een certificaat is bruikbaar doordat de verifier de runtime van de producent niet nodig heeft. De vastgelegde regel, invoer, uitkomst en onderbouwing komen samen in één afgebakende envelop.","oss-aion-cadence-banners.independent.body.two":"De tweede implementatie toetst die onderbouwing aan hetzelfde contract. Overeenstemming zegt dan iets over de uitkomst en is geen herhaling van hetzelfde codepad.","oss-aion-cadence-banners.independent.panel":"Registratie van de onafhankelijke controle","oss-aion-cadence-banners.independent.tag":"APART GECONTROLEERD","oss-aion-cadence-banners.independent.item.rule.label":"Vastgelegde regel","oss-aion-cadence-banners.independent.item.rule.detail":"De eis en de certificaatfamilie zijn benoemd.","oss-aion-cadence-banners.independent.item.rule.status":"AANWEZIG","oss-aion-cadence-banners.independent.item.input.label":"Gebonden invoer","oss-aion-cadence-banners.independent.item.input.detail":"De waarden achter het besluit worden samen bewaard.","oss-aion-cadence-banners.independent.item.input.status":"GEBONDEN","oss-aion-cadence-banners.independent.item.result.label":"Geclaimde uitkomst","oss-aion-cadence-banners.independent.item.result.detail":"De uitkomst staat vast voordat de verificatie begint.","oss-aion-cadence-banners.independent.item.result.status":"VASTGELEGD","oss-aion-cadence-banners.independent.item.verifier.label":"Aparte verifier","oss-aion-cadence-banners.independent.item.verifier.detail":"Een andere implementatie controleert dezelfde envelop.","oss-aion-cadence-banners.independent.item.verifier.status":"GEACCEPTEERD","oss-aion-cadence-banners.independent.verdict":"de onderbouwing houdt stand buiten het systeem dat haar produceerde","oss-aion-cadence-banners.independent.footer":"de verificatie passeert een implementatiegrens zonder het contract te verliezen","oss-aion-cadence-banners.refusal.eyebrow":"AION / contract voor afwijzingen","oss-aion-cadence-banners.refusal.lead":"Een mislukte bewijscontrole","oss-aion-cadence-banners.refusal.accent":"moet de overtreden regel benoemen","oss-aion-cadence-banners.refusal.body.one":"Een exacte controle is geen vaag omhulsel met alleen geslaagd of mislukt. De verifier doorloopt de vastgelegde conversie, berekening en logische poorten op volgorde en stopt bij de eerste ongeldige voorwaarde.","oss-aion-cadence-banners.refusal.body.two":"Die afwijzing hoort bij de onderbouwing. De aanroeper ziet welke aanname, schaal, term of begrenzing faalde, voordat een latere stap de oorzaak kan verhullen.","oss-aion-cadence-banners.refusal.panel":"Eerste mislukte controlepoort","oss-aion-cadence-banners.refusal.tag":"AFGEWEZEN","oss-aion-cadence-banners.refusal.item.read.label":"Lees de vastgelegde waarden","oss-aion-cadence-banners.refusal.item.read.detail":"Invoer en regelidentiteit liggen vast vóór de controle.","oss-aion-cadence-banners.refusal.item.read.status":"01","oss-aion-cadence-banners.refusal.item.scale.label":"Pas de vastgelegde conversie toe","oss-aion-cadence-banners.refusal.item.scale.detail":"Geen stille fallback wijzigt het rekencontract.","oss-aion-cadence-banners.refusal.item.scale.status":"02","oss-aion-cadence-banners.refusal.item.check.label":"Beoordeel elke poort op volgorde","oss-aion-cadence-banners.refusal.item.check.detail":"De eerste ongeldige voorwaarde blijft herleidbaar.","oss-aion-cadence-banners.refusal.item.check.status":"03","oss-aion-cadence-banners.refusal.item.refuse.label":"Geef de benoemde afwijzing terug","oss-aion-cadence-banners.refusal.item.refuse.detail":"De aanroeper ontvangt de mislukte regel en de onderbouwing.","oss-aion-cadence-banners.refusal.item.refuse.status":"STOP","oss-aion-cadence-banners.refusal.verdict":"een afwijzing is controleerbare onderbouwing en geen lege foutmelding","oss-aion-cadence-banners.refusal.footer":"de eerste mislukte voorwaarde blijft zichtbaar voor de volgende beoordelaar","oss-aion-cadence-banners.certificates.eyebrow":"AION / certificaatketen","oss-aion-cadence-banners.certificates.lead":"Eén besluit","oss-aion-cadence-banners.certificates.accent":"kan verschillende bewijzen meedragen","oss-aion-cadence-banners.certificates.body.one":"Redenering, organisatorische bevoegdheid, compilatie en uitvoering beantwoorden andere vragen. Eén algemene zekerheid zou verhullen waar een claim sterk is en waar nog een controle nodig is.","oss-aion-cadence-banners.certificates.body.two":"AION houdt de certificaten uit elkaar en koppelt ze aan hetzelfde besluit. Een beoordelaar kan de keten volgen zonder bevoegdheid voor rekenwerk aan te zien of een geslaagde uitvoering voor een goedgekeurde regel.","oss-aion-cadence-banners.certificates.panel":"Route van de onderbouwing","oss-aion-cadence-banners.certificates.tag":"GEKOPPELD","oss-aion-cadence-banners.certificates.item.reasoning.label":"Redeneercertificaat","oss-aion-cadence-banners.certificates.item.reasoning.detail":"Laat zien waarom de conclusie volgt.","oss-aion-cadence-banners.certificates.item.reasoning.status":"LOGICA","oss-aion-cadence-banners.certificates.item.organisation.label":"Bevoegdheidscertificaat","oss-aion-cadence-banners.certificates.item.organisation.detail":"Benoemt wie de handeling mag goedkeuren of uitvoeren.","oss-aion-cadence-banners.certificates.item.organisation.status":"BEVOEGDHEID","oss-aion-cadence-banners.certificates.item.compile.label":"Compilatiecertificaat","oss-aion-cadence-banners.certificates.item.compile.detail":"Verbindt bron, omzetting en geproduceerd artefact.","oss-aion-cadence-banners.certificates.item.compile.status":"BOUW","oss-aion-cadence-banners.certificates.item.execution.label":"Uitvoeringscertificaat","oss-aion-cadence-banners.certificates.item.execution.detail":"Legt vast wat draaide, waar en met welke invoer.","oss-aion-cadence-banners.certificates.item.execution.status":"UITVOERING","oss-aion-cadence-banners.certificates.verdict":"elke claim behoudt de certificaatfamilie die hem werkelijk kan dragen","oss-aion-cadence-banners.certificates.footer":"gekoppelde onderbouwing blijft specifiek genoeg om te betwisten","oss-aion-cadence-banners.recheck.eyebrow":"AION / een uitkomst die je kunt herzien","oss-aion-cadence-banners.recheck.lead":"Dezelfde regel","oss-aion-cadence-banners.recheck.accent":"kun je later opnieuw controleren","oss-aion-cadence-banners.recheck.body.one":"De zin, gekozen betekenis en geldigheidsduur blijven aan de uitkomst gekoppeld. Je ziet wat er is besloten en hoelang dat besluit geldt, zonder materiaal te versturen.","oss-aion-cadence-banners.recheck.body.two":"Als de regel of datum verandert, laat de registratie zien wat opnieuw moet worden gecontroleerd. Het eerdere antwoord blijft zichtbaar en wordt niet stilzwijgend vervangen.","oss-aion-cadence-banners.recheck.panel":"Wat bij de hercontrole wordt gevolgd","oss-aion-cadence-banners.recheck.tag":"HERHAALBAAR","oss-aion-cadence-banners.recheck.item.sentence.label":"Je oorspronkelijke zin","oss-aion-cadence-banners.recheck.item.sentence.detail":"De formulering blijft naast de interpretatie staan.","oss-aion-cadence-banners.recheck.item.sentence.status":"BEWAARD","oss-aion-cadence-banners.recheck.item.rule.label":"De gekozen betekenis","oss-aion-cadence-banners.recheck.item.rule.detail":"De toegepaste regel is helder opgeschreven.","oss-aion-cadence-banners.recheck.item.rule.status":"BENOEMD","oss-aion-cadence-banners.recheck.item.deadline.label":"De geldigheidsdatum","oss-aion-cadence-banners.recheck.item.deadline.detail":"De resterende tijd is zichtbaar voordat de uitkomst vervalt.","oss-aion-cadence-banners.recheck.item.deadline.status":"ZICHTBAAR","oss-aion-cadence-banners.recheck.item.result.label":"Een nieuwe controle","oss-aion-cadence-banners.recheck.item.result.detail":"Dezelfde onderbouwing kan opnieuw worden beoordeeld.","oss-aion-cadence-banners.recheck.item.result.status":"GEREED","oss-aion-cadence-banners.recheck.verdict":"je kunt het antwoord herzien zonder de reden erachter te verliezen","oss-aion-cadence-banners.recheck.footer":"de registratie houdt de woorden, regel en datum bij elkaar","oss-aion-cadence-banners.supplier.eyebrow":"AION / bewijs van de leverancier","oss-aion-cadence-banners.supplier.lead":"Een antwoord van de leverancier","oss-aion-cadence-banners.supplier.accent":"hoort controleerbare onderbouwing te bevatten","oss-aion-cadence-banners.supplier.body.one":"Een certificaat maakt de uitkomst los van de tool van de leverancier. Het vermeldt wat is gecontroleerd, welke bewijsfamilie geldt en welke invoer en artefacten bij de claim horen.","oss-aion-cadence-banners.supplier.body.two":"Je team kan die onderbouwing bewaren en een andere verifier gebruiken. Een beoordeling hangt dan niet af van toegang tot de oorspronkelijke dienst of van een leverancier die de uitvoering opnieuw moet maken.","oss-aion-cadence-banners.supplier.panel":"Onderbouwing bij de ontvangen uitkomst","oss-aion-cadence-banners.supplier.tag":"OVERDRAAGBAAR","oss-aion-cadence-banners.supplier.item.claim.label":"Claim van de leverancier","oss-aion-cadence-banners.supplier.item.claim.detail":"De uitkomst en reikwijdte zijn expliciet vastgelegd.","oss-aion-cadence-banners.supplier.item.claim.status":"ONTVANGEN","oss-aion-cadence-banners.supplier.item.certificate.label":"Certificaatenvelop","oss-aion-cadence-banners.supplier.item.certificate.detail":"Onderbouwing en identificatie reizen mee met de claim.","oss-aion-cadence-banners.supplier.item.certificate.status":"BIJGEVOEGD","oss-aion-cadence-banners.supplier.item.coverage.label":"Dekkingsverklaring","oss-aion-cadence-banners.supplier.item.coverage.detail":"De certificaatfamilie vermeldt wat zij kan aantonen.","oss-aion-cadence-banners.supplier.item.coverage.status":"AFGEBAKEND","oss-aion-cadence-banners.supplier.item.checker.label":"Onafhankelijke checker","oss-aion-cadence-banners.supplier.item.checker.detail":"Je eigen omgeving verifieert de onderbouwing zonder de producent.","oss-aion-cadence-banners.supplier.item.checker.status":"BESCHIKBAAR","oss-aion-cadence-banners.supplier.verdict":"de onderbouwing blijft bruikbaar nadat de uitvoering van de leverancier is afgelopen","oss-aion-cadence-banners.supplier.footer":"een verifieerbare uitkomst is eenvoudiger te bewaren, vergelijken en betwisten","oss-aion-cadence-banners.boundary.eyebrow":"AION / beheerste beoordeling","oss-aion-cadence-banners.boundary.lead":"De beoordeling blijft binnen","oss-aion-cadence-banners.boundary.accent":"de grens die je organisatie bepaalt","oss-aion-cadence-banners.boundary.body.one":"De zaak, regel en het certificaat kunnen worden gecontroleerd waar ze al staan. Lokale verificatie voorkomt dat een beoordeling een extra route wordt waarlangs het onderzochte materiaal naar buiten gaat.","oss-aion-cadence-banners.boundary.body.two":"De registratie vermeldt nog steeds welke eigenschap is aangetoond en welke onderbouwing is gebruikt. Gegevens op locatie houden betekent niet dat je een herleidbaar controlespoor opgeeft.","oss-aion-cadence-banners.boundary.panel":"Route voor beoordeling op locatie","oss-aion-cadence-banners.boundary.tag":"LOKAAL","oss-aion-cadence-banners.boundary.item.case.label":"Open de bewaarde zaak","oss-aion-cadence-banners.boundary.item.case.detail":"Het bronmateriaal blijft in de bestaande omgeving.","oss-aion-cadence-banners.boundary.item.case.status":"OP LOCATIE","oss-aion-cadence-banners.boundary.item.property.label":"Kies de claim die je wilt controleren","oss-aion-cadence-banners.boundary.item.property.detail":"De reikwijdte van het certificaat blijft expliciet.","oss-aion-cadence-banners.boundary.item.property.status":"AFGEBAKEND","oss-aion-cadence-banners.boundary.item.perimeter.label":"Voer de controle binnen de grens uit","oss-aion-cadence-banners.boundary.item.perimeter.detail":"Voor verificatie is geen uitgaande dienst nodig.","oss-aion-cadence-banners.boundary.item.perimeter.status":"AFGESCHERMD","oss-aion-cadence-banners.boundary.item.record.label":"Bewaar de registratie van de beoordeling","oss-aion-cadence-banners.boundary.item.record.detail":"Invoer, checker en uitkomst blijven herleidbaar.","oss-aion-cadence-banners.boundary.item.record.status":"VASTGELEGD","oss-aion-cadence-banners.boundary.verdict":"de onderbouwing kan worden gecontroleerd zonder een nieuwe gegevensoverdracht","oss-aion-cadence-banners.boundary.footer":"lokale uitvoering en controleerbare onderbouwing horen bij dezelfde beheersmaatregel","oss-aion-case-fields.ce69e76708":"een case start een beslissing","oss-aion-case-fields.9a83c048c3":"een uitspraak beëindigt een controle","oss-aion-case-fields.afc58d4c40":"de eerste die faalt, bij naam","oss-aion-case-fields.3bc6a69e80":"saldo moet boven nul zijn vóór een herhaling","oss-aion-case-fields.4e0285b28b":"voorwaarde geschonden","oss-aion-case-fields.4e0af55321":"TEGENVOORBEELD","oss-aion-case-fields.344daefb37":"Eén case, volledig","oss-aion-case-fields.62e0ec394a":"de waarden, en welk type elk is","oss-aion-case-fields.7f01fe787c":"batch","oss-aion-checked-not-rerun.dd5b6cbe2b":"één samenvoeging, één afwezigheid","oss-aion-checked-not-rerun.846a719bdc":"De laatste regel heeft geen tegenhanger tegen welke prijs dan ook.","oss-aion-checked-not-rerun.6c26a05ac4":"Vijf van de zeven gaan en twee daarvan voegen samen.","oss-aion-checked-not-rerun.4f01efffc8":"gelezen door iemand die nooit hun software had","oss-aion-checked-not-rerun.a70205a694":"vergeleken met die van volgend kwartaal","oss-aion-checked-not-rerun.0d85e26645":"gearchiveerd met de beslissing die het ondersteunde","oss-aion-checked-not-rerun.ffc7dbc2ad":"wat je daarna vasthoudt","oss-aion-checked-not-rerun.d6124c1aee":"niets aan de linkerkant produceert dit","oss-aion-checked-not-rerun.9b9252883d":"het certificaat zelf","oss-aion-checked-not-rerun.0bfa7a3bd8":"de gedeclareerde inputs en het contract","oss-aion-checked-not-rerun.d7f7f555ad":"de bewering","oss-aion-checked-not-rerun.527c7f544a":"drie dingen","oss-aion-checked-not-rerun.f8a34d2942":"om hun certificaat te controleren","oss-aion-checked-not-rerun.2a20acacc2":"zeven dingen","oss-aion-checked-not-rerun.a94f90b8e9":"om hun systeem te reproduceren","oss-aion-checked-not-rerun.d2eae1af1f":"zelfde zekerheid, twee routes","oss-aion-checked-not-rerun.87f754c087":"vijf getroffen, één afwezig","oss-aion-checked-not-rerun.2a62bb8028":"wat elke route vereist","oss-aion-checked-not-rerun.35d7d25591":"of het na de wijziging nog steeds geldt","oss-aion-checked-not-rerun.6cd8ba818d":"op wiens gegevens","oss-aion-checked-not-rerun.96f39a5e7d":"tegen welke versie van de regelset","oss-aion-checked-not-rerun.c8d59ae061":"welke voorwaarden zijn gecontroleerd","oss-aion-checked-not-rerun.b028b89ea7":"hun hulp","oss-aion-checked-not-rerun.c03c2fce6e":"een machine van voldoende formaat","oss-aion-checked-not-rerun.867d12b7ad":"de invoergegevens","oss-aion-checked-not-rerun.717e42eb01":"hun configuratiebestand","oss-aion-checked-not-rerun.935b145c44":"een geschikt besturingssysteem","oss-aion-checked-not-rerun.fa15ad3da2":"de exacte versie die zij gebruikten","oss-aion-checked-not-rerun.5990a1ec89":"een licentie voor hun software","oss-aion-compile-cert.b1991b0d44":"dus een weigering wijst naar één","oss-aion-compile-cert.85edd85611":"de beweringen worden individueel genoemd","oss-aion-compile-cert.6e8814b9a0":"Wat eruit kwam, per inhoudsadres, gebonden aan al het bovenstaande.","oss-aion-compile-cert.a41732e051":"Artefactidentiteit","oss-aion-compile-cert.6d4151d7a5":"Wat erin ging, per inhoudsadres in plaats van per bestandsnaam.","oss-aion-compile-cert.7204133281":"Bron- of graafidentiteit","oss-aion-compile-cert.efe0c41bcb":"KERA","oss-aion-compile-cert.77e13b8d86":"en wat het over elk beweert","oss-aion-compile-cert.0bcab6c465":"Wat het certificaat noemt","oss-aion-compile-cert.027f7ee7d1":"Welke eigenschappen dit certificaat over hen vaststelt.","oss-aion-compile-cert.8906f98ae0":"Verklaarde bewaring","oss-aion-compile-cert.d186ea41e2":"De toegepaste passes, in de volgorde waarin ze zijn toegepast.","oss-aion-compile-cert.66ad6a206e":"Transformatievolgorde","oss-aion-compile-cert.ebb0c953d1":"Welke build, bij welke optimalisatieconfiguratie.","oss-aion-compile-cert.691f87f640":"Compiler en optimalisatie","oss-aion-console.5d71265e50":"Controleer een bewijscertificaat. Geen solver, geen netwerk.","oss-aion-console.bfaafd85c5":"aion check proof.alethe","oss-aion-console.cf2b6bfeba":"Bewijs controleren: proof.alethe","oss-aion-console.1016f1bcf3":"Formaat: Alethe","oss-aion-console.70142f344c":"Parsen: OK","oss-aion-console.8455c5ceeb":"Bewijs heeft N stappen","oss-aion-console.fc539fcf62":"Bewijsverificatie: GESLAAGD","oss-aion-console.88f6db402f":"Verificatietijd: Nms","oss-aion-console.4f437cea65":"Jouw checker heeft het bevestigd. Exit 0. Er is niets naar buiten gebeld.","oss-aion-console.46d61005d2":"echo $?","oss-aion-console.2d737f1e63":"Lees het certificaat","oss-aion-console.0cef7497bf":"De checker opent het bewijsbestand dat je hebt gekregen. Hij heeft niets anders nodig: geen modelgewichten, geen leverancierslogin, geen internet.","oss-aion-console.830903eaf6":"Doorloop elke stap","oss-aion-console.6ce1fb843f":"Elke deductie wordt opnieuw afgespeeld tegen de premissen waarnaar het verwijst. LRAT bevat unit-propagation hints, dus de doorloop is lineair in de lengte van het bewijs.","oss-aion-console.1044fbcb06":"Accepteren of afwijzen","oss-aion-console.cb4e501f7a":"Als elke stap klopt, print de checker GESLAAGD en sluit af met 0. Als een stap niet klopt, noemt hij de fout en sluit hij af met een waarde ongelijk aan nul. Er is geen tussenweg.","oss-aion-console.b568d47f2e":"Invoer","oss-aion-console.df73f614f5":"Een bewijsbestand","oss-aion-console.0562f32dc5":"Afhankelijkheden","oss-aion-console.7334b0e2cf":"Geen tijdens controle","oss-aion-console.64ae43e8fe":"Kosten","oss-aion-console.660020f41a":"Lineair in bewijslengte","oss-aion-console.5faa59d4bc":"Resultaat","oss-aion-console.de76d16078":"GESLAAGD of benoemde fout","oss-aion-console.76d6562c0a":"De controle","oss-aion-console.edabf74eb3":"Eén commando leest het bewijs en","oss-aion-console.d161c0634a":"accepteert of wijst het af","oss-aion-console.a997e63df7":"De verificateur is onafhankelijk van de solver. Geef het een certificaat en jouw eigen checker\n bevestigt of wijst het af, offline, zonder toegang tot de engine die het produceerde.","oss-aion-console.05b6c9b8c4":"aion check","oss-aion-console.e898272c62":"offline checker","oss-aion-console.6b5eb5323e":"Onafhankelijke controletool","oss-aion-console.165cb4a2fd":"N stappen en Nms zijn plaatshouders: de echte cijfers komen uit het bewijs dat je controleert, niet\n van ons. De commandoregel is echt: aion check parseert, doorloopt en rapporteert GESLAAGD.","oss-aion-console.b8fae1a1a1":"AION / bewijscontrole","oss-aion-consumer-glyph.dccc2b6aff":"Geen internet nodig","oss-aion-consumer-glyph.22c2234e11":"Gemaakt in Europa","oss-aion-consumer-glyph.75f527181b":"Later controleerbaar","oss-aion-consumer-glyph.94651c6eb5":"Een tweede helper controleert het","oss-aion-consumer-glyph.b9fefb3f5b":"Ziet er goed uit","oss-aion-consumer-glyph.fb447dd18d":"Jouw bonnetje","oss-aion-consumer-glyph.49a8e53c77":"De machine antwoordt","oss-aion-consumer-glyph.f5ad0f0059":"Ja, en hier is waarom","oss-aion-consumer-glyph.7011b1a621":"Het antwoord","oss-aion-consumer-glyph.07d0cfac8b":"Stap voor stap, opgeschreven","oss-aion-consumer-glyph.5bcd26af49":"Hoe het werd bereikt","oss-aion-consumer-glyph.8afc953f7f":"Is dit geschikt voor mij?","oss-aion-consumer-glyph.d79cce547d":"De vraag","oss-aion-coverage-join.fa5284c04d":"kort is kort","oss-aion-coverage-join.d04fa188df":"Veertien is lang niet alles, dus de samenvoeging wordt geweigerd in plaats van afgerond.","oss-aion-coverage-join.0b67159da5":"Zestien cellen verantwoord, en het samengestelde resultaat wordt geaccepteerd.","oss-aion-coverage-join.7142d70e45":"samenstelling geweigerd, dekking tekort","oss-aion-coverage-join.245fbeffee":"geen afrondingsfout. Een regio waar niemand naar keek.","oss-aion-coverage-join.1df8f3c0e7":"14 van de 16","oss-aion-coverage-join.1c1d6ac8f1":"twee cellen waar niemand naar keek","oss-aion-coverage-join.f0833f7fc6":"dezelfde samenvoeging, één kubus ontbreekt","oss-aion-coverage-join.db8d5bf534":"samenstelling geaccepteerd","oss-aion-coverage-join.558480e414":"16 van de 16","oss-aion-coverage-join.26f1b36edc":"elke cel verantwoord","oss-aion-coverage-join.39cd7fa9c4":"vier kubussen","oss-aion-coverage-join.bb2dba7602":"illustratieve kubussen","oss-aion-coverage-join.a4d76ddfc7":"dekking tekort met twee cellen","oss-aion-coverage-join.e4445ac125":"Eén gesplitste verificatie","oss-aion-coverage-join.186c8cd284":"De build die je vasthoudt verandert niet onder je.","oss-aion-coverage-join.9daf9699cc":"de build","oss-aion-coverage-join.66506ab77b":"Er wordt geen model aangeroepen.","oss-aion-coverage-join.f2250926d2":"Niets verlaat de grens.","oss-aion-coverage-join.3110d06249":"wat eruit gaat","oss-aion-coverage-join.0bd87fb406":"Geen processor op dit pad.","oss-aion-coverage-join.1fa5b0500c":"niet a, niet b, niet c","oss-aion-coverage-join.898fae3bdc":"niet a, niet b, c","oss-aion-coverage-join.a8f663af2d":"niet a, b","oss-aion-coverage-join.bee9689def":"vier machines, één antwoord","oss-aion-coverage-join.3ea0cf3ca7":"adressen die je instelt","oss-aion-coverage-join.7b9e33922c":"een service","oss-aion-coverage-join.17819009bd":"één aanroep","oss-aion-coverage-join.2c4d8b9dd8":"een opdracht","oss-aion-coverage-join.5a78e04d95":"gekoppeld","oss-aion-coverage-join.985e108737":"een bibliotheek","oss-aion-coverage-join.1d06a0d76f":"model","oss-aion-coverage-join.8eab5a6dbb":"processor","oss-aion-coverage-table.356f85e809":"één AION-envelop en routeringscontract","oss-aion-coverage-table.4f52f572dd":"zeven producentuitkomsten","oss-aion-coverage-table.2a268cd632":"ZEVEN PRODUCENTEN","oss-aion-coverage-table.8351372237":"eerst de uitkomst, dan de verifier van de certificaatfamilie","oss-aion-coverage-table.b7d5fe11a0":"Wat de zeven producenten achterlaten","oss-aion-coverage-table.f31a7c9011":"Solver","oss-aion-coverage-table.a194f815cb":"Haalbaar, onhaalbaar of optimaal","oss-aion-coverage-table.7ec93e2d31":"Bewijs, model, core, witness of grenswaarde","oss-aion-coverage-table.651e0f73b2":"Familiespecifieke solververifier","oss-aion-coverage-table.1e7d2f4a91":"Loom","oss-aion-coverage-table.b528b7907e":"Een conclusie uit opgegeven randvoorwaarden","oss-aion-coverage-table.9ac60dc1a8":"Afleiding van randvoorwaarden en teruggekomen solverbewijzen","oss-aion-coverage-table.d5ef792d46":"Verifier voor Loom-redeneringen","oss-aion-coverage-table.60c29da3e7":"Nexus","oss-aion-coverage-table.27d2bc17a2":"Een voltooide gereguleerde operatie","oss-aion-coverage-table.70d43be1ea":"Bevoegdheden, beleid, goedkeuringen, transities en ontvangstbewijzen","oss-aion-coverage-table.5372a8e90f":"Verifier voor Nexus-operaties","oss-aion-coverage-table.3b09f7e12a":"Kera","oss-aion-coverage-table.9b7a6dc145":"Een gecompileerd artefact","oss-aion-coverage-table.1f3e5d7c89":"Bronstructuur, transformaties, invarianten en artefactidentiteit","oss-aion-coverage-table.86ca1bd031":"Kera-compilatieverifier","oss-aion-coverage-table.58a1d0c2ef":"Selvedge","oss-aion-coverage-table.7fd4190ab5":"Een uitgevoerde workload","oss-aion-coverage-table.24f1ac9e33":"Module, invoer, bevoegdheden, transities, limieten en uitvoer","oss-aion-coverage-table.0f9ea21c74":"Selvedge-uitvoeringsverifier","oss-aion-coverage-table.4c8de09a52":"Twin","oss-aion-coverage-table.2a79c1ef50":"Een gesimuleerd traject","oss-aion-coverage-table.ef85239d10":"Modelidentiteit, parameters, toestand, controlepunten, invarianten en trajecthash","oss-aion-coverage-table.c5b7fe3198":"Verifier voor simulatie en FMI","oss-aion-coverage-table.4f371e00f3":"FMI","oss-aion-coverage-table.08d4a83332":"Een voltooide FMU-run","oss-aion-coverage-table.8f5753fba0":"FMU-identiteit, configuratie, stappen, events, convergentie en trace","oss-aion-coverage-table.4d64b5bbaf":"Verifier voor simulatie en FMI","oss-aion-coverage-table.7d1ab3c6e0":"Bewijs:","oss-aion-coverage-table.4e5bc7d129":"Verifier:","oss-aion-days-left.545fa01eea":"en het zegt het vóór de laatste dag","oss-aion-days-left.eaa861cef8":"dezelfde regel, vier keer gelezen","oss-aion-days-left.2017bddab0":"Vraag op elke dag en dezelfde regel doet de rekenkunde. Niets aan de vierde lezing\n is luider dan de eerste, alleen kleiner.","oss-aion-days-left.81b20537a7":"resterende ruimte, in dagen","oss-aion-days-left.0526dbf682":"DE KLOK","oss-aion-days-left.2f29339cb6":"dezelfde klok, vier dagen uit elkaar","oss-aion-days-left.47a76d1261":"Eén verzoek, vier lezingen","oss-aion-days-left.9dd1fe0fd2":"26 van de 30","oss-aion-days-left.f4c6daac2a":"dag 26","oss-aion-days-left.62f21454ca":"22 van de 30","oss-aion-days-left.4ad399ed8a":"dag 22","oss-aion-days-left.ae5a29afae":"16 van de 30","oss-aion-days-left.195b05cbbd":"dag 16","oss-aion-days-left.d31b7d0f91":"8 van de 30","oss-aion-days-left.185b76515a":"dag 8","oss-aion-days-left.2dd2bed725":"vandaag","oss-aion-dispute-parts.65edc28a9d":"het panel en de beslissing horen bij je eigen proces; het artefact blijft ongewijzigd","oss-aion-dispute-parts.e56cf65ada":"maar beslist het geschil niet","oss-aion-dispute-parts.37f322f735":"AION levert het bewijs,","oss-aion-dispute-parts.7b7570d892":"de beslissing","oss-aion-dispute-parts.52e3685580":"het venster","oss-aion-dispute-parts.7de929b394":"het panel","oss-aion-dispute-parts.2eba0fb6ad":"wat je eigen proces regelt","oss-aion-dispute-parts.ea4031d789":"welke verificateur, welke versie","oss-aion-dispute-parts.93be71a61d":"het contract","oss-aion-dispute-parts.48b63234e3":"aangewezen, niet samengevat","oss-aion-dispute-parts.cced6746e2":"het faalpunt","oss-aion-dispute-parts.2c9e8d06dd":"door iedereen opnieuw uit te voeren","oss-aion-dispute-parts.2e02032e1d":"de verificatie","oss-aion-dispute-parts.804e9af218":"producent en handtekening blijven intact","oss-aion-dispute-parts.69506051d5":"bewaard zoals het is geaccepteerd","oss-aion-dispute-parts.6b578cc32e":"het certificaat","oss-aion-dispute-parts.21df0b2530":"Wat AION bijdraagt","oss-aion-dispute-parts.4029dc5f44":"AION bewaart het certificaat zoals het is geaccepteerd. Het legt ook vast wie het resultaat heeft geproduceerd, zodat die toeschrijving behouden blijft als de leverancier wisselt. Iedereen kan de verificatie op verzoek opnieuw uitvoeren, zonder de producent. AION wijst het precieze faalpunt aan in plaats van zelf een oordeel te geven. Ook is zichtbaar welke verificateur het resultaat heeft geaccepteerd en onder welke contractversie. Het panel, de termijn en de beslissing blijven onderdeel van het proces dat je organisatie al hanteert. AION levert het artefact waarover dat proces beslist.","oss-aion-dispute-parts.434ae4f1d6":"AION heeft daarin een beperkte taak, en juist die is nuttig.","oss-aion-dispute-parts.3eb5567b60":"Werk dat de ene partij oplevert en waarop de andere vertrouwt, leidt vroeg of laat tot onenigheid over de kwaliteit. Dan geeft zelden het sterkste argument de doorslag. Doorslaggevend is of er een artefact bestaat dat beide partijen kunnen onderzoeken maar geen van beiden kan wijzigen. Juist de stukken die het geschil kunnen beslechten, zijn meestal in handen van een van die partijen.","oss-aion-dispute-parts.2ccc6715e9":"Geen beter argument.","oss-aion-dispute-parts.aa0d5ae0e6":"Voor een geschil is bewijs nodig.","oss-aion-dispute-parts.b4b6237893":"Wanneer iemand het oneens is","oss-aion-dispute-parts.eec3b038bd":"toeschrijving","oss-aion-dispute-parts.100ec4462d":"bewijs","oss-aion-envelope-fields.cfc233d284":"de envelop is nooit","oss-aion-envelope-fields.1c80a87a33":"de payload is familiespecifiek","oss-aion-envelope-fields.d85cb39036":"de familie, die de verificateur bepaalt","oss-aion-envelope-fields.a975c5af10":"Certificaattype","oss-aion-envelope-fields.4282e3d696":"benoemd, nooit impliciet","oss-aion-envelope-fields.0562f32dc5":"Afhankelijkheden","oss-aion-envelope-fields.ca2dc8737d":"welk systeem, welke versie","oss-aion-envelope-fields.7b7194967f":"Producent","oss-aion-envelope-fields.f33f785291":"waartegen het is gemaakt, en welke versie","oss-aion-envelope-fields.404e7d3e00":"Invoer en contract","oss-aion-envelope-fields.93a29173f5":"identificatie, en een payload of de hash ervan","oss-aion-envelope-fields.dc4e08a408":"Claim","oss-aion-envelope-fields.78e789d605":"CONTRACT","oss-aion-envelope-fields.d12a9ca770":"buiten de payload, elke familie","oss-aion-envelope-fields.f18dee6041":"De envelop","oss-aion-envelope-fields.f07e5a8156":"payload","oss-aion-evidence.cbf668da60":"Logbestanden","oss-aion-evidence.28e06c789a":"Een log laat zien dat het systeem draaide. Het laat niet zien hoe het tot het antwoord kwam, en een log kan stilletjes worden bewerkt.","oss-aion-evidence.c637aebe3a":"Ondoorzichtig","oss-aion-evidence.5c3fc92e3f":"Een betrouwbaarheidsscore","oss-aion-evidence.fd3c76543b":"Eén getal dat een interne toestand samenvat. Twee systemen kunnen dezelfde score tonen en tegenovergestelde conclusies trekken bij dezelfde invoer.","oss-aion-evidence.16f3dacf52":"Geen afleiding","oss-aion-evidence.7f34e37f1b":"Een zelf gegenereerde uitleg","oss-aion-evidence.361b70a63e":"Geschreven door hetzelfde model dat de beslissing nam. Het beoordeelt zijn eigen werk, dus het kan niet als onafhankelijk bewijs dienen.","oss-aion-evidence.782acc59ce":"Circulair","oss-aion-evidence.477416bf24":"Vertrouw de leverancier","oss-aion-evidence.1e84c62138":"Wanneer een toezichthouder, een patiënt of een rechter vraagt \"laat je werk zien\", is een service-level belofte geen antwoord dat ze kunnen controleren.","oss-aion-evidence.76afe0e09f":"Onverifieerbaar","oss-aion-evidence.06f2d5f1a8":"Een certificaat, geen bewering","oss-aion-evidence.cdcc6f712c":"AION geeft een bewijscertificaat mee met het antwoord. Het certificaat vermeldt elke redeneerstap in de volgorde waarin deze werd genomen.","oss-aion-evidence.6d1c5f470b":"Gecontroleerd door iemand anders","oss-aion-evidence.cc65178dc5":"Een aparte checker doorloopt de stappen en accepteert of wijst ze af. De partij die de vraag stelde, draait het zelf.","oss-aion-evidence.412a3b1e5e":"Later opnieuw uitvoerbaar","oss-aion-evidence.9082c552d2":"Hetzelfde certificaat wordt volgende maand op dezelfde manier gecontroleerd, op een andere machine en zonder toegang tot het oorspronkelijke systeem.","oss-aion-evidence.1206578b48":"laat je werk zien","oss-aion-evidence.494beafd71":"de auditvraag","oss-aion-evidence.bba8b0753d":"bewijs versus bewering","oss-aion-evidence.00e2ca4c85":"Wanneer een AI-beslissing een toezichthouder, een patiënt of een veiligheidsdossier bereikt, vraagt iemand","oss-aion-evidence.1defdb9d85":"hoe kwam het tot dit antwoord.","oss-aion-evidence.290a698043":"De meeste organisaties kunnen geen antwoord geven\n dat de vrager zelf kan controleren.","oss-aion-evidence.56f6624482":"Geen bewijs","oss-aion-evidence.a295517f40":"Wat er vandaag wordt aangeboden","oss-aion-evidence.7ea014de7b":"Bewijs","oss-aion-evidence.4cb1cd3e53":"Wat AION overhandigt","oss-aion-evidence.2a36a263da":"Bewijs wordt niet beweerd. Bewijs wordt gecontroleerd.","oss-aion-evidence.e0a4c0a385":"Onafhankelijke verificatie is het enige antwoord dat een auditor kan accepteren.","oss-aion-exact-sum.21aaad8129":"een negatieve vermenigvuldiger wordt geweigerd voordat de som wordt genomen, bij de eerste controle","oss-aion-exact-sum.3b267c2a81":"geen interne drijvende komma in die keten","oss-aion-exact-sum.1a43ebe28c":"dus het systeem wordt weerlegd","oss-aion-exact-sum.452308dbcd":"constante rest","oss-aion-exact-sum.35add33a7a":"wat overblijft","oss-aion-exact-sum.df326a819b":"y-termen vallen weg","oss-aion-exact-sum.dae482d4b2":"x-termen vallen weg","oss-aion-exact-sum.c36d183406":"tel de geschaalde ongelijkheden bij elkaar op","oss-aion-exact-sum.79e4c9d3fa":"schaal het","oss-aion-exact-sum.c3c4b24b20":"de twee ongelijkheden, alles aan één kant","oss-aion-exact-sum.b6b4c73115":"De som, volledig","oss-aion-exact-sum.c1c66bf52c":"De voorwaarden worden in volgorde gecontroleerd en elk is op zichzelf een weigering. Een negatieve vermenigvuldiger wordt geweigerd voordat er een som wordt genomen, omdat schalen met een negatief getal de ongelijkheid omdraait. Een som waarbij een variabele term overleeft, wordt geweigerd met vermelding van de overlevende term. Een som waarvan de resterende constante niet positief is, wordt geweigerd, omdat het niets bewijst. Een coëfficiënt boven de magnitude-guard veroorzaakt een overflow in plaats van omslag. Niets in die keten is een tolerantie.","oss-aion-exact-sum.6efbacfc5b":"Een rekenkundige weerlegging is een set vermenigvuldigers. Schrijf elke ongelijkheid met alles aan één kant van het teken, schaal het, tel de geschaalde ongelijkheden bij elkaar op, en als elke variabele term wegvalt en wat overblijft een positief getal is waarvan wordt gezegd dat het hoogstens nul is, kan dat niet gelden, dus kan het systeem waaruit het komt ook niet gelden. AION accepteert die vermenigvuldigers aan de grens en zet ze vóór de controle om naar een gedeclareerde adaptieve representatie met gehele getallen/vaste komma. Het slaat intern geen drijvende-kommawaarden op, telt ze niet op, berekent er niet mee en gebruikt ze ook niet als terugval. De breuk blijft hier zichtbaar omdat die de tegenspraak leesbaar maakt; voor de controle gelden de gedeclareerde omzetting en schaal.","oss-aion-exact-sum.31934abfaa":"De omzetting legt de schaal vast.","oss-aion-exact-sum.a3caf489e5":"Een derde is niet 0,333.","oss-aion-exact-sum.15e6a906dd":"Gedeclareerde adaptieve vaste-kommarekenkunde","oss-aion-exact-sum.108a35964a":"de som zegt 11/6 <= 0, wat onwaar is,","oss-aion-exact-sum.6045546490":"y - x + 1/3 <= 0","oss-aion-exact-sum.a9171dcc84":"x - y + 3/2 <= 0","oss-aion-exact-sum.0df9336e46":"3y - 3x + 1 <= 0","oss-aion-exact-sum.022fb6347f":"2x - 2y + 3 <= 0","oss-aion-exact-sum.fb360f9c09":"ja","oss-aion-exact-sum.c4c6c57253":"positief","oss-aion-exact-sum.b55e22fe78":"exact","oss-aion-exec-cert.6a230011ab":"iets anders controleert het","oss-aion-exec-cert.2c14724b1b":"de runtime heeft het geproduceerd","oss-aion-exec-cert.b07722ef0c":"de limiet","oss-aion-exec-cert.470b88b11e":"SELVEDGE","oss-aion-exec-cert.f40ef629a9":"module naar uitvoer","oss-aion-exec-cert.a7b63abc02":"Wat het certificaat draagt","oss-aion-exec-cert.e1bbfaa783":"De identiteit van wat eruit kwam, en of het vastliep.","oss-aion-exec-cert.59871c9494":"Uitvoer en status","oss-aion-exec-cert.ffb779a5c3":"De limieten waarbinnen het draaide, als grenzen in plaats van als waarnemingen.","oss-aion-exec-cert.ffbc724f07":"Resource-envelop","oss-aion-exec-cert.273c1da325":"Deterministisch, gegeven de module, de invoer en de rechten.","oss-aion-exec-cert.acee491c99":"Statustransities","oss-aion-exec-cert.eab885bbb2":"Wat het mocht bereiken, verklaard voordat het draaide.","oss-aion-exec-cert.dc009dc166":"Capaciteitstoekenningen","oss-aion-exec-cert.6f3eb29822":"Welke module, op basis van inhoudsadres, bij welke runtimeversie.","oss-aion-exec-cert.c201b4ae89":"Module-identiteit","oss-aion-executed-under.6b6dab207c":"Wat het certificaat toestaat","oss-aion-executed-under.1fcfedc78a":"wat het kon bereiken","oss-aion-executed-under.0338c5441d":"De vraag achteraf is autoriteit, en het certificaat draagt die.","oss-aion-executed-under.bc70ed4db9":"Vier grants gehouden en drie ingehouden.","oss-aion-executed-under.6f9d76b8c0":"De overgangen zijn deterministisch gegeven de module, de invoer en de grants, dus dit alles werd gevolgd zonder de workload ooit te draaien.","oss-aion-executed-under.e044b5f419":"De identiteit die het certificaat verklaart, is niet de identiteit die de overgangen produceren, dus de run wordt geweigerd bij de uitvoer. Alles ervoor reconstructeerde exact.","oss-aion-executed-under.7f0cc64ae8":"deterministische overgangen","oss-aion-executed-under.5fa4050afc":"capability-set, verklaard vóór de run","oss-aion-executed-under.844e9ed357":"klok, observe niet ingesteld","oss-aion-executed-under.b3ccbb4041":"geheugenplafond 512 MiB","oss-aion-executed-under.1fe892a96f":"één socket, 10.0.4.12:7443","oss-aion-executed-under.5028d1b23d":"lees /var/lib/claims","oss-aion-executed-under.7a02a68db0":"niet gehouden","oss-aion-executed-under.685706abcf":"uitvoeridentiteit verschilt","oss-aion-executed-under.6287ff317a":"geproduceerd","oss-aion-executed-under.0baff051a0":"verklaard","oss-aion-executed-under.1029d67644":"uitvoer","oss-aion-executed-under.fbd34a2b6e":"module","oss-aion-executed-under.910e029098":"illustratief","oss-aion-executed-under.df6fe4f714":"de mogelijkheid om na de run te blijven bestaan","oss-aion-executed-under.b51590997b":"elk ander adres","oss-aion-executed-under.e4e545e3b7":"al het andere op het bestandssysteem","oss-aion-fact-strip.0dc9622797":"Elk cijfer is terug te voeren naar de AION-repository.","oss-aion-fact-strip.b7feece146":"AION in cijfers","oss-aion-fact-strip.fedec331ff":"Bibliotheek, CLI en benchmark in één workspace","oss-aion-fact-strip.13a24daf03":"Implementatie","oss-aion-fact-strip.6b5eb5323e":"Rust","oss-aion-fact-strip.a19c9efbb4":"Binair, gehele getallen en adaptieve vaste komma; geen interne drijvende komma","oss-aion-fact-strip.5688a0448c":"Rekenkern","oss-aion-fact-strip.0cae74747c":"Exact","oss-aion-fact-strip.379c055f01":"Lineair in bewijslengte, offline, geen solver","oss-aion-fact-strip.04ce84fb6e":"Verificatiekosten","oss-aion-fact-strip.ebc75cd71f":"O(n)","oss-aion-fact-strip.6286c1b8ae":"LRAT, DRAT, Alethe, en een uniforme tussenvorm","oss-aion-fact-strip.e6c67de15e":"Bewijsformaten","oss-aion-fact-strip.3afae345cd":"PROP, LIA, NLA, BV, ARR, STR, FP, QF, TEMP, PROB, CONCUR","oss-aion-fact-strip.ebd82f704f":"Logische theorieën","oss-aion-failure-notice.d8164c5dd8":"een bevinding, geen geschil","oss-aion-failure-notice.159098bbba":"De andere start een argument dat niemand kan sluiten.","oss-aion-failure-notice.814fc5cd4f":"Een van deze kan op dinsdagmiddag naar een leverancier worden gestuurd.","oss-aion-failure-notice.2e6ea3eaa5":"kan niet worden toegewezen, kan niet worden geprijsd, kan niet precies worden betwist","oss-aion-failure-notice.e896d6344f":"verificatie mislukt","oss-aion-failure-notice.587270a2e4":"waar elk veld naartoe gaat","oss-aion-failure-notice.ba0f0eb3fe":"premisse niet aanwezig","oss-aion-failure-notice.0c2a7f4aef":"stap 415","oss-aion-failure-notice.55daa4a2ea":"de laatste vier stappen gelezen","oss-aion-failure-notice.ca548ed152":"17 maart 2026","oss-aion-failure-notice.3c05b129e2":"geen oordeel uitgebracht","oss-aion-failure-notice.aa943932a5":"weigeringsbericht","oss-aion-failure-notice.28fb3d519e":"gereconstrueerd","oss-aion-failure-notice.bd370d1b6f":"stap","oss-aion-failure-notice.910e029098":"illustratief","oss-aion-failure-notice.e6b658331e":"en niemand wordt beschuldigd","oss-aion-failure-notice.94002635cd":"jij, als het een afbakeningsvraag is","oss-aion-failure-notice.7ab178c9a0":"het soort","oss-aion-failure-notice.0d967ff8f3":"levert de ontbrekende premisse","oss-aion-failure-notice.b54c9b7359":"wie de stap heeft geproduceerd","oss-aion-failure-notice.94a94ba774":"de reden","oss-aion-failure-notice.ba3167e426":"bevestigt wat die stap zou moeten doen","oss-aion-failure-notice.32ec97b69b":"jouw regelseteigenaar","oss-aion-failure-notice.b543dc38fd":"de regel","oss-aion-failure-notice.ad866c4aef":"opent het bestand bij stap 415","oss-aion-failure-notice.06fddd86f6":"het leveranciersbewijsteam","oss-aion-failure-notice.aecf66bfac":"de locatie","oss-aion-failure-notice.1d7794c5e2":"geen uitspraak gedaan voor dit bewijs","oss-aion-failure-notice.f4475dac73":"gevolg","oss-aion-failure-notice.566c7d73a0":"de stap verwijst naar een premisse die niet in het bestand staat","oss-aion-failure-notice.7947e92e3c":"reden","oss-aion-failure-notice.5dfa011717":"regel, resolutie","oss-aion-failure-notice.64463af8a3":"414 geaccepteerd","oss-aion-failure-notice.c21ce4fb88":"stappen gelezen","oss-aion-failure-notice.2bf60a2164":"de leveranciersconflictanalyse voor de maart-regelset","oss-aion-failure-notice.335ce16b3f":"onderwerp","oss-aion-family-board.ca8f6715c8":"apart geversioneerd","oss-aion-family-board.e794ff76c1":"een schets die wacht op een verificateur","oss-aion-family-board.0f2e82af82":"Negen families delen één envelop en niets anders. De tiende is","oss-aion-family-board.ca6c6dda8e":"een verificateur, en een verklaarde regelset","oss-aion-family-board.c53186083e":"de tiende","oss-aion-family-board.0020359543":"ongeldige overgang, grant overschreden, uitvoer komt niet overeen, onvolledig spoor","oss-aion-family-board.187225126d":"weigeringstaxonomie","oss-aion-family-board.fac6c7230f":"speel de overgangen af tegen de verklaarde limieten en regelset","oss-aion-family-board.155e6164fc":"verificatie-algoritme","oss-aion-family-board.924f583920":"een deterministische overgangsreeks met invoer- en uitvoeridentiteiten","oss-aion-family-board.c0e6022509":"bewijsrepresentatie","oss-aion-family-board.927f6ddf1e":"deze workload draaide onder deze grants en bereikte deze uitvoer","oss-aion-family-board.79bf5b0ee6":"claimtype","oss-aion-family-board.131097a25c":"Runtime-uitvoering, v2","oss-aion-family-board.50b24e4d4c":"één plaat, geopend","oss-aion-family-board.803aa98470":"dat het opgeslagen record het geaccepteerde is","oss-aion-family-board.3e71ceb1ca":"Opslagintegriteit","oss-aion-family-board.f8603f4710":"dat het verklaarde model deze run produceerde","oss-aion-family-board.ccc3c9b41d":"Simulatie en FMI","oss-aion-family-board.d0c6b470a4":"dat het draaide binnen de grants die het kreeg","oss-aion-family-board.dc37599f99":"Runtime-uitvoering","oss-aion-family-board.4f059da0be":"dat het artefact de bron bewaart","oss-aion-family-board.aad755de42":"Compilatie","oss-aion-family-board.69ce9b9c4f":"dat de beheerde bewerking plaatsvond","oss-aion-family-board.ed87ca5ca0":"Organisatorisch","oss-aion-family-board.0dbf90d179":"dat de verklaarde afleiding reconstructeert","oss-aion-family-board.e272c597fd":"Redeneren","oss-aion-family-board.e79949ba43":"dat een eigenschap geldt over runs, niet één","oss-aion-family-board.bdb5a28846":"Temporale en hypereigenschap","oss-aion-family-board.b83c805a0a":"dat er niets beters bestaat binnen de grenzen","oss-aion-family-board.c794704381":"Optimalisatie","oss-aion-family-board.ede1ae7e54":"dat geen toewijzing aan de set voldoet","oss-aion-family-board.a04ce90d06":"Logica en vervulbaarheid","oss-aion-family-board.b98b54298f":"negen geregistreerd, één schets","oss-aion-family-board.6253e9d668":"Het familieboard","oss-aion-family-board.910e029098":"illustratief","oss-aion-family-registry.6e32650bab":"en een versie op allemaal","oss-aion-family-registry.dcd1f1fdc9":"vier verklaringen per familie","oss-aion-family-registry.3bc3fe987d":"De fouten die deze familie kan retourneren, elk met een locatie.","oss-aion-family-registry.d129426d71":"Weigeringstaxonomie","oss-aion-family-registry.d4504f5b41":"Wat de verificateur draait, en de regelset die hij accepteert.","oss-aion-family-registry.52ab770040":"Verificatie-algoritme","oss-aion-family-registry.4c9dd89c88":"Hoe het bewijs, de afleiding of het spoor wordt gedragen.","oss-aion-family-registry.016fecd943":"Bewijsrepresentatie","oss-aion-family-registry.ab1e33179a":"Wat deze familie vaststelt, en wat ze bewust niet doet.","oss-aion-family-registry.8a547220fc":"Claimtype","oss-aion-family-registry.37094b3cc5":"voordat het kan worden gecontroleerd","oss-aion-family-registry.b14e18379b":"REGISTER","oss-aion-family-registry.b3e4281358":"Wat een familie verklaart","oss-aion-family-registry.7efea8ff96":"onvolledig","oss-aion-family-registry.995fee1f1a":"niet ondersteund","oss-aion-family-registry.81f344a768":"ongeldig","oss-aion-foreign-proof.4c43cb0de1":"geen licentie, geen omgeving","oss-aion-foreign-proof.9406c96fa7":"vier dunne lijnen ertussen","oss-aion-foreign-proof.9fefe2d67f":"Vier soorten werk aan de ene kant, vier leesbare objecten aan de andere, en","oss-aion-foreign-proof.57802c0b4e":"De verificateur heeft de linkerkant nooit gedraaid, en dat hoeft ook niet.","oss-aion-foreign-proof.1dfc94b110":"één ontvangstbewijs","oss-aion-foreign-proof.cff5f15fed":"twee overgangen","oss-aion-foreign-proof.d58f13fb52":"autoriteitscontrole","oss-aion-foreign-proof.24ef006723":"autoriteit en ontvangstbewijzen","oss-aion-foreign-proof.933912faec":"agenten, coördinerend","oss-aion-foreign-proof.2ae1de46da":"staat blijft binnen de verklaarde envelop","oss-aion-foreign-proof.ed96565674":"checkpoints en een invariant","oss-aion-foreign-proof.0ae689c7bd":"integratiestappen","oss-aion-foreign-proof.f9020659b6":"kernelkeuze","oss-aion-foreign-proof.3e77a07952":"bewaarclaims","oss-aion-foreign-proof.2bb64b9b5b":"optimalisatiepasses","oss-aion-foreign-proof.c8b39aa910":"clausule-afleiding","oss-aion-foreign-proof.4da89bbc52":"solverzoekopdracht","oss-aion-foreign-proof.51339ff0ea":"het bewijs, op jouw machine","oss-aion-foreign-proof.4f45bf808d":"het werk, bij de producent","oss-aion-foreign-proof.c369931988":"vier lijnen, niets anders","oss-aion-foreign-proof.ec0b7e2c43":"Wat de grens overgaat","oss-aion-foreign-proof.44d74dd33f":"vormen","oss-aion-foreign-proof.e7b1fff700":"typen","oss-aion-foreign-proof.910e029098":"illustratief","oss-aion-formats.59748d73a4":"Bronformaat + Doelformaat","oss-aion-formats.318793af64":"LRAT en Alethe verifiëren in lineaire tijd offline. DRAT wordt gecontroleerd en daarna getrimd naar LRAT.\n Unified converteert verliesloos tussen hen.","oss-aion-formats.14a628e6d3":"Gecontroleerd door","oss-aion-formats.dda6ac27b9":"Verifiëren","oss-aion-formats.34556fa12c":"Formaatkaart","oss-aion-formats.e6c67de15e":"Bewijsformaten","oss-aion-formats.8a5e29e5bb":"verliesloze conversie","oss-aion-formats.ddb7c01560":"één bron, vier vormen","oss-aion-formats.f2098896de":"aion-proofs / format.rs","oss-aion-formats.fdd3787f6c":"[ \"lrat\", \"drat\" ]","oss-aion-formats.29c720a7b8":"# uniform tussenbewijs","oss-aion-formats.0d3311a5dc":"aion-proofs converter","oss-aion-formats.1f5124d90b":"Geconverteerd bij export","oss-aion-formats.8c21b7e1f1":"De interne representatie die verliesloos converteert tussen de anderen.","oss-aion-formats.ebb8e8cf49":"Tussenvorm","oss-aion-formats.287fda8114":"Geünificeerd","oss-aion-formats.6d56822b09":"(h1 h2))","oss-aion-formats.87d27a2d97":"t3 (cl Q) ","oss-aion-formats.6d3a4ab6e5":"(=> P Q))","oss-aion-formats.ec18650019":"cvc5, Carcara","oss-aion-formats.0cdb7c9a36":"Lineaire tijd, offline","oss-aion-formats.f6f7b642b0":"Het SMT-LIB community-formaat uit de cvc5- en veriT-lijn.","oss-aion-formats.4aa5db37af":"SMT-bewijs","oss-aion-formats.72e8e24f69":"Alethe","oss-aion-formats.dc085eadad":" drat add en delete regels","oss-aion-formats.f3ba7f38e9":"drat-trim naar LRAT","oss-aion-formats.36f33c83a6":"Gecontroleerd, daarna getrimd","oss-aion-formats.4745aebc97":"Clausale toevoeging en verwijdering. De formaatcheckers trimmen naar LRAT.","oss-aion-formats.154df3dc2f":"SAT-certificaat","oss-aion-formats.6b1e5a7eb4":"DRAT","oss-aion-formats.7dc15f2303":" lege clausule afgeleid","oss-aion-formats.6fd630d612":" lrat met unit-propagation hints","oss-aion-formats.852b2d30af":"drat-trim, lrat-check, gratchk","oss-aion-formats.0cd67e795b":"Industriestandaard resolutiebewijzen voor de propositionele kern.","oss-aion-formats.479769609f":"LRAT","oss-aion-four-gates.2a14561491":"een bestand dat nooit sluit","oss-aion-four-gates.0ff8f0eb5a":"en nog een aan het einde","oss-aion-four-gates.a1ebd8379f":"vóór stap 1","oss-aion-four-gates.b161dbb47d":"Het bestand wordt eerst gescand op een herhaald stapnummer.","oss-aion-four-gates.21e412d2d0":"Twee stappen, één nummer","oss-aion-four-gates.5a34347cc0":"ALETHE","oss-aion-four-gates.8ace427112":"en één vóór allemaal","oss-aion-four-gates.e74bdcd46a":"Vier tests, in deze volgorde","oss-aion-four-gates.fef891bb33":"stap 15","oss-aion-four-gates.cc90eb3e73":"Geen routine voor de naam. Het lezen stopt in plaats van over te slaan.","oss-aion-four-gates.787e8a8577":"Regel onbekend","oss-aion-four-gates.e70c55582f":"stap 52","oss-aion-four-gates.59446cbcf9":"Een premisse die aanwezig is, maar genummerd boven de stap die ernaar verwijst.","oss-aion-four-gates.f1604fe1aa":"Buiten volgorde geciteerd","oss-aion-four-gates.a42f56e597":"stap 44","oss-aion-four-gates.371b9613cc":"Een geciteerd nummer dat nergens in het bestand staat.","oss-aion-four-gates.1d1369a316":"Premisse afwezig","oss-aion-four-gates.e1391a7c80":"stap 31","oss-aion-four-gates.9a7512e955":"Een stap die op zijn eigen conclusie staat. Eerst gevraagd, van elke stap.","oss-aion-four-gates.7f30dfcc04":"Citeert zichzelf","oss-aion-governed-operation.b0582e8559":"Eén handeling, gecontroleerd","oss-aion-governed-operation.8af7f1d469":"beheerd, daarna gecontroleerd","oss-aion-governed-operation.ada470c3d7":"Een keten en de verificatie ervan zijn twee verschillende autoriteiten.","oss-aion-governed-operation.90fba649e4":"Vier items gereconstrueerd, en de vijfde stopt het lezen.","oss-aion-governed-operation.ea8356461f":"niet in dit certificaat: wat een agent dacht","oss-aion-governed-operation.2f68c232b4":"De beleidsversie die het certificaat verklaart, draagt niet de voorwaarde die deze gate beweert te hebben toegepast. De bewerking wordt bij dat item geweigerd, en er wordt geen oordeel over het geheel uitgebracht.","oss-aion-governed-operation.be51277bfd":"niet bereikt","oss-aion-governed-operation.57b160e317":"de doorgang van de verificateur, op eigen autoriteit","oss-aion-governed-operation.26f017e3e6":"geaccepteerd, ref 4471-b","oss-aion-governed-operation.34c3c00446":"ontvangstbewijs geregistreerd","oss-aion-governed-operation.159338740e":"betaalinstructie, ledger-systeem","oss-aion-governed-operation.80f6148b56":"actie uitgevoerd","oss-aion-governed-operation.458c8c203d":"aan de actie, niet aan een bericht er dichtbij","oss-aion-governed-operation.1b4dcda6ba":"goedkeuring bijgevoegd","oss-aion-governed-operation.303418bf06":"boven 50 000 is een tweede fiatteur nodig","oss-aion-governed-operation.faf1f5eb4b":"beleidsgate","oss-aion-governed-operation.557df801be":"taakovergangen","oss-aion-governed-operation.b1c842256e":"claimsbehandelaar","oss-aion-governed-operation.59bef6c3e5":"autoriteit opgelost","oss-aion-governed-operation.0639a9efd0":"vier agenten, ongelijke reikwijdte","oss-aion-governed-operation.8e44be8724":"organisatie gevormd","oss-aion-governed-operation.139146ad26":"beleid v4.2","oss-aion-governed-operation.8524f08438":"de leveranciersclaims van het kwartaal afhandelen","oss-aion-governed-operation.cab7375bdf":"de bewerking, zoals Nexus die uitvoerde","oss-aion-governed-operation.82c8154dca":"geweigerd bij de gate","oss-aion-governed-operation.a503bc1da2":"geweigerd","oss-aion-governed-operation.28fb3d519e":"gereconstrueerd","oss-aion-governed-operation.45807bf2ec":"afgehandeld","oss-aion-governed-operation.fb92f3f834":"beoordeeld","oss-aion-governed-operation.590abaace4":"geopend","oss-aion-governed-operation.d2dc873868":"objectief","oss-aion-governed-operation.910e029098":"illustratief","oss-aion-harness-fields.d5ad303466":"en een nummer dat je kunt citeren","oss-aion-harness-fields.5a31ca3c0f":"jouw corpus, jouw hardware","oss-aion-harness-fields.58664673b0":"Over het hele corpus afgedrukt aan het einde van de run.","oss-aion-harness-fields.6197b910db":"Een correcte telling","oss-aion-harness-fields.175226a475":"Vergeleken met de status die in het bestand zelf is vastgelegd.","oss-aion-harness-fields.d787e678da":"Antwoord tegen status","oss-aion-harness-fields.b5ec587356":"De zoekopdracht zelf, per instantie, niet weggemiddeld.","oss-aion-harness-fields.1bd5a36ade":"5,62 s","oss-aion-harness-fields.440f019938":"Oplossingstijd","oss-aion-harness-fields.bec737ff93":"Hoe lang het bestand nodig had om te lezen, apart gehouden van het oplossen.","oss-aion-harness-fields.f2fedd3be1":"0,84 s","oss-aion-harness-fields.9ae1441e59":"Parseertijd","oss-aion-harness-fields.20e5752f58":"Het hoogste punt, zodat een capaciteitsplan een getal heeft.","oss-aion-harness-fields.0f93e8ac09":"1,9 GB","oss-aion-harness-fields.2ecefe98c3":"Piek resident geheugen","oss-aion-harness-fields.b660370132":"één bestand uit je corpus","oss-aion-harness-fields.ec845d015d":"per instantie, daarna opgeteld","oss-aion-harness-fields.a94252fbc5":"HARNESS","oss-aion-harness-fields.1af45602c5":"Wat één run registreert","oss-aion-harness-fields.b3cbdd75cb":"weerlegd","oss-aion-harness-fields.48a3661d84":"status","oss-aion-harness-fields.25dc282b5a":"antwoord","oss-aion-harness-fields.a0299ff49d":"case-0417","oss-aion-hero-glyph.brandLabel":"AION","oss-aion-hero-glyph.9476d3834d":"Oplossen...","oss-aion-hero-glyph.3d08723a54":"Resultaat: SAT","oss-aion-hero-glyph.9e1279af1f":"Model:","oss-aion-hero-glyph.45dcf6e46f":" x = 1","oss-aion-hero-glyph.81ef4e711c":" y = 3","oss-aion-hero-glyph.70f4daaa7f":"Tijd: 4ms","oss-aion-hero-glyph.138243f0f4":"Resultaat: UNSAT","oss-aion-hero-glyph.a61b6226ca":"Bewijs: 128 stappen","oss-aion-hero-glyph.41294a8dc8":"Bewijs geschreven naar: proof.alethe","oss-aion-hero-glyph.c73f3eba85":"aion-cli check proof.alethe","oss-aion-hero-glyph.cf2b6bfeba":"Bewijs controleren: proof.alethe","oss-aion-hero-glyph.72e8e24f69":"Alethe","oss-aion-hero-glyph.70142f344c":"Parsen: OK","oss-aion-hero-glyph.27d28e3ca9":"Bewijs heeft 128 stappen","oss-aion-hero-glyph.1ba94dea63":"Bewijsstatistieken:","oss-aion-hero-glyph.e1b3c4d7c5":" Totaal stappen: 128","oss-aion-hero-glyph.e30b86fef9":" Resolutiestappen: 71","oss-aion-hero-glyph.8215376faf":" Rekenkundige stappen: 24","oss-aion-hero-glyph.552f29f0b5":" Maximale clausulegrootte: 6","oss-aion-hero-glyph.fc539fcf62":"Bewijsverificatie: GESLAAGD","oss-aion-hero-glyph.1e4bdfb80c":"Verificatietijd: 2ms","oss-aion-hero-glyph.adf0423d63":"aion-cli v0.1.0","oss-aion-hero-glyph.e01fa717ba":"Offline","oss-aion-hero-glyph.9ce3bd4224":"OK","oss-aion-hero-glyph.46d61005d2":"echo $?","oss-aion-hero-glyph.bb7a461c7e":"CDCL + theorie","oss-aion-hero-glyph.6ba46a924e":"adaptieve vaste komma","oss-aion-hero-glyph.a9f24b1b66":"lineaire controle","oss-aion-hero-glyph.6b5eb5323e":"Certificaat gekoppeld","oss-aion-how-to-check.c799cc998b":"Resultaat: dit klopt.","oss-aion-how-to-check.6bb380a084":"url(#aionCheckArrow)","oss-aion-how-to-check.2a8505d7ae":"De eerste machine geeft zijn bonnetje aan een aparte helper, die het controleert","oss-aion-how-to-check.d026bcfccb":"Het resultaat is simpel: het bonnetje klopt of niet. Geen misschien.","oss-aion-how-to-check.d0c84a5a37":"De controle gebeurt ter plekke. Er wordt niets weggestuurd en er is geen website nodig.","oss-aion-how-to-check.623151a710":"De helper die controleert is niet de machine die antwoord gaf. Die kan niet zomaar met zichzelf instemmen.","oss-aion-how-to-check.87e974a415":"leest het en controleert het","oss-aion-how-to-check.3c487e646c":"Een tweede helper","oss-aion-how-to-check.78829f8a37":"de stappen, opgeschreven","oss-aion-how-to-check.9b7b265fbb":"Het bonnetje","oss-aion-how-to-check.f58fd2cb80":"geeft een antwoord en een bonnetje","oss-aion-how-to-check.50e90303d4":"De eerste machine","oss-aion-integration.b1873dbd42":"Eén engine, geen externe dienst. Koppel de crate, pin een versie en controleer certificaten in dezelfde omgeving.","oss-aion-integration.5f2e7d7c25":"Hetzelfde bewijscertificaat vanaf elk oppervlak. Een query erin, een controleerbaar certificaat eruit.","oss-aion-integration.a4db3ae8b6":"Hoe je het aanroept","oss-aion-integration.4ec6d609ab":"Begin met één beslispad","oss-aion-integration.559461e293":"bibliotheek, CLI, bench","oss-aion-integration.0228a4c724":"Iedereen kan een certificaat controleren met aion check, of met een onafhankelijke LRAT- of Alethe-checker, op hun eigen machine.","oss-aion-integration.dda6ac27b9":"Verifiëren","oss-aion-integration.4d2c6036eb":"Zet aion-cli achter een eigen service. Het bewijscertificaat is het contract dat de service teruggeeft.","oss-aion-integration.c3447e7954":"Inpakken","oss-aion-integration.f9109d0f04":"Voeg de crate toe aan een bestaande Rust-applicatie en geef certificaten inline mee met de antwoorden die het al produceert.","oss-aion-integration.ad02e14e28":"Inbedden","oss-aion-integration.e9aa1595fb":"cargo run --bin aion-bench","oss-aion-integration.5c37a2d6a3":"Een speciale benchmark binary wordt meegeleverd in de workspace. Meet solve en check op je eigen hardware in plaats van een leverancierscijfer te vertrouwen.","oss-aion-integration.bfaafd85c5":"aion check proof.alethe","oss-aion-integration.5cdc74edf9":"Stuur AION aan vanuit een shell of een CI-job. solve voert een query uit, check verifieert een bewijscertificaat offline, en prove geeft er een uit. Dezelfde proof output als de bibliotheek.","oss-aion-integration.561e084d49":"use aion::Solver;","oss-aion-integration.f0fef01894":"Koppel AION als crate en roep de solver en proof emitter direct aan. De kernel, de theories en de proof formats zijn allemaal in-process, zonder service die opgezet moet worden.","oss-aion-integration.8319d9b3b9":"Rust-bibliotheek","oss-aion-live-margins.df15dfd304":"één daarvan is een actie","oss-aion-live-margins.96576608a5":"drie daarvan zijn metingen","oss-aion-live-margins.5711ac01c1":"BIJGEHOUDEN","oss-aion-live-margins.f719aa9511":"verstreken tegen toegestaan","oss-aion-live-margins.a344938438":"Vier verplichtingen","oss-aion-live-margins.19e5ecc09e":"zelfde dag, bij het evenement","oss-aion-live-margins.828697f103":"Overdrachtsrecord","oss-aion-live-margins.222af170d9":"44 dagen van 30, nog open","oss-aion-live-margins.a441e09d1a":"Bewaartermijn","oss-aion-live-margins.30e04c8f23":"2 dagen van 3","oss-aion-live-margins.20d6944505":"Meldplicht datalek","oss-aion-live-margins.9b9419d2e2":"26 dagen van 30","oss-aion-live-margins.6e7d6c760b":"Reactie op betrokkene","oss-aion-nothing-outbound.45b9d8acdc":"geen uitgaande client","oss-aion-nothing-outbound.5b16b5db9a":"Elk pad begint en eindigt binnen een lijn die jij trok.","oss-aion-nothing-outbound.59a0768496":"Niets op dit blad reikt verder dan de omtrek.","oss-aion-nothing-outbound.71c31d8219":"een lokaal proces op deze machine","oss-aion-nothing-outbound.605f85e28f":"een externe prover","oss-aion-nothing-outbound.150bc2359d":"één subnet, door jou ingesteld","oss-aion-nothing-outbound.5193678a39":"clusteradressen","oss-aion-nothing-outbound.49c4e670b3":"jouw netwerk","oss-aion-nothing-outbound.273ca4c134":"wat je configureert","oss-aion-nothing-outbound.7f8d7aeedb":"vijf rijen","oss-aion-nothing-outbound.bcec1ac359":"wat dit pad toevoegt aan je register","oss-aion-nothing-outbound.4553aa0c94":"de lokale opslag","oss-aion-nothing-outbound.93d65d8ef8":"het archief","oss-aion-nothing-outbound.760cfc52ce":"de checker","oss-aion-nothing-outbound.6621d172f5":"de regelset die wordt gelezen","oss-aion-nothing-outbound.565f3cfc6a":"het certificaat dat wordt gecontroleerd","oss-aion-nothing-outbound.284f61c8db":"jouw site, jouw hardware","oss-aion-nothing-outbound.f368a04bb8":"één grens, en die is van jou","oss-aion-nothing-outbound.5c795b7e7d":"geen pad verlaat","oss-aion-nothing-outbound.4f98b1412d":"Niets verlaat de perimeter","oss-aion-nothing-outbound.4539d6d0b5":"cvc5","oss-aion-nothing-outbound.186c8cd284":"De build die je vasthoudt verandert niet onder je.","oss-aion-nothing-outbound.07b9a651d1":"Een leveranciersreleaseplanning om bij te houden","oss-aion-nothing-outbound.8fa0bea3f8":"Geen enkele dienst van ons zit op het pad.","oss-aion-nothing-outbound.11449c8bd3":"Een beschikbaarheidsafhankelijkheid om vast te leggen","oss-aion-nothing-outbound.66506ab77b":"Er wordt geen model aangeroepen.","oss-aion-nothing-outbound.af474ee96b":"Een modelleverancier om te beoordelen","oss-aion-nothing-outbound.f2250926d2":"Niets verlaat de grens.","oss-aion-nothing-outbound.e80e5b3403":"Een grensoverschrijdende overdracht om te rechtvaardigen","oss-aion-nothing-outbound.0bd87fb406":"Geen processor op dit pad.","oss-aion-nothing-outbound.9494490634":"Een processor om toe te voegen","oss-aion-obligation-calendar.366609b500":"marge, geen alarm","oss-aion-obligation-calendar.3c8532b3c7":"De regel in het midden is waar de goedkope oplossing niet meer beschikbaar was.","oss-aion-obligation-calendar.949b1361f5":"Beide cijfers zijn metingen die iedereen vanochtend kan nemen.","oss-aion-obligation-calendar.7758d9c282":"actie vereist","oss-aion-obligation-calendar.4ebebe0b7c":"-14 dagen","oss-aion-obligation-calendar.6937bf485d":"gestart vóór deze maand","oss-aion-obligation-calendar.37ed878825":"bewaartermijn","oss-aion-obligation-calendar.3974c3ac47":"+4 dagen","oss-aion-obligation-calendar.aa69fdaab6":"geopend, 30 dagen toegestaan","oss-aion-obligation-calendar.c6727ea40c":"reactie op betrokkene","oss-aion-obligation-calendar.51269d14af":"laatste dag dat dit nog een middag werk was","oss-aion-obligation-calendar.96a8ebf797":"illustratieve datums","oss-aion-obligation-calendar.fdcce3f37e":"één is over de datum","oss-aion-obligation-calendar.11ddafb2cc":"Eén maand verplichtingen","oss-aion-obligation-calendar.a2620cbc10":"dag","oss-aion-one-contract-six.d3926ca64d":"één register, één getroffen set","oss-aion-one-contract-six.c4d72c2328":"Hun bewijs volgt één AION-envelop.","oss-aion-one-contract-six.a7e545052a":"De producentuitkomsten blijven verschillend.","oss-aion-one-contract-six.5cbf78425a":"één regel verandert, controleer de getroffen records opnieuw","oss-aion-one-contract-six.f5c6772ad7":"één wachtrij voor hercontrole","oss-aion-one-contract-six.d3516bd6ea":"één register- en opslagrecord","oss-aion-one-contract-six.2ec012da6f":"één AION-envelop","oss-aion-one-contract-six.2c653cc8fa":"dezelfde zeven producenten, via één AION-envelop","oss-aion-one-contract-six.725c682066":"verschillende uitkomsten, familiespecifieke verifiers","oss-aion-one-contract-six.cddf74f2cf":"zeven producentuitkomsten","oss-aion-one-contract-six.f063fe5bcd":"zeven uitkomsten boven, één envelop eronder","oss-aion-one-contract-six.c34e6d1a39":"zeven producenten, één bewijsenvelop","oss-aion-one-contract-six.910e029098":"illustratief","oss-aion-one-contract-six.67bb73569c":"een simulatiecertificaat","oss-aion-one-contract-six.7966a9fa49":"een compilatiecertificaat","oss-aion-one-contract-six.1111f590cc":"een organisatiecertificaat","oss-aion-one-contract-six.293194c28e":"een redeneercertificaat","oss-aion-one-contract-six.8aa194122c":"een logisch bewijsrecord","oss-aion-one-contract-six.30870de828":"modelidentiteit, parameters, toestand, controlepunten, invarianten en trajecthash","oss-aion-one-contract-six.efa8fe1aa5":"Twin","oss-aion-one-contract-six.4f214be74c":"module, invoer, bevoegdheden, transities, limieten en uitvoer","oss-aion-one-contract-six.de6848949f":"Selvedge","oss-aion-one-contract-six.493f0c1cce":"bronstructuur, transformaties, invarianten en artefactidentiteit","oss-aion-one-contract-six.d5f412e831":"Kera","oss-aion-one-contract-six.42f9cb62ab":"bevoegdheden, beleid, goedkeuringen, transities en ontvangstbewijzen","oss-aion-one-contract-six.485a04fef4":"Nexus","oss-aion-one-contract-six.00f76943a3":"afleiding van randvoorwaarden en teruggekomen solverbewijzen","oss-aion-one-contract-six.0fed3b96cc":"Loom","oss-aion-one-contract-six.64d41988f3":"bewijs, model, core, witness of grenswaarde","oss-aion-one-contract-six.fde68155d3":"Solver","oss-aion-one-contract-six.71c9a5c1a1":"Haalbaar, onhaalbaar of optimaal","oss-aion-one-contract-six.8f7924f6f5":"Familiespecifieke solververifier","oss-aion-one-contract-six.2e9d2d4990":"Een conclusie uit opgegeven randvoorwaarden","oss-aion-one-contract-six.0e7a123b77":"Verifier voor Loom-redeneringen","oss-aion-one-contract-six.3c1a0d119e":"Een voltooide gereguleerde operatie","oss-aion-one-contract-six.6c2ed5435d":"Verifier voor Nexus-operaties","oss-aion-one-contract-six.07b127b70d":"Een gecompileerd artefact","oss-aion-one-contract-six.4f9018da9e":"Kera-compilatieverifier","oss-aion-one-contract-six.1f42a0b0ce":"Een uitgevoerde workload","oss-aion-one-contract-six.5a3c8f1f84":"Selvedge-uitvoeringsverifier","oss-aion-one-contract-six.8879cc2e8a":"Een gesimuleerd traject","oss-aion-one-contract-six.0d72478caf":"Verifier voor simulatie en FMI","oss-aion-one-contract-six.4f371e00f3":"FMI","oss-aion-one-contract-six.08d4a83332":"Een voltooide FMU-run","oss-aion-one-contract-six.8f5753fba0":"FMU-identiteit, configuratie, stappen, events, convergentie en trace","oss-aion-one-contract-six.4d64b5bbaf":"Verifier voor simulatie en FMI","oss-aion-one-contract-six.6f99b37c1c":"Claim","oss-aion-one-contract-six.4cb3ee8fa2":"Bewijs","oss-aion-one-contract-six.0f3253d8d8":"Verifier","oss-aion-one-envelope.3b24a9a880":"acht velden, versiebeheerd","oss-aion-one-envelope.a348113c09":"welke\n verificateur het leest.","oss-aion-one-envelope.08ace6c26e":"één veld beslist","oss-aion-one-envelope.396e2145f9":"Vier soorten bewijs, één opening, en","oss-aion-one-envelope.dc1a7be459":"rustte op de tweede","oss-aion-one-envelope.ddc01a5859":"trajectclaim","oss-aion-one-envelope.7f211a50e2":"parameterset","oss-aion-one-envelope.8f2aa45103":"modelidentiteit","oss-aion-one-envelope.23e75e07fb":"gekozen door het certificaattypeveld, niet door wie het stuurde","oss-aion-one-envelope.4e4dc30b71":"welke verificateur het leest","oss-aion-one-envelope.c8c687f0ff":"dezelfde opening, elke keer","oss-aion-one-envelope.b5a871e570":"een stapel bonnen","oss-aion-one-envelope.f90f47de4d":"een reeks overgangen","oss-aion-one-envelope.3116f117c0":"een passtabel","oss-aion-one-envelope.134483f4a2":"een clausulebewijs","oss-aion-one-envelope.93a8ee0c5f":"wat erin gaat","oss-aion-one-envelope.582a139a7d":"gerouteerd op type","oss-aion-one-envelope.6b9805fe87":"Eén envelop, vier payloads","oss-aion-one-envelope.3dde401523":"runtime-uitvoering","oss-aion-one-envelope.708563c595":"ed25519, geverifieerd","oss-aion-one-envelope.f2e0576c5b":"twee, hieronder genoemd","oss-aion-one-envelope.f7b7603261":"verzegeld, 41 kB","oss-aion-one-envelope.15aae6195c":"certificaatpayload","oss-aion-one-envelope.6732222b05":"certificaattype","oss-aion-one-envelope.555863b513":"selvedge 2.8.1","oss-aion-one-envelope.c4aad28a8b":"contractversie","oss-aion-one-envelope.b578b9727d":"geen dubbele factuur in periode 2026-06","oss-aion-one-envelope.a503bc1da2":"geweigerd","oss-aion-one-envelope.51c817ab85":"geaccepteerd","oss-aion-one-envelope.495117c360":"afhankelijkheden","oss-aion-one-envelope.910e029098":"illustratief","oss-aion-one-field-apart.e704601d64":"de as, geen steekproef","oss-aion-one-field-apart.5c256bca81":"De uitkomst bewoog mee, en dat is een bevinding, geen statistiek.","oss-aion-one-field-apart.7a1e726c2f":"Twee aanvragen identiek in elk openbaar veld, één nummer verschil.","oss-aion-one-field-apart.084f6c9ebe":"elk paar dat de regels toestaan","oss-aion-one-field-apart.ddaee9368d":"duizend gevallen getest","oss-aion-one-field-apart.4c4ccacd1b":"een paar dat je in een bestand kunt zetten","oss-aion-one-field-apart.6fddc6a6d1":"band B,","oss-aion-one-field-apart.dbf68713b1":"dezelfde lijn, opgestapt","oss-aion-one-field-apart.8c6c701170":"het geval dat faalt","oss-aion-one-field-apart.0f9dcd24f1":"uitkomst hing niet af van dit veld","oss-aion-one-field-apart.154b3f8e44":"band B, 3 aanbiedingen","oss-aion-one-field-apart.4392f1d89c":"één lijn, geen stap","oss-aion-one-field-apart.02de2da27e":"het geval dat standhoudt","oss-aion-one-field-apart.b7de103af7":"brutosalaris, aan elke kant vrij gelaten","oss-aion-one-field-apart.c86b5b3346":"aan beide kanten gelijk","oss-aion-one-field-apart.54bb687f85":"illustratieve aanvragen","oss-aion-one-field-apart.b69108366c":"uitkomst stapt bij het paar","oss-aion-one-field-apart.e79b0df746":"Eén veld verschil","oss-aion-one-field-apart.e1fef06921":"aanbiedingen","oss-aion-one-field-apart.8699f2b04f":"vast","oss-aion-one-field-apart.06e3125012":"dienstverband","oss-aion-one-field-apart.305fa62f02":"30 tot 39","oss-aion-one-field-apart.c6a0c81b25":"leeftijdsgroep","oss-aion-one-field-apart.61a7508ed1":"basis","oss-aion-one-field-apart.38a007151a":"product","oss-aion-one-field-apart.a59ba24d63":"NL","oss-aion-one-field-apart.a94a58406e":"regio","oss-aion-one-word.95fa084cc9":"één daarvan controleert AION","oss-aion-one-word.ce157273ec":"drie daarvan geloof je","oss-aion-one-word.a04376ab99":"en wat je ermee kunt doen","oss-aion-one-word.1a5b0d2471":"DE KLOOF","oss-aion-one-word.69dc71b6f9":"Waarmee een resultaat komt","oss-aion-one-word.8d40d2bfcc":"Getypeerde claims, elk met een regel, overgang of premisse.","oss-aion-one-word.2f8acfe792":"Een certificaat","oss-aion-one-word.b04dce1dd0":"Hoe lang het duurde om zeker te zijn. Zekerheid is niet de vraag.","oss-aion-one-word.7eb987f893":"Een duur","oss-aion-one-word.8388e9c8ba":"Wat het systeem deed. Niet waarom de conclusie volgt.","oss-aion-one-word.40d0f0d4b5":"Een log","oss-aion-one-word.e7597ba59a":"unsat, gecompileerd, veilig, goedgekeurd. Niets om het mee oneens te zijn.","oss-aion-one-word.ae976ad8e9":"Eén woord","oss-aion-org-cert.dd25bad09c":"en elk wordt gecontroleerd","oss-aion-org-cert.e8add8f2b8":"organisatie, rollen, taken en goedkeuringen vullen de gaten","oss-aion-org-cert.abf754be72":"NEXUS","oss-aion-org-cert.5a334593f4":"doelstelling tot ontvangst","oss-aion-org-cert.0a629276bf":"Acht items in de keten","oss-aion-org-cert.51e6694762":"Wat er daadwerkelijk buiten is gedaan, en wat er terugkwam.","oss-aion-org-cert.4f0a23ec14":"Acties en ontvangstbewijzen","oss-aion-org-cert.b249df120c":"Elke grens die het werk overschreed, en wat die passeerde.","oss-aion-org-cert.5eaad4eb5f":"Gepasseerde poorten","oss-aion-org-cert.aba30ac5b8":"Welke rol wat vasthield, op het moment dat de actie werd geprobeerd.","oss-aion-org-cert.145ae750ce":"Autoriteit vastgesteld","oss-aion-org-cert.f8a4dc9c6b":"Wat werd geprobeerd, onder welke beleidsversie.","oss-aion-org-cert.63fbd2b7ee":"Doel en beleid","oss-aion-pipeline.b07bbe8800":"Propositionele kern","oss-aion-pipeline.81f811c968":"Een conflict-driven clause-learning search over het Booleaanse skelet. Het beslist, propageert, raakt een conflict, leert een clause en backjumpt. Binaire, gehele en adaptieve vaste-kommawaarden liggen onder de beslissingsprocedure; in de rekenkundige kern worden geen drijvende-kommawaarden opgeslagen, opgeteld of als terugval gebruikt.","oss-aion-pipeline.dc0dd5bc07":"beslissingen en geleerde clauses","oss-aion-pipeline.0c5ad3c30f":"Theory-plugins","oss-aion-pipeline.f3a7990ab0":"De kern geeft een gedeeltelijke toewijzing aan de theory-laag. Rekenkunde, bitvectors, arrays en strings redeneren in hun eigen domeinen en geven propagaties en conflicten terug. Externe drijvende-kommainvoer wordt aan de grens gedecodeerd naar binaire velden of naar een gedeclareerde vaste-kommaschaal voordat die bij de controle komt. De kernel host deze reasoners; temporele en programmatheorieën leven in companion crates.","oss-aion-pipeline.9d1b00d225":"theory-lemma's en conflicten","oss-aion-pipeline.fa6a461dcc":"Bewijsuitvoer","oss-aion-pipeline.b3ca95c05c":"Elke stap die de engine zet, elke resolutie en elk theory-lemma worden op het moment zelf door de proof emitter vastgelegd. Het resultaat is een geordende afleiding die een aparte checker aan de hand van de premissen kan herspelen.","oss-aion-pipeline.17ac98f8af":"een geordende afleiding","oss-aion-pipeline.26d98dc390":"Formaatexport","oss-aion-pipeline.a79251f54d":"De afleiding wordt weggeschreven als LRAT, DRAT of Alethe, of bewaard in de uniforme tussenvorm. LRAT bevat unit-propagation hints, wat offline checking lineair maakt in de lengte van het bewijs.","oss-aion-pipeline.8c3cee1cd3":"een draagbaar certificaat","oss-aion-pipeline.77ec79ed26":"beslissing naar certificaat","oss-aion-pipeline.c320454a47":"CDCL + theorie + zender","oss-aion-pipeline.a618b4be8d":"Query","oss-aion-pipeline.10de46b3b3":"Certificaat","oss-aion-pipeline.62923220ae":"Gehele getallen / vaste komma.","oss-aion-pipeline.4961117925":"Geen drijvende-kommawaarden in de kern.","oss-aion-pipeline.591118af56":"Resolutieketen.","oss-aion-pipeline.39dfacd414":"Elke stap verwijst naar de premissen waar het van afhangt, in volgorde.","oss-aion-pipeline.7fc7b98317":"Onafhankelijke checker.","oss-aion-pipeline.f0bef425b5":"Het certificaat herspeelt zonder de solver.","oss-aion-pipeline.a73bc5ed23":"Architectuur, CDCL-kern, theory-plugins, proof emitter","oss-aion-plain-card.7e190a46ae":"Een machine geeft een antwoord","oss-aion-plain-card.b8941c136d":"Een computer rekent iets voor je uit. Op zichzelf moet je het maar geloven.","oss-aion-plain-card.1232ecf314":"Het schrijft ook een bonnetje","oss-aion-plain-card.af7230bfb9":"AION laat de machine een klein bonnetje printen naast het antwoord. Het bonnetje laat elke stap zien die het nam om er te komen.","oss-aion-plain-card.262d1681dd":"Iedereen kan het bonnetje controleren","oss-aion-plain-card.7d35d2e097":"Je eigen helper leest het bonnetje en zegt ja, dit klopt, of nee, dit is fout. Het hoeft de eerste machine helemaal niet te vertrouwen.","oss-aion-plain-card.e8146bafb5":"AION, in gewone woorden","oss-aion-plain-card.0b081a8ef4":"Bonnetje inbegrepen","oss-aion-plain-card.a32564404b":"Denk aan een betaald bonnetje. Als je iets koopt, krijg je een papiertje dat bewijst dat de\n winkel het juiste bedrag heeft berekend. Je kunt dat bonnetje aan iedereen laten zien, en\n zij kunnen het zelf narekenen.","oss-aion-plain-card.d5d9b99b9c":"AION doet hetzelfde voor een computer.","oss-aion-plain-card.2cc68d964c":"Wanneer een machine een\n antwoord geeft, geeft AION je een bonnetje dat laat zien dat het antwoord klopt, en\n iedereen kan het controleren.","oss-aion-plain-card.374c644917":"Je hoeft de machine nooit zomaar te geloven. Het bonnetje levert het bewijs.","oss-aion-plain-refusal.7d7fc8edd4":"jij en degene die de uitkomst beoordeelt krijgen dezelfde uitleg, omdat er maar één uitleg is","oss-aion-plain-refusal.40c2416b25":"een zaak die je kunt nalezen, geen onverklaard kruisje","oss-aion-plain-refusal.f795b42ea6":"Op 1 augustus, over twee dagen, is de volledige bestedingsruimte weer beschikbaar.","oss-aion-plain-refusal.3ae2a82129":"wanneer dat verandert","oss-aion-plain-refusal.a6012020ae":"150 euro extra bestedingsruimte, of een betaling van maximaal 90 euro.","oss-aion-plain-refusal.74b2c9301b":"wat er moet veranderen","oss-aion-plain-refusal.e88b1876e6":"De beschikbare 90 euro is niet genoeg voor een betaling van 240 euro.","oss-aion-plain-refusal.d649363397":"waar het misgaat","oss-aion-plain-refusal.ec7a8f0a8d":"De betaling was 240 euro. Vandaag was er nog 90 euro op de kaart beschikbaar.","oss-aion-plain-refusal.fcd45ae097":"jouw situatie","oss-aion-plain-refusal.e51b51ac5a":"Een betaling gaat alleen door als er vandaag genoeg ruimte op de kaart is.","oss-aion-plain-refusal.93823841cb":"wat de regel zegt","oss-aion-plain-refusal.9bc7984374":"Waarom het niet doorging","oss-aion-plain-refusal.549840f998":"Als een regel wordt overtreden, schrijft AION in gewone zinnen en met de bijbehorende getallen uit wat er misging. De betaling had dit bedrag, de beschikbare ruimte op de kaart was kleiner en samen overtreden die twee feiten de regel. Je kunt de uitleg lezen, er gericht bezwaar tegen maken of precies aanpassen wat nodig is. Aan een kruisje in een vakje heb je niets daarvan; het is niet korter, alleen leger.","oss-aion-plain-refusal.3b50831d8a":"Een automatische afwijzing is erger dan een besluit van een persoon, omdat er meestal niemand is aan wie je iets kunt vragen. De weigering komt als voldongen feit. Je krijgt de uitkomst en, met wat geluk, een referentienummer. Voor een echte uitleg moet je een klacht indienen, weken wachten en kom je uit bij iemand die zelf niet bij het besluit betrokken was.","oss-aion-plain-refusal.ada63e5c2f":"Een uitgewerkt geval wel.","oss-aion-plain-refusal.462f7e9213":"\"Dat mag niet\" is geen reden.","oss-aion-plain-refusal.5abdfa9cd6":"Het verschil","oss-aion-plain-refusal.68c46e84d7":"in gewone taal","oss-aion-reasoning-cert.0f1fb3d007":"en elk item wordt gecontroleerd","oss-aion-reasoning-cert.98ec75a261":"grenzen en de uiteindelijke claim maken de zeven compleet","oss-aion-reasoning-cert.433b925481":"Wat werd uitgesloten, en de premises die het uitsloten.","oss-aion-reasoning-cert.13382efd7c":"Tegenstrijdigheden","oss-aion-reasoning-cert.e856a27527":"Het subprobleem dat eruit ging, en het bewijs dat terugkwam.","oss-aion-reasoning-cert.92324f5363":"Solvercertificaten","oss-aion-reasoning-cert.fe451714e4":"Elk genoemd, in de volgorde waarin het werd toegepast.","oss-aion-reasoning-cert.e0d40a5309":"Regeltoepassingen","oss-aion-reasoning-cert.e0753c6513":"Wat van kracht was, op welke versie, toen het werk draaide.","oss-aion-reasoning-cert.b9366c0dbf":"Actieve beperkingen","oss-aion-reasoning-cert.a04ed61a81":"de solver","oss-aion-reasoning-cert.0fed3b96cc":"Loom","oss-aion-reasoning-cert.e1111021ff":"LOOM","oss-aion-reasoning-cert.1dd751bba5":"zeven items","oss-aion-reasoning-cert.eb64d71581":"Wat een redeneringscertificaat draagt","oss-aion-reasoning-chain.126806353c":"verklaard, daarna gecontroleerd","oss-aion-reasoning-chain.751e90e830":"Elk daarvan is een artefact dat de redenering achterliet, en elk wordt gelezen.","oss-aion-reasoning-chain.bc96941170":"Vier beperkingen, twee regeltoepassingen, één solverbezoek en één tegenstrijdigheid.","oss-aion-reasoning-chain.57fa7b904f":"Wat hier wordt gecontroleerd is de afleiding die het systeem verklaarde, item voor item.","oss-aion-reasoning-chain.e0aa3695ac":"core 01 02 04, en 03 zit er niet in","oss-aion-reasoning-chain.e3338dab26":"dubbele factuur uitgesloten","oss-aion-reasoning-chain.a43e177c4c":"04 terugbetaling keert om","oss-aion-reasoning-chain.becc703d80":"samengevoegde factuur","oss-aion-reasoning-chain.398df239b3":"van 01 en 02","oss-aion-reasoning-chain.373c5eb4cc":"stap voor stap gelezen, sluit","oss-aion-reasoning-chain.45f358826b":"teruggegeven door de prover, in Alethe","oss-aion-reasoning-chain.9bc46d8fd1":"bitvector en gelijkheid, niets anders kruist","oss-aion-reasoning-chain.34fcd5c8c7":"subprobleem, verzegeld","oss-aion-reasoning-chain.8c7f764922":"op aantal pogingen, van 02 en 03","oss-aion-reasoning-chain.7c960fefa4":"drie opgetild in de core, één bleef waar het was","oss-aion-reasoning-chain.eeacd6e80f":"actieve beperkingen, in de woorden die de verantwoordelijke schreef","oss-aion-reasoning-chain.0ee0bb12eb":"Deze configuratie kan geen dubbele factuur produceren binnen één factuurperiode.","oss-aion-reasoning-chain.c0644670d0":"de claim die Loom beweert","oss-aion-reasoning-chain.9616861141":"illustratieve claim en versies","oss-aion-reasoning-chain.e4f7c8c782":"core noemt drie, wist één","oss-aion-reasoning-chain.43c7dffedb":"Eén conclusie, geopend","oss-aion-reasoning-chain.46d6eccd4e":"merge-charges","oss-aion-reasoning-chain.398d7639b5":"case-split","oss-aion-reasoning-chain.04174383d5":"van 8 en 9","oss-aion-reasoning-chain.3d26486c4c":"van 8","oss-aion-reasoning-chain.5a6d9bdd37":"van 3 en 6","oss-aion-reasoning-chain.ce8e0b1a7d":"Een terugbetaling maakt de genoemde kosten ongedaan.","oss-aion-reasoning-chain.4c449f834c":"Een factuurperiode sluit om middernacht op de laatste dag.","oss-aion-reasoning-chain.a663638447":"Een herpoging brengt nooit een tweede kostenpost in rekening.","oss-aion-reasoning-chain.0d43228516":"Een kostenpost wordt eenmaal per voltooide levering in rekening gebracht.","oss-aion-reassure.38a3bd59d5":"Het punt is simpel: geloof een machine nooit zomaar op zijn woord. Bewaar een reden die een tweede controletool kan testen.","oss-aion-reassure.0ccc7397a4":"Nee. Het bonnetje kan ter plekke worden gecontroleerd, zonder dat er iets over internet wordt weggestuurd.","oss-aion-reassure.5bea629f3e":"Wordt mijn antwoord ergens naartoe gestuurd?","oss-aion-reassure.af397dc934":"Het is gebouwd in Europa. Een aparte controletool, niet de machine die het antwoord gaf, verifieert ieder bonnetje.","oss-aion-reassure.7de6360d68":"Waar komt het vandaan?","oss-aion-reassure.a93d9edbec":"Nee. Je hoeft dit zelf niet te bouwen. De winkel, het ziekenhuis of het kantoor gebruikt het voor jou. Jij krijgt gewoon een duidelijker antwoord.","oss-aion-reassure.39af3a44b7":"Moet ik handig zijn met computers?","oss-aion-reassure.bdbcd6057e":"Ja. Het bonnetje kan later opnieuw worden gecontroleerd zonder het oorspronkelijke model, de sessie, een account of internetverbinding.","oss-aion-reassure.aa1b0d7005":"Kan het later opnieuw worden gecontroleerd?","oss-aion-receipt.36889df54f":"Je raakt dit zelf nooit aan. Wanneer een winkel of kantoor het voor jou gebruikt, is dit het papiertje\n dat ze kunnen overhandigen.","oss-aion-receipt.46fbbfb5be":"Iedereen kan het lezen en controleren of het klopt.","oss-aion-receipt.9c258dd430":"en je moet het geloven. Met AION geeft de\n machine je ook het kleine papiertje links. Het laat de vraag, de stappen en het\n antwoord zien.","oss-aion-receipt.013700f8eb":"Een normale machine zegt gewoon","oss-aion-receipt.12df5bb228":"Om te houden","oss-aion-receipt.7b8544fad0":"Klopt","oss-aion-receipt.def2581739":"Antwoordbonnetje","oss-aion-receipt.6e17da21e4":"Een voorbeeld antwoordbonnetje","oss-aion-receipt.f2688d32ea":"Vraag het opnieuw en je krijgt hetzelfde antwoord en hetzelfde papiertje, op elke computer.","oss-aion-receipt.2379231efe":"Elke keer hetzelfde","oss-aion-receipt.a4b884c0e4":"Je eigen helper controleert het papiertje ter plekke, zonder dat er iets wordt weggestuurd.","oss-aion-receipt.930888ee28":"Geen internet","oss-aion-receipt.7a019cc1d2":"De reden staat op het papiertje, niet verborgen in een machine. Je kunt het bewaren of laten zien.","oss-aion-receipt.47b716baec":"Op schrift","oss-aion-receipt.92ed516e5b":"Ja, en hier is waarom.","oss-aion-receipt.7011b1a621":"Het antwoord","oss-aion-receipt.8ab9465666":"Jouw geval is eraan gekoppeld.","oss-aion-receipt.16bb8dfc44":"Stap twee","oss-aion-receipt.d3ca88b9f3":"De regel is volledig gelezen.","oss-aion-receipt.e97cc54395":"Stap een","oss-aion-receipt.afd2793ce0":"Heb ik recht op deze terugbetaling?","oss-aion-receipt.d79cce547d":"De vraag","oss-aion-recheck-list.09d5defeae":"twee rijen, twee namen","oss-aion-recheck-list.fd3e1afd0e":"of, veel vaker, van helemaal niets.","oss-aion-recheck-list.459f160ffa":"Zonder de versie achter elke rij leidt dezelfde melding tot een heronderzoek van\n alles,","oss-aion-recheck-list.cade8a80df":"de lijst, en wie hem beheert","oss-aion-recheck-list.6f13975269":"nog steeds compatibel","oss-aion-recheck-list.48f8969999":"herlezen vereist","oss-aion-recheck-list.af0f44d357":", gewijzigd in","oss-aion-recheck-list.4202e0844e":"De optimaliteitsgrenswaarde-regel wordt strikter gelezen. Een grens die exact op de limiet is gesteld, wordt niet langer geaccepteerd als eronder.","oss-aion-recheck-list.1c26bb5963":"uitgebracht 22-07-2025","oss-aion-recheck-list.1944dee3ee":"Checker v7.0","oss-aion-recheck-list.9ffcf8f72b":"illustratieve vermeldingen","oss-aion-recheck-list.dc490c03ae":"twee van vijf gemarkeerd","oss-aion-recheck-list.7316018edf":"De getroffen records","oss-aion-recheck-list.2237af7cd3":"de optimaliteitsgrenswaarde-regel","oss-aion-recheck-list.ee5f960eae":"Vendrell BV","oss-aion-recheck-list.48dec27123":"Route-optimum, depot noord","oss-aion-recheck-list.cb51b0a86b":"Aldenhoff Systems","oss-aion-recheck-list.826d7f7ccf":"Firmware-build, gateway 3","oss-aion-recheck-list.8b3f669031":"Kramer Data","oss-aion-recheck-list.4c13d60e33":"Toestemmingsevaluatie, campagne 44","oss-aion-recheck-list.3c54a1df45":"intern","oss-aion-recheck-list.b8d251e8cd":"Batchprijsberekening","oss-aion-recheck-list.dce56394a1":"Rosterplan, week 12","oss-aion-recheck-list.48a3661d84":"status","oss-aion-recheck-list.29e5b9a8e6":"checker","oss-aion-recheck-list.51c817ab85":"geaccepteerd","oss-aion-recheck-list.e2979e7595":"leverancier","oss-aion-recheck-list.335ce16b3f":"onderwerp","oss-aion-recheck-list.796a88413e":"J. Okonkwo, bedrijfsvoering","oss-aion-recheck-list.90916dd844":"Hercontroleer en bevestig daarna de vermelde grens met de leverancier.","oss-aion-recheck-list.00e67572db":"M. de Vries, gegevensbescherming","oss-aion-recheck-list.e4faeae968":"Hercontroleer het opgeslagen certificaat tegen v7.0.","oss-aion-record-fields.8580937ae7":"elke produceert zijn eigen getroffen set","oss-aion-record-fields.632f62dd8b":"een certificaatschema completeert de zeven","oss-aion-record-fields.7039b2f0bd":"waar het nu is","oss-aion-record-fields.74b489c3d1":"waar het was","oss-aion-record-fields.5d5dc3b7c3":"DUURZAAM","oss-aion-record-fields.c2a1a83804":"en het zijn niet alleen bewijsregels","oss-aion-record-fields.12b83ffb63":"Wat eronder kan veranderen","oss-aion-record-fields.91b3cb991a":"een nieuwere modelversie","oss-aion-record-fields.e1ab670f61":"Een model- of simulatiecontract","oss-aion-record-fields.da15b4cbb5":"de claim zelf is verplaatst","oss-aion-record-fields.26e4976c38":"Een compiler- of runtimecontract","oss-aion-record-fields.cb2c2e30b7":"onder een andere goedgekeurd","oss-aion-record-fields.43e275dea3":"Een beleid","oss-aion-record-fields.521a7a8570":"nu anders gelezen","oss-aion-record-fields.58fd9f572c":"Een checkerregel","oss-aion-refusal-fields.432aa8565f":"een referentie die iemand kan natrekken","oss-aion-refusal-fields.36a85f9074":"geen rood kruis","oss-aion-refusal-fields.fe71871083":"KENNISGEVING","oss-aion-refusal-fields.4f84be92c8":"zodat iemand erop kan handelen","oss-aion-refusal-fields.fa31a3ca39":"Wat een weigering bevat","oss-aion-refusal-fields.5647a1c020":"bepaal van wie de bevinding is","oss-aion-refusal-fields.11c0add347":"Een defect in het bewijs, of een regel die we niet voeren. Niet hetzelfde.","oss-aion-refusal-fields.a74aa40f65":"Het soort","oss-aion-refusal-fields.d3144a7994":"zie wat er niet was","oss-aion-refusal-fields.060958d8fd":"Wat ontbrak of fout was toen het opnieuw werd uitgewerkt.","oss-aion-refusal-fields.a7dc07c061":"De reden","oss-aion-refusal-fields.3b21710b2e":"controleer wat het had moeten doen","oss-aion-refusal-fields.f80b017fdb":"Wat de stap beweerde te doen.","oss-aion-refusal-fields.0056e788fc":"De regel","oss-aion-refusal-fields.89abf35df5":"open het op die regel","oss-aion-refusal-fields.3dac51b71a":"Welke stap, op nummer, in welk bestand.","oss-aion-refusal-fields.2fb8438f32":"De locatie","oss-aion-reviewable.e0cb1b89aa":"niet alleen de auteur","oss-aion-reviewable.f29c4ff9dd":"de eigenaar beoordeelt het","oss-aion-reviewable.c6465865b0":"jouw zin","oss-aion-reviewable.ed6912ad70":"BEOORDELING","oss-aion-reviewable.5867cc6bd5":"zonder notatie te leren","oss-aion-reviewable.8f8dec6da0":"Wat een beoordelaar ziet","oss-aion-reviewable.da8643122f":"Een naam, een datum en de versie van de bevestigde zin.","oss-aion-reviewable.7c92afb7f9":"Een ondertekende bevestiging","oss-aion-reviewable.340e6b4675":"Een herhaalde review leest hetzelfde, omdat niets een model heeft gesampled.","oss-aion-reviewable.b08be2b959":"Elke keer hetzelfde","oss-aion-reviewable.d3a2628a1c":"Elke genoemde hoeveelheid, met het soort waarde dat het bevat.","oss-aion-reviewable.2587914ff8":"Waar het over werkt","oss-aion-reviewable.f0a2aa51a4":"Eén zin die zegt wat de hele voorwaarde codeert.","oss-aion-reviewable.5a47a1dcaf":"Een duidelijke lezing","oss-aion-reviewable.aee2d461c7":"Ongewijzigd, bovenaan, zoals zij het schreven.","oss-aion-reviewable.7488358db7":"Hun eigen zin","oss-aion-risk-ledger.1a0f2538e1":"Vijf operationele risico's vervangen door één certificaat dat een andere controletool kan verifiëren.","oss-aion-risk-ledger.4b32d8f574":"Met AION","oss-aion-risk-ledger.2e34d48ba3":"De gebruikelijke manier","oss-aion-risk-ledger.d1d7499182":"NAAST ELKAAR GEWOGEN","oss-aion-risk-ledger.02c7234156":"Herspeel de redenering offline en bevestig het zelf.","oss-aion-risk-ledger.b5058e1c76":"Neem de leverancier op zijn woord dat het antwoord juist was.","oss-aion-risk-ledger.d2e183faa1":"Hoeveel te vertrouwen","oss-aion-risk-ledger.96f0603563":"Het certificaat kan zonder al die onderdelen worden gecontroleerd.","oss-aion-risk-ledger.04312971f3":"Het oorspronkelijke model, de solversessie en de dienst moeten nog beschikbaar zijn.","oss-aion-risk-ledger.2df1215b19":"Waar de controle van afhangt","oss-aion-risk-ledger.8ddd34c358":"Draait op je eigen hardware, binnen een rechtsgebied dat je goedkeurt.","oss-aion-risk-ledger.c3fe4a906f":"Beslissingen worden uitgelegd op servers die je niet controleert.","oss-aion-risk-ledger.242ebe0c39":"Waar de data staat","oss-aion-risk-ledger.75eb05728b":"Standaard bewijsformaten blijven onafhankelijk controleerbaar.","oss-aion-risk-ledger.46d3f9eccd":"De uitleg verdwijnt samen met de oorspronkelijke dienst.","oss-aion-risk-ledger.8ea6189e84":"Wanneer de runtime verandert","oss-aion-risk-ledger.21ff58d6a7":"Je overhandigt een certificaat dat de auditor zelf kan controleren.","oss-aion-risk-ledger.934929b924":"Je stuurt logbestanden door en hoopt dat ze als bewijs worden gelezen.","oss-aion-risk-ledger.8632e0b3b5":"Wanneer de auditor vraagt","oss-aion-rule-refusal.c354dff2de":"geen oordeel na 15","oss-aion-rule-refusal.0fc2b67ff7":"bij de eerste stap die faalt","oss-aion-rule-refusal.d7cb461a4b":"Vier tests in vaste volgorde, en het lezen stopt","oss-aion-rule-refusal.ad9deadf27":"één clausule-id gebruikt voor twee clausules","oss-aion-rule-refusal.ffc05ba511":"een pivot gedeclareerd op een literal die de clausule niet bevat","oss-aion-rule-refusal.5af32fb7c4":"een hint die verwijst naar de stap die het moet rechtvaardigen","oss-aion-rule-refusal.fbf5522f0e":"vastgezet uit de vijandige suite","oss-aion-rule-refusal.d3b27b8f89":"niet gesloten","oss-aion-rule-refusal.0f04e9ee60":"literals die nog overeind staan op de laatste clausule","oss-aion-rule-refusal.90f9cbf1cb":"einde van bestand","oss-aion-rule-refusal.196a925493":"premisse-index, 1 tot 87","oss-aion-rule-refusal.72ce0bc93a":"alethe, regel voor regel","oss-aion-rule-refusal.b14e7fc954":"gestopt bij 15","oss-aion-rule-refusal.ce0ed8058b":"Eén bewijs, van bovenaf gelezen","oss-aion-rule-refusal.af0cbd46a2":"buiten volgorde geciteerd","oss-aion-rule-refusal.165a394589":"uit 61 en 20","oss-aion-rule-refusal.dd39474e4f":"premisse afwezig","oss-aion-rule-refusal.6edfd31763":"uit 88","oss-aion-rule-refusal.d18b697772":"citeert zichzelf","oss-aion-rule-refusal.5c7bf112ac":"uit 31 en 18","oss-aion-rule-refusal.64b0295aa0":"niet-ondersteunde regel","oss-aion-rule-refusal.5e2428fc82":"uit 14","oss-aion-rule-refusal.a7e8697338":"uit 12 en 13","oss-aion-rule-refusal.ba08b53848":"uit 4","oss-aion-rule-refusal.2a1be725ca":"12 resolutie","oss-aion-rule-refusal.54a0121f57":"uit 4 en 9","oss-aion-rule-refusal.8ffe1b4177":"regel bekend","oss-aion-rule-refusal.ebed34abd2":"onder zijn eigen","oss-aion-rule-refusal.d182b65e15":"premisse aanwezig","oss-aion-rule-refusal.a503bc1da2":"geweigerd","oss-aion-rule-refusal.3a21295d81":"opslaan","oss-aion-same-except-one.279e6c9e96":"één wordt hieronder uitgewerkt","oss-aion-same-except-one.87ca0e7356":"grenzen, afleidingen en modelherkomst completeren de zeven","oss-aion-same-except-one.72b459f8cc":"EIGENSCHAPPEN","oss-aion-same-except-one.25119f6e70":"en de familie die elk draagt","oss-aion-same-except-one.ed6552be04":"Uitspraken die je kunt doen","oss-aion-same-except-one.633255fe41":"Dit traject respecteerde deze invarianten.","oss-aion-same-except-one.6b403d2a35":"Deze actie had de vereiste goedkeuring.","oss-aion-same-except-one.ac5d8ada02":"Deze workload draaide onder deze capaciteiten.","oss-aion-same-except-one.5e8efc64f2":"Dit binaire bestand komt overeen met deze brongraaf.","oss-aion-same-except-one.81c0e8e986":"simulatie","oss-aion-same-except-one.92fe1455a7":"organisatorisch","oss-aion-same-except-one.1e21474598":"uitvoering","oss-aion-same-except-one.023646ce84":"compilatie","oss-aion-same-rule-parts.3326352b94":"deze drie overleven het","oss-aion-same-rule-parts.b33174d833":"het antwoord is één regel","oss-aion-same-rule-parts.490fbefa4b":"hetzelfde werk twee keer overhandigen en de controle komt hetzelfde uit","oss-aion-same-rule-parts.ce173fc797":"Vastgehouden voor een tweede controle.","oss-aion-same-rule-parts.60c6fa6f09":"het antwoord","oss-aion-same-rule-parts.25b8673c57":"VAN JOU","oss-aion-same-rule-parts.3b592f481b":"nadat het antwoord arriveert","oss-aion-same-rule-parts.3fea5c7183":"Drie dingen die je bewaart","oss-aion-same-rule-parts.f460809c86":"Wanneer het werk werd gecontroleerd, en wat het controleerde.","oss-aion-same-rule-parts.1f26226511":"het record","oss-aion-same-rule-parts.f3488c72aa":"De datum","oss-aion-same-rule-parts.7e9a6ac9d7":"De regel teruggeciteerd, met jouw eigen situatie erin.","oss-aion-same-rule-parts.fa1f96a2cc":"afgedrukt met het antwoord","oss-aion-same-rule-parts.a7dc07c061":"De reden","oss-aion-same-rule-parts.51240e4e03":"Gewone woorden, bewaard, zodat je het aan iedereen kunt voorlezen.","oss-aion-same-rule-parts.f901c543a0":"zoals iemand het schreef","oss-aion-same-rule-parts.0056e788fc":"De regel","oss-aion-same-rule-thrice.8716c9d2d1":"door alle drie citeerbaar","oss-aion-same-rule-thrice.56daaad027":"Niemand interpreteerde andermans zaak ter plekke.","oss-aion-same-rule-thrice.fe8d9a24bc":"Drie namen, drie data, één reden woord voor woord.","oss-aion-same-rule-thrice.2d4e5d243a":"dezelfde woorden in alle drie de brieven","oss-aion-same-rule-thrice.36c5f05f0e":"Mijn verzoek werd vastgehouden omdat elk verzoek van een rekening die ooit rood heeft gestaan\n wordt vastgehouden voor een tweede controle. Is dat wat je bedoelde?","oss-aion-same-rule-thrice.47b69ccfd4":"wat elk van de drie kan schrijven","oss-aion-same-rule-thrice.5441126254":"de reden, met jouw cijfers","oss-aion-same-rule-thrice.e026ce35f8":"de regel, in woorden","oss-aion-same-rule-thrice.c6b6fdf0c8":"Je verzoek wordt vastgehouden","oss-aion-same-rule-thrice.4af8028f5b":"Dat raakt iedereen die ooit een week rood stond.","oss-aion-same-rule-thrice.43d7f6edd9":"Elk verzoek van een rekening die ooit rood heeft gestaan, wordt vastgehouden voor een tweede controle.","oss-aion-same-rule-thrice.d5dff79fd0":"de regel, zoals de verantwoordelijke die schreef","oss-aion-same-rule-thrice.660cf69152":"dezelfde reden, drie keer","oss-aion-same-rule-thrice.2aa5baf4fa":"één regel, drie mensen","oss-aion-same-rule-thrice.2969c22def":"één dag rood gestaan in augustus 2024","oss-aion-same-rule-thrice.db55a373e5":"2 juli","oss-aion-same-rule-thrice.7f557aff7f":"M. Haas","oss-aion-same-rule-thrice.8a1c6f7c01":"twee dagen rood gestaan in november 2021","oss-aion-same-rule-thrice.8a343dea89":"19 juni","oss-aion-same-rule-thrice.6faee1ef44":"J. Okoro","oss-aion-same-rule-thrice.6eff9026e2":"zes dagen rood gestaan in maart 2023","oss-aion-same-rule-thrice.e46936527e":"4 juni","oss-aion-same-rule-thrice.ecdfc6f435":"A. Vermeer","oss-aion-same-rule-thrice.c818558b96":"Je rekening heeft ooit rood gestaan, dus dit verzoek wordt vastgehouden voor een tweede controle.","oss-aion-same-rule-thrice.69449f994d":"ref","oss-aion-same-rule-thrice.910e029098":"illustratief","oss-aion-second-reader.e2a4a212d5":"de regel aanwijzen is het nuttige deel","oss-aion-second-reader.b31aece7ea":"het eens zijn is makkelijk","oss-aion-second-reader.41e9c4b883":"GEWOON","oss-aion-second-reader.a16f194bdb":"wat de tweede lezing doet","oss-aion-second-reader.d160172930":"Het opnieuw optellen","oss-aion-second-reader.0bd3d42b28":"Een ander programma, zonder reden om het antwoord te verkiezen.","oss-aion-second-reader.2c814bb70c":"Is niet de eerste machine","oss-aion-second-reader.b792afd627":"En zegt bij welke stap, zodat er iets is om aan te wijzen.","oss-aion-second-reader.4a195096b0":"Stopt bij de eerste fout","oss-aion-second-reader.58f56fa2c3":"Rekent het opnieuw uit in plaats van erop te vertrouwen.","oss-aion-second-reader.5abf0b9df4":"Doet elke stap","oss-aion-second-reader.de8f44bd3b":"Niet het antwoord. De stappen die ertoe hadden moeten leiden.","oss-aion-second-reader.0a461499ae":"Leest het werk","oss-aion-second-sum.2517e33359":"een locatie, geen oordeel","oss-aion-second-sum.1f31706279":"Wat je nodig had was de regel, en daar is die.","oss-aion-second-sum.1b06fb1625":"Beide kolommen bereiken een totaal, en één ervan is fout.","oss-aion-second-sum.715f45331b":"Het lezen stopt bij vijf in plaats van door te gaan naar zes, omdat een controle die een\n stap overslaat die niet uitkomt, geen controle is.","oss-aion-second-sum.be51277bfd":"niet bereikt","oss-aion-second-sum.a90d766915":"deze stap komt niet uit","oss-aion-second-sum.b214ae4ce2":"dezelfde zet, op werk dat een machine opschreef","oss-aion-second-sum.e4cddfd229":"Iedereen kan de kolom zelf optellen en op dezelfde regel uitkomen. Dat is\n het hele idee, overgebracht naar werk dat niemand kan zien.","oss-aion-second-sum.a72b4463ba":"De twee kolommen komen drie regels overeen. De ring gaat om de regel waar ze\n uiteengaan, niet om het totaal, want het totaal was nooit het nuttige punt om over te\n twisten.","oss-aion-second-sum.136fc39d05":"Tien cent, en het zit bij de appels.","oss-aion-second-sum.1104f28cf8":"te betalen","oss-aion-second-sum.51111a2b99":"de winkel, dinsdag","oss-aion-second-sum.e9594ccf76":"ze gaan uiteen bij de appels","oss-aion-second-sum.bb470fd83f":"dezelfde kolom, twee keer opgeteld","oss-aion-second-sum.0220a293b9":"de claim is betaald","oss-aion-second-sum.f7e5a74a1f":"wat er nog te betalen is, klopt","oss-aion-second-sum.597b954c29":"het eigen risico is eraf gehaald","oss-aion-second-sum.edccd745a8":"het bedrag ligt onder de limiet voor die reparatie","oss-aion-second-sum.709d0bb348":"de reparatie staat op de gedekte lijst","oss-aion-second-sum.1396b1459a":"de rekening was open op de dag van de claim","oss-aion-second-sum.d2fc512490":"potlood","oss-aion-second-sum.1c8f15dab7":"bedrukt","oss-aion-second-sum.910e029098":"illustratief","oss-aion-second-sum.f6c1ab8181":"zeep","oss-aion-second-sum.bcef7a0462":"kaas","oss-aion-second-sum.76c2436b59":"appels","oss-aion-second-sum.44213f9f4d":"koffie","oss-aion-second-sum.6ff291d817":"brood","oss-aion-second-sum.cf5dbf0ec5":"melk","oss-aion-sentence-returns.e9a72f31df":"jouw woorden, aan beide kanten","oss-aion-sentence-returns.254545287c":"Acht maanden later leest een vreemde het, geen samenvatting ervan.","oss-aion-sentence-returns.f0e71316de":"Eén persoon schreef een zin en legde die weg.","oss-aion-sentence-returns.4c51f16cb4":"Niets tussen deze twee lezingen leerde iets, veranderde van gedachten, of had een\n beter idee.","oss-aion-sentence-returns.06152533dc":"een tweede factuur voor één bestelling binnen een factuurmaand is niet toegestaan","oss-aion-sentence-returns.fb3e6817f1":"uit de lezing een jaar later","oss-aion-sentence-returns.32af205ca5":"uit de lezing in maart","oss-aion-sentence-returns.0b1eb314b5":"dezelfde zin, een jaar later opnieuw gelezen","oss-aion-sentence-returns.547a49e160":"bestelling 44-8127 werd gefactureerd op 3 november en opnieuw op 19 november","oss-aion-sentence-returns.d3141af6d8":"wat er tegenaan liep","oss-aion-sentence-returns.a2d40412ef":"een tweede factuur voor één bestelling binnen een factuurmaand","oss-aion-sentence-returns.0ee2593cc5":"het deel dat niet werd nageleefd","oss-aion-sentence-returns.43015fadc4":"Niemand mag twee keer worden gefactureerd voor dezelfde bestelling in dezelfde maand.","oss-aion-sentence-returns.2ce9eb0823":"de regel, in de woorden waarin die geschreven is","oss-aion-sentence-returns.5c4173fbcf":"9 november, naar de klant gestuurd","oss-aion-sentence-returns.96ec36f99b":"Een factuur werd gestopt","oss-aion-sentence-returns.14da1cff14":"acht maanden","oss-aion-sentence-returns.b59f623fe2":"gelezen als","oss-aion-sentence-returns.6a250da793":"14 maart, door de persoon die eigenaar is van de facturatie","oss-aion-sentence-returns.8766d15f20":"dezelfde woorden aan beide kanten","oss-aion-sentence-returns.33e656aa3a":"één zin, acht maanden apart","oss-aion-sentence-returns.6180960e2c":"geschreven","oss-aion-sentence-returns.910e029098":"illustratief","oss-aion-side-by-side-rule.1462946510":"hiërarchie omgekeerd","oss-aion-side-by-side-rule.dc685ee970":"is de kleinste set, onderaan.","oss-aion-side-by-side-rule.37ba9a07a7":"De enige regel hier die niemand hoeft te kunnen lezen","oss-aion-side-by-side-rule.24205c8d5e":"De kern van dit blad is wat werd gevraagd.","oss-aion-side-by-side-rule.136ec48046":"zin versie 3","oss-aion-side-by-side-rule.5714c84617":"9 april 2026","oss-aion-side-by-side-rule.fba84627ef":"Ilse Verhoeven, facturatie-operations","oss-aion-side-by-side-rule.4c1493cdf2":"de voorwaarde zoals die is opgeslagen","oss-aion-side-by-side-rule.5050bceb24":"waar het over werkt","oss-aion-side-by-side-rule.70a7ded724":"Een tweede factuur voor een referentie die al binnen de factuurperiode is gefactureerd,\n wordt geweigerd.","oss-aion-side-by-side-rule.decbbbcbea":"Geen enkele klant mag twee keer worden gefactureerd voor dezelfde referentie in één factuurperiode.","oss-aion-side-by-side-rule.41f5b5d765":"geen notatie vereist","oss-aion-side-by-side-rule.fd9d8f9d79":"bevestigd door de eigenaar","oss-aion-side-by-side-rule.dbd8504696":"beoordelingsblad","oss-aion-side-by-side-rule.b714510ded":"hoe vaak deze referentie al in rekening is gebracht","oss-aion-side-by-side-rule.71aa03cd23":"het aantal kostenposten","oss-aion-side-by-side-rule.8f404d9e59":"de maand waarin de kostenpost valt","oss-aion-side-by-side-rule.28db3c4a10":"de factuurperiode","oss-aion-side-by-side-rule.7bbf8d007a":"de identificatie waartegen een kostenpost wordt ingebracht","oss-aion-side-by-side-rule.333190a7a5":"de referentie","oss-aion-silent-wrong.e516f1474a":"stap 40, regel onbekend","oss-aion-silent-wrong.52c4b2ffb7":"waar het stopte","oss-aion-silent-wrong.bdc9060b3b":"Acht runs leverden acht woorden op. Alleen degene die zijn werk opschreef\n kan het zeggen","oss-aion-silent-wrong.dc3fb44cee":"een weigering noemt een regel","oss-aion-silent-wrong.d55eb7e866":"Deze lezer heeft geen regel met die naam bij stap 40, dus stopte het daar. De\n stempel werd nooit neergehaald en er werd geen oordeel geveld.","oss-aion-silent-wrong.d04a61e19e":"wat de lezing opleverde","oss-aion-silent-wrong.b31f1a6015":"alethe, stappen 38 en verder","oss-aion-silent-wrong.74cb6750e3":"één ervan, uitgeschreven","oss-aion-silent-wrong.c9266795e0":"acht systemen, acht resultaten","oss-aion-silent-wrong.d7d4ae123f":"illustratief, één run van acht","oss-aion-silent-wrong.3c05b129e2":"geen oordeel geveld","oss-aion-silent-wrong.c6dc61d79f":"Acht woorden, één ervan geopend","oss-aion-silent-wrong.64494819a0":"premisse 40, de lege clausule","oss-aion-silent-wrong.9dae957efd":"premisse 39","oss-aion-silent-wrong.52e787751c":"premissen 31 en 38","oss-aion-silent-wrong.36901d48ad":"premissen 12 en 31","oss-aion-silent-wrong.e00bcd7ac6":"workflow goedgekeurd","oss-aion-silent-wrong.fd40251b0b":"simulatie geconvergeerd","oss-aion-silent-wrong.9204d100a8":"beleid goedgekeurd","oss-aion-silent-wrong.51c817ab85":"geaccepteerd","oss-aion-silent-wrong.4d64c22879":"opnieuw doen","oss-aion-silent-wrong.94ec44c4f4":"geloven","oss-aion-silent-wrong.4848901b39":"optimaal","oss-aion-silent-wrong.bf31c52c32":"veilig","oss-aion-silent-wrong.231e564db4":"voltooid","oss-aion-silent-wrong.bac2ad9d5d":"gecompileerd","oss-aion-silent-wrong.d203c40ac4":"unsat","oss-aion-sim-cert.d836eab67a":"fysieke geldigheid is niet","oss-aion-sim-cert.8f9800edbe":"conformiteit en eigenschappen worden hier gecontroleerd","oss-aion-sim-cert.d982b6fdda":"of het model de wereld vertegenwoordigt, blijft bij de eigenaar van het model","oss-aion-sim-cert.c27ccdf78d":"fysieke geldigheid","oss-aion-sim-cert.99c6aa48cb":"nergens beantwoord","oss-aion-sim-cert.e4125aa830":"de genoemde eigenschappen gelden gedurende de hele run, of het spoor komt terug","oss-aion-sim-cert.24fa71fdd6":"invariantcontroles","oss-aion-sim-cert.82ffe3f79b":"het verklaarde model, de parameters en de configuratie hebben dit traject opgeleverd","oss-aion-sim-cert.8c30aa1c6e":"uitvoeringsconformiteit","oss-aion-sim-cert.790f468e4d":"hier beantwoord","oss-aion-sim-cert.f6bceb137b":"TWIN EN FMI","oss-aion-sim-cert.cf2b82cb4f":"model naar traject","oss-aion-sim-cert.a7b63abc02":"Wat het certificaat bevat","oss-aion-sim-cert.07ecfba93e":"traject en status","oss-aion-sim-cert.6874c92610":"gebeurtenisreeks","oss-aion-sim-cert.e77c056cdc":"parameters en begintoestand","oss-aion-sim-cert.720a1e14e6":"model- en FMU-identiteit","oss-aion-source-to-artefact.ce10986f79":"Van broncode naar certificaat","oss-aion-source-to-artefact.c1ce053887":"benoemd, niet algemeen","oss-aion-source-to-artefact.75a0766041":"Een algemene bewering had nergens kunnen falen.","oss-aion-source-to-artefact.b5e1e87d48":"Drie claims genoemd, en de claim die faalt, noemt de pass waarop hij faalt.","oss-aion-source-to-artefact.8732c432be":"Dat elke pass in de reeks in het algemeen correct is. Geen enkel certificaat hier zegt dat een compiler goed is, en dat hoeft ook niet.","oss-aion-source-to-artefact.64d8424b5b":"wat het niet beweert","oss-aion-source-to-artefact.302df26f74":"brongraaf","oss-aion-source-to-artefact.e95689d184":"aan de referentie-implementatie, op het opgegeven invoerdomein","oss-aion-source-to-artefact.0ca9407ef6":"kernel-equivalent","oss-aion-source-to-artefact.5e68638068":"de opgegeven vormbehoud geldt niet bij deze pass voor het opgegeven invoerdomein","oss-aion-source-to-artefact.ab2050f59e":"tensorvormen behouden","oss-aion-source-to-artefact.213addbd25":"bij canonicalise en fusion, voor elk opgegeven type","oss-aion-source-to-artefact.9deae195e3":"typen behouden","oss-aion-source-to-artefact.2297843111":"optimalisatieniveau 2, kera 1.9.4","oss-aion-source-to-artefact.64168bcea4":"vormclaim geweigerd","oss-aion-source-to-artefact.2fa9505626":"artefact","oss-aion-source-to-artefact.910e029098":"illustratief","oss-aion-source-to-artefact.9f939ff8a4":"kernel selecteren","oss-aion-sovereignty.0fe4587501":"Verificatie blijft waar het bewijs is opgeslagen: naast het producerende systeem, binnen een beoordelingsdienst of in een geïsoleerd archief.","oss-aion-sovereignty.2d7bdcb19f":"Je beslissingen blijven onder jouw controle.","oss-aion-sovereignty.9426b99215":"Digitale soevereiniteit","oss-aion-sovereignty.be49286f42":"LRAT, DRAT, Alethe en de uniforme vorm houden certificaten onafhankelijk controleerbaar buiten de oorspronkelijke runtime.","oss-aion-sovereignty.25c4717a63":"Draagbare bewijsformaten","oss-aion-sovereignty.d99f32de40":"Het controleren van een bewijs werkt volledig offline. Je bent niet afhankelijk van een externe service die zijn voorwaarden kan wijzigen of kan verdwijnen.","oss-aion-sovereignty.34ebf0117d":"Geen externe afhankelijkheid","oss-aion-sovereignty.44a8a39a30":"Binnen je eigen datacenter of een regio die je kiest. De redenering achter een beslissing hoeft nooit een grens over te steken die je niet hebt goedgekeurd.","oss-aion-sovereignty.331242fd64":"Draait waar je kiest","oss-aion-sovereignty.599b928605":"AION is gebouwd in Europa en de checker kan binnen dezelfde Europese grens blijven als de beslissingen die hij verifieert.","oss-aion-sovereignty.45f9bdf22b":"Europees van oorsprong","oss-aion-split-parts.cc0d7be136":"en een enclave verandert niets","oss-aion-split-parts.a2fb24de32":"de standaardbuild heeft geen uitgaande client","oss-aion-split-parts.ffd75a18c4":"IMPLEMENTEREN","oss-aion-split-parts.91f8c088aa":"en wat elk nodig heeft","oss-aion-split-parts.758bd7cc2a":"Vier manieren om het te draaien","oss-aion-split-parts.400bd9a040":"Gesplitst over machines, en pas samengesteld na een dekkingscontrole.","oss-aion-split-parts.bb3d98dfee":"Gedistribueerd","oss-aion-split-parts.74da65bc96":"Binnen jouw grens, op adressen die je zelf instelt.","oss-aion-split-parts.664046e78a":"Een service","oss-aion-split-parts.ce2ab3edc4":"Wijs het naar een certificaat. Er hoeft niets anders te draaien.","oss-aion-split-parts.a7218c8eca":"Een opdracht","oss-aion-split-parts.eefb3bac5d":"Gekoppeld in je eigen proces. Vraag en antwoord, geen bestand geschreven.","oss-aion-split-parts.fa66edb7bd":"Een bibliotheek","oss-aion-stays-here.e3e08ad140":"niets heeft de ruimte verlaten","oss-aion-stays-here.18ab547f60":"Dat lege papier is de hele claim.","oss-aion-stays-here.907d22f7f0":"Er wordt niets getekend tussen het vak en de drie dingen ernaast.","oss-aion-stays-here.001b06036c":"niet in dit beeld","oss-aion-stays-here.8c84675037":"een link naar een andere machine in dezelfde organisatie, uit tot iemand hem met opzet instelt","oss-aion-stays-here.e3527ba222":"Het antwoord komt terwijl de lijn uit is, omdat de lijn er nooit deel van uitmaakte.","oss-aion-stays-here.caf3a041c8":"De vertraging was vijfenzeventig minuten, wat meer is dan een uur, dus de boeking wordt geannuleerd en het tarief gaat terug naar de kaart waar het vandaan kwam.","oss-aion-stays-here.7296ef48e5":"wat er terugkwam","oss-aion-stays-here.395ee2333f":"annuleren beëindigt de boeking en retourneert het tarief","oss-aion-stays-here.46d2008236":"een uur betekent zestig minuten, geen afronding","oss-aion-stays-here.2fd4fcb567":"een vertraging wordt gerekend vanaf de tijd die op het ticket staat","oss-aion-stays-here.f5b422b60e":"de geschreven regels waartegen het wordt gelezen","oss-aion-stays-here.ee04bc3b23":"Annuleer mijn boeking alleen als de vertraging meer dan een uur is.","oss-aion-stays-here.af5509db2b":"wat je typte","oss-aion-stays-here.3cbd68d678":"de machine voor je","oss-aion-stays-here.531aa138ac":"beantwoord zonder te vertrekken","oss-aion-stays-here.fb23ddcc1c":"één vraag, één plek","oss-aion-stays-here.96ccbc62ab":"jouw woorden zijn geen ding dat iemand anders ontvangt","oss-aion-stays-here.1b215d440d":"een machine ergens anders die jouw zin leest","oss-aion-stays-here.b5a5c63d23":"geen extern ding hoeft te werken om het antwoord te laten komen","oss-aion-stays-here.b5c483d9d9":"een service die up moet zijn","oss-aion-stays-here.fa287ade3d":"niets vraagt wie je bent, omdat niets dat hoeft te weten","oss-aion-stays-here.d5a3ef8b78":"een account om in te loggen","oss-aion-stays-here.910e029098":"illustratief","oss-aion-stays-here-list.56a6e8f9a7":"en niets om over te dragen","oss-aion-stays-here-list.57eef35c96":"geen wachttijd","oss-aion-stays-here-list.a64eab5744":"waar het op wacht","oss-aion-stays-here-list.c00e02ca1e":"HIER","oss-aion-stays-here-list.8d985c5d9a":"en waar het nooit op wacht","oss-aion-stays-here-list.13591491d9":"Waar het op draait","oss-aion-stays-here-list.1458464f09":"Niets om je aan te melden, dus niets om klant van te zijn.","oss-aion-stays-here-list.257fa99e08":"Geen account","oss-aion-stays-here-list.b165f2d684":"Je zin wordt gelezen tegen regels, in dezelfde ruimte als jij.","oss-aion-stays-here-list.37a25e4e99":"Geschreven regels","oss-aion-stays-here-list.7ee33f1c7a":"Het werk gebeurt waar jij bent, en niemand anders hoeft te draaien.","oss-aion-stays-here-list.d3612f57d8":"De machine waar je bij bent","oss-aion-supplier-answer.6d6ddcd4c1":"één verklaring, vier lege regels","oss-aion-supplier-answer.a5d36ba87c":"Geen van de vier vragen wordt ergens op het blad beantwoord.","oss-aion-supplier-answer.d09481b0a5":"Elk woord erop is waar en iemand heeft het ondertekend.","oss-aion-supplier-answer.cec9b36162":"14 maart 2026","oss-aion-supplier-answer.22715d5cb9":"De configuratie die op 12 maart 2026 is ingediend, is geverifieerd als vrij van conflicten.","oss-aion-supplier-answer.1e0a1891e8":"ref SC-2026-0417","oss-aion-supplier-answer.3efe106b61":"conformiteitscertificaat","oss-aion-supplier-answer.d0b412c2f7":"Scheduling Systems BV","oss-aion-supplier-answer.ffb191f41e":"vier onbeantwoord","oss-aion-supplier-answer.910e029098":"illustratief","oss-aion-supplier-answer.f86e5cfb14":"Geldt dit nog na de wijziging van dinsdag?","oss-aion-supplier-answer.bbe7a72e5a":"Op wiens gegevens, en hoeveel daarvan?","oss-aion-supplier-answer.c25776701b":"Tegen welke versie van onze regelset?","oss-aion-supplier-answer.84d9ed92b5":"Welke voorwaarden zijn daadwerkelijk gecontroleerd?","oss-aion-theory-matrix.ac8d77d669":"Propositioneel","oss-aion-theory-matrix.3d52a6d8fe":"Logica","oss-aion-theory-matrix.42f3aff840":"Booleaanse vervulbaarheid met conflict-driven clause learning. Het startpunt voor elke andere theorie.","oss-aion-theory-matrix.6078532ab2":"Kwantoren","oss-aion-theory-matrix.02f664dd36":"Eerste-orde logica met model-based instantiation. Redeneert over forall en exists over de ondersteunde soorten.","oss-aion-theory-matrix.49167dbc57":"Lineaire rekenkunde","oss-aion-theory-matrix.45f053dc73":"Rekenkunde","oss-aion-theory-matrix.876aafb6c1":"Lineaire gehele rekenkunde en reële invoer met een gedeclareerde schaal. Intern gebruikt de checker gehele getallen of adaptieve vaste komma.","oss-aion-theory-matrix.b618fadea3":"Niet-lineair","oss-aion-theory-matrix.fd99188844":"Niet-lineaire gehele rekenkunde en reële invoer met een gedeclareerde schaal. De checker gebruikt gehele getallen of adaptieve vaste komma, nooit drijvende-kommawaarden.","oss-aion-theory-matrix.d11f66aff2":"Drijvende-kommainvoer","oss-aion-theory-matrix.19080aec82":"IEEE 754-invoer wordt alleen aan de grens geaccepteerd en vóór de controle gedecodeerd naar binaire velden. Intern worden geen drijvende-kommawaarden opgeslagen, opgeteld of berekend.","oss-aion-theory-matrix.914807cdef":"Bitvectoren","oss-aion-theory-matrix.e5e429bcc9":"Gegevens","oss-aion-theory-matrix.23c278d5ca":"Vaste breedte binaire woorden met overloopsemantiek. Voor hardwareverificatie en binaire protocolcontrole.","oss-aion-theory-matrix.b90cc9bfd2":"Arrays","oss-aion-theory-matrix.eac25fcfc6":"Array-theory met select- en store-axioma's. De beslisbare fragmenten worden expliciet bijgehouden.","oss-aion-theory-matrix.3816c4beac":"Strings","oss-aion-theory-matrix.8e5a47db7d":"Woordvergelijkingen, lengtebeperkingen en reguliere expressie-lidmaatschap over strings.","oss-aion-theory-matrix.0efe5fd2a3":"Temporeel","oss-aion-theory-matrix.ab14d0a7db":"Programma's","oss-aion-theory-matrix.12dfdaf96a":"bijbehorende crate","oss-aion-theory-matrix.dd600bd946":"Lineaire en vertakkende temporele logica-fragmenten voor redeneren over gedrag in de tijd.","oss-aion-theory-matrix.bb8c6ec608":"Probabilistisch","oss-aion-theory-matrix.042a4dc40b":"Probabilistisch programmaredeneren, inclusief probabilistische Datalog-stijl inferentie.","oss-aion-theory-matrix.1e1837d4e8":"Gelijktijdig","oss-aion-theory-matrix.60e30b1d8e":"Redeneren over gelijktijdige programma's en de interleavings die hun threads kunnen produceren.","oss-aion-theory-matrix.48d316d8e1":"LIA","oss-aion-theory-matrix.76fc1ecaf9":"theoriedekking","oss-aion-theory-matrix.4329e5da7b":"11 logische domeinen","oss-aion-theory-matrix.dc1baa8539":"kernel + metgezellen","oss-aion-theory-matrix.5b1e898fc0":"Theorie","oss-aion-theory-matrix.cd89376f98":"Leeft in","oss-aion-theory-matrix.df1e1e1732":"Elf theorieën; elke reasoner produceert stappen die de proof emitter kan vastleggen en een\n checker kan herspelen.","oss-aion-theory-matrix.36ce8cbd4c":"PROP naar CONCUR","oss-aion-three-questions.381a478392":"Twee antwoorden, één grens","oss-aion-three-questions.b695e87b19":"twee beantwoord, één eigendom","oss-aion-three-questions.9f5234300d":"De derde vraag is niet van ons, en dat zeggen is wat de eerste twee de moeite waard maakt.","oss-aion-three-questions.8149763299":"Conformiteit geldt, één invariant faalt met zijn trace.","oss-aion-three-questions.5974dafe20":"de deur is zo stevig getekend als de muur","oss-aion-three-questions.392d2df212":"De model eigenaar houdt die vraag, en houdt hem permanent. Geen enkel certificaat hier raakt hem, en geen enkel impliceert hem stilletjes.","oss-aion-three-questions.c27ccdf78d":"fysieke geldigheid","oss-aion-three-questions.dbbe530d6c":"vertegenwoordigt dit model de echte wereld","oss-aion-three-questions.44b8fe96f9":"stap 1 284, p = 8,14 bar","oss-aion-three-questions.dcf63117f5":"tegenvoorbeeld, opgetild en vergroot","oss-aion-three-questions.ed4bde3030":"lusdruk blijft onder 8 bar","oss-aion-three-questions.4676659f50":"de bypassklep opent nooit twee keer in één stap","oss-aion-three-questions.045757b8af":"retourtemperatuur blijft onder 95 C","oss-aion-three-questions.24fa71fdd6":"invariantcontroles","oss-aion-three-questions.846ee97ae5":"gelden de genoemde invarianten gedurende de hele run","oss-aion-three-questions.17f80cae31":"De run reproduceert vanuit wat het certificaat verklaart.","oss-aion-three-questions.ba01008496":"t = 4,20","oss-aion-three-questions.ff4e31b5a8":"x0 = 2,5","oss-aion-three-questions.a74e1bd7e0":"t = 1,75","oss-aion-three-questions.63df9305f6":"tolerantie 1e-6","oss-aion-three-questions.884f613dc6":"t = 0,00","oss-aion-three-questions.0c1ded1963":"stap 0,01 s","oss-aion-three-questions.8c30aa1c6e":"uitvoeringsconformiteit","oss-aion-three-questions.b3c58a82bd":"hebben het verklaarde model en de configuratie dit traject geproduceerd","oss-aion-three-questions.5d3f336ca9":"hash blake3:d7104c9a","oss-aion-three-questions.010d47a0a4":"chiller-loop 3.1, fmu 2.0.4","oss-aion-three-questions.3d0266b863":"model en FMU","oss-aion-three-questions.b697dd615a":"twee van drie","oss-aion-three-questions.f14f15b304":"traject","oss-aion-three-questions.f1f1425b65":"parameters","oss-aion-three-questions.910e029098":"illustratief","oss-aion-three-readings.41d8442e84":"de lezingen en hun betrouwbaarheid zijn van AION, de keuze is van jou, en het wordt vastgelegd","oss-aion-three-readings.42e8a93311":"drie lezingen, één beslissing, en die heeft een auteur","oss-aion-three-readings.62b4619c99":"een telling die niet onder nul kan komen","oss-aion-three-readings.48a15f3a18":"een geheel getal onder vijf","oss-aion-three-readings.ae3925651e":"is retries een geheel getal, een telling, of elke waarde?","oss-aion-three-readings.dffe60eb6a":"vraag gesteld","oss-aion-three-readings.fb76182a92":"gevraagd, niet aangenomen","oss-aion-three-readings.8c3f96fa33":"Retries moeten onder vijf zijn","oss-aion-three-readings.e9be13f9ec":"AION brengt de dubbelzinnigheid naar voren in plaats van die op te lossen. Het benoemt het soort dubbelzinnigheid, vermeldt de lezingen met de betrouwbaarheid die elk draagt en de voorwaarde die elk zou afdwingen, en stelt een vraag die de variabele in kwestie benoemt. De beslissing blijft van een persoon. Wat verandert, is dat die één keer wordt genomen, op de record, door wie verantwoordelijk is voor de vereiste in plaats van door wie toevallig de conversie deed.","oss-aion-three-readings.f26c9b4ff8":"Onder vijf pogingen, geteld als geheel. Of onder vijf waar vier en een half een legitieme waarde is. Of een telling die ook niet onder nul kan komen. Dat zijn drie verschillende regels en het verschil komt uiteindelijk als incident naar boven. In de gewone manier van werken werd er één gekozen door wie de vertaling deed, op een donderdag, zonder het aan iemand te vertellen.","oss-aion-three-readings.7b5121a8f0":"\"Retries moeten onder vijf zijn.\"","oss-aion-three-readings.ffe5d68fe6":"Iemand koos er één.","oss-aion-three-readings.55b8b0b398":"Je zin had twee lezingen.","oss-aion-three-readings.2d1501c7e4":"De stille beslissing die niemand nam","oss-aion-three-readings.bec998cdfe":"elk getal, inclusief vier en een half","oss-aion-time-left.88430838dd":"niets overvalt iemand","oss-aion-time-left.227b19b5aa":"Het werd alleen kleiner, voor iemand die er nog iets aan kon doen.","oss-aion-time-left.ac61a8b97d":"Het getal was er op dag acht en het werd nooit luider.","oss-aion-time-left.0703308f0f":"Er is geen alarm op dit blad en er is niets rood geworden. Elk van deze is dezelfde zin die op een andere dag wordt gelezen.","oss-aion-time-left.6222c927fd":"Het gaat naar de persoon die late antwoorden aftekent, met de datum erop, en zij schrijven terug naar jou.","oss-aion-time-left.4dfda36be9":"14 dagen voorbij","oss-aion-time-left.d5f128da73":"het antwoord was verschuldigd op de zestiende","oss-aion-time-left.58cdff89f9":"een ander verzoek, gelezen na de datum","oss-aion-time-left.6a7651b700":"dertig dagen nadat je vroeg","oss-aion-time-left.813d27411f":"het antwoord is verschuldigd","oss-aion-time-left.d8b0301347":"je vroeg om een kopie van wat ze over je hebben","oss-aion-time-left.4c3d95bf6a":"het verzoek","oss-aion-time-left.795bcac29d":"vandaag vier dagen over","oss-aion-time-left.56ff55acfb":"één deadline, vier keer gelezen","oss-aion-time-left.acafbd7541":"bel ze vandaag","oss-aion-time-left.148b21034f":"4 dagen over","oss-aion-time-left.f165b88925":"jaag het deze week na","oss-aion-time-left.b85bbd50bd":"8 dagen over","oss-aion-time-left.4a8b5bac9b":"nog prima","oss-aion-time-left.67f9059ac5":"14 dagen over","oss-aion-time-left.ca372a8fb7":"zet het in de agenda","oss-aion-time-left.16f29c69b8":"22 dagen over","oss-aion-time-left.910e029098":"illustratief","oss-aion-two-routes.89c24f999c":"de andere onderzoekt het bewijs","oss-aion-two-routes.3a5d844ae5":"één route reproduceert ze","oss-aion-two-routes.028a6cf2d7":"hun certificaat","oss-aion-two-routes.5c837ce426":"hun systeem","oss-aion-two-routes.27f65e5e47":"wat het nodig heeft","oss-aion-two-routes.d0765bbac1":"VERGELIJK","oss-aion-two-routes.91f8c088aa":"en wat elk nodig heeft","oss-aion-two-routes.8930c1c9b8":"Twee manieren om zeker te zijn","oss-aion-two-routes.d56d985300":"controle","oss-aion-two-routes.e1fc5057de":"reproduceren","oss-aion-two-routes.b028b89ea7":"hun ondersteuning","oss-aion-two-routes.999464a52f":"niet geproduceerd","oss-aion-two-routes.9b9252883d":"het certificaat zelf","oss-aion-two-routes.4dc537c80f":"de claim, invoer en het contract","oss-aion-two-routes.ad95c10298":"hun exacte versie en machine","oss-aion-two-routes.cfd05bd2f2":"hun licentie","oss-aion-value-grid.6cc3364a24":"Bewijs gekoppeld","oss-aion-value-grid.4910ee0aea":"Bewijs bij ieder resultaat","oss-aion-value-grid.411bf64817":"Het resultaat en het compacte certificaat reizen samen, zodat bewijs ontstaat wanneer de beslissing wordt genomen en niet pas tijdens een review hoeft te worden gereconstrueerd.","oss-aion-value-grid.05f9c0dc34":"Gecontroleerd door een andere engine","oss-aion-value-grid.eea79d1484":"Een aparte verifier doorloopt het certificaat aan de hand van de oorspronkelijke premissen. Het model beoordeelt dus niet zijn eigen antwoord.","oss-aion-value-grid.cbd17d59ba":"Draagbare formaten","oss-aion-value-grid.5e6cba1721":"Bewijs overleeft de runtime","oss-aion-value-grid.b59cb11a8c":"LRAT, DRAT, Alethe en de uniforme bewijsvorm houden het certificaat leesbaar nadat een model, solver of dienst is gewijzigd.","oss-aion-value-grid.a60bdd7985":"Verifieert offline","oss-aion-value-grid.ebfb47f4ba":"Geen live afhankelijkheid","oss-aion-value-grid.6144cbfcab":"Het controleren van een bewijs heeft geen netwerk, geen account en geen live verbinding met ons nodig. Het ding waar je op vertrouwt tijdens een audit heeft geen terugkerende afhankelijkheid van een leverancier.","oss-aion-value-grid.26ef011865":"EU-soevereiniteit","oss-aion-value-grid.23672ea195":"Europees, en van jou om te draaien","oss-aion-value-grid.26e89e1455":"Gebouwd in Europa en volledig draaibaar op hardware die jij controleert. Je bewijs en je beslissingen hoeven nooit een rechtsgebied te verlaten dat je goedkeurt.","oss-aion-value-grid.66ac329042":"Audits met minder risico","oss-aion-value-grid.9c8c22f54d":"Bewijs dat een ander kan testen","oss-aion-value-grid.6572cc2be6":"Wanneer een toezichthouder of auditor vraagt hoe een beslissing tot stand kwam, overhandig je een certificaat dat iedereen kan controleren, in plaats van te vertrouwen op een belofte van een leverancier die je niet kunt testen.","oss-aion-value-grid.6b5eb5323e":"Beslissingsbewijs","oss-aion-value-grid.870c4d024a":"Onafhankelijke verificatie","oss-aion-value-grid.93e2c4e5c4":"Begin met één beslispad en bewaar het certificaat gedurende de review.","oss-aion-value-grid.217fc9a42f":"certificaat · checker · archief","oss-aion-what-you-got.2b69c8154b":"en één vraag die elk oproept","oss-aion-what-you-got.7f629c0e9f":"vier dingen die je ontvangt","oss-aion-what-you-got.7a9727c9f8":"door jou controleerbaar","oss-aion-what-you-got.bc1c663195":"wat je ontvangt","oss-aion-what-you-got.0da9f51943":"WAARGENOMEN","oss-aion-what-you-got.8becd8f7be":"en wat het beslecht","oss-aion-what-you-got.7d3574bfa5":"Wat een leverancier overhandigt","oss-aion-what-you-got.0306f977ae":"Welke build het zei. Niet wat het controleerde, of hoe.","oss-aion-what-you-got.fd12863535":"nee","oss-aion-what-you-got.7b0c210f52":"Een versienummer","oss-aion-what-you-got.f78a920a78":"Hun beschrijving van hun eigen proces, door henzelf geschreven.","oss-aion-what-you-got.301941b624":"hun account","oss-aion-what-you-got.7591a35462":"Een methodenota","oss-aion-what-you-got.5eec058df8":"Iemand staat achter het woord, niet achter de redenering.","oss-aion-what-you-got.28fde2f659":"alleen de naam","oss-aion-what-you-got.7573daa505":"Een handtekening","oss-aion-what-you-got.94ebda1bd3":"Veilig, haalbaar, consistent. Eén woord, geen onderbouwing.","oss-aion-what-you-got.c99c8e4a9b":"Een conclusie","oss-aion-where-it-runs.1ba0334f9f":"er is geen derde","oss-aion-where-it-runs.03e2311510":"jij configureert de twee","oss-aion-where-it-runs.076d156600":"niets binnenin om te configureren","oss-aion-where-it-runs.f16ac53550":"van jou om te configureren","oss-aion-where-it-runs.9be34046ca":"LOKAAL","oss-aion-where-it-runs.3ca221bb6c":"en niets anders vertrekt","oss-aion-where-it-runs.6cdd4e486a":"Twee configureerbare grenzen","oss-aion-where-it-runs.39616fc267":"Een programma dat je installeert, draaiend als een lokaal proces.","oss-aion-where-it-runs.00bfadf39c":"Een externe prover","oss-aion-where-it-runs.801db3efcd":"Alleen de adressen die je instelt, en alleen zodra je ze instelt.","oss-aion-where-it-runs.d296df3171":"Een cluster","oss-aion-where-it-runs.67204bf5d4":"geen route","oss-aion-where-it-runs.91984fcc1b":"Een gehost model","oss-aion-where-it-runs.b8b252650e":"helemaal geen client","oss-aion-where-it-runs.ee39579eba":"De standaard build","oss-aion-where-it-runs.d49fe2c403":"niet geïnstalleerd","oss-aion-where-you-meet-it.2a85ffb07a":"De plek verandert, de belofte niet: een reden die je kunt lezen, en een controle die iedereen kan uitvoeren.","oss-aion-where-you-meet-it.9a8413cd88":"Je zult AION nooit zelf gebruiken. Dit zijn de soorten plekken waar het stil voor je kan\n werken.","oss-aion-where-you-meet-it.33fb502270":"Drie alledaagse momenten","oss-aion-where-you-meet-it.40e32f89eb":"Iedereen die je vertrouwt kan het papiertje controleren en bevestigen.","oss-aion-where-you-meet-it.03ef5e1328":"Wanneer een kantoor een machine gebruikt om jouw zaak te controleren, heb je recht op een reden die je kunt lezen en in twijfel kunt trekken.","oss-aion-where-you-meet-it.2390278256":"Een uitkering of een formulier wordt gecontroleerd","oss-aion-where-you-meet-it.2e92ab22dd":"Bij een overheidsloket","oss-aion-where-you-meet-it.0bd84e3a14":"De reden is opgeschreven, niet vast in een systeem.","oss-aion-where-you-meet-it.c4a1d64452":"Geldbeslissingen door een machine kunnen aanvoelen als een gesloten deur. Het bonnetje opent het, in duidelijke stappen.","oss-aion-where-you-meet-it.e17885868a":"Een lening of terugbetaling wordt berekend","oss-aion-where-you-meet-it.5e45cf57a0":"Bij de bank","oss-aion-where-you-meet-it.e2c536b2b3":"Je kunt om het papiertje vragen en het aan je eigen dokter laten zien.","oss-aion-where-you-meet-it.0b56f170bf":"Wanneer een machine een stem heeft in je behandeling, moet je de reden erachter kunnen zien, niet alleen het resultaat.","oss-aion-where-you-meet-it.0332b7d1b7":"Een computer helpt beslissen over jouw zorg","oss-aion-where-you-meet-it.4046c6355b":"In het ziekenhuis","oss-aion-which-did-you-mean.1ff884a89e":"gevraagd, niet geraden","oss-aion-which-did-you-mean.2eb1c230f2":"De keuze hoort bij wie de zin schreef.","oss-aion-which-did-you-mean.d94da790d1":"Twee gewone lezingen, één geval ertussen.","oss-aion-which-did-you-mean.3b4d06d361":"Er werd geen vraag gesteld en niemand werd verteld op welke van de twee het terechtkwam.","oss-aion-which-did-you-mean.93a161cede":"Uren worden heel geteld. Gekozen op een donderdagmiddag door iemand die moest opleveren.","oss-aion-which-did-you-mean.4b73aced85":"van kracht","oss-aion-which-did-you-mean.17e120a269":"Annuleer als de vertraging meer dan één uur is.","oss-aion-which-did-you-mean.ddf20b2d3c":"de gewone manier waarop dit wordt opgelost","oss-aion-which-did-you-mean.3f42a39277":"zoals het werkelijk loopt","oss-aion-which-did-you-mean.1e9a34969e":"hele uren","oss-aion-which-did-you-mean.9c2a4532bb":"Toen je meer dan één uur schreef, bedoelde je dan hele uren, of de vertraging zoals die werkelijk loopt?","oss-aion-which-did-you-mean.280b34e1e5":"Je trein is vijfenzeventig minuten te laat en de boeking gaat weg, voordat je hebt besloten of je nog wilt reizen.","oss-aion-which-did-you-mean.97e4112012":"Een vertraging is hoe lang die werkelijk is. Een uur en een kwartier is meer dan een uur.","oss-aion-which-did-you-mean.c5d620cfa2":"lezing twee","oss-aion-which-did-you-mean.466780685c":"Je trein is vijfenzeventig minuten te laat en er wordt niets geannuleerd. Je wacht op het perron op een trein die nog komt.","oss-aion-which-did-you-mean.6b67a39030":"Uren worden heel geteld. Een vertraging van een uur en een kwartier telt als één uur, en één uur is niet meer dan één uur.","oss-aion-which-did-you-mean.9cf85c69a8":"lezing één","oss-aion-which-did-you-mean.ef52f97a5b":"meer dan één uur","oss-aion-which-did-you-mean.371c6d7efd":"Annuleer als de vertraging","oss-aion-which-did-you-mean.887640fa01":"je schreef","oss-aion-which-did-you-mean.3650db40be":"wachtend op je antwoord","oss-aion-which-did-you-mean.ff312b91d2":"welke bedoelde je","oss-aion-which-did-you-mean.6f8f8e9f76":"dan","oss-aion-which-did-you-mean.910e029098":"illustratief","oss-aion-your-corpus.a54df5506a":"twee weken, met een schriftelijke output","oss-aion-your-corpus.ee646eb7cc":"Draai hetzelfde corpus tegen wat je vandaag gebruikt en zet de twee rapporten naast elkaar.","oss-aion-your-corpus.f2d4df122d":"Tweeënzestig van vierenzestig, op jouw machine, onder jouw cap.","oss-aion-your-corpus.8ff7db55b1":"deze cap","oss-aion-your-corpus.8ada74cbb4":"deze machine","oss-aion-your-corpus.b2ed177f82":"dit corpus","oss-aion-your-corpus.71e1422875":"een functie van","oss-aion-your-corpus.94ef1b7ae8":"van 64 correct","oss-aion-your-corpus.2ce97993d5":"nog geen oordeel","oss-aion-your-corpus.90326d4307":"verstreken 41 s","oss-aion-your-corpus.69bb8da1c5":"nog bezig","oss-aion-your-corpus.ffec298f79":"tickRunning","oss-aion-your-corpus.7916066855":"tickCapped","oss-aion-your-corpus.693babfc51":"geen antwoord vastgelegd","oss-aion-your-corpus.72330c3954":"16 GB adresruimte","oss-aion-your-corpus.b4f0923eae":"16 GB per run","oss-aion-your-corpus.ff367b6b79":"adresruimte-cap","oss-aion-your-corpus.d1ea89e714":"32 kernen, 128 GB","oss-aion-your-corpus.dbd2aaf9ae":"illustratieve run","oss-aion-your-corpus.e380724f89":"één afgerond, één nog actief","oss-aion-your-corpus.f6f66c95d6":"Jouw corpus, op zijn plek","oss-aion-your-corpus.8d95729188":"begrensd","oss-aion-your-corpus.7817c52b25":"machine","oss-aion-your-corpus.d95f464bc9":"instanties","oss-aion-your-corpus.9cd29685c2":"intake-2026-q1","oss-aion-your-corpus.62892ff8a1":"corpus","oss-aion-your-sentence-parts.8e7ed848f6":"je kunt het nog steeds lezen","oss-aion-your-sentence-parts.78c48f428a":"jij hebt het geschreven","oss-aion-your-sentence-parts.c569c19f0b":"Lees het opnieuw, het geeft dezelfde regel. Er is niets tussendoor veranderd.","oss-aion-your-sentence-parts.43015fadc4":"Niemand zou twee keer moeten betalen voor dezelfde bestelling in dezelfde maand.","oss-aion-your-sentence-parts.a14707f800":"Jouw zin, ongewijzigd","oss-aion-your-sentence-parts.2ccea15065":"een jaar later","oss-aion-your-sentence-parts.a80d4309ae":"Bovenaan het bericht, boven het gedeelte dat niet was nagekomen.","oss-aion-your-sentence-parts.f33c43e8f9":"Jouw zin, geciteerd","oss-aion-your-sentence-parts.f0f795235c":"de dag dat het van toepassing is","oss-aion-your-sentence-parts.fe74b20e8f":"Zoals je het typte, met één duidelijke regel die uitlegt hoe het werd gelezen.","oss-aion-your-sentence-parts.358b1cbc5d":"Jouw zin, bewaard","oss-aion-your-sentence-parts.13211e2743":"de dag dat je het schrijft","oss-aion-your-sentence-parts.27a0362e59":"JOUW WOORDEN","oss-aion-your-sentence-parts.d37598cc12":"op drie verschillende dagen","oss-aion-your-sentence-parts.32a5ee7a1f":"Dezelfde zin","page-breadcrumb.c766e66518":"Kruimelpad","page-toc.7e439c353e":"Op deze pagina","section_st_a1_display-split.7c9a7c0610":"Detail","section_st_f1_cta-dark.90e40d5043":"Aan de slag","spindle-extras.127edee78d":"ONDERTEKEND","toc-rail.f5cbdf6bfb":"Inhoud"}