tricu

limits-ui.ts (4286B)

---

 import { defaultLimits, executionSettings, type ExecutionSettings, type Runner } from './execution.js';
 const committed = new Map<Runner, ExecutionSettings>();
 export function readSettings(runner: Runner): ExecutionSettings {
   const settings = committed.get(runner);
   if (!settings) throw new Error('Execution settings are not ready');
   return { limits: { ...settings.limits }, uncapped: settings.uncapped };
 }
 for (const runner of ['package', 'compiler'] as const) {
   const checkbox = document.getElementById(`${runner === 'package' ? '' : 'compiler-'}uncapped`) as HTMLInputElement;
   const summary = document.getElementById(`${runner}-limits-summary`)!;
   const container = document.getElementById(`${runner}-limits-defaults`)!;
   const defaults = defaultLimits(runner), fields = new Map<string, HTMLInputElement>();
   const form = document.createElement('form'); form.noValidate = true; form.className = 'limits-editor';
   for (const [key, label] of [['nodes', 'Memory budget (live nodes)'], ['fuel', 'Work units (0 = no work limit)'], ['stack', 'Evaluation depth (frames)'], ['seconds', 'Active seconds (0 = unlimited)']] as const) {
     const wrapper = document.createElement('div'), caption = document.createElement('label'), input = document.createElement('input');
     const hint = document.createElement('span'); hint.className = 'hint';
     input.id = `${runner}-limit-${key}`; input.type = 'number'; input.min = key === 'seconds' || key === 'fuel' ? '0' : '1'; input.step = '1';
     input.inputMode = 'numeric'; input.required = true; input.value = String(defaults[key]);
     caption.htmlFor = input.id; caption.textContent = label;
     hint.textContent = `Default: ${defaults[key].toLocaleString()}`;
     wrapper.append(caption, input, hint); form.append(wrapper); fields.set(key, input);
   }
   const actions = document.createElement('div'); actions.className = 'controls';
   const apply = document.createElement('button'), restore = document.createElement('button');
   apply.type = 'submit'; apply.textContent = 'Apply limits'; restore.type = 'button'; restore.textContent = 'Restore defaults';
   const error = document.createElement('p'); error.className = 'limits-error'; error.setAttribute('role', 'status');
   actions.append(apply, restore); form.append(actions, error); container.replaceWith(form);
   committed.set(runner, executionSettings(defaults, runner, true));
   function update(): void {
     const settings = readSettings(runner);
     const customized = Object.entries(defaults).some(([key, value]) => settings.limits[key as keyof typeof defaults] !== value);
     summary.textContent = `Optional limits${settings.uncapped ? ' (off)' : customized ? ' (custom)' : ' (on)'}`;
     for (const input of fields.values()) input.disabled = settings.uncapped;
     apply.disabled = settings.uncapped;
     document.getElementById(`${runner}-resource-mode`)!.textContent = settings.uncapped ? 'Off' : 'On';
   }
   function publish(settings: ExecutionSettings): void {
     committed.set(runner, settings);
     for (const [key, input] of fields) input.value = String(settings.limits[key as keyof typeof settings.limits]);
     error.textContent = ''; update();
     window.dispatchEvent(new CustomEvent('limits-change', { detail: runner }));
   }
   form.oninput = () => { error.textContent = ''; summary.textContent = 'Advanced: unapplied resource settings'; };
   form.onsubmit = event => {
     event.preventDefault();
     try {
       const values: Record<string, number> = {};
       for (const [key, field] of fields) {
         if (!field.value.trim()) throw new Error(`${key}: enter a whole number`);
         values[key] = Number(field.value);
       }
       publish(executionSettings(values, runner, checkbox.checked));
     } catch (cause) { error.textContent = cause instanceof Error ? cause.message : String(cause); }
   };
   checkbox.onchange = () => {
     const settings = readSettings(runner); settings.uncapped = checkbox.checked;
     // Bypass uses the last applied finite values, not a partial/invalid draft.
     publish(settings);
   };
   restore.onclick = () => {
     for (const [key, input] of fields) input.value = String(defaults[key as keyof typeof defaults]);
     checkbox.checked = true; publish(executionSettings(defaults, runner, true));
   };
   update();
 }