Infrastructure de décision fondée sur un noyau déterministe

Périmètre produit vérifié

OmegaOS™ Kernel évalue des entrées structurées et renvoie un résultat structuré à trois états.

Note techniqueConsulter le périmètre vérifié

Périmètre public vérifié

#01

Résolution déterministe

OmegaOS™ Kernel est un noyau de décision déterministe.

#02

Sémantique à trois états

Le modèle K3 interne traite Indeterminate comme un élément primitif. Les résultats publics sont ALLOW, DENY et INDETERMINATE.

#03

Contrôles append-only en base de données

Six tables décisionnelles rejettent UPDATE et DELETE au niveau de la base de données.

#04

Accès limité au tenant

La Row-Level Security de PostgreSQL limite SELECT et INSERT par tenant.

#13

Hachage du contenu des preuves

Les empreintes de contenu des preuves utilisent SHA-256 avec séparation de domaine.

Révision de la source des affirmations: e5256479c823

Limite de preuve

Cette page décrit uniquement les propriétés classées comme prouvées dans la table d’affirmations actuelle.