Confine di realtà
Claim pubblici ordinati per livello di prova. Nessuna roadmap nascosta nel linguaggio di architettura.
Regola di lettura: questa pagina definisce cosa il sito pubblico afferma oggi, quali artefatti sostengono tali affermazioni e dove termina il confine pubblico.
Matrice dei claim pubblici
| Area | Stato | Artefatto pubblico | Confine |
|---|---|---|---|
| Runtime deterministico a tre stati | Implementato ora | Technical Artifact | La descrizione pubblica copre semantica e invarianti, non un rilascio completo del codice sorgente. |
| Versione di policy + evidenza + modello di replay | Implementato ora | Technical Artifact | Il replay è descritto pubblicamente come modello e percorso di review. Policy tenant e record reali restano privati. |
| Verifica offline degli artefatti esportati | Dimostrato ora | Verify Offline | La guida pubblica descrive la logica di verifica. I pacchetti di produzione e il materiale tenant restano controllati. |
| Pipeline di verifica: mutation, fuzzing, property-based, Kani, TLA+ | Auditabile ora | Technical Artifact | I conteggi pubblicati e la forma della pipeline sono pubblici. Le tracce CI interne complete non lo sono. |
| Microbenchmark del loop interno | Benchmarkato ora | Performance | I numeri pubblicati sono limitati ai benchmark del loop interno ed escludono I/O di deployment salvo indicazione esplicita. |
| Confine di deployment e modalità operative | Definito pubblicamente | Integration | Dettagli di topologia, runbook e hardening specifico del tenant restano privati. |
| Mappatura normativa | Sintesi pubblica | Compliance | Questa è una superficie di mapping architetturale, non un parere legale e non una conformità automatica. |
| Tooling operatore, schemi e operazioni di export | Non pubblico in modo completo | Pilot Scope | Interfacce dettagliate, schemi, runbook e procedure tenant richiedono un contesto di review tecnica. |
Pubblico oggi
- Il modello semantico ALLOW / DENY / INDETERMINATE.
- La separazione piattaforma/runtime tra OmegaOS e OmegaOS Kernel.
- Il modello di replay basato su set di evidenze e versione di policy.
- L’esistenza e la forma della pipeline di verifica.
- Il confine di deployment: on-prem, sotto controllo dell’operatore, nessuna dipendenza remota nel percorso critico.
Non pubblico oggi
- Bundle di policy tenant e schemi di evidenza.
- Runbook dettagliati, note di topologia e procedure operatore.
- Harness completi per ogni profilo di deployment.
- Superfici CLI interne e strumenti di export specifici per ambiente.
Superficie pubblica futura
- Un piccolo esempio pubblico di evidence pack con transcript di replay.
- Un’appendice benchmark con hardware, comandi e dettagli di varianza.
- Artefatti di mapping più netti articolo per articolo.
Contesta la superficie giusta
Usa Technical Artifact per gli invarianti, Performance per il perimetro di misura pubblicato e Non-Goals per il confine esplicito.