Exact admission
Signed account sequence, expected roots, and canonical inputs cross one explicit transaction boundary.
Ignatius
Signed coordination · PostgreSQL authority
Work commits.
Receipts prove it.
Ignatius orders signed transactions, executes canonical Hara reducers, commits linear blocks, and returns receipts binding the transaction, result, state, and block roots.
- Authority
- PostgreSQL chain
- Logic
- Canonical Hara
- Evidence
- Signed receipts
Deterministic execution
Hara reducers produce immutable values and roots before the authoritative block is committed.
Portable evidence
Receipts bind the operation, result, state transition, and linear block without exposing database handles.