Fuaran.Program.Bounded
Fuaran.Program.Bounded — the bounded program interpreter: a total fold of the wire-representable action set over a program's state store, with the no-closure-invocation invariant that makes an emitted tree safe to run untrusted. Placement-neutral by construction (the same interpreter drives a server session and a browser client), plus the server placement's loop with its per-interaction resource budget. Apache-2.0 licensed.
Activity
- Latest release
- 5d ago
- Total releases
- 15
- Cadence
- ~3 days
- Last 12 months
- 15
Details
- License
- Apache-2.0
- First release
- Aug 26, 2026
Releases