Lemma: Releases erreichen Rechner, die Ihnen gehören.

Lemma bringt signierte Releases und lokale Modelle auf gewöhnliche Linux-Rechner, Werksserver und Schiffe, ohne einen einzigen eingehenden Port zu öffnen.

Eine Schiffsflotte, die von einem Leuchtturm auf einer Landzunge ausfächert, gedruckt in farbigen Punkten
Der Name

Ein Lemma ist ein bewiesener Zwischenschritt.

In der Mathematik ist ein Lemma ein Hilfssatz, der bewiesen wird, um ein größeres Theorem zu stützen. Im Rollout ist jede Edge-Box ein bewiesener Zwischenschritt: lokal geprüft, in Ringen isoliert und sofort zurückgesetzt, falls ein Integritätstest scheitert.

Funktionsweise

Nur ausgehend, doppelt signiert, umkehrbar.

NUR AUSGEHENDES MTLS · NULL OFFENE PORTSLemma HubDEKLARIERT ABSICHTEdge-BoxLOKALE SICHERHEIT & COW-SNAPSHOTSATOMARER COW-RÜCKFALL
Abbildung 1. Die Edge-Grenze: Rechner fragen nur ausgehend über mTLS an. Der Hub deklariert die Absicht, die Box erzwingt lokale Sicherheitsprüfungen und CoW-Rollbacks.
Null eingehende Ports
Knoten fragen nur ausgehend über gegenseitiges TLS an. Keine SSH-Schlüssel, keine offenen Ports, keine Tunnel.
Zwei-Schlüssel-Prinzip
Softwarepakete signiert der Release-Schlüssel des Herstellers, Rollout-Pläne der Instruction-Schlüssel des Kunden. Ein kompromittierter Hub kann keinen Code fälschen.
Sicherheitsprüfung am Edge gewinnt
Der Hub deklariert die Absicht; die Box prüft Speicherplatz, Sperren und Wartungsfenster. Die Entscheidung der Box hat Vorrang.
Atomarer CoW-Rückfall
Sofortige Rückkehr zu Binärdateien und Nutzdaten über CoW-Snapshots (LVM-thin / Btrfs), sobald eine Zustandsprüfung fehlschlägt.
Totmannschalter
Ein autonomer Watchdog setzt auf das letzte gesunde Release zurück, falls nach einem Update der Kontakt zum Hub abreißt.
Weiterführend

Vom Edge zu den Daten.

Lemma steuert Deployments auf eigener Hardware. Axiom führt die anfallenden Daten zu einem typisierten operativen Modell zusammen.