Verwandte Forschung
Wegweiser für OiC.OS — keine eigenen Publikationen, sondern die Linie, auf der wir aufbauen. Derselbe Stack rahmt auch, wie OiCOS-Community und OiC.OS-Engine zusammen gedacht sind: polyzentrische Verantwortung für das offene Projekt (kein Monopolanbieter), mit GovCat / DecCat / AccCat als Betriebssystem-Schichten — siehe Community und Plattform.
Zitierkürzel für unsere eigene Arbeit: Literatur.
MES-AUEF
Ehresmann, Andrée C.; Vanbremeersch, Jean-Paul (1999). Memory Evolutive Systems (Überblick). Cogprints-Preprint. Buchfassung: Memory Evolutive Systems: Hierarchy, Emergence, Cognition (Elsevier, 2007).
Offene, hierarchische, evolutive Systeme mit Coregulatoren (lokale Beobachtungs–Regulations–Evaluations-Schleifen) und globaler Integration — ein mathematisches Modell von Bewusstsein in komplexen natürlichen Systemen, einschließlich Ökonomien. Teile von MES — nicht die volle Theorie — informieren OiC.OS: GovCat-Coregulatoren, mehrschichtiges Lernen, und eine Ökonomie als System, das seine eigenen Repräsentationen kennt und korrigiert.
Ostrom-2005
Ostrom, Elinor (2005). Understanding Institutional Diversity. Princeton University Press. Verlag
Ostroms Institutionenanalyse (Verfassungs-, Kollektiventscheidungs- und operative Regeln) ist in OiC.OS nicht Zusatzliteratur — sie ist dieselbe Drei-Schichten-Architektur wie GovCat / DecCat / AccCat (MoMaT): Governance (Mandate, Verträge, deontische Normen), Entscheidungen (Strategien, Mechanism Design, Open Games), Buchhaltung (DEB/QEB, Settlement, was in den Büchern invariant bleiben muss). Polyzentrische Governance wird ein Grothendieck-Site mit überlappenden Zuständigkeiten (BGB, Bankenaufsicht, Zentralbankstatut), verklebt durch die Garbenbedingung — kein monozentrischer Wurzelregulator.
| Ostrom-Schicht | OiC.OS | Rolle |
|---|---|---|
| Constitutional (Verfassungsregeln) | GovCat | Regeln, die zulässige Institutionen definieren |
| Collective-choice (Kollektiventscheidung) | DecCat (MechDesign ⊣ Constrain) | Politik- und Mechanismuswahl innerhalb dieser Regeln |
| Operational (operative Regeln) | AccCat (Sim ⊣ Est) | Buchungen und Lernen gegen realisierte Konten |
Coase und Williamson (Architekturwahl: Markt vs. Hierarchie im Profunktor-Teleskop) liegen auf einer Kohärenz-Ebene über Ostroms Regelwahl bei gegebener Architektur — beides ist in den OiC.OS-Kapiteln zum institutionellen Grund-Befund und zu polyzentrischen Sites ausgeführt.
Polyzentrismus setzt hierarchische Kompositionalität voraus — überlappende Zuständigkeiten sind erst sinnvoll, wenn Institutionen schichtweise komponierbar sind (Agent → Bank → Zentralbank; sequenzielle und parallele Open Games; Coend-Aggregation in der ABZ-Hierarchie). Ostroms Empirie kam lange vor einem formalen Werkzeug dafür; MoMaT liefert es jetzt (AccCat / DecCat / GovCat, Profunktor-Sites, Garben-Verklebung). Die Grundlagen sind gelegt, polyzentrische Governance in der Engine umzusetzen — nicht nur zu zitieren.
Ostrom-2009-Nobel
Ostrom, Elinor (2009). Beyond Markets and States: Polycentric Governance of Complex Economic Systems. Nobel-Vorlesung (8. Dezember 2009; PDF). Zeitschriftenfassung: American Economic Review 100(3), 2010.
Die Vorlesung formuliert das Programm in Alltagssprache: weder Markt noch Staat allein — polyzentrische Arrangements für Commons und komplexe Systeme. In OiC.OS ist das dieselbe strukturelle Aussage wie Ostrom-2005: lokale Regeln auf überlappenden Sites müssen zu einer global konsistenten Ökonomie verkleben; Verletzung der Garbenbedingung ist Audit, Aufsicht und Bilanzberichtigung — kein Randdefekt.
Pavlovic-PAD
Pavlovic, Dusko (2023). Programs as Diagrams: From Categorical Computability to Computable Categories. Springer. doi:10.1007/978-3-031-34827-3
Diagrammatische Berechenbarkeit: Programme als Morphismen, Daten als Objekte, Ausführung als Komposition. In OiC.OS führt diese Linie zur Sim ⊣ Eval-Adjunktion (Vorwärtssimulation adjungiert zu rückwärtsgerichteter Schätzung / Lernen) in DecCat und MoMaT — das messbare Gap zwischen Modell und Welt statt eines fixen Gleichgewichts.
Ireson-Paine — Excelsior und der Excel-On-Ramp
Jocelyn Ireson-Paine (auch als Jocelyn Paine publizierend) hat Excelsior gebaut — lauffähige Software, nicht nur Demos —, die die Geschäftslogik einer Tabelle von der visuellen Gitterdarstellung trennt. Eine Prolog-Engine decompiliert Zellformeln in Ausdrücke über benannte Variablen auf Basen (Jahre, Sektoren, Zweige) und kann implizite Struktur rekonstruieren, die der Autor nie explizit gemacht hat.
OiC.OS übernimmt diese Linie als On-Ramp: Legacy-Excel-Arbeitsmappen, die einem dokumentierten Muster folgen, lassen sich in die OiC-Sprache decompilieren und auf demselben GovCat / DecCat / AccCat-Stack laufen wie direkt in .oic geschriebene Modelle. Der Roundtrip exportiert auch zurück nach .xlsx zur Prüfung — Excel bleibt Spezifikations- und Kommunikationsschicht, keine parallele Buchwahrheit. Siehe die Engine-Vorschau für den .oic-Editor und die .xlsx ↔ .oic-Steuerung.
Paine-2006-reshaping — Paine, Jocelyn; Tek, Emre; Williamson, Duncan (2006). Rapid Spreadsheet Reshaping with Excelsior: Multiple Drastic Changes to Content and Layout Are Easy When You Represent Enough Structure. Proceedings of EuSpRIG 2006. EuSpRIG 2006
Ein 10.000-Zellen-Wohnungsfinanzmodell wird skaliert, umorientiert und über Tabs verschoben, sobald Excelsior Variablen, Basen und Abhängigkeiten von der Layout-Ebene trennt — die Logik bleibt, das Gitter wird neu gerendert.
Paine-2008-structure — Paine, Jocelyn (2004/2008). Spreadsheet Structure Discovery with Logic Programming. arXiv:0802.3940 (EuSpRIG 2004). arXiv:0802.3940
Structure discovery: Prolog-Grammatiken mit räumlichen Operatoren (DOWN, ALONG, AND) leiten Zellgruppierungen und benannte Attribute ab — Tabellen als Pfeile von Adressen zu Ausdrücken, zerlegt in lesbare Module.
Paine-2007-documenting — Paine, Jocelyn (2007). It Ain't What You View, But the Way That You View It: Documenting Spreadsheets with Excelsior, Semantic Wikis, and Literate Programming. Proceedings of EuSpRIG 2007; arXiv:0802.3478. arXiv:0802.3478
Dokumentiert eine 400.000-Zellen-Finanztabelle in Excelsior: Run-Detection, Umbenennung und literates Pseudo-Code, damit Varianten sicher erzeugt werden können — die Dokumentationsdisziplin, die OiC.OS beim Excel-Einstieg ebenfalls braucht.