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

Note technique

Le périmètre vérifié est volontairement restreint, reproductible et délimité.

Consulter le périmètre vérifiéContact

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.

#05

Transaction décisionnelle atomique

La décision, les preuves associées, l’entrée décision-preuve et l’enregistrement témoin sont validés dans une seule transaction.

#06

Admissibilité avant commit

Une porte d’admissibilité avant commit rejette les requêtes en double ou périmées.

#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

Les propriétés qui ne sont pas classées comme prouvées dans la table normative des affirmations sont exclues de cette note.