Help — OiC.OS-Werkbank
Das ist die Werkbank, mit der wir die Welt des Kunden bauen — seinen digitalen Zwilling.
In einem Modellierungsservice-Engagement stellen wir den Bedarf fest und setzen Acc · Dec · Gov hier zusammen: modellieren, simulieren, auditieren, filmen, lernen. Die Werkbank ist Compiler und Programmieroberfläche für BWL-, VWL- und Managementsysteme — kein Foliensatz nach dem Workshop. Produktpfad: Engagement → in dieser UI bauen → maßgeschneiderten Twin übergeben. Theorie unter Vision / Research; Produkte = Katalog; Hilfe = Bedienung der Maschine.
So soll es aussehen
Eine Werkbank: 3D Raum (links) neben Topos 2D (rechts), Transport und linke Reiter oben, Terminal OiC / Haskell / Julia / Agda / Lean unten. Lehr-Kernel einbank — fünf Agenten, Gov · Dec · Acc als Raum und als Sites — dieselbe Form, die Sie später für eine Kundenwelt anpassen.
Dieselbe Maschine, Explode / Dual-Lesart in 3D (Wireframe-Raum, Bodenprojektion), Topos-Sites rechts — Director idle, π-Slider, Agentenliste, Periodenlog unter der Leinwand.
Wenn deine lokale UI nicht so aussieht: Engine auf Port 8080 (volle UI + API) oder Tailnet-Werkbank — das ist die hier dokumentierte Produktoberfläche.
Inhalt
- So soll es aussehen (oben)
- Unter der Haube
- Werkbank-Karte
- Workflows — Twin bauen und üben
- Worlds & digitale Zwillinge
- Pane-Referenz
- Menüs
- Terminal-Befehlskarte
- Engine-Galerie
- Zugang
1. Unter der Haube
Was Sie für den Kunden bauen, ist eine Welt: Agenten, Geldarten, Verträge, Sektoren — kompiliert zu einem ausführbaren digitalen Zwilling. OiC.OS ist das institutionelle Betriebssystem darunter: ein Modell, drei kategorielle Schichten, eine Simulationsuhr, Zertifikate für Kohärenz (compliance-fähige Bücher, Smart-Contract-Governance, auditierbare Entscheidungen).
Gov · Dec · Acc
| Schicht | Name | Bedeutung |
|---|---|---|
| Gov | Governance / Verträge | Agenten, zulässige Verträge, deontisches „darf / muss“ — Smart-Contract-Logiken bevor gespielt wird |
| Dec | Decisions / Open Games | Strategien, Preise, Flows, Play und Coplay — Agenten (Mensch, Forecast oder algorithmisch) gegen explizite Ziele |
| Acc | Accounting / QEB | T-Konten, bilaterale Spiegel, Pacioli — verifizierbare Bücher schließen je Periode |
In Topos 2D als verschachtelte Sites (Decke / Agenten / Boden / Wand). In 3D Raum als Wände und Möbel eines Raums (Hero oben). Filter Gov · Dec · Acc blenden Schichten ein/aus, ohne die Modelldatei zu ändern. Dieselbe Spine, neben der ERP / CRM / APS / WMS / TMS im Modellierungsservice sitzen.
Sheaf, Round-Trip, Closed Macro
Eine Periode sind nicht drei getrennte Screens. Sheaf: lokale Schnitte (feuernde Gov-Verträge, Dec-Züge, Acc-Buchungen) müssen zu einem globalen Zustand bei t kleben. ClosedMacro ist die „stehende Engine“: Zertifikate, Sheaf-Snapshot p@t, Polish / Dusko, Dual / Coplay, Round-Trip Apply+Eval.
Sim ⊣ Est: Simulation des Twins erzeugt Audit-Serien; Lernen / Expr schätzt Struktur oder Parameter zurück ins .oic. Die Counit ist der Fixpunkt-Workflow (lib expr fixpoint).
Invarianten (was „ok“ heißt)
Chips wie Acc CERT, gold, paper, Agda sind keine Dekoration — Verifikationsstory unter Verification & Bench:
| Familie | Idee |
|---|---|
| Pacioli / Bilanz | Soll–Haben und bilaterale Spiegel schließen |
| Makro / Sheaf | Mikro-Buchungen kohärent mit Makro-KPIs |
| Gov / WITHIN | Feuernde Verträge bleiben in der typisierten Institution |
| Paper / closed gap | ClosedMacro-Terminalmetriken |
Monvor (Geldspirale) listet Acc / Dec / Gov / Sheaf / Terminal mit Symptom → Korrektor.
Zwei Lernlevel
Wie der Twin mit Nutzern lernt (institutionelles Lernen — kein klassisches Change-Management-Chaos):
| Level | Befehl | Rolle |
|---|---|---|
| L1 | ui learn 1 / lib learn 1 | Est_θ — Schichten, Institutions, Profile |
| L2 | ui learn 2 / lib learn 2 | Est_DSL — Expression + Systemic; Audit lehrt Decision / .oic (lib expr fixpoint) |
Sprachen auf einem Modell
Dieselbe Institution kompiliert auf mehrere Oberflächen: oic (Quelle), xls (Parameter / Sim-Sheet), hs / jl (Targets), agda (Beweise / Inversionen), cat (kategorielle Sicht), plus REPLs (Haskell, Julia, Agda, Lean) im Terminalstreifen. Genau deshalb nennen wir die Werkbank eine Sprache für Managementsysteme.
2. Werkbank-Karte
| Zone | Rolle |
|---|---|
| Menüleiste | File / View / Windows / Help |
| Transport | run, Scrub t, Tempo |
| Linke Reiter | Analyse: Odoo, 3D, Film, ClosedMacro, CQL, Monvor, Institutions, Audit, Trace, Explain, Theory, Expr |
| Rechte Reiter | Topos 2D + Sprach-Targets (agda, oic, cat, hs, jl, xls) |
| Terminal | Autopilot — Terminal = UI + Dateien + Film-Logger |
Menüklicks und ui left … / film play … sind dieselben Events. Filme zeichnen den Spur auf — nützlich zum Schulen am Kundentwin und zur UI-Regression.
3. Workflows
Das sind die Jobs, wenn wir einen Kunden-Twin bauen und üben. Jeder Block: Ziel → UI → Terminal → Beispiel. Start vom Bibliotheks-Kernel (einbank, …) oder einer gepackten Welt, dann spezialisieren.
A. Simulieren & Audit
Ziel: N Perioden laufen lassen, Live-Plots, Zeit scrubben, Zertifikate prüfen — erster Nachweis, dass Bücher und Entscheidungen des Twins kohärent bleiben.
- Modell öffnen (File → Öffnen… oder
ui open einbank). - ▶ run oder
run 100. - Linker Reiter Audit — Live-Nudeln;
ui audit allexpandiert Perioden. tam Transport scrubben; Trace / Explain für dieselbe Periode.
ui open einbank
run 100
ui left audit
ui audit all
ui left trace
ui left explain
validate
B. Topos 2D ↔ 3D Raum (Gov · Dec · Acc)
Ziel: Struktur (2D-Sites) und Raum (3D Innen / Explode) — wie Governance, Entscheidung und Buchhaltung in einem Twin sitzen (Hero oben).
- Beide Hälften sichtbar lassen (View: links/rechts nicht ausblenden).
- Links: 3D Raum (
ui left 3d) — π-Slider, Agenten, Director; Innen oder Explode/Dual. - Rechts: Topos 2D — Gov / Dec / Acc, Explosion / Legacy Circuit.
tscrubben; Buchungs-/Periodentext unter der 3D-Leinwand folgt derselben Uhr.
ui right topos
ui left 3d
ui zoom reset
C. Film & UI-Steuerung
Ziel: Geführten Schnitt durch Panes aufnehmen oder abspielen (Kundenschulung, Demos, UI-Regression am Twin).
Film und Activity-Logger sind eine Spur. Jedes ui left …, @click, Menü-Event kann ins Log; Playlists spielen es ab.
- Linker Reiter Film (Director-Hub, Drafts, Playlists).
film record onwährend der Arbeit — oderfilm play <playlist.json>.- Transport:
film step/pause/stop; Dump mitui log dump.
ui left film
film record on
ui left closedmacro
ui cm adjunction
ui left audit
film record off
ui log dump
# gepackte Tour (Curriculum-Welt + Director-Skript)
ui world open robinson.basel
film play films/director-robinson-basel.json
Automations-Primitives:
@window hub|left|right on|off
@menu <id> | @click <tgt> | @toggle <tgt> on|off
ui zoom in|out|reset
D. ClosedMacro, Sheaf, Invarianten
Ziel: Stehende Engine lesen — Zertifikate, Sheaf bei t, Dual/Coplay, Inversionen — Verifikation unter der Haube des Twins.
ui left closedmacro
ui cm expand
ui cm adjunction
ui left monvor
Institutions (Szenarien A/B, organisationaler Unterschied, Lernmembran):
ui left institution
ui scenario list
ui scenario A
ui scenario B
E. Zwei Lernlevel & Expression
Ziel: L1 institutionelle Schichten → L2 Decision-DSL / systemische Drafts aus Audit — Prozesse und Regeln im Twin lernen.
ui learn 1 # L1 — Institutions / Schichten
ui left institution
ui learn 2 # L2 — Expr-Pane
ui left expr
lib expr estimate
lib expr fixpoint # Sim⊣Est-Counit auf Decision-DSL
lib expr systemic <draft> <kernel>
Typische Progression: einbank → zweibank → dreibank, dann LiquiPool / Supply-Chain — dann kundenspezifische Welten.
F. Agenten, Verträge, Library decompose
Ziel: Ganzes Modell in wiederverwendbare Bausteine zerlegen (Agenten, Verträge, Decisions, Games, Accounts) für Bibliotheken und den nächsten Kunden-Twin.
ui open dreibank
lib decompose # → Library-Bricks + Index
lib list
lib need | lib check | lib run
Theory-Pane zeigt Agenten / Verträge / Open Games; 3D-Agentenliste spiegelt dieselben Namen (Bank, Cap, Com, Lab, Res, …).
G. Quelle ↔ Excel bearbeiten
Ziel: Exogene Parameter oder Struktur mit Kundenzahlen ändern; Round-Trips ehrlich halten.
ui right oic # .oic editieren
ui right excel # Parameters / Simulation / Doc
# UI-Buttons: .xlsx → .oic · .oic → .xlsx · .oic → .hs
4. Worlds & digitale Zwillinge
Eine Welt (oicos.world) packt den Kontext zum Bauen und Schulen eines Twins: Titel, Observe-Ordner, Default-Modelle, Filme, Lernhinweise. Modelle bleiben in der Shared Library; eine Welt zu öffnen ändert nur den Kontext (was gelehrt / auditiert / für den Kunden angepasst wird).
Produkt: Welten · Modellierungsservice.
ui world list
ui world open std
ui world open book.momat
ui world open robinson.basel
| World-id | Absicht |
|---|---|
| std | Default-Library-Kontext |
| book.momat | Buch- / MoMaT-Lehrkernel |
| robinson.basel | Curriculum Subsistenz → Multi-Bank / Basel-artige Institutionen |
Beispiel-Session (Welt öffnen, Twin laufen, Film, Lernen — dieselbe Schleife wie im Engagement):
ui world open robinson.basel
lecture robinson-basel
ui open einbank
run 100
film play films/director-robinson-basel.json
ui cm adjunction
ui learn 1
ui learn 2
lib expr fixpoint
ui scenario A
ui audit all
ui log dump
5. Pane-Referenz
Reiter klicken oder ui left <name> / ui right <name>.
Links
| Pane | Einzeiler | Sprung |
|---|---|---|
| Odoo | ERP- / Org-Brücke (Team-Staging) | ui left odoo |
| 3D Raum | Räumliches Gov/Dec/Acc | Workflow B |
| Film | Director + Logger | Workflow C |
| ClosedMacro | Stehende Engine / Sheaf | Workflow D |
| CQL | Kategorielle Query / Schema | ui left cql |
| Monvor | Geldspirale Effekt-Tabelle | ui left monvor |
| Institutions | Szenarien A/B, Lernmembran | Workflow D |
| Audit | Live-Plots | Workflow A |
| Trace | Perioden-Maschinenlog | ui left trace |
| Explain | Perioden-Prosa (+ Export) | ui left explain |
| Theory | Science-Ordner / Builds | Workflow F |
| Expr | Est_DSL / Systemic | Workflow E |
Rechts
| Tab | Rolle |
|---|---|
| Topos 2D | Sites Gov/Dec/Acc, Explosion, Als Haskell, Sprung 3D |
| agda | Beweis- / Inversions-Artefakte |
| oic | Quellsprache |
| cat | Kategorielle Darstellung |
| hs / jl | Zielsprachen |
| xls | Spreadsheet Parameters / Simulation / Doc |
6. Menüs
File
Neu / Öffnen / Open Folder / Standard folder / Libraries / Create Library / Schließen / Speichern / Löschen / Bundle export.
View
Spiegelt linke + rechte Reiter; linkes oder rechtes Feld ausblenden.
Windows
Offene Modelle (Umschalten). Leer bis File → Öffnen.
Help (Website)
Workbench-Hilfe (diese Seite), Engine-Galerie, Tailnet-Werkbank — die Workflow-Abschnitte oben sind der echte Index.
7. Terminal-Befehlskarte
Im OiC-Tab help tippen für das Live-Sheet. Kurz:
══ Terminal = UI + Dateien + Film-Logger ══
── model ──
run [N] | validate | parse | inventory | digraph | refine lift|forget | cofree [N]
── files ──
m new|save|copy|rewrite|manifest <name> | @file.save <name>
── library / learning ──
lib new|add|del|need|check|run|list|decompose|cleanup
lib expr pi|estimate|decision|fixpoint|systemic …
lib learn 1|2 | ui learn 1|2
── panes ──
ui left|@pane odoo|3d|film|closedmacro|cql|monvor|institution|audit|trace|explain|theory|expr
ui right|@tab topos|oic|cat|hs|jl|excel|agda
ui open <model>
── ClosedMacro / Institutions / Audit ──
ui cm expand | ui cm adjunction
ui scenario A|B|list
ui audit [all|n] | ui seek <n|all>
── Theory / capture ──
ui build theory|theater|explain
ui capture [pane] [theory|theater|both]
lecture robinson-basel
── Film = logger ──
film record on|off | film play <playlist.json> | film step|pause|stop
ui log on|off|dump|clear
── window / click ──
@window hub|left|right on|off | @menu <id> | @click <tgt> | @toggle <tgt> on|off | ui zoom …
── worlds ──
ui world list | ui world open std|book.momat|robinson.basel
── unix-lite ──
ls [path] | cat <rel> | pwd | help
8. Engine-Galerie
Statische Vorschauen derselben Werkbank-Oberflächen: Engine.
| Preview | Surface |
|---|---|
| Audit + Topos 2D |
 | 3D Raum |
| ClosedMacro |
| Trace |
| Theory + oic |
| Expr + xls |
9. Zugang
Öffentlich oicos.systems / Staging test.oicos.systems = Dokumentation und Screenshots — keine öffentliche Engine im offenen Internet.
Team-Werkbank (Tailscale): test.app.oicos.systems — wie lokale Engine Port 8080 (UI + API in einem Prozess). Dort bauen wir heute Kunden-Twins.
Zusammenarbeit: contact@oicos.systems.
Verwandt
Produkte: Modellierungsservice · Engagement · Welten · Magic Sauce · Org-Shop · Übersicht
Theorie: Geldtheorie · Monetäre Architektur · Forschung