B1 · Kill-Switch
Persistenter GLOBAL-, TENANT- und CAPABILITY-Kill-Switch wurde in einer isolierten PostgreSQL-Umgebung geprüft.
PROVEN · NON-PRODUCTION
AIX ALEPH Research LabPublic · Read-only
Forschung sichtbar machen.Grenzen eingeschlossen.
Das Lab dokumentiert, was AIX ALEPH und ORCA bereits nachgewiesen haben, welche Lücken offen sind und wie Industrie, Forschung und verantwortungsbewusste Kapitalpartner die nächste Entwicklungsstufe unterstützen können.
Proof register
Öffentlicher Nachweisstand
B2 · Provenance
Die Bindung von Mensch, Agent, Mandat und Capability wird vor einer Integration weiter gehärtet.
SECURITY REVIEW OPEN
B4 · Persistence
Atomare Idempotency, Recovery und persistente Evidence müssen noch als Runtime-Verhalten nachgewiesen werden.
NOT PROVEN
Stage B · End-to-End
Die vollständige Mensch-Agent-Ausführungskette wurde noch nicht mit einem ratifizierten menschlichen Principal durchlaufen.
NOT PROVEN
Open work
Nächste begrenzte Arbeitspakete
Unterstützung wird einem dokumentierten Arbeitspaket zugeordnet. Der Proof-Stand ändert sich erst nach reproduzierbarer Prüfung.
WP-01
Execution Binding
Entscheidung, menschlichen Principal, Agent, Policy-Version und Runtime-Snapshot unveränderlich verbinden.
WP-02
Persistence & Recovery
Mutation, Ergebnis, Retry und Recovery atomar und SQL-rekonstruierbar persistieren.
WP-03
Minimal Agent Runtime
Genau eine registrierte Capability mit höchstens einem internen Eskalationseintrag ausführen.
WP-04
Independent Proof Review
Acceptance Matrix, SQL-Rekonstruktion und Hashbeziehungen unabhängig prüfen lassen.
Participation model
Vier Wege, die Forschung zu unterstützen
Forschungssponsoring
Unterstützt begrenzte Entwicklungs- und Nachweisarbeit innerhalb eines vorab dokumentierten Arbeitspakets.
Technische Infrastruktur
Stellt isolierte Testumgebungen, Security-Review, Rechenleistung oder unabhängige Prüfkapazität bereit.
Industrie-Pilot
Bringt nach dem technischen Stage-B-Proof einen realen, klar begrenzten Anwendungskontext ein.
Fachliche Begleitung
Unterstützt Governance, Audit, Human Factors, Regulierung oder industrielle Anforderungen.
Wofür Unterstützung eingesetzt wird
- isolierte Test- und Datenbankumgebungen
- Security Engineering und unabhängige Reviews
- Evidence-Runner, SQL-Audit und Reproduzierbarkeit
- Dokumentation des Forschungs- und Claim-Standes
- Vorbereitung eines begrenzten Industriepiloten
Was damit nicht behauptet wird
Sponsoring oder Mitwirkung begründen keine Zertifizierung, keine regulatorische Freigabe, keinen Produktivbetrieb und keine positive Proof-Entscheidung. Eine öffentliche Nennung erfolgt nur nach Vereinbarung.
Das Lab verarbeitet keine Zahlungen. Finanzielle oder sachliche Unterstützung wird ausschließlich nach individueller Prüfung und schriftlicher Vereinbarung angenommen.
Documented path
Vom Interesse zum überprüfbaren Beitrag
Interesse
Organisation, Fachgebiet und gewünschte Beteiligung benennen.
Abgrenzung
Arbeitspaket, Claim-Grenze, Datenzugriff und Ausschlüsse gemeinsam dokumentieren.
Vereinbarung
Finanzielle oder sachliche Unterstützung wird erst nach individueller Prüfung schriftlich vereinbart.
Nachweis
Fortschritt wird gegen vorab definierte Akzeptanzkriterien und Evidence berichtet.
Research contact
Beschreiben Sie kurz Ihre Organisation, Ihr Fachgebiet und welche Form der Unterstützung Sie prüfen möchten.