tricu

import-picker-probe.mjs (8373B)

---

 const assert=(ok,message)=>{if(!ok)throw Error(message);};
 const el=id=>document.getElementById(id),delay=ms=>new Promise(r=>setTimeout(r,ms));
 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'));};
 async function wait(fn,label){for(let i=0;i<4500;i++){if(fn())return;await delay(20);}throw Error('Timeout '+label+' / '+el('status').textContent+' / '+el('import-status').textContent);}
 const status=value=>wait(()=>el('status').textContent===value,value);
 export async function run(control,backend='haskell-wasm'){
  const base=new URL('../',document.querySelector('script[type=module][src]').src);
  const {createRuntimeSession}=(await import(new URL('dist/probe-api.js',base))).runtimeSession;
  const catalogue=await(await fetch(new URL('reference/libraries.json',base))).json();
  const lib=name=>catalogue.releases.find(r=>r.name==='tricu-lib-'+name&&r.version==='0.1.0');
  const math=lib('native-math');
  // Static references and independently specified examples can be consumed without
  // a page session or a JavaScript module catalogue.
  const llms=await(await fetch(new URL('llms.txt',location.href))).text();
  assert(llms.includes('reference/getting-started.md'),'Agent entrypoint points into this release');
  for(const [,path]of llms.matchAll(/\]\((\.\/[^)]+)\)/g))assert((await fetch(new URL(path,location.href))).ok,'Readable static reference '+path);
  const examples=await(await fetch(new URL('reference/examples.json',base))).json();
  const host={before:async()=>{},after:()=>{},write:()=>{},read:async()=>'',running:()=>{}};
  const session=await createRuntimeSession(backend,true);
  try{
   for(const example of examples){
    let terminal='';await session.compile(example.source,'empty');
    const result=await session.runExpression(example.expression,example.output,example.mode,{...host,write:text=>{terminal+=text;}});
    assert(result.value===example.expected,'Documented result '+example.id+': '+JSON.stringify(result));
    assert(terminal===example.terminal,'Documented terminal '+example.id);
   }
   await session.compile('!export answer\nanswer = 42','empty');
   const stage=await session.inspectModule(`-- 🐕\n!import ${math.manifest} as N\n!export answer\nanswer = 1`);
   assert(stage.imports[0][0]===math.manifest&&stage.imports[0][1]==='N','Native header response');
   assert((await session.runExpression('answer','number','pure',host)).value==='42','Inspection preserves compiled scope');
   let rejected=false;try{await session.inspectModule(`!import ${math.manifest} as\n!export answer\nanswer=1`);}catch{rejected=true;}
   assert(rejected,'Malformed header rejected');
   assert((await session.runExpression('answer','number','pure',host)).value==='42','Failed inspection preserves compiled scope');
  }finally{session.dispose();}
  await status('Ready');change('runtime-backend',backend);await status('Ready');
  document.querySelector('[data-compiler-example=module]').click();await status('Compiled');
  const original='-- preserve this comment 🐕\n!export answer\nanswer = 42';
  input('source-editor',original);await status('Compiled');
  const open=async()=>{el('add-import').click();await wait(()=>el('import-results').querySelector('button'),'library list');assert(el('import-dialog').open,'Modal open');};
  const select=async()=>{input('import-search','remainder');await wait(()=>el('import-results').querySelector(`[data-manifest="${math.manifest}"]`),'search export');el('import-results').querySelector(`[data-manifest="${math.manifest}"]`).click();};
  await open();await select();
  assert(el('import-title').textContent==='native-math','Search reaches native math');
  assert(el('import-preview').textContent===`!import ${math.manifest} as N`,'Exact full manifest preview');
  assert(el('import-version').value==='0.1.0','Newest version initially selected');
  assert(el('import-version').options.length===2,'History available in details');
  assert(el('import-usage').textContent.includes('multiply')&&el('import-example').textContent.includes('Expected result: 42'),'Calling conventions and tested example available inline');
  input('import-alias','Numbers');change('import-version','0.0.9');await wait(()=>!el('insert-import').disabled,'historical release check');
  assert(el('import-version').value==='0.0.9'&&el('import-preview').textContent.endsWith('as Numbers'),'History preserves chosen namespace');
  change('import-version','0.1.0');input('import-alias','N');
  await wait(()=>!el('insert-import').disabled,'candidate compiled');
  el('insert-import').click();
  assert(!el('import-dialog').open,'Insertion closes dialog');
  assert(el('source-editor').value===`!import ${math.manifest} as N\n`+original,'Insertion preserves all original source');
  assert(el('source-editor').selectionStart===0&&el('source-editor').selectionEnd===(`!import ${math.manifest} as N\n`).length,'Inserted line selected');
  await status('Compiled');
  input('expression-editor','N.add answer 8');change('output-type','number');el('run').click();await status('Finished');assert(el('result').textContent==='50','Inserted namespace usable');
  // Undo is one native textarea edit; compilation does not replace the editor.
  el('source-editor').focus();assert(document.execCommand('undo'),'Undo available');
  assert(el('source-editor').value===original,'One undo restores exact original source');await status('Compiled');
  await open();await select();await wait(()=>!el('insert-import').disabled,'reinsert checked');el('insert-import').click();await status('Compiled');
  const inserted=el('source-editor').value;
  await open();await select();await wait(()=>!el('insert-import').disabled,'existing import');
  assert(el('import-status').textContent.includes('Already imported as N'),'Existing namespace shown');el('insert-import').click();
  assert(el('source-editor').value===inserted,'Jump does not edit');
  // Alias conflict is based on the native header; a failed check leaves the editor intact.
  await open();input('import-search','conversions');el('import-results').querySelector('button').click();input('import-alias','N');
  await wait(()=>el('import-status').textContent.includes('already used'),'namespace conflict');assert(el('insert-import').disabled,'Conflict blocks insert');el('import-cancel').click();
  assert(el('source-editor').value===inserted,'Cancellation preserves source');
  input('source-editor','!export answer\nanswer = (');await status('Compilation failed');
  await open();await select();await wait(()=>el('import-status').textContent.includes('copy the import'),'malformed source fallback');assert(el('insert-import').disabled,'Malformed source blocks insertion');el('import-cancel').click();
  input('source-editor',original);await status('Compiled');
  await open();await select();el('import-cancel').click();await delay(400);assert(!el('import-dialog').open,'Check cancelled');assert(el('source-editor').value===original,'Cancellation is an edit-free operation');
  // Local filenames are text and their validated interfaces are searchable.
  const bytes=await(await fetch('/_arboricx/bundle/hash/'+math.hash)).arrayBuffer();
  const files=new DataTransfer();files.items.add(new File([bytes],'<svg onload=bad>.arboricx'));el('local-module-file').files=files.files;el('local-module-file').dispatchEvent(new Event('change'));
  await wait(()=>el('local-module-list').children.length===1&&!el('local-module-file').disabled,'local validation');await status('Compiled');
  await open();input('import-search','<svg');assert(!el('import-results').querySelector('svg'),'Filename is text');el('import-results').querySelector('button').click();
  assert(el('import-version').hidden,'Local file has no invented version');await wait(()=>!el('insert-import').disabled,'local import check');el('insert-import').click();await status('Compiled');
  input('expression-editor','Local.add 5 6');el('run').click();await status('Finished');assert(el('result').textContent==='11','Local library from unified picker');
  return {userAgent:navigator.userAgent,checks:['static agent references; complete published interfaces; general documented examples; native read-only header inspection; export search; exact imports; undo; existing import jump; namespace conflicts; malformed source copy fallback; cancellation; local-file discovery'],backend};
 }