RFC: General constraints on the simulations that MUST be ensured

[rht]

• [ ] (conservation of matter, SFC-specific) The AB economic model MUST be stock-flow consistent. This can be enforced by disabling Inventory.create when it is not followed by Inventory.destroy. This can be statically-checked before runtime.
• [ ] (floating point stability, EM-specific) Monetary arithmetic MUST be conducted in long double or an arbitrary-precision signed decimal number in the smallest currency unit that exists in the model.
• [ ] (repeatability, DES-specific) Agents execution order within a scheduler's step(), while randomized, MUST be deterministic, specified from a random seed.
• [ ] (double-entry accounting, EM-specific) A = C + L.
• [ ] (floating point rounding, EM-specific) Ensure banker's rounding.

Glossary; hierachy of scopes:

1. simulation -> DES-specific (discrete-event simulation) -> ABM-specific (agent-based model), MAS-specific (multi-agent simulation)
2. EM-specific (economic-modeling) -> SFC-specific, neoclassical, ACE-specific