Zusammenfassung: Cathedral-OS ist eine Prototyp-Governance-Architektur für den Betrieb autonomer Agenten in hochriskanten Umgebungen. Das System kombiniert hardwaregesteuerte Sicherheitsverriegelungen, softwarebasierte Drei-Zustands-Konsensverfahren, kryptographische Prüfbarkeit und formale Verifizierungsstrukturen, um unsichere Ausführungspfad zu reduzieren und den wiederherstellbaren Systemzustand zu bewahren. Dieses Übergabepaket dokumentiert die aktuelle Implementierungsoberfläche, das Artefaktregister, die Betriebsverfahren, die Verifizierungsmethodik und die Ausgaben der Simulation mit beschränkten Zuständen. Implementierte Komponenten umfassen ein 670 μs Hardware-Sicherheitsfenster über eine deterministische Sicherheitsverriegelung (Verilog), eine Drei-Zustands-Entscheidungslogik über einen Drei-Zustands-Quorum-Controller (Python), authentifizierte Zustandsübergangs-Signaturen über HMAC-SHA256 und append-only Prüfbarkeit über ein Append-Only Audit Ledger (SHA-256 Merkle Struktur). Lean 4 Theorem-Stubs sind enthalten, um die beabsichtigte Beweisoberfläche für das Verhalten beim beschränkten Zustandsübergang zu definieren.
Cisneros et al. (Fr,) haben diese Frage untersucht.