### Quantum Studio: the Workbench, and generators in the editor

- **Generators in the editor.** A program with integer inputs shows a field for each under the
  editor. The lint and the critique read the generator at those values, keeping its own lines
  (`job::lint_with`, `critique::critique_with`; a smell in a generator offers no Fix). The diagram,
  the plan, a run here or on the service, the lens and the alternatives take the circuit it writes
  out (`qasm::instantiate`, in the page and in the desktop app).
- **The Workbench pane** puts `engine::discover` in the Studio. The program in the editor is the
  reference. A form gives the specification: the task, the sizes, the gates, the connectivity, the
  cost's weights and the map's axes. The archive's elites are plotted on the two axes, the
  cheapest marked. An entry shows its cost, how it was checked, its seal and its lineage, and opens
  in the editor.
- **Three proposers, each named on what it found:** the reader's program, the built-in blind
  search (in steps of 25, so its progress shows), and the model. The model is a proposer
  (`Assistant.propose`): it is told the specification and shown the cheapest generators found,
  with the costs the engine measured. The engine judges what it writes, as it judges everything
  else.
- **Sealed where it runs:** in a tab with the browser's key, in the desktop app with the app's,
  which also counts a search's seconds and joules. The archive is kept in the browser and comes
  back with the page. It downloads beside its specification, as `wai-quantum discover verify` reads
  them.
- **The assistant's brief** no longer says loops are refused: `while`, `inv` and `pow` are, and
  a generator is read at the inputs bar's values.
- The Studio's browser test adds:
  - a generator linted, drawn and run at its value;
  - the Workbench started from it, with a hundred blind edits judged;
  - the reader's log-depth tree kept as the cheapest, opened in the editor, and back after a reload;
  - a scripted model's generators judged at every size: one kept, while a wrong one and one using
    a gate the specification forbids are left out with their reasons.

