Function.
First-class typed-function execution with compensating rollback.
Function treats every callable Mickai function as a first-class typed action with a declared inverse (patent 14). Execution stores the inverse before the action runs, so any side effect can be reverted retroactively by the operator or a regulator. Function definitions live in the typed-action ontology (patent 12); the Function brain is the runtime that honours that contract.
- 01Typed-function execution under the action ontology
- 02Recording the compensating inverse before commit
- 03Constructing inverse chains for retroactive undo
- 04Surfacing function lineage to the audit ledger
Authoritative external corpora and standards this brain treats as canonical. Every retrieval against these sources is signed into the audit ledger so a regulator can prove which evidence drove which output.
- 01Mickai Patent 12, 14, 16
- 02ACID transaction theory
- 03Sagas pattern (Garcia-Molina)
- 04Event-sourcing literature (Fowler, Vernon)
- 05Apache Kafka and Pulsar semantics
- 06Pat Helland data-layer papers
- 07ISO/IEC 9075 SQL standard
- 08AWS Step Functions reference
- 09Temporal workflow engine documentation
Mickai-native tooling primitives this brain implements internally. Codex for sovereign plain-text graph PKM, Lectern for spaced-repetition memory, Stele for citation-provenance, and domain-native primitives layered on top. No external services in the trust path; data stays on operator-personalised hardware.
- 01Loom (durable-function DAG)
- 02Wax-Seal (inverse-record signing)
- 03Aegis (function-policy enforcement)