Frontière de réalité
Claims publics triés par niveau de preuve. Pas de roadmap cachée dans le langage d’architecture.
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.