hara-native 0.1.13

HAL-free native host runtime and package launcher for Hara
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70

import { test, expect } from "@playwright/test";
test("real worker resumes a pending HTA evaluator fiber",async({page})=>{await page.goto("/rust/web/hta-browser.html");await expect.poll(()=>page.evaluate(()=>window.htaSmoke?.then(String))).toBe("42");await page.evaluate(()=>window.htaContext.close());});

test("raw HTA artifacts use only the explicit host import surface", async ({page}) => {
  await page.goto("/rust/web/hta-browser.html");
  const imports = await page.evaluate(async () => {
    const expected = [
      { module: "env", name: "hara_random_fill", kind: "function" },
      { module: "env", name: "hara_time_ms", kind: "function" },
      { module: "env", name: "hara_time_ns", kind: "function" },
    ];
    const names = ["core", "vm", "trace"];
    return Object.fromEntries(await Promise.all(names.map(async name => {
      const response = await fetch(`/rust/crates/raw/target/wasm32-unknown-unknown/browser-release/hara-wasm-${name}.wasm`);
      const module = await WebAssembly.compile(await response.arrayBuffer());
      return [name, WebAssembly.Module.imports(module)
        .map(({ module: importModule, name: importName, kind }) => ({
          module: importModule,
          name: importName,
          kind,
        }))
        .sort((left, right) => `${left.module}/${left.name}`.localeCompare(`${right.module}/${right.name}`))];
    })));
  });
  const expected = [
    { module: "env", name: "hara_random_fill", kind: "function" },
    { module: "env", name: "hara_time_ms", kind: "function" },
    { module: "env", name: "hara_time_ns", kind: "function" },
  ].sort((left, right) => `${left.module}/${left.name}`.localeCompare(`${right.module}/${right.name}`));
  expect(imports).toEqual({ core: expected, vm: expected, trace: expected });
});

test("browser promise provider follows the real Chromium event loop",async({page})=>{
  await page.goto("/rust/web/hta-browser.html");
  const result=await page.evaluate(async()=>{
    const {BrowserPromiseProvider}=await import("/rust/web/packages/hta/index.js");
    const provider=new BrowserPromiseProvider(),events=[];
    const source=provider.run(()=>{events.push("run");return 21;});
    const chained=provider.then(source,value=>{events.push("then");return value*2;});
    events.push("sync");
    return {value:await chained,events,native:chained instanceof Promise};
  });
  expect(result).toEqual({value:42,events:["sync","run","then"],native:true});
});

test("fresh browser sandbox evaluates without native authority",async({page})=>{
  await page.goto("/rust/web/hta-browser.html");
  const result=await page.evaluate(async()=>{
    const bytes=new Uint8Array(await (await fetch("/rust/crates/raw/target/wasm32-unknown-unknown/browser-release/hara-wasm-core.wasm")).arrayBuffer());
    const {BrowserWasmSandbox}=await import("/rust/web/packages/hta/sandbox.js");
    const create=()=>new BrowserWasmSandbox({
      workerUrl:new URL("/rust/web/packages/hta/worker.mjs",location.href),
      moduleBytes:bytes,
    });
    const sandbox=create();
    const completed=await sandbox.run({operation:"sandbox.eval",source:"(+ 40 2)"});
    let secondRun;
    try{await sandbox.run({operation:"sandbox.eval",source:"(+ 1 1)"});}
    catch(error){secondRun=error.code;}
    const isolated=await create().run({
      operation:"sandbox.eval",
      source:"(and (nil? (Base/resolve 'Runtime)) (nil? (Base/resolve 'std.native.Runtime/call)) (nil? (Base/resolve 'Host/call)) (nil? (Base/resolve 'File/read)))",
    });
    return {completed,secondRun,isolated};
  });
  expect(result.completed.value).toEqual({text:"42",json:42});
  expect(result.completed.cleanup).toBe("completed");
  expect(result.secondRun).toBe("sandbox/not-reusable");
  expect(result.isolated.value).toEqual({text:"true",json:true});
});