#01
Résolution déterministe
OmegaOS™ Kernel est un noyau de décision déterministe.
Infrastructure de décision fondée sur un noyau déterministe
Limite de réalité
La surface publique énonce ce qui est prouvé, limite chaque affirmation à ses preuves et reste silencieuse au-delà.
Périmètre public vérifié
#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.
#23
Gouvernance des affirmations
Les affirmations publiques d’OmegaOS sont régies par une table de vérité normative versionnée.
Révision de la source des affirmations: e5256479c823
Limite de preuve
Le replay, les reçus signés, la preuve d’inviolabilité inter-entrées, la vérification en aval, la préparation réglementaire et un plan de contrôle de gouvernance sont hors du périmètre de preuve public actuel.