[ ] (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.
Inventory.create
when it is not followed byInventory.destroy
. This can be statically-checked before runtime.long double
or an arbitrary-precision signed decimal number in the smallest currency unit that exists in the model.step()
, while randomized, MUST be deterministic, specified from a random seed.A = C + L
.Glossary; hierachy of scopes: