Overview
Extracted from the local paper documentation when available.
This paper presents a strongly-typed, decentralized multiagent simulation — an ant-robot colony — as the computational exemplar of the Research Project Template (https://github.com/docxology/template). Each colony member is an Agent that owns exactly one real, on-disk SQLite database and one in-process, fault-injectable protocol endpoint; no agent ever touches another agent's storage or network...
strongly typed programmingsession typesalgebraic data typescategory theoryactive inferencemultiagent systemsaffine typesillegal state unrepresentable
Use Notes
Concise findings and methods pulled from README/SKILL documentation.
Citation
Plain-text citation for quick reuse.
Friedman, Daniel Ari. 2026. Illegal States, Mostly Unrepresentable. Zenodo. DOI: 10.5281/zenodo.21298885. URL: https://doi.org/10.5281/zenodo.21298885.
Related in Entomology
Other catalogued works in the same domain.