tricu

local-module-probe.mjs (8884B)

---

 const assert=(ok,message)=>{if(!ok)throw Error(message);};
 const equal=(a,b,message)=>assert(JSON.stringify(a)===JSON.stringify(b),message+': '+JSON.stringify(a));
 async function rejects(fn,pattern){try{await fn();}catch(e){assert(pattern.test(String(e)),'Wrong rejection: '+e);return;}throw Error('Expected rejection');}
 const el=id=>document.getElementById(id),delay=ms=>new Promise(r=>setTimeout(r,ms));
 async function wait(fn){for(let i=0;i<4500;i++){if(fn())return;await delay(20);}throw Error('Timed out: '+el('status').textContent+' / '+el('compiled-module-status').textContent);}
 const status=s=>wait(()=>el('status').textContent===s);
 const input=(id,value)=>{el(id).value=value;el(id).dispatchEvent(new Event('input'));};
 const change=(id,value)=>{el(id).value=value;el(id).dispatchEvent(new Event('change'));};
 export async function run(control,backend){
  const base=new URL('../',document.querySelector('script[type=module][src]').src);
  const {createRuntimeSession}=(await import(new URL('dist/probe-api.js',base))).runtimeSession;
  const {validateLocalModule}=(await import(new URL('dist/probe-api.js',base))).localModules;
  const {encodeModule}=(await import(new URL('dist/probe-api.js',base))).moduleBundle;
  const {decodeBundle}=(await import(new URL('dist/probe-api.js',base))).bundle;
  const index=await(await fetch(new URL('packages.json',base))).json();
  const math=index.releases.find(r=>r.name==='tricu-lib-native-math'&&r.version==='0.1.0');
  const source=`!import ${math.manifest} as N\n!export echo\n!export plus\n!export value\nprivate = 9\necho x = x\nplus x = N.add x private\nvalue = 42\nq x = x x\nhidden = q q`;
  const host={before:async()=>{},after:()=>{},read:async()=>'',write:()=>{},running:()=>{}};
  const s=await createRuntimeSession(backend,true);let exported;
  try{
   await s.compile(source);
   exported=await validateLocalModule(await s.exportModule());
   equal(exported.names,['echo','plus','value'],'Only public exports, no imports/private divergent value');
   equal((await s.runExpression('N.add value private','number','pure',host)).value,'51','Export preserves expression scope');
   const start=(await(await fetch(control+'/requests')).json()).length;
   await s.compile(`!import ${exported.manifest} as L\n!export answer\nanswer = L.plus 33`,undefined,[exported]);
   equal((await s.runExpression('L.echo answer','number','pure',host)).value,'42','Local qualified import');
   await s.compile(`!import ${exported.manifest} *\n!export answer\nanswer = plus 33`,undefined,[exported]);
   equal((await s.run('answer',[],'number','pure',host)).value,'42','Local open import');
   await s.compile(`!export * from ${exported.manifest}`,undefined,[exported]);
   equal((await validateLocalModule(await s.exportModule())).manifest,exported.manifest,'Full reexport preserves native identity');
   const requests=(await(await fetch(control+'/requests')).json()).slice(start);
   assert(!requests.some(p=>p.endsWith('/packages.json')||p.startsWith('/_arboricx/')),'Local resolution performs no registry requests');
   const corrupt=exported.bytes.slice();corrupt[0]^=1;
   await rejects(()=>s.compile(`!import ${exported.manifest} *\n!export value`,undefined,[{...exported,bytes:corrupt}]),/magic/);
   await rejects(()=>s.exportModule(),/No compiled module/);
   const bindings=['x0 = t t t'];for(let i=1;i<=30;i++)bindings.push(`x${i} = t x${i-1} x${i-1}`);
   await s.compile('!export deep\n!export alias\ndeep = (let\n  '+bindings.join('\n  ')+'\n  in x30)\nalias = deep');
   const shared=decodeBundle(await s.exportModule());
   assert(shared.nodes.length<40,'Export preserves exponential sharing');
   equal(shared.exports[0].root,shared.exports[1].root,'Cross-export sharing preserved');
   const original=decodeBundle(exported.bytes),names=Array.from({length:24},(_,i)=>'entry'+i);
   const wide=await validateLocalModule(encodeModule({...original,exports:names.map(name=>({...original.exports[0],name}))}));
   equal(await s.compile(`!export * from ${wide.manifest}`,undefined,[wide]),names,'Local public interface is not capped at 16 definitions');
   equal((await validateLocalModule(await s.exportModule())).manifest,wide.manifest,'All 24 reexports survive portable export');
 
   await s.compile('!export action\naction = t "tricuIO" (t 1 (t 20 "file"))');
   const capability=await validateLocalModule(await s.exportModule());
   await s.compile(`!import ${capability.manifest} as L\n!export main\nmain = L.action`,undefined,[capability]);
   await rejects(()=>s.run('main',[],'string','io',host),/Unsupported|unsupported/);
 
  }finally{s.dispose();}
  await status('Ready');change('runtime-backend',backend);await status('Ready');
  document.querySelector('[data-compiler-example=module]').click();await status('Compiled');
  input('source-editor',source);el('compile').click();await status('Compiled');
  const createURL=URL.createObjectURL,click=HTMLAnchorElement.prototype.click;let downloaded,name;
  URL.createObjectURL=blob=>{downloaded=blob;return createURL(blob);};HTMLAnchorElement.prototype.click=function(){name=this.download;};
  try{
   el('export-compiled-module').click();await wait(()=>downloaded&&el('status').textContent==='Compiled');
  }finally{URL.createObjectURL=createURL;HTMLAnchorElement.prototype.click=click;}
  const file=await validateLocalModule(new Uint8Array(await downloaded.arrayBuffer()));
  equal(file.manifest,exported.manifest,'Actual-page download contains compiled public interface');
  equal(name,file.hash+'.arboricx','Download named by bundle hash');
  const select=bytes=>{const transfer=new DataTransfer();transfer.items.add(new File([bytes],'<svg onload=bad>.arboricx'));el('local-module-file').files=transfer.files;el('local-module-file').dispatchEvent(new Event('change'));};
  select(file.bytes);await wait(()=>el('local-module-list').children.length===1&&!el('local-module-file').disabled);
  assert(!el('local-module-list').querySelector('svg'),'Filename renders as text');
  assert(el('local-module-list').textContent.includes(file.manifest),'Visible manifest import statement');
  await status('Compiled');
  select(file.bytes);await wait(()=>el('local-module-status').textContent.includes('already available'));
  equal(el('local-module-list').children.length,1,'Duplicates are idempotent');
  select(new Uint8Array([0]));await wait(()=>el('local-module-status').textContent.includes('Truncated'));
  equal(el('local-module-list').children.length,1,'Invalid files preserve collection');
  select(file.bytes);el('cancel-local-module').click();await wait(()=>el('local-module-status').textContent.includes('cancelled'));
  equal(el('local-module-list').children.length,1,'Cancelling validation preserves collection');
  const consumer=`!import ${file.manifest} as Mine\n!export answer\nanswer = Mine.plus 33`;
  input('source-editor',consumer);el('compile').click();await status('Compiled');
  input('expression-editor','Mine.echo answer');change('output-type','number');el('run').click();await status('Finished');
  equal(el('result').textContent,'42','File selection makes module importable');
  // Stop an actually divergent export, then rebuild using page-owned local bytes.
  input('source-editor','!export bad\nq x = x x\nbad = q q');el('compile').click();await status('Compiled');
  el('export-compiled-module').click();await status('Exporting module');await delay(150);el('stop').click();await status('Stopped');
  assert(el('export-compiled-module').disabled,'Stop invalidates exportable draft');
  input('source-editor',consumer);el('compile').click();await status('Compiled');
  change('runtime-backend',backend==='haskell-wasm'?'zig-wasm':'haskell-wasm');
  el('compile').click();await status('Compiled');input('expression-editor','answer');el('run').click();await status('Finished');
  equal(el('result').textContent,'42','Local bytes survive Stop and backend replacement');
  const frame=document.createElement('iframe');frame.src=new URL('index.html?noProbe=1',location.href).href;document.body.append(frame);
  await wait(()=>frame.contentDocument?.getElementById('status')?.textContent==='Ready');
  equal(frame.contentDocument.getElementById('local-module-list').children.length,0,'A new page has no persisted local modules');frame.remove();
  [...el('local-module-list').querySelectorAll('button')].find(b=>b.textContent==='Remove').click();
  await status('Compilation failed');equal(el('local-module-list').children.length,0,'Removal clears module');
  assert(el('run').disabled&&el('export-compiled-module').disabled,'Removed dependency cannot use a stale compiled scope');
  return {userAgent:navigator.userAgent,source,manifest:exported.manifest,bytes:[...exported.bytes],checks:['local file validation; offline local-first imports; public portable export/reexport; shared DAGs; no private divergence; actual export/file import; duplicates/corruption; Stop/backend retention; page-only lifetime; removal invalidation']};
 }