Local By Default
Rohdateien, Secrets, lokale Repositories, sensible Projektdaten und umfassende Memory Stores bleiben standardmäßig lokal.
SECURITY & TRUST
Autonomie braucht Grenzen, nicht nur gute Prompts.
FormalEngine ist local-first aufgebaut. Cloud darf koordinieren; der lokale Node setzt Policies, Authority und Egress-Grenzen für lokale Ressourcen durch.
Sync By Policy
Nur explizit freigegebene Inhalte und minimierte Metadaten werden synchronisiert.
Authority A0–A4
Beobachten, intern handeln, reversible externe Aktionen, materielle Aktionen und explicit-only Aktionen sind getrennte Authority Levels.
Policy-Gated Egress
Premium-Cloud-Modelle erhalten nur den Kontext, den die aktive Policy für die jeweilige Datenklasse erlaubt.
Human Approvals
Materielle Aktionen wie Zahlungen, Production Deployments oder sensible Kommunikation pausieren für definierte menschliche Freigaben.
Audit Evidence
Run-, Model-, Tool-, Approval- und Verification-Evidence macht Entscheidungen nachvollziehbar.
Kill Switch
Der Operator kann neue mutierende Aktionen stoppen, ohne bereits erzeugte Evidence zu verlieren.
No Certification Claims
FormalEngine behauptet derzeit weder SOC 2 noch ISO 27001. Die Website beschreibt ausschließlich implementierte bzw. eingefrorene Architekturprinzipien.
DATA BOUNDARY
LOCAL BY DEFAULT / SYNC BY POLICY
Cloud-Metadaten werden minimiert. Raw Upload, Memory Sync oder sensitive Model-Nutzung sind keine impliziten Defaults.
ENFORCEMENT
actor + action + resource
+ data_class + budget
+ risk + context
↓
ALLOW | DENY | REQUIRE_APPROVAL
REDACT_AND_ALLOW | DEFERPrivate Beta · begrenzte Onboarding-Wellen
Deine Company. Weniger Headcount. Mehr Kontrolle.
Wir onboarden derzeit nur eine begrenzte Anzahl neuer Companies pro Welle. Waitlist-Mitglieder erhalten 30% Founding-Customer-Rabatt für die ersten 12 Monate. Nicht mit dem Jahresrabatt kombinierbar.
30% Rabatt / 12 Monate
Nicht kombinierbar mit Jahresrabatt.