monoloop-contracts

Shared identities, ports, limits, errors, and canonical types for Monoloop.

Hosts and all three product components depend on this crate. It has no I/O and no Tokio runtime of its own.

License: AGPL-3.0-or-later. Commercial: https://frogfish.io

What this crate is / is not

How an assembler uses it

This crate alone does not run a transaction. Prefer the façade:

1. Depend on monoloop (or wire monoloop-loop + connector + interpreter).
2. Build CanonicalInput (e.g. user_text_input("…")).
3. Build TransactionRequest with:
   • explicit channel_id (and optional session_id)
   • invocation_config (deadline, continuation policy, …)
   • push events: Arc<dyn TransactionEventSink> (e.g. FnEventSink)
   • one completion: Box<dyn CompletionCallback> (e.g. FnCompletionCallback)
4. Call TransactionRuntime::submit on a started DefaultTransactionRuntime.

use monoloop_contracts::user_text_input;

let input = user_text_input("hello")?;

Full wiring: monoloop / monoloop-loop examples/fake_echo.rs.

Key modules

Normative: doc/REQUIREMENTS.md, doc/TRANSACTION_RUNTIME_IMPLEMENTATION.md.