Related Research
Lineage for OiC.OS — not our publications, but the path we build on. The same stack also frames how the OiCOS community and the OiC.OS engine are meant to be coordinated: polycentric stewardship of the open project (not a single vendor), with GovCat / DecCat / AccCat as the operating-system layers — see Community and Platform.
Citation keys for our own work: References.
MES-AUEF
Ehresmann, Andrée C.; Vanbremeersch, Jean-Paul (1999). Memory Evolutive Systems (overview). Cogprints preprint. Book form: Memory Evolutive Systems: Hierarchy, Emergence, Cognition (Elsevier, 2007).
Open, hierarchical, evolutive systems with coregulators (local observation–regulation–evaluation loops) and global integration — a mathematical model of consciousness in complex natural systems, including economies. Parts of MES — not the full theory — inform OiC.OS: GovCat co-regulators, multi-timescale learning, and an economy as a system that knows and corrects its own representations.
Ostrom-2005
Ostrom, Elinor (2005). Understanding Institutional Diversity. Princeton University Press. publisher
Ostrom's institutional analysis (constitutional, collective-choice, and operational rules) is not an add-on in OiC.OS — it is the same three-layer stack as GovCat / DecCat / AccCat (MoMaT): governance (mandates, contracts, deontic rules), decisions (strategies, mechanism design, open games), accounting (DEB/QEB, settlement, what must stay true in the books). Polycentric governance becomes a Grothendieck site with overlapping jurisdictions (BGB, banking supervision, central-bank statute) glued by the sheaf condition — not a single root regulator.
| Ostrom layer | OiC.OS | Role |
|---|---|---|
| Constitutional | GovCat | Rules that define admissible institutions |
| Collective-choice | DecCat (MechDesign ⊣ Constrain) | Policy and mechanism choice within those rules |
| Operational | AccCat (Sim ⊣ Est) | Bookings and learning against realized accounts |
Coase and Williamson (architecture choice: market vs hierarchy in the profunctor telescope) sit on a coherence level above Ostrom's rule choice within a given architecture — both are developed in the OiC.OS chapters on institutional Grund-Befund and polycentric sites.
Polycentrism presupposes hierarchical compositionality — overlapping jurisdictions only make sense once institutions can be composed level by level (agent → bank → central bank; sequential and parallel open games; coend aggregation in the ABZ hierarchy). Ostrom's empirics long predated a formal kit for that; MoMaT now supplies it (AccCat / DecCat / GovCat, profunctor sites, sheaf gluing). The foundations are in place to implement polycentric governance in the engine, not only to cite it.
Ostrom-2009-Nobel
Ostrom, Elinor (2009). Beyond Markets and States: Polycentric Governance of Complex Economic Systems. Nobel Prize lecture (8 December 2009; PDF). Journal version: American Economic Review 100(3), 2010.
The lecture states the program in plain language: neither market nor state alone — polycentric arrangements for commons and complex systems. In OiC.OS that is the same structural claim as Ostrom-2005: local rules on overlapping sites must glue to a globally consistent economy; violation of the sheaf condition is audit, supervision, and balance-sheet correction — not a peripheral defect.
Pavlovic-PAD
Pavlovic, Dusko (2023). Programs as Diagrams: From Categorical Computability to Computable Categories. Springer. doi:10.1007/978-3-031-34827-3
Diagrammatic computability: programs as morphisms, data as objects, execution as composition. In OiC.OS this line yields the Sim ⊣ Eval (forward simulation adjoint to backward estimation / learning) used in DecCat and MoMaT — the measurable gap between model and world instead of a fixed equilibrium.
Ireson-Paine — Excelsior and the spreadsheet on-ramp
Jocelyn Ireson-Paine (also publishing as Jocelyn Paine) built Excelsior — working software, not only demos — that separates a spreadsheet's business logic from its visual grid. A Prolog-based engine decompiles cell formulas into expressions over named variables on bases (years, sectors, branches) and can recover implicit structure the author never made explicit.
OiC.OS adopts this line as an on-ramp: legacy Excel workbooks that match a documented pattern can be decompiled into the OiC language and then run on the same GovCat / DecCat / AccCat stack as models written directly in .oic. The round trip also exports back to .xlsx for review — Excel remains a specification and communication layer, not a parallel ledger of truth. See the engine preview for the .oic editor and .xlsx ↔ .oic controls.
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
A 10,000-cell housing-finance model is rescaled, re-oriented, and rearranged across tabs once Excelsior holds variables, bases, and dependencies apart from layout — the logic stays fixed while the grid is re-rendered.
Paine-2008-structure — Paine, Jocelyn (2004/2008). Spreadsheet Structure Discovery with Logic Programming. arXiv:0802.3940 (EuSpRIG 2004). arXiv:0802.3940
Structure discovery: Prolog grammars with spatial operators (DOWN, ALONG, AND) infer cell groupings and named attributes — spreadsheets as arrows from addresses to expressions, decomposed into intelligible modules.
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
Documents a 400,000-cell financial workbook in Excelsior: run-detection, renaming, and literate pseudo-code so bespoke variants can be generated safely — the documentation discipline OiC.OS still needs when Excel plans enter the engine.