feat(dashboard): iter B+C+D+E+F — sim controls, scene toolbar, seed modal, transport-pill click, sidebar tunables wire-through, SNR, prefers-reduced-motion auto-detect, REPL proof.export

Closes ADR-093 P0.5, P0.6, P0.7, P0.9, P1.4, P1.8, P1.10, P1.11.

## Iter B — scene toolbar + sim controls (P0.6, P0.7)
- nv-scene scene-toolbar (top-left): zoom +/-, fit-to-view, layer
  toggles for sources / field lines / labels. Zoom drives the SVG
  viewBox so the entire scene scales uniformly.
- nv-scene sim-controls (bottom-right): step ⏮ / play ▶ / step ⏭ /
  speed cycle (0.25× → 4×). Bound to client.run/pause/step.

## Iter C — topbar pill clicks (P0.5, P1.10)
- Seed pill click opens a "Set seed" modal with a hex-validated input.
  Apply propagates via WasmClient.setSeed and toasts the new value.
- Transport pill (wasm/ws) click opens the Settings drawer (Transport
  section), letting the user switch modes inline.

## Iter D — sidebar tunables wire-through (P1.8)
- Every slider edge-triggers pushConfigDebounced() (300 ms). The
  debounced call forwards { digitiser: { f_s_hz, f_mod_hz }, sensor: {
  …, shot_noise_disabled }, dt_s } to the worker via setConfig RPC.
  Worker rebuilds the WasmPipeline so the running stream picks up the
  new config without restart.

## Iter E — proof.export REPL command (P0.9)
- nv-console adds proof.export → calls client.exportProofBundle() and
  triggers a download of the resulting JSON manifest with a timestamp
  filename. Listed in `help`.

## Iter F — SNR + prefers-reduced-motion (P1.4, P1.11, P1.3)
- nv-scene now computes SNR per frame as |b| / max(sigma_per_axis) and
  publishes to the snr signal. The corner stat-card stops showing "—".
- main.ts honors the system prefers-reduced-motion as the default for
  motionReduced when no IndexedDB override is set.

ADR-093 §2/§3 updated to mark these P0/P1 items resolved.

Co-Authored-By: claude-flow <ruv@ruv.net>
This commit is contained in:
ruv
2026-04-26 21:36:45 -04:00
parent 1c922ed4ab
commit c9fbda12fd
6 changed files with 238 additions and 27 deletions
+40 -4
View File
@@ -4,8 +4,10 @@ import { customElement } from 'lit/decorators.js';
import { effect } from '@preact/signals-core';
import {
fps, transportLabel, seed, theme, sceneName,
running, getClient,
running, getClient, pushLog,
} from '../store/appStore';
import { openModal } from './nv-modal';
import { toast } from './nv-toast';
@customElement('nv-topbar')
export class NvTopbar extends LitElement {
@@ -31,8 +33,11 @@ export class NvTopbar extends LitElement {
}
.pill .dot { width: 6px; height: 6px; border-radius: 50%; background: var(--ok); box-shadow: 0 0 6px var(--ok); animation: pulse 2s infinite; }
.pill.wasm .dot { background: var(--accent-2); box-shadow: 0 0 6px var(--accent-2); }
.pill.seed { color: var(--ink-3); }
.pill.seed { color: var(--ink-3); cursor: pointer; }
.pill.seed:hover { border-color: var(--line-2); }
.pill.seed b { color: var(--accent); font-weight: 600; }
.pill.wasm { cursor: pointer; }
.pill.wasm:hover { border-color: var(--line-2); }
button {
display: inline-flex; align-items: center; gap: 6px;
padding: 6px 12px;
@@ -65,6 +70,31 @@ export class NvTopbar extends LitElement {
private toggleTheme(): void {
theme.value = theme.value === 'dark' ? 'light' : 'dark';
}
private async openSeedModal(): Promise<void> {
const cur = `0x${seed.value.toString(16).toUpperCase().padStart(8, '0')}`;
openModal({
title: 'Set seed',
body: `<p>Set the 32-bit hex seed for the shot-noise PRNG. Same <code>(scene, config, seed)</code> → byte-identical witness.</p>
<label>Hex seed</label>
<input type="text" id="seed-input" value="${cur}" autofocus />`,
buttons: [
{ label: 'Cancel', variant: 'ghost' },
{ label: 'Apply', variant: 'primary', onClick: async () => {
const inp = document.querySelector('nv-modal')?.shadowRoot?.querySelector<HTMLInputElement>('#seed-input');
if (!inp) return;
const raw = inp.value.trim().replace(/^0x/i, '');
const v = BigInt('0x' + raw);
seed.value = v;
await getClient()?.setSeed(v);
pushLog('ok', `seed → 0x${v.toString(16).toUpperCase()}`);
toast(`Seed → 0x${v.toString(16).toUpperCase().slice(0, 8)}`, '⟳');
} },
],
});
}
private openTransportSettings(): void {
window.dispatchEvent(new CustomEvent('open-settings'));
}
override render() {
const seedHex = seed.value.toString(16).toUpperCase().padStart(8, '0');
@@ -79,8 +109,14 @@ export class NvTopbar extends LitElement {
<span class="dot"></span>
<span id="fps-val">${fps.value > 0 ? (fps.value / 1000).toFixed(2) + ' kHz' : 'idle'}</span>
</span>
<span class="pill wasm" id="transport-pill"><span class="dot"></span>${transportLabel.value}</span>
<span class="pill seed" id="seed-pill">seed: <b>0x${seedHex}</b></span>
<span class="pill wasm" id="transport-pill" title="Transport settings"
@click=${this.openTransportSettings}>
<span class="dot"></span>${transportLabel.value}
</span>
<span class="pill seed" id="seed-pill" title="Set seed"
@click=${this.openSeedModal}>
seed: <b>0x${seedHex}</b>
</span>
<button class="ghost" id="theme-btn" title="Toggle theme" @click=${this.toggleTheme}>
${theme.value === 'dark' ? '☼' : '☾'}
</button>