Idea
Project / Batch admission
Choose a batch that fits the limits.
Two transfers can each fit an account’s balance and still overspend it together. Serializing updates or retrying conflicts handles this at execution time.
Yichus explores checking a proposed batch first. In Bosatsu, a typed functional language, you describe which accounts a transfer changes, by how much, and the balance limits to preserve. The solver returns a proposed batch and explanations for the operations it defers. The application still decides when to apply or retry them.
What works today
The ledger example lets you change a batch, inspect its balance limits, and edit a handler. Yichus replays admitted operations through the compiled handlers to check whether they match the declared model. A mismatch makes the admission result inconclusive.
This is an experimental checker. Replay checks the selected batch; it does not prove the declarations correct for every input or replace database transaction enforcement.
Read the solver’s contract and limits · Browse the example source
All Yichus projects · Application checks