Frontière de réalité
Claims publics triés par niveau de preuve. Pas de roadmap cachée dans le langage d’architecture.
Règle de lecture : cette page définit ce que le site public affirme aujourd’hui, quels artefacts soutiennent ces affirmations, et où la frontière publique s’arrête.
Matrice des claims publics
| Zone | Statut | Artefact public | Frontière |
|---|---|---|---|
| Runtime déterministe à trois états | Implémenté maintenant | Artefact technique | La description publique couvre la sémantique et les invariants, pas une publication complète du code. |
| Version de politique + preuve + modèle de replay | Implémenté maintenant | Artefact technique | Le replay est décrit publiquement comme modèle et parcours de revue. Les politiques locataires et enregistrements réels restent privés. |
| Vérification hors ligne des artefacts exportés | Démontré maintenant | Vérifier hors ligne | La guidance publique décrit la logique de vérification. Les packs de production et matières locataires restent contrôlés. |
| Pipeline de vérification : mutation, fuzzing, property-based, Kani, TLA+ | Auditable maintenant | Artefact technique | Les compteurs publiés et la forme du pipeline sont publics. Les traces CI internes complètes ne le sont pas. |
| Microbenchmarks de boucle interne | Benchmarké maintenant | Performance | Les chiffres publiés sont bornés à la boucle interne et excluent les I/O de déploiement sauf mention explicite. |
| Frontière de déploiement et modes opératoires | Défini publiquement | Intégration | Les détails de topologie, runbooks et durcissements locataires restent privés. |
| Cartographie réglementaire | Résumé public | Conformité | C’est une surface de mapping architectural, pas un avis juridique ni une conformité automatique. |
| Outillage opérateur, schémas et opérations d’export | Pas public en totalité | Périmètre pilote | Les interfaces détaillées, schémas, runbooks et procédures locataires demandent un contexte de revue technique. |
Public aujourd’hui
- Le modèle sémantique ALLOW / DENY / INDETERMINATE.
- La séparation plateforme/runtime entre OmegaOS et OmegaOS Kernel.
- Le modèle de replay fondé sur la preuve et la version de politique.
- L’existence et la structure du pipeline de vérification.
- La frontière de déploiement : on-prem, sous contrôle opérateur, sans dépendance distante dans le chemin critique.
Pas public aujourd’hui
- Les bundles de politiques locataires et schémas de preuve.
- Les runbooks détaillés, notes de topologie et procédures opérateur.
- Les harnesses complets pour chaque profil de déploiement.
- Les surfaces CLI internes et l’outillage d’export spécifique à l’environnement.
Surface publique future
- Un exemple réduit de pack de preuve avec transcript de replay.
- Une annexe benchmark avec hardware, commandes et variance.
- Des artefacts de mapping plus nets article par article.
Contester la bonne surface
Utiliser Artefact technique pour les invariants, Performance pour le périmètre de mesure publié, et Non-Goals pour la frontière explicite.