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
- 6d ago
- Total releases
- 4
- Cadence
- ~3 days
- Last 12 months
- 4
Details
- License
- Apache-2.0
- First release
- Aug 26, 2026
| Version | Released | |
|---|---|---|
0.4.0
minor
|
0.4.0
minor
Dependencies (8)
|
|
0.3.0
minor
|
0.3.0
minor
Dependencies (8)
|
|
0.2.0
minor
|
0.2.0
minor
Dependencies (8)
|
|
0.1.0
initial
|
0.1.0
initial
Dependencies (8)
|