Package-level declarations

A complete, well-behaved warp kernel whose declared linear-memory limits are the whole point of the vector: nothing else about it can trip a load guard, so a property over it is reasoning about initialPages and maxPages alone.

A kernel that successfully grows linear memory mid-call and writes its result into the page that did not exist before the grow.

A kernel whose warp_run returns a result window that is in range and past the end: both ABI words are ordinary small positive numbers, the pointer addresses real linear memory, and only ptr + len crosses the memory end.

Multi-node warp simulation harness for use in tests. See the file-level KDoc for the full determinism contract and setup ceremony; construct via multiNodeWarpSim or — preferably — run the whole test through warpSimTest.

The shared malicious- and well-behaved-kernel vectors for WasmRuntimeConformanceSuite.

Conformance TCK for WasmRuntime — the uniform safety contract every implementation (JVM Chicory, native wasm3, browser WebAssembly API, and any future impl) must enforce against untrusted kernels. Validate an implementation by subclassing this suite and overriding newRuntime:

The lowest value with bit 31 set. A guest-controlled ABI word at or above this is what the three high-bit vectors carry, and what a sign-only guard already rejects — so an InRangePastEndVector must stay strictly below it or it proves nothing the siblings do not.

A pass-through op — echoes its argument bytes unchanged.

Short-cadence QuilterConfig for MultiNodeWarpSim tests — anti-entropy converges in a few hundred virtual ms rather than the multi-second production cadence.

The pass-through op every MultiNodeWarpSim.trackedEchoRegistry registers.

Wall-clock backstop for warpSimTest — the budget for a genuine wedge, not a performance assertion. Mirrors RAFT_SIM_WEDGE_BACKSTOP (:kuilt-raft-test) and TEST_WEDGE_BACKSTOP (:kuilt-test), which carry the same contract.

Bytes per WASM linear-memory page. Fixed by the WebAssembly spec at 64 KiB.

Weave an n-peer InMemoryLoom mesh and stand up one coordination-free WarpNode per peer, returning the ready MultiNodeWarpSim. Prefer warpSimTest, which also wires runTest(StandardTestDispatcher(), timeout = WARP_SIM_WEDGE_BACKSTOP) and teardown; use this directly only when the test needs to own the runTest invocation.

Runs scenario, retrying up to attempts times — but only when it fails by overrunning a runtime's wall-clock guest budget, and never on any other failure.

Build a MultiNodeWarpSim of n peers and run body under runTest(StandardTestDispatcher(), timeout = WARP_SIM_WEDGE_BACKSTOP) — the canonical harness for multi-node coordination-free warp tests. Closes every node after body. See MultiNodeWarpSim for the full determinism contract.