Help — OiC.OS Workbench
This is the workbench we use to build the customer’s world — their digital twin.
In a Modeling Service engagement we establish need, then assemble Acc · Dec · Gov here: model, simulate, audit, film, learn. The workbench is the compiler and programming surface for business, economics, and management systems — not a slide deck after the workshop. Product path: Engagement → build in this UI → hand over a customised twin. Theory essays stay under Vision / Research; Products is the catalog; Help is how the machine is operated.
This is how it looks
One workbench: 3D Raum (left) beside Topos 2D (right), transport and left tabs above, OiC / Haskell / Julia / Agda / Lean terminal below. Teaching kernel einbank — five agents, Gov · Dec · Acc as room and as nested sites — the same shape you later customise for a client world.
Same machine, explode / dual reading in 3D (wireframe room, floor projection) with Topos sites still on the right — Director idle, π-sliders, agent list, period log under the canvas.
If your local UI does not look like this, open the engine on port 8080 (full UI + API) or the Tailnet workbench — that is the product surface documented here.
Contents
- This is how it looks (above)
- Under the hood
- Workbench map
- Workflows — how we build and exercise a twin
- Worlds & digital twins
- Pane reference
- Menus
- Terminal command map
- Engine gallery
- Access
1. Under the hood
What you build for a customer is a world: agents, money kinds, contracts, sectors — compiled into an executable digital twin. OiC.OS is the institutional operating system underneath: one model, three categorical layers, one simulation clock, certificates that say whether the run stayed coherent (compliance-grade books, smart-contract governance, auditable decisions).
Gov · Dec · Acc
| Layer | Name | What it is |
|---|---|---|
| Gov | Governance / contracts | Which agents exist, which contracts are admissible, deontic “may / must” — smart-contract logics before anything plays |
| Dec | Decisions / open games | Strategies, prices, flows, play and coplay — agents (human, forecast, or algorithmic) against explicit goals |
| Acc | Accounting / QEB | T-accounts, bilateral claims, Pacioli-style balance — verifiable books that must close each period |
In Topos 2D these appear as nested sites (ceiling / agents / floor / wall). In 3D Raum they become walls and furniture in one room (hero image above). Filters Gov · Dec · Acc hide or show layers without changing the model file. That is the same spine as ERP / CRM / APS / WMS / TMS sit beside in the Modeling Service offer.
Sheaf, Round-Trip, Closed Macro
A period is not three disconnected screens. Sheaf language: local sections (Gov contracts that fire, Dec moves, Acc bookings) must glue into one global state at time t. ClosedMacro is the “standing engine” view of that glue: certificates, sheaf snapshot p@t, Polish / Dusko diagrams, dual / coplay, Round-Trip Apply+Eval meters.
Sim ⊣ Est (simulation adjoint to estimation): running the twin produces Audit series; learning / Expr estimates structure or parameters back into .oic. The counit of that adjunction is the fixpoint workflow (lib expr fixpoint).
Invariants (what “ok” means)
Status chips such as Acc CERT, gold, paper, Agda are not decoration. Typical invariants — the verification story of Verification & Bench:
| Family | Idea |
|---|---|
| Pacioli / balance | Debit–credit and bilateral mirrors close |
| Macro / sheaf | Micro bookings cohere with macro KPIs |
| Gov / WITHIN | Fired contracts stay inside the typed institution |
| Paper / closed gap | ClosedMacro terminal metrics (paper money / closed economy gaps) |
Monvor (money spiral) lists Acc / Dec / Gov / Sheaf / Terminal layers with symptom → corrector wiring when something drifts.
Two-level learning
How the twin learns with users (institutional learning — not classical change-management chaos):
| Level | Command | Role |
|---|---|---|
| L1 | ui learn 1 / lib learn 1 | Est_θ — layers, Institutions, profiles |
| L2 | ui learn 2 / lib learn 2 | Est_DSL — Expression + systemic learner; Audit teaches Decision / .oic structure (lib expr fixpoint) |
Languages on one model
The same institution compiles to several surfaces: oic (source), xls (parameters / sim sheet), hs / jl (targets), agda (proofs / inversions), cat (categorical view), plus REPLs (Haskell, Julia, Agda, Lean) in the terminal strip when the host provides them. That multi-surface compile is why we call the workbench a language for management systems.
2. Workbench map
| Zone | Role |
|---|---|
| Menu bar | File / View / Windows / Help |
| Transport | run, scrub t, speed |
| Left tabs | Analysis: Odoo, 3D, Film, ClosedMacro, CQL, Monvor, Institutions, Audit, Trace, Explain, Theory, Expr |
| Right tabs | Topos 2D + language targets (agda, oic, cat, hs, jl, xls) |
| Terminal | Autopilot — Terminal = UI + files + film logger |
Clicking menus and typing ui left … / film play … are the same events. Films record that spur — useful for teaching a client’s twin and for regression of UI paths.
3. Workflows
These are the jobs we run when building and exercising a customer twin. Each block: goal → UI → terminal → example. Start from a library kernel (einbank, …) or open a packaged world, then specialise.
A. Simulate & Audit
Goal: Run N periods, watch live plots, scrub time, check certificates — first proof that the twin books and decisions stay coherent.
- Open a model (File → Öffnen… or
ui open einbank). - Click ▶ run or
run 100. - Left tab Audit — live noodles;
ui audit allexpands periods. - Scrub
ton the transport bar; open Trace / Explain for the same period in log vs prose.
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)
Goal: See structure (2D sites) and inhabit space (3D Innen / explode) — how governance, decisions, and accounting sit in one twin (hero shots above).
- Keep both halves visible (View: do not hide left or right).
- Left: 3D Raum (
ui left 3d) — π-sliders, agents, Director; Innen or explode/dual. - Right: Topos 2D — toggle Gov / Dec / Acc, Explosion / Legacy Circuit.
- Scrub
ton the transport bar; booking / period text under the 3D canvas tracks the same clock.
ui right topos
ui left 3d
ui zoom reset
C. Film & UI steering
Goal: Record or replay a guided cut through panes (client teaching, demos, regression of UI paths on their twin).
Film and the activity logger are one spur. Every ui left …, @click, and menu event can land in the log; playlists replay them.
- Left tab Film (Director hub, drafts, playlists).
film record onwhile you work — orfilm play <playlist.json>.- Transport:
film step/pause/stop; dump withui log dump.
ui left film
film record on
ui left closedmacro
ui cm adjunction
ui left audit
film record off
ui log dump
# packaged tour (curriculum world + director script)
ui world open robinson.basel
film play films/director-robinson-basel.json
Automation primitives used by films:
@window hub|left|right on|off
@menu <id> | @click <tgt> | @toggle <tgt> on|off
ui zoom in|out|reset
D. ClosedMacro, sheaf, invariants
Goal: Read the standing engine — certificates, sheaf at t, dual/coplay, inversions — verification under the hood of the twin.
ui left closedmacro
ui cm expand
ui cm adjunction
ui left monvor
Institutions (scenarios A/B, organisational difference, learning membrane) sits next to this reading:
ui left institution
ui scenario list
ui scenario A
ui scenario B
E. Two-level learning & Expression
Goal: L1 institutional layers → L2 Decision-DSL / systemic drafts from Audit — learn processes and rules inside the twin.
ui learn 1 # L1 — Institutions / layers
ui left institution
ui learn 2 # L2 — Expr pane
ui left expr
lib expr estimate
lib expr fixpoint # Sim⊣Est counit on Decision DSL
lib expr systemic <draft> <kernel>
Typical progression on banking kernels: einbank → zweibank → dreibank, then LiquiPool / supply-chain institutions — then client-specific worlds.
F. Agents, contracts, library decompose
Goal: Break a whole model into reusable bausteine (agents, contracts, decisions, games, accounts) for libraries and for composing the next customer twin.
ui open dreibank
lib decompose # → library bricks + index
lib list
lib need | lib check | lib run
Theory pane shows agents / contracts / open games for the active model; 3D agent list mirrors the same names (Bank, Cap, Com, Lab, Res, …).
G. Edit source ↔ Excel
Goal: Change exogenous parameters or structure with the client’s numbers; keep round-trips honest.
ui right oic # edit .oic
ui right excel # Parameters / Simulation / Doc sheets
# UI buttons: .xlsx → .oic · .oic → .xlsx · .oic → .hs
4. Worlds & digital twins
A world (oicos.world format) packages context for building and teaching a twin: title, observe folder, default models, films, learning hints. Models stay in the shared library; opening a world only changes context (what you teach / audit / customise for the customer).
Product framing: Worlds · Modeling Service.
ui world list
ui world open std
ui world open book.momat
ui world open robinson.basel
| World id | Intent |
|---|---|
| std | Default library context |
| book.momat | Book / MoMaT teaching kernels |
| robinson.basel | Curriculum arc subsistence → multi-bank / Basel-style institutions |
Example session (open a world context, run a twin, film, learn — the same loop as in 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 reference
Click a tab or ui left <name> / ui right <name>.
Left
| Pane | One-liner | Jump |
|---|---|---|
| Odoo | ERP / org bridge (team staging) | ui left odoo |
| 3D Raum | Spatial Gov/Dec/Acc | workflow B |
| Film | Director + logger | workflow C |
| ClosedMacro | Standing engine / sheaf | workflow D |
| CQL | Categorical query / schema | ui left cql |
| Monvor | Money-spiral effect table | ui left monvor |
| Institutions | Scenarios A/B, learning membrane | workflow D |
| Audit | Live plots | workflow A |
| Trace | Period machine log | ui left trace |
| Explain | Period prose (+ export) | ui left explain |
| Theory | Science folder / builds | workflow F |
| Expr | Est_DSL / systemic | workflow E |
Right
| Tab | Role |
|---|---|
| Topos 2D | Sites Gov/Dec/Acc, Explosion, Als Haskell, jump 3D |
| agda | Proof / inversion artefacts |
| oic | Source language |
| cat | Categorical presentation |
| hs / jl | Target languages |
| xls | Spreadsheet Parameters / Simulation / Doc |
6. Menus
File
Neu / Öffnen / Open Folder / Standard folder / Libraries / Create Library / Schließen / Speichern / Löschen / Bundle export.
View
Mirrors left + right tabs; hide left or right field.
Windows
Open models list (switch). Empty until File → Öffnen.
Help (website)
Workbench Help (this page), Engine gallery, Tailnet workbench — workflow sections above are the real index (not a single tour label).
7. Terminal command map
Type help in the OiC tab for the live sheet. Summary:
══ Terminal = UI + files + 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 gallery
Static previews of the same workbench surfaces: Engine.
| Preview | Surface |
|---|---|
| Audit + Topos 2D |
 | 3D Raum |
| ClosedMacro |
| Trace |
| Theory + oic |
| Expr + xls |
9. Access
Public oicos.systems / staging test.oicos.systems = documentation and screenshots — no public engine on the open internet.
Team workbench (Tailscale): test.app.oicos.systems — same as local engine on port 8080 (UI + API in one process). That is where we build customer twins today.
Collaboration: contact@oicos.systems.
Related
Products: Modeling Service · Engagement · Worlds · Magic Sauce · Org Shop · Overview
Theory: Money Theory · Monetary Architecture · Research