tricu

evaluation-layout-probe.mjs (4317B)

---

 // Uses the actual selected runtime and page actions; no mocked evaluator.
 const el=id=>document.getElementById(id),assert=(ok,message)=>{if(!ok)throw Error(message);};
 const frame=()=>new Promise(r=>requestAnimationFrame(()=>requestAnimationFrame(r)));
 const delay=ms=>new Promise(r=>setTimeout(r,ms));
 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'));};
 async function wait(status){const end=Date.now()+45000;while(el('status').textContent!==status){if(Date.now()>end)throw Error('Waiting for '+status+': '+el('status').textContent);await delay(20);}await frame();}
 export async function evaluationLayout(){
  const dock=document.querySelector('.expression-dock'),panel=document.querySelector('.output-panel');
  assert(dock.contains(el('run'))&&dock.contains(el('stop-run')),'Actions belong to expression dock');
  assert(dock.nextElementSibling===panel&&panel.parentElement.classList.contains('editor-main'),'Result immediately follows expression in the same column');
  assert(!document.querySelector('.editor-toolbar').contains(el('run')),'Evaluate is not a distant sticky action');
  change('output-target','result');change('mode','pure');change('output-type','number');input('expression-editor','identity 42');
  const mobile=matchMedia('(max-width:740px)').matches;
  // Start with a result well below the viewport. No user scroll event is emitted.
  window.scrollTo({top:0,behavior:'instant'});await frame();
  const before=scrollY;el('run').click();
  assert(!el('stop').hidden&&!el('stop-run').disabled,'Both Stop controls available while running');
  await wait('Finished');
  assert(el('result').textContent==='42','Actual result appears');
  if(mobile){const r=el('result').getBoundingClientRect(),bar=document.querySelector('.editor-toolbar').getBoundingClientRect();assert(r.top>=bar.bottom&&r.top+40<=innerHeight,'Offscreen result start is revealed below sticky toolbar');}
  else assert(scrollY===before,'Desktop does not auto-scroll');
  assert(el('stop').hidden,'Sticky Stop disappears when idle');
  // When the result is already visible, repeating an evaluation must stay put.
  if(!mobile){el('run').scrollIntoView({block:'center',behavior:'instant'});await frame();}
  const visibleBefore=scrollY;el('run').click();await wait('Finished');assert(Math.abs(scrollY-visibleBefore)<=1,'Visible result does not jump');
  window.scrollTo({top:0,behavior:'instant'});await frame();el('run').click();window.dispatchEvent(new Event('wheel'));await wait('Finished');assert(scrollY===0,'Deliberate browsing cancels pending reveal');
  // Stored definitions share the nearby action without displaying irrelevant input.
  change('output-target','definition');change('export','leaf');change('output-type','tricu');
  assert(el('expression-inputs').hidden&&el('guided-inputs').hidden&&el('run').textContent==='Show definition','Stored target hides expression input');
  el('run').click();await wait('Ready');assert(el('result').textContent==='t','Stored definition action still works');
  change('output-target','result');assert(!el('expression-inputs').hidden,'Expression returns for evaluation');
  input('expression-editor','unknownNameForLayout');el('run').click();await wait('Stopped');
  assert(el('result').classList.contains('error'),'Explicit evaluation diagnostics use the same result surface');
  // First IO event reveals once; later input/output/completion never follows it.
  change('mode','io');change('output-type','tricu');input('expression-editor','t "tricuIO" (t 1 (t 11 (line : t "tricuIO" (t 1 (t 0 t)))))');
  el('run').click();await wait('Waiting for input');
  assert(document.activeElement!==el('line-input'),'IO does not force focus or open the keyboard');
  window.scrollTo({top:0,behavior:'instant'});await frame();input('line-input','hello');el('input-form').requestSubmit();await wait('Finished');assert(scrollY===0,'IO completion does not scroll again');
  // Idle compilation has no reveal authority.
  change('mode','pure');window.scrollTo({top:0,behavior:'instant'});await frame();input('source-editor','answer = t');await wait('Compiled');assert(scrollY===0,'Idle compilation leaves the viewport alone');
  change('program-picker','demo:language-reference');await wait('Ready');
 }