tricu

io-v2-protocol-probe.mjs (2474B)

---

 // Real WASM engines, inert header inspection only, no source compiler substitute.
 export async function run(_control,backend){
  const base=new URL('../',document.querySelector('script[type=module][src]').src);
  const fixtures=await(await fetch('/zig-negative.json')).json(),checks=[];
  let inspect,dispose;
  if(backend==='haskell-wasm'){
   const {CompilerWorker}=await import(new URL('runtime/haskell/client.mjs',base));
   const client=new CompilerWorker();dispose=()=>client.dispose();
   await client.request({type:'init',compiler:false});
   inspect=async fixture=>{await client.request({type:'load',bytes:new Uint8Array(fixture.bytes).buffer,hash:fixture.hash});return JSON.parse((await client.request({type:'io-v2-header',name:'root',arguments:[]})).text);};
  }else{
   const {WasmRuntime}=await import('/io-v2-runtime.mjs');
   const {ioV2Protocol}=await import(new URL('dist/zig-helpers.js',base));
   const graph=await WasmRuntime.create(new Uint8Array(await(await fetch(new URL('runtime/zig/arboricx.wasm',base))).arrayBuffer()));
   dispose=()=>graph.dispose();
   inspect=async fixture=>graph.scope(()=>ioV2Protocol.header(graph,graph.load(new Uint8Array(fixture.bytes),'root')));
  }
  const equal=(got,want)=>{if(JSON.stringify(got)!==JSON.stringify(want))throw Error('Header mismatch: '+JSON.stringify(got));};
  try{
   for(let code=0;code<10;code++)equal(await inspect(fixtures['v2-header-core-'+code]),{kind:'core',code});
   checks.push('all ten core headers without expanding shared payloads');
   equal(await inspect(fixtures['v2-header-future']),{kind:'request',group:'future-9',revision:65535,operation:'unknown'});
   equal(await inspect(fixtures['v2-header-long-name']),{kind:'request',group:'a'.repeat(64),revision:1,operation:'read'});
   checks.push('future named request and exact name/revision bounds');
   for(const [name,message] of [['bad-tag','unknown computation constructor'],['bad-name','invalid facility header'],['bad-revision','invalid facility header'],['zero-revision','invalid facility header'],['bad-shape','invalid computation shape']]){
    let rejected=false;try{await inspect(fixtures['v2-header-'+name]);}catch(error){if(!error.message.includes(message))throw error;rejected=true;}
    if(!rejected)throw Error('Accepted '+name);
    equal(await inspect(fixtures['v2-header-core-0']),{kind:'core',code:0});
   }
   checks.push('five malformed headers reject; runtime remains usable after each');
  }finally{dispose();}
  return {backend,checks};
 }