Verification & Bench
OiC.OS liefert verifizierte Buchhaltung: kein Dashboard-Anspruch, sondern Checks, die unter Last halten. Diese Seite sagt, was wir prüfen, in welchen ökonomischen Größenordnungen wir denken, und wie kategorielle Invarianten (QEB, Noether / Gauge, Adjunktionen) zur Produktgeschichte gehören.
Operator-Sicht: Help — ClosedMacro & Invarianten.
Warum Verification das Produkt ist
Enterprise-Systeme buchen schon Millionen Zeilen. Die harte Frage ist, ob die Institution noch stimmt: bilaterale Spiegel geschlossen, Verträge im Typ, Makro-Aggregate kohärent mit Mikro-Buchungen, Lernschritte die Sim⊣Est nicht brechen.
Das behandeln wir als Invarianten des Modells, geprüft in jedem Lauf — Acc CERT und verwandte Chips in der Workbench — nicht als Quartals-Abstimmungsprojekt.
Skalenleiter (Buchungslast)
Größenordnungen für Konzern- und Systemlast (Ledger-Buchungen, nicht nur RTGS):
| Stufe | Grobe Größe | Buchungen / Tag (Ordnung) |
|---|---|---|
| 1 Konzern | ~30 000 Konten | ~500 000 |
| DAX40-Klasse | ~40 Konzerne | ~20 000 000 |
| Währungsunions-Klasse | ~1 000 Konzern-Äquivalente | ~500 000 000 |
Das sind Planungseinheiten für AccCat-/DEB-Stress — Pacioli-Bilanz muss unter Streaming-Buchungen wahr bleiben. GPU hilft dem Acc-Kern; sie ersetzt keine Gov-/Dec-Kohärenz auf dem ganzen OS.
QEB versus „Bücher, die nur geschlossen aussehen“
Klassische doppelte Buchführung (DEB) ist notwendige Ehrlichkeit in einer Einheit. Geschäft zwischen Agenten braucht Quadruple-Entry Bookkeeping (QEB): meine Forderung ist deine Verbindlichkeit, gespiegelt in Echtzeit. AccCat ist dafür gebaut.
| Check | Bedeutung |
|---|---|
| Pacioli / DEB-Bilanz | Soll = Haben im gestreamten Buchungssatz |
| QEB-Spiegel | Bilaterale Claims bleiben paarweise |
| Makro / Sheaf-Glue | Lokale Acc-/Dec-/Gov-Schnitte bei t kleben zu einem globalen Zustand |
| Gov WITHIN | Feuernde Verträge bleiben in der typisierten Institution |
Noether, Gauge, Adjunktionen
- Noether-artige Invarianten — Symmetrien der institutionellen „Action“, die Erhaltungsgrößen liefern (Bilanzidentitäten unter zulässigen Umschreibungen).
- Gauge — Freiheit in der Kontendarstellung, die Settlement nicht ändern darf; illegale Gauges werden abgewiesen.
- Adjunktionen (Sim ⊣ Est) — Simulation erzeugt Audit-Serien; Schätzung / Expr lernt zurück ins Modell; der Fixpunkt ist die Counit.
- ClosedMacro — stehende Sicht auf Unit / Counit, Sheaf-Snapshot, Dual / Coplay.
Zusammen: QEB + Noether / Gauge + Adjunktionsinvarianten = verifizierte Buchhaltung unter Redesign, nicht nur unter Steady-Posting.
Was ein Bench-Lauf beantwortet
- Blieben Pacioli (und QEB-Spiegel, wo modelliert) balanced?
- Blieben Institutionszertifikate (Acc / Gov / Dec / Sheaf / Terminal) ok?
- Welcher Durchsatz (Buchungen/s) am Acc-Kern auf CPU / GPU?
Es beweist nicht, dass CRM- oder WMS-Screens schön sind. Es beweist, dass die Spine, mit der du sie orchestrierst, noch schließt.
Ökonomische Kernel unter Last
einbank → zweibank / dreibank → liquipool / supplychain → Holding- und Unions-Acc-Stress.
Produkte: Modellierungsservice · LiquiPool · Islamic Banking · Worlds.
Zugang
Öffentliche Site: diese Dokumentation. Live-Bench und Workbench: Team-Tailnet (test.app.oicos.systems). Kontakt: contact@oicos.systems.