The principles behind CEqEA
CEqEA facilitates ab-intra modelling of open hierarchies of reactive agents, including simulation of their collective interactions and prediction of the resulting systems formation, e.g., life-cycle prediction in molecular genetics. `Ab-intra' implies that CEqEA is bottom-up and involves combined ab-initio and programming principles. Based on regulation logic, CEqEA constructs and visualizes a range of saturated proofs from a given MIG specification, aka a modal influence graph. The visualized form, causation diagrams, omit most administrative details of the proofs but outline all permitted argumentation from the given assumptions, i.e., all validated causations. Causation diagrams may be used to illustrate, e.g., the discussion section of a gene-regulation article. Following the Curry-Howard correspondence, causation diagrams may have their computational content animated and analyzed with the help of the CEqEA plugin to ZGRViewer. The computational information, coextensive causation, concerns regulation-directed pressures on and the possible changes to compartmentalized system states. Technically, the computational information is a Geometry of Interaction semantics for regulation logic (over not fully-unfolded proof nets). Based on this, CEqEA can predict the range of all possible coextensive-causation traversals of a causation diagram, aka systems formation. This results in systems diagrams, viz sequentializations of the coextensive causations.