tricu

io-version-probe.mjs (2775B)

---

 // Actual selected production adapter, independent constructor-only bundles.
 export async function run(_control,backend){
  const assert=(value,message)=>{if(!value)throw Error(message);};
  const base=new URL('../',document.querySelector('script[type=module][src]').src);
  const {createRuntimeSession}=(await import(new URL('dist/probe-api.js',base))).runtimeSession;
  const fixtures=await(await fetch('/runtime-fixtures.json')).json();
  const checks=[];const s=await createRuntimeSession(backend,false);
  const host={before:async()=>{},after:()=>{},read:async()=>'',write:()=>{},running:()=>{}};
  const load=async name=>{const f=fixtures[name];await s.load(new Uint8Array(f.bytes),f.hash);};
  try{
   await load('pure-number');
   assert((await s.run('root',[],'number','pure',host)).value==='42','pure evaluation');
   checks.push(backend+' pure evaluation');
   for(const name of ['version','version-effect']){
    await load(name);assert(await s.probeIO('root')===true,'inert probe recognizes supported v2 framing');
    let callbacks=0;const forbidden=()=>{callbacks++;throw Error('unexpected host callback');};let rejected=false;
    try{await s.run('root',[],'tree','io',{before:forbidden,after:forbidden,read:forbidden,write:forbidden,running:forbidden});}
    catch(error){assert(/IO version 2 requires a structured terminal host/.test(error.message),'wrong rejection: '+error.message);rejected=true;}
    assert(rejected&&callbacks===0,'legacy host accepted v2 or was invoked');
   }
   for(const name of ['unknown-version','padded-v1','v1-output']){
   await load(name);assert(!await s.probeIO('root'),'unknown/noncanonical version inert rejection');
   let unknownCallbacks=0;const never=()=>{unknownCallbacks++;throw Error('unknown version invoked host');};
   try{await s.run('root',[],'tree','io',{...host,selected:never,structured:{open:never,event:never,close:never}});throw Error('unknown version accepted');}
   catch(error){assert(/Unsupported tricuIO version/.test(error.message),'unknown version error');}
   assert(unknownCallbacks===0,'unknown framing reached callbacks');
   }
   checks.push(backend+' rejects v2 on legacy hosts before callbacks, including overlapping v1 output; no retry');
   await load('pure-number');
   assert((await s.run('root',[],'number','pure',host)).value==='42','reuse after rejection');
   checks.push(backend+' rejects historical v1 without callbacks; pure runtime remains reusable');
  }finally{s.dispose();}
  const compiler=await createRuntimeSession(backend,true);
  try{
   await compiler.compile('answer = 42');
   assert((await compiler.inspectDefinition('answer','number')).value==='42','pure compiler');
   checks.push(backend+' separately pinned pure compiler remains usable');
  }finally{compiler.dispose();}
  return {backend,checks};
 }