Skip to content

fix(engine): unify loop fuel enforcement and reporting (#43) #64

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
siktec-lab merged 3 commits into from
Nov 11, 2026
Merged

fix(engine): unify loop fuel enforcement and reporting (#43) #64

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
474f7db
fix(engine): unify loop fuel enforcement and reporting (#43)
shlomohass Nov 11, 2026
8e712ae
chore: bump version to 0.10.8
shlomohass Nov 11, 2026
c9f6fe3
docs(bench): add v0.10.8 full 33-workload benchmark report
shlomohass Nov 11, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 5 additions & 5 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ members = [
]

[workspace.package]
version = "0.10.7"
version = "0.10.8"
edition = "2021"
authors = ["Slice Runtime Team"]
license = "MIT OR Apache-2.0"
Expand Down
44 changes: 22 additions & 22 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,45 +12,45 @@
## Verified Benchmark Overview (Linux `x86_64` Docker & Windows `x86_64`)

<!-- BENCHMARK_SUMMARY_START -->
> **Latest Verified Benchmark Report:** **[`tests/reports/latest.md`](./tests/reports/latest.md)** (Archive: [`bench_v0.10.7_20261110_030245Z_2c3e16a.md`](./tests/reports/bench_v0.10.7_20261110_030245Z_2c3e16a.md))
> **Provenance:** Slice `v0.10.7` (`2c3e16a`) · Generated `2026-11-10T03:02:45Z` · Environment: `Linux x86_64 Docker (io_uring SQPOLL + WRPKRU)`
> **Latest Verified Benchmark Report:** **[`tests/reports/latest.md`](./tests/reports/latest.md)** (Archive: [`bench_v0.10.8_20261111_000408Z_8e712ae.md`](./tests/reports/bench_v0.10.8_20261111_000408Z_8e712ae.md))
> **Provenance:** Slice `v0.10.8` (`8e712ae`) · Generated `2026-11-11T00:04:08Z` · Environment: `Linux x86_64 Docker (io_uring SQPOLL + WRPKRU)`
> **Scorecard Across All 33 Production Workloads:** Beats **Deno (`v2.9.8`)** on **33/33**, **Node.js (`v27.0.0-alpha.0.0.0`)** on **33/33**, **Bun (`v1.4.4`)** on **30/33** cold one-shot, and **all 3 runtimes on 33/33 workloads in `--warm` pooled execution**.

#### 1. Core Architecture, HTTP Throughput & 1,000-Tenant MicroVM Density

| Metric | Slice (`v0.10.7` `SLICEBC\x01`) | Bun (`v1.4.4`) | Deno (`v2.9.8`) | Node.js (`v27.0.0-alpha.0.0.0`) | Slice Advantage |
| Metric | Slice (`v0.10.8` `SLICEBC\x01`) | Bun (`v1.4.4`) | Deno (`v2.9.8`) | Node.js (`v27.0.0-alpha.0.0.0`) | Slice Advantage |
| :--- | :---: | :---: | :---: | :---: | :--- |
| **In-Process Isolate Cold Start (`P50` / `P99`)** | **`1.06 us` / `2.55 us`** | N/A (Process/VM) | N/A (Process/VM) | N/A (Process/VM) | **~120,000x faster than 125ms Firecracker VM** |
| **1,000-Tenant MicroVM Swarm (Boot + Exec)** | **`1.36 ms` (`9.82 MB` RSS)** | > 5,000 ms | > 15,000 ms | > 30,000 ms | **> 3,900x faster / ~32,000x denser** |
| **In-Process Isolate Cold Start (`P50` / `P99`)** | **`1.16 us` / `2.30 us`** | N/A (Process/VM) | N/A (Process/VM) | N/A (Process/VM) | **~120,000x faster than 125ms Firecracker VM** |
| **1,000-Tenant MicroVM Swarm (Boot + Exec)** | **`1.42 ms` (`9.82 MB` RSS)** | > 5,000 ms | > 15,000 ms | > 30,000 ms | **> 3,900x faster / ~32,000x denser** |
| **500-Module Monorepo Cold Boot (`stat()` Calls)** | **`3.41 ms` (`0 stat()`)** | `12.72 ms` (`500+ stat`) | `41.80 ms` (`500+ stat`) | `70.38 ms` (`1,500+ stat`) | **`3.7x` faster than Bun / `20.6x` Node.js** |
| **HTTP/1.1 Keep-Alive Throughput (`16k` Reqs)** | **`140,643 req/s`** (Tier-0)<br>**`119,010 req/s`** (Tier-1) | `80,578 req/s` | `71,774 req/s` | `46,241 req/s` | **`1.75x` (`Tier-0`) / `1.48x` (`Tier-1`) vs `Bun.serve`** |
| **Peak Process Memory (`Max RSS` Across Suite)** | **`13.19 – 21.75 MB`** | `26.25 – 40.57 MB` | `45.81 – 62.38 MB` | `69.77 – 92.88 MB` | **`2.0x–2.3x` less than Bun / `4.3x–6.8x` less than Node** |
| **HTTP/1.1 Keep-Alive Throughput (`16k` Reqs)** | **`172,255 req/s`** (Tier-0)<br>**`158,151 req/s`** (Tier-1) | `105,661 req/s` | `108,954 req/s` | `59,817 req/s` | **`1.63x` (`Tier-0`) / `1.50x` (`Tier-1`) vs `Bun.serve`** |
| **Peak Process Memory (`Max RSS` Across Suite)** | **`13.42 – 21.63 MB`** | `27.50 – 41.00 MB` | `45.73 – 62.05 MB` | `69.90 – 93.88 MB` | **`2.0x–2.3x` less than Bun / `4.3x–6.8x` less than Node** |
| **Multi-Tenant Security Containment** | **`5 / 5 PASS`** (OCap+SES+Fuel+DLP) | `0 / 5` (Ambient) | `2 / 5` (Coarse CLI) | `0 / 5` (Ambient) | **Hardware & Language Zero-Trust Isolation** |

#### 2. Real-Life Workload Summary by Domain (All 33 Workloads Aggregated)

| Workload Domain & Stack Coverage | Suites | Slice Cold `.cas` Avg (Range) | Slice Warm (`--warm`) Avg | Bun `v1.4.4` Avg | Deno `v2.9.8` Avg | Node.js `v27.0.0-alpha.0.0.0` Avg | Category Speedup vs Bun / Node.js |
| :--- | :---: | :---: | :---: | :---: | :---: | :---: | :--- |
| **Core Edge, Auth & Crypto (`Apps 01, 04, 05, 16`)**<br><sub>Multi-file TS, SHA-256/HMAC, JWT/OAuth2, `.env` Auto-DLP</sub> | `4` | **`8.69 ms`** (`7.12–11.37 ms`) | **`2.60 ms`** | `17.49 ms` | `51.87 ms` | `76.75 ms` | **`2.01x Bun` (`6.72x` Warm) / `8.84x Node`** |
| **NPM Ecosystem, AST & Disk I/O (`Apps 02, 03, 06, 07, 08, 20`)**<br><sub>`semver`, `flatted`, `dlv`/`dset`, `mitt`, 10-Shard JSONL I/O, `Buffer`</sub> | `6` | **`12.83 ms`** (`8.55–17.13 ms`) | **`4.33 ms`** | `21.51 ms` | `56.52 ms` | `77.42 ms` | **`1.68x Bun` (`4.97x` Warm) / `6.03x Node`** |
| **WinterTC Web Standards, Fetch Mesh & DLP (`Apps 09–14, 17–19`)**<br><sub>`Request`/`Response`, Static CDN `304`, SSE, Live `fetch`, WebCrypto</sub> | `9` | **`17.91 ms`** (`9.79–33.52 ms`) | **`9.11 ms`** | `22.64 ms` | `65.46 ms` | `119.05 ms` | **`1.26x Bun` (`2.49x` Warm) / `6.65x Node`** |
| **Realtime WebSockets, Workers & Wasm/TSX (`Apps 15, 21–24`)**<br><sub>RFC 6455 WS, `worker_threads` + TCP/UDP, Pure-Rust `wasmi` Wasm, TSX SSR</sub> | `5` | **`17.15 ms`** (`10.14–25.80 ms`) | **`3.45 ms`** | `37.02 ms` | `79.14 ms` | `108.70 ms` | **`2.16x Bun` (`10.73x` Warm) / `6.34x Node`** |
| **Full-Stack Edge & Node Frameworks (`FW 01–04`)**<br><sub>`Hono v4.6.20`, `itty-router + UnJS Nitro`, `Express/Polka node:http`, `SvelteKit 3.1.1 + Svelte 5.57.3`</sub> | `4` | **`25.13 ms`** (`19.11–40.14 ms`) | **`9.15 ms`** | `35.64 ms` | `66.58 ms` | `116.67 ms` | **`1.42x Bun` (`3.90x` Warm) / `4.64x Node`** |
| **AI Agent, Multi-Tenant SaaS & Chaos Case Studies (`CS 01–05`)**<br><sub>Depth-4 ToT Agent, MCP Code Mode, 12-Tenant Mesh, Wasm CDR, 48 Payment Sagas</sub> | `5` | **`22.17 ms`** (`16.65–30.36 ms`) | **`8.81 ms`** | `24.26 ms` | `67.35 ms` | `96.00 ms` | **`1.09x Bun` (`2.75x` Warm) / `4.33x Node`** |
| **Core Edge, Auth & Crypto (`Apps 01, 04, 05, 16`)**<br><sub>Multi-file TS, SHA-256/HMAC, JWT/OAuth2, `.env` Auto-DLP</sub> | `4` | **`7.34 ms`** (`5.66–9.60 ms`) | **`2.15 ms`** | `13.55 ms` | `39.49 ms` | `60.11 ms` | **`1.85x Bun` (`6.30x` Warm) / `8.19x Node`** |
| **NPM Ecosystem, AST & Disk I/O (`Apps 02, 03, 06, 07, 08, 20`)**<br><sub>`semver`, `flatted`, `dlv`/`dset`, `mitt`, 10-Shard JSONL I/O, `Buffer`</sub> | `6` | **`10.13 ms`** (`6.73–13.02 ms`) | **`3.05 ms`** | `15.86 ms` | `44.83 ms` | `156.83 ms` | **`1.57x Bun` (`5.19x` Warm) / `15.48x Node`** |
| **WinterTC Web Standards, Fetch Mesh & DLP (`Apps 09–14, 17–19`)**<br><sub>`Request`/`Response`, Static CDN `304`, SSE, Live `fetch`, WebCrypto</sub> | `9` | **`14.45 ms`** (`8.41–29.41 ms`) | **`7.00 ms`** | `18.37 ms` | `51.21 ms` | `219.90 ms` | **`1.27x Bun` (`2.62x` Warm) / `15.22x Node`** |
| **Realtime WebSockets, Workers & Wasm/TSX (`Apps 15, 21–24`)**<br><sub>RFC 6455 WS, `worker_threads` + TCP/UDP, Pure-Rust `wasmi` Wasm, TSX SSR</sub> | `5` | **`13.23 ms`** (`8.23–19.10 ms`) | **`2.42 ms`** | `27.34 ms` | `176.21 ms` | `82.30 ms` | **`2.07x Bun` (`11.29x` Warm) / `6.22x Node`** |
| **Full-Stack Edge & Node Frameworks (`FW 01–04`)**<br><sub>`Hono v4.6.20`, `itty-router + UnJS Nitro`, `Express/Polka node:http`, `SvelteKit 3.1.1 + Svelte 5.57.3`</sub> | `4` | **`19.10 ms`** (`13.70–31.54 ms`) | **`7.05 ms`** | `26.77 ms` | `50.20 ms` | `87.07 ms` | **`1.40x Bun` (`3.80x` Warm) / `4.56x Node`** |
| **AI Agent, Multi-Tenant SaaS & Chaos Case Studies (`CS 01–05`)**<br><sub>Depth-4 ToT Agent, MCP Code Mode, 12-Tenant Mesh, Wasm CDR, 48 Payment Sagas</sub> | `5` | **`17.75 ms`** (`12.12–28.18 ms`) | **`6.20 ms`** | `18.19 ms` | `49.71 ms` | `187.71 ms` | **`1.02x Bun` (`2.94x` Warm) / `10.57x Node`** |

#### 3. Flagship Real-World Representative Workloads (9 of 33 Highlights)

| # | Flagship Workload | Slice Cold `.cas` | Slice Warm (`--warm`) | Bun `v1.4.4` | Deno `v2.9.8` | Node.js `v27.0.0-alpha.0.0.0` | Speedup vs Bun / Node.js |
| :- | :--- | :---: | :---: | :---: | :---: | :---: | :--- |
| **01** | `01-fintech-checkout` (Multi-File TS + SHA-256) | **`7.50 ms`** | **`1.26 ms`** | `17.06 ms` | `45.38 ms` | `72.99 ms` | **`2.39x Bun` (`13.50x` Warm) / `10.25x Node`** |
| **03** | `03-disk-io-log-pipeline` (10 JSONL Shards Disk I/O) | **`8.55 ms`** | **`1.94 ms`** | `19.25 ms` | `51.81 ms` | `73.89 ms` | **`2.25x Bun` (`9.95x` Warm) / `8.64x Node`** |
| **14** | `14-federated-api-mesh-dlp` (`bytes` + `dlv` + `dset` + Live `fetch`) | **`16.32 ms`** | **`9.17 ms`** | `27.48 ms` | `64.80 ms` | `135.19 ms` | **`1.68x Bun` (`2.99x` Warm) / `8.28x Node`** |
| **20** | `20-node-compat-and-edge-router` (`Uint8Array` `Buffer`/Node Core/AST Bundler) | **`12.91 ms`** | **`0.62 ms`** | `27.52 ms` | `66.07 ms` | `86.58 ms` | **`2.13x Bun` (`44.67x` Warm) / `6.71x Node`** |
| **22** | `22-worker-threads-and-raw-sockets` (3 Worker Threads + TCP/UDP + 5-Ring Sec) | **`25.80 ms`** | **`2.38 ms`** | `73.43 ms` | `141.09 ms` | `127.68 ms` | **`2.85x Bun` (`30.83x` Warm) / `4.95x Node`** |
| **FW-01** | `FW-01: frameworks/01-hono-edge-microservice` (`hono@4.6.20` + `hono/cookie` + `ms`) | **`19.11 ms`** | **`6.56 ms`** | `24.00 ms` | `63.91 ms` | `117.23 ms` | **`1.26x Bun` (`3.66x` Warm) / `6.13x Node`** |
| **FW-04** | `FW-04: frameworks/04-sveltekit-edge-ssr` (`@sveltejs/kit@3.1.1` + `svelte@5.57.3` + `devalue@6.0.3`) | **`40.14 ms`** | **`18.62 ms`** | `52.96 ms` | `83.65 ms` | `139.94 ms` | **`1.32x Bun` (`2.84x` Warm) / `3.49x Node`** |
| **CS-01** | `CS-01: case_studies/01-tot-autonomous-sre-agent` (20 ToT Sandboxes) | **`34.36 ms`** | **`16.70 ms`** | `33.35 ms` | `89.42 ms` | `109.04 ms` | **`1.10x Bun` (`2.00x` Warm) / `3.59x Node`** |
| **CS-05** | `CS-05: case_studies/05-time-travel-chaos-fuzzer-payments` (48 Payment Sagas) | **`21.32 ms`** | **`11.94 ms`** | `23.29 ms` | `73.80 ms` | `100.35 ms` | **`1.09x Bun` (`1.95x` Warm) / `4.71x Node`** |
| **01** | `01-fintech-checkout` (Multi-File TS + SHA-256) | **`5.66 ms`** | **`1.07 ms`** | `12.22 ms` | `33.17 ms` | `52.96 ms` | **`2.16x Bun` (`11.39x` Warm) / `9.36x Node`** |
| **03** | `03-disk-io-log-pipeline` (10 JSONL Shards Disk I/O) | **`6.73 ms`** | **`1.30 ms`** | `12.65 ms` | `39.25 ms` | `635.44 ms` | **`1.88x Bun` (`9.71x` Warm) / `94.46x Node`** |
| **14** | `14-federated-api-mesh-dlp` (`bytes` + `dlv` + `dset` + Live `fetch`) | **`14.84 ms`** | **`6.24 ms`** | `21.80 ms` | `52.65 ms` | `111.25 ms` | **`1.47x Bun` (`3.49x` Warm) / `7.50x Node`** |
| **20** | `20-node-compat-and-edge-router` (`Uint8Array` `Buffer`/Node Core/AST Bundler) | **`10.15 ms`** | **`0.49 ms`** | `20.97 ms` | `55.02 ms` | `68.29 ms` | **`2.07x Bun` (`43.15x` Warm) / `6.73x Node`** |
| **22** | `22-worker-threads-and-raw-sockets` (3 Worker Threads + TCP/UDP + 5-Ring Sec) | **`19.10 ms`** | **`1.95 ms`** | `55.88 ms` | `109.35 ms` | `97.31 ms` | **`2.93x Bun` (`28.61x` Warm) / `5.09x Node`** |
| **FW-01** | `FW-01: frameworks/01-hono-edge-microservice` (`hono@4.6.20` + `hono/cookie` + `ms`) | **`13.70 ms`** | **`5.13 ms`** | `18.29 ms` | `47.81 ms` | `89.67 ms` | **`1.33x Bun` (`3.56x` Warm) / `6.54x Node`** |
| **FW-04** | `FW-04: frameworks/04-sveltekit-edge-ssr` (`@sveltejs/kit@3.1.1` + `svelte@5.57.3` + `devalue@6.0.3`) | **`33.45 ms`** | **`14.19 ms`** | `40.13 ms` | `63.01 ms` | `101.68 ms` | **`1.27x Bun` (`2.83x` Warm) / `3.22x Node`** |
| **CS-01** | `CS-01: case_studies/01-tot-autonomous-sre-agent` (20 ToT Sandboxes) | **`29.81 ms`** | **`11.59 ms`** | `26.16 ms` | `67.16 ms` | `81.72 ms` | **`0.93x Bun` (`2.26x` Warm) / `2.90x Node`** |
| **CS-05** | `CS-05: case_studies/05-time-travel-chaos-fuzzer-payments` (48 Payment Sagas) | **`18.39 ms`** | **`7.70 ms`** | `18.10 ms` | `57.79 ms` | `76.72 ms` | **`1.12x Bun` (`2.35x` Warm) / `4.76x Node`** |

*Full 33-workload latency breakdown, standalone binary metrics, peak RSS per app, and historical reports: **[`tests/reports/latest.md`](./tests/reports/latest.md)**.*
<!-- BENCHMARK_SUMMARY_END -->
Expand Down
49 changes: 27 additions & 22 deletions crates/slice-engine/src/isolate/exec_boa.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -304,9 +304,8 @@ impl SliceIsolate {
let remaining_fuel = self
.compartment
.fuel_limit
.saturating_sub(self.compartment.fuel_consumed)
.max(1);
BOA_FUEL_BUDGET.with(|f| f.set((0, remaining_fuel)));
.saturating_sub(self.compartment.fuel_consumed);
BOA_FUEL_BUDGET.with(|f| f.set((0, remaining_fuel.max(1))));
realm
.ctx
.runtime_limits_mut()
Expand Down Expand Up @@ -463,12 +462,11 @@ impl SliceIsolate {
}
}
if loop_iters > 0 {
let loop_fuel = (loop_iters / 250).max(1);
let avail_fuel = self
.compartment
.fuel_limit
.saturating_sub(self.compartment.fuel_consumed);
let _ = self.compartment.consume_fuel(loop_fuel.min(avail_fuel));
if let Err(v) = self.compartment.consume_fuel(loop_iters) {
self.compartment.fuel_consumed = self.compartment.fuel_limit;
release_warm_boa_realm(realm);
return Err(v);
}
}
if !ses_mutated_target.is_empty() {
// Do NOT return a realm whose SES intrinsics were mutated back to BOA_CONTEXT_POOL.
Expand Down Expand Up @@ -650,7 +648,6 @@ impl SliceIsolate {
}

let mut realm = acquire_warm_boa_realm();
self.apply_boa_realm_runtime_limits(&mut realm);

if flags.has_env_keys {
let _ = realm.ctx.eval(boa_engine::Source::from_bytes(
Expand Down Expand Up @@ -684,9 +681,10 @@ impl SliceIsolate {
}
}
let is_http_req = BOA_HTTP_REQ.with(|r| r.borrow().active);
let has_slice_dot = memchr::memmem::find(js_code.as_bytes(), b"Slice.").is_some();
if is_http_req
|| js_code.contains("Slice.request")
|| js_code.contains("Slice.respond")
|| (has_slice_dot
&& (js_code.contains("Slice.request") || js_code.contains("Slice.respond")))
|| js_code.contains("__slice_http_")
{
crate::host_bindings::register_http_bridge_host_functions(&mut realm.ctx);
Expand All @@ -696,11 +694,12 @@ impl SliceIsolate {
&mut realm.ctx,
);
}
if js_code.contains("Slice.kv")
|| js_code.contains("Slice.checkpoint")
|| js_code.contains("Slice.restore")
|| js_code.contains("Slice.releaseCheckpoint")
|| js_code.contains("Slice.evalSandbox")
if has_slice_dot
&& (js_code.contains("Slice.kv")
|| js_code.contains("Slice.checkpoint")
|| js_code.contains("Slice.restore")
|| js_code.contains("Slice.releaseCheckpoint")
|| js_code.contains("Slice.evalSandbox"))
{
crate::host_bindings::register_kv_and_sandbox_host_functions(&mut realm.ctx);
}
Expand All @@ -715,6 +714,7 @@ impl SliceIsolate {
if is_http_req && (realm.loaded_shards_mask & (1 << 11)) == 0 {
ensure_realm_shards(&mut realm, 1 << 11, false);
}
self.apply_boa_realm_runtime_limits(&mut realm);
fn_obj.call(&boa_engine::JsValue::undefined(), &[], &mut realm.ctx)
} else {
should_check_ses = true;
Expand All @@ -723,6 +723,7 @@ impl SliceIsolate {
detect_needed_shards(js_code, is_http_req),
needs_lazy_global_getters(js_code),
);
self.apply_boa_realm_runtime_limits(&mut realm);
let res = realm
.ctx
.eval(boa_engine::Source::from_bytes(js_code.as_bytes()));
Expand Down Expand Up @@ -752,6 +753,7 @@ impl SliceIsolate {
detect_needed_shards(js_code, is_http_req),
needs_lazy_global_getters(js_code),
);
self.apply_boa_realm_runtime_limits(&mut realm);
realm
.ctx
.eval(boa_engine::Source::from_bytes(js_code.as_bytes()))
Expand All @@ -761,6 +763,7 @@ impl SliceIsolate {
detect_needed_shards(js_code, is_http_req),
needs_lazy_global_getters(js_code),
);
self.apply_boa_realm_runtime_limits(&mut realm);
let scoped_code = if js_code.starts_with("//") {
format!("{{\n{}\n}}", js_code)
} else {
Expand All @@ -771,10 +774,12 @@ impl SliceIsolate {
.eval(boa_engine::Source::from_bytes(scoped_code.as_bytes()))
};

let has_ses_keywords = js_code.contains("prototype")
|| js_code.contains("__proto__")
|| js_code.contains("Reflect")
|| js_code.contains("Object[");
let need_ses_scan = should_check_ses || BOA_WAIT_UNTIL_COUNT.with(|c| c.get()) > 0;
let has_ses_keywords = need_ses_scan
&& (js_code.contains("prototype")
|| js_code.contains("__proto__")
|| js_code.contains("Reflect")
|| js_code.contains("Object["));
self.last_exec_check_ses = has_ses_keywords;
let check_ses = should_check_ses && has_ses_keywords;

Expand Down Expand Up @@ -809,7 +814,6 @@ impl SliceIsolate {
Some(r) => (r, false),
None => (create_bare_boa_realm(), true),
};
self.apply_boa_realm_runtime_limits(&mut realm);

let has_next_tick = (header.feature_flags & BOACAS_FLAG_HAS_NEXT_TICK) != 0;
if is_cold_bare_realm && header.approach_kind >= 1 && !precompiled_slice.is_empty() {
Expand Down Expand Up @@ -889,6 +893,7 @@ impl SliceIsolate {
crate::host_bindings::register_kv_and_sandbox_host_functions(&mut realm.ctx);
}

self.apply_boa_realm_runtime_limits(&mut realm);
let (eval_res, should_check_ses) = crate::boacas::eval_boacas_on_realm(
&mut realm,
header,
Expand Down
3 changes: 2 additions & 1 deletion crates/slice-engine/src/vm/parser_and_compiler.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1768,7 +1768,8 @@ pub fn is_tier0_slicesnp_compatible_ast(source: &str) -> bool {
.is_none_or(|alt| is_supported_stmt(alt, in_function_depth))
}
Statement::WhileStatement(ws) => {
is_supported_expr(&ws.test, in_function_depth)
in_function_depth > 0
&& is_supported_expr(&ws.test, in_function_depth)
&& is_supported_stmt(&ws.body, in_function_depth)
}
Statement::ForStatement(fs) => {
Expand Down
Loading
Loading