Architectuurprincipes
De fundamentele principes die het structurele ontwerp van de beslisinfrastructuur beheersen.
Deterministisch resolutiemodel
Het resolutiemodel produceert identieke uitkomsten bij identieke invoer, beleidsversie en bewijsverzameling. Er is geen stochastisch component, geen gewogen scoring en geen contextuele herinterpretatie van invoer. De evaluatiefunctie is een zuivere afbeelding van gestructureerde invoer naar gestructureerde uitvoer. Dit determinisme is een compilatietijdgarantie, geen runtime-ambitie. Elke willekeurige evaluatie kan onafhankelijk worden gereproduceerd door elke partij die toegang heeft tot dezelfde invoer en beleidsdefinitie.
Bewijsaccumulatie
Bewijs wordt ingediend, voorzien van een tijdstempel en verzegeld voordat het deelneemt aan enige evaluatie. Elk bewijsstuk is een onveranderlijk record. Bewijs accumuleert gedurende de levenscyclus van een beslissing — het wordt nooit vervangen, overschreven of met terugwerkende kracht gewijzigd. De bewijsverzameling op het moment van resolutie vormt de volledige en verifieerbare basis voor de uitkomst. Geen externe gegevensbron, impliciete aanname of niet-geregistreerde invoer beïnvloedt de evaluatie.
Governance-drempels
Resolutie-uitkomsten worden bepaald door governance-drempels die zijn gedefinieerd in de beleidslaag. Drempels zijn expliciet, auditeerbaar en versiebeheerd. Zij definiëren de voorwaarden waaronder bewijs toereikend is om een definitieve resolutie te produceren versus een onbepaalde uitkomst. Drempelwijzigingen volgen een gecontroleerd governance-proces met volledige versiegeschiedenis. Geen drempelwijziging werkt met terugwerkende kracht — alle eerdere resoluties blijven gebonden aan de drempelconfiguratie die actief was ten tijde van de evaluatie.
Menselijk toezicht
De infrastructuur produceert gestructureerde evaluatie-uitvoer die menselijke operators informeert. Zij voert niet autonoom consequenties uit, activeert geen externe acties en handhaaft geen uitkomsten zonder expliciete menselijke autorisatie. Onbepaalde resultaten — waar bewijs ontoereikend is voor definitieve resolutie — worden gepresenteerd als een eersteklas uitkomsttype, specifiek ontworpen om menselijke beoordeling te vereisen. Het systeem is een instrument van menselijke besluitvorming, geen vervanging ervan.
Integriteit van het auditlogboek
Elke evaluatie, elk ingediend bewijsstuk en elke beleidsversiewijziging wordt vastgelegd in een append-only auditlogboek. Runtime-diensten kunnen uitsluitend records invoegen — zij kunnen bestaande items niet bijwerken of verwijderen. Intrekkingen worden weergegeven als nieuwe records, niet als verwijderingen. Het auditlogboek biedt een volledige, chronologisch geordende en fraudebestendige geschiedenis van alle systeemactiviteit. Deze integriteit wordt gehandhaafd op databaseniveau via rolgebaseerde toegangscontrole en schema-beperkingen, onafhankelijk van applicatielogica.
Geen probabilistische inferentie zonder drempel
De infrastructuur maakt geen gebruik van probabilistische inferentie, statistische modellering of machine learning om evaluatie-uitkomsten te bepalen. Waar waarschijnlijkheids- of betrouwbaarheidsmaten zijn gekoppeld aan bewijs, worden zij behandeld als gestructureerde invoergegevens — niet als beslismechanismen. De resolutiefunctie past deterministische logica toe tegen governance-drempels. Er is geen impliciete weging, geen Bayesiaanse bijstelling en geen gradiëntgebaseerde optimalisatie in het evaluatiepad. Elke uitkomst is het directe gevolg van beleidsregels toegepast op bewijs, zonder tussenliggende probabilistische laag.
Bekijk de beveiligingsarchitectuur
De architectuurprincipes worden versterkt door structurele beveiligingscontroles op elke laag van de infrastructuur.
BeveiligingsarchitectuurDrielaagse architectuur
OmegaOS is opgebouwd als drie afzonderlijke, combineerbare lagen. Elke laag heeft een gedefinieerd bereik, duidelijke grenzen en expliciete interfaces.
Laag 1 — Uitvoeringsgovernancelaag
De deterministische evaluatie-engine. Ontvangt autorisatieverzoeken, evalueert deze tegen geregistreerd bewijs en beleid, en produceert driestatusuitkomsten (Toestaan / Weigeren / Indeterminate). Alle uitkomsten worden vastgelegd in het append-only logboek. Deze laag voert geen consequenties uit — zij produceert gestructureerde beslissingen.
Laag 2 — Bewijs- & nalevingslaag
De audit- en attestatielaag. Beheert bewijsindiening, bewijsketenbouw en Evidence Pack-export. Produceert JSONL-artefacten met SHA-256 integriteitshashes en optionele Ed25519-attestatie. Evidence Packs zijn zelfstandig en offline verifieerbaar — geen systeemtoegang vereist door de auditor.
Laag 3 — Beleidshandhaving & menselijk toezicht
De governance- en toezichtinterface. Presenteert Indeterminate uitkomsten voor menselijke beoordeling. Beheert beleidsversiebeheer, governance-drempels en modustransities (Observeren → Vergelijken → Toepassen). Menselijke operators behouden volledige autoriteit over handhavingsbeslissingen. Het systeem is een instrument van menselijke besluitvorming, geen vervanging ervan.