tricu

ide-probe.mjs (7948B)

---

 import {syntaxProbe} from './syntax-probe.mjs';
 // Real single-page workspace. Independent expectations, no substitute evaluator.
 const el=id=>document.getElementById(id);
 const assert=(ok,message)=>{if(!ok)throw Error(message);};
 const delay=ms=>new Promise(r=>setTimeout(r,ms));
 async function wait(fn){const end=Date.now()+90000;while(Date.now()<end){if(fn())return;await delay(20);}throw Error('Timed out: '+el('status').textContent+' / '+el('result').textContent);}
 const status=s=>wait(()=>el('status').textContent===s);
 const change=(id,value)=>{el(id).value=value;el(id).dispatchEvent(new Event('change'));};
 const input=(id,value)=>{el(id).value=value;el(id).dispatchEvent(new Event('input'));};
 export async function run(control,backend='haskell-wasm'){
  await status('Ready');
  await syntaxProbe();
  assert([...el('runtime-backend').options].map(o=>o.value).join(',')==='haskell-wasm,zig-wasm','Only Haskell and Zig are production runtimes');
  for(const path of ['worker.js','compiler-worker.js','conformance/worker.js','conformance/compiler-worker.js'])assert((await fetch(new URL('./'+path,document.querySelector('script[type=module][src]').src))).status===404,'JS conformance Workers are not shipped: '+path);
  assert(el('program-picker').value==='demo:names-values','Names and values loads on arrival');
  assert(!document.querySelector('[role=tab],#graph-result,#export-definition'),'No tabs or graph-JSON surface');
  assert(!el('result').textContent&&!el('terminal').textContent,'Arrival does not execute');
  assert(document.querySelector('footer a[href="https://eversole.co"]').textContent==='James Eversole','Copyright author link');
  assert(el('editor').compareDocumentPosition(el('ecosystem'))&Node.DOCUMENT_POSITION_FOLLOWING,'Ecosystem follows editor');
  el('settings-toggle').click();assert(!el('settings-panel').hidden&&el('settings-toggle').getAttribute('aria-expanded')==='true','Inspector opens');
  el('settings-close').click();assert(el('settings-panel').hidden&&document.activeElement===el('settings-toggle'),'Close returns focus');
  change('runtime-backend',backend);await status('Ready');
  const requests=async()=>await(await fetch(control+'/requests')).json();
  const before=(await requests()).filter(x=>x.endsWith('/compiler.json')||x.endsWith('/data/compiler.dag')).length;
  assert(before===0,'Arrival does not load compiler assets');
  change('program-picker','demo:language-reference');await status('Ready');
  change('output-target','definition');change('export','leaf');
  assert(el('run').textContent==='Show definition'&&el('mode').disabled,'Stored target is visibly distinct from execution');
  for(const [format,want] of [['tricu','t'],['triangle','△'],['dag','tree △\ntree\n'],['ternary','0']]){
   change('output-type',format);el('run').click();await wait(()=>!el('copy-output').disabled);
   assert(el('result').textContent===want,'Stored '+format);
   assert(/Stored definition leaf.*SHA-256/.test(el('output-provenance').textContent),'Stored provenance');
  }
  assert((await requests()).filter(x=>x.endsWith('/compiler.json')||x.endsWith('/data/compiler.dag')).length===before,'Stored output never initializes the compiler');
  change('output-target','result');
  const evaluate=async(source,format)=>{input('expression-editor',source);change('output-type',format);el('run').click();await status('Finished');};
  for(const [format,want] of [['tricu','(t t t)'],['triangle','(△ △ △)'],['ternary','200']]){
   await evaluate('identity (t t t)',format);assert(el('result').textContent===want,'Applied result '+format);
   assert(/Evaluated result/.test(el('output-provenance').textContent),'Result not mislabeled as a definition');
  }
  await evaluate('identity (t t t)','dag');assert(/tree :n\d+\ntree\n$/.test(el('result').textContent),'Result DAG interface');
  change('mode','io');await evaluate('t "tricuIO" (t 1 (t 0 (t t t)))','tricu');assert(el('result').textContent==='(t t t)','IO result, not IO envelope');change('mode','pure');
  let copied;const clipboard=Object.getOwnPropertyDescriptor(navigator,'clipboard');
  Object.defineProperty(navigator,'clipboard',{configurable:true,value:{writeText:async value=>{copied=value;}}});
  const createURL=URL.createObjectURL,click=HTMLAnchorElement.prototype.click;let blob,download;
  URL.createObjectURL=value=>{blob=value;return createURL(value);};HTMLAnchorElement.prototype.click=function(){download=this.download;};
  try{
   await evaluate(JSON.stringify('a'.repeat(600)),'tricu');assert(el('result').textContent.length===16384,'Large result has a bounded UI preview');
   assert(/Preview: first 16,384/.test(el('output-provenance').textContent),'Partial preview is explicit');
   el('copy-output').click();await wait(()=>copied!==undefined);assert(copied.length>16384&&copied.startsWith(el('result').textContent),'Copy contains complete source');
   el('download-output').click();assert(download==='result.tri'&&await blob.text()===copied,'Download contains the identical complete source');
   const previousOutput=el('result').textContent;
   const expectedHash=el('bundle-hash').value;el('download-bundle').click();await wait(()=>/Downloaded original/.test(el('bundle-download-status').textContent));
   const actual=[...new Uint8Array(await crypto.subtle.digest('SHA-256',await blob.arrayBuffer()))].map(x=>x.toString(16).padStart(2,'0')).join('');
   assert(el('result').textContent===previousOutput,'Bundle download does not replace evaluated output');
   assert(actual===expectedHash&&download===expectedHash+'.arboricx','Bundle download remains original authenticated bytes');
  }finally{URL.createObjectURL=createURL;HTMLAnchorElement.prototype.click=click;if(clipboard)Object.defineProperty(navigator,'clipboard',clipboard);else delete navigator.clipboard;}
  // An exponentially expanded value stays small as a physically shared DAG.
  const bindings=['x0 = t t t'];for(let i=1;i<=28;i++)bindings.push(`x${i} = t x${i-1} x${i-1}`);
  const shared='let\n  '+bindings.join('\n  ')+'\n  in x28';
  await evaluate(shared,'dag');assert(el('result').textContent.length<20000,'Shared result is not flattened');
  input('expression-editor',shared);change('output-type','tricu');el('run').click();await status('Stopped');
  assert(/Expanded tree exceeds 32 MiB/.test(el('result').textContent),'Oversized expansion rejected before building output');
  assert(el('copy-output').disabled&&el('download-output').disabled,'No partial result masquerades as a file');
  await evaluate('identity 52','number');assert(el('result').textContent==='52','Recovery after result-rendering error');
  // Fresh lazy compiler initialization honors the site pin, with no fallback.
  change('runtime-backend',backend);await status('Ready');
  await fetch(control+'/fault',{method:'POST',body:JSON.stringify({compilerPin:true})});
  input('expression-editor','identity 53');el('run').click();await status('Stopped');
  assert(/pin mismatch|HTTP|fetch/i.test(el('result').textContent),'Expression compiler pin failure is visible');
  await fetch(control+'/fault',{method:'POST',body:JSON.stringify({compilerPin:false})});
  await evaluate('identity 53','number');assert(el('result').textContent==='53','Retry authenticates the compiler');
  input('bundle-hash','not-a-hash');el('program-hash').requestSubmit();await status('Stopped');
  assert(el('run').disabled&&el('copy-output').disabled,'Invalid replacement never falls back to an earlier package/output');
  change('program-picker','demo:language-reference');await status('Ready');
  const live=await(await import('/live-ux-probe.mjs')).run(control,backend,true);
  change('program-picker','demo:language-reference');await status('Ready');
  await(await import('/evaluation-layout-probe.mjs')).evaluationLayout();
  return {userAgent:navigator.userAgent,checks:[...live.checks,'single-page arrival/inspector; stored vs applied outputs; t/△/DAG/ternary; IO result; complete copy/download; expansion refusal; immutable bundle; pin failure/retry']};
 }