lanekeep-js 0.8.1

Embedded JavaScript sandbox and host API for lanekeep rules.
Documentation

Embedded JavaScript sandbox and host API for lanekeep rules.

The embedded QuickJS runtime, the capability-restricted host API, the TypeScript stripping step, and the module loader.

The sandbox boundary lives here. Rule code reaches exactly the functions this crate exposes and nothing else: no ambient filesystem, no process, no network, no clock, no randomness. Those globals are not restricted, they are absent.

Every addition to the host API widens the trust boundary and bumps the API version that feeds the cache key.

FileAccess/ReadError and NodeArena/Handle are re-exported rather than owned here: the first lives in lanekeep-core, the second in lanekeep-nodes. Both moved out once a second engine (lanekeep-wasm) needed the identical definitions — a copy per engine would let one run enforce two different notions of "the same file" or "the same node", each correct alone and disagreeing with the other.

Limits/RunClock (and the Budget/Trip this sandbox arms and reads) moved to lanekeep-core for a sharper version of the same reason: a run has exactly one global budget, not one per engine, so two RunClocks would each be a correct clock in isolation while the run as a whole overran both. This sandbox still does the arming, disarming and interrupt wiring — only the type that makes "one clock" possible moved out.

How absence is achieved

Two mechanisms, and the first is much stronger than the second.

Not installed. The engine's optional intrinsics are opted into rather than opted out of, so Date, Performance and WeakRef are never created. There is no original for a rule to reach: nothing to patch, nothing to restore, no prototype chain leading back.

Deleted at startup. Math.random lives among the non-optional base objects, so it has to go afterwards. This is weaker in principle — deletion can be undone if a reference escapes — but a rule that defines its own Math.random has written deterministic code, which is all this needs to guarantee.

Anything a host function does not offer, a rule cannot do. fs, process, fetch, setTimeout and friends were never part of this engine to begin with, which is asserted rather than assumed.

What is here so far

The sandbox and its budgets. The host API, TypeScript stripping and the module loader arrive in later milestones.