PERFORMANCE THEATERSoft-nav outlet morphPromise: SPA-class shell without full document reload. Plan mode=morph focus=true scroll=true. Live attribute data-keel-soft-nav-swap after hop.Residual: morph L0 + sticky AppView island keep-alive + route-keyed focus/field bus + route-body Intent L0; residual multipage AppView world no-HTML-fetch SPA continuity (focus + field values)Route-keyed bus: focus=true fields=true. Dogfood: type in Labs → Forms, soft-nav away, return — value+caret restore. Attrs data-keel-focus-restored / data-keel-fields-restored.Try on Forms labBody authority ladder: nested_morph -> sticky_island -> appview_route_body. Live attr data-keel-soft-nav-body-authority after hop. Route-body Intent + appview hop no-HTML-fetch (return + island-shell navigate). Residual: multi-island AppView world SSOT without document fetch. Dom multi-commit structural oraclesSolid-class O(changed) claims: SetText / Insert / Remove / Move — not HTML string rebuild.[pass] dom.bench.1k_single_set_text patches=1 — 1024-row label edit → O(1) SetText, no ReplaceAll[pass] dom.bench.512_append_insert patches=1 — 512+1 append → Insert, no ReplaceAll, small patch set[pass] dom.bench.remove_middle patches=1 — stable-id remove middle → Remove, no ReplaceAll[pass] dom.bench.reorder_move patches=3 — keyed reorder → Move, no ReplaceAll Wall-clock harness (CPU + host)CPU samples from run_dom_multicommit_wallclock_cpu. Host apply plane: Run button via pack keel_dom_host.CPU plane · iters=7 · residual=not_js_framework_benchmark_placement; host_apply plane is noise-dependent[pass] dom.wall.1k_set_text median_ns=549014 structural=true[pass] dom.wall.512_append median_ns=551378 structural=true[pass] dom.wall.remove_middle median_ns=2704 structural=true[pass] dom.wall.reorder_move median_ns=3465 structural=true Network residual evidence (engine L0 plans + mock soaks)Honest residual: live production multi-origin / QUIC-h3 / vault endpoints are not claimed. These rows prove pure planner + mock soak SSOT only.[plan] h3 credentialed plan cross_origin=true h3_preferred=true cors=cors_credentials residual=live_quic_http3_stack_and_credentialed_soakh3 residual report id present=true[pass] vault dual-publish soak mock samples=8 prev_ok=8 next_ok=8 in_window=true[plan] multi-origin flight fanout origins=2 jobs=2Residual: live production multi-origin socket fanout, QUIC/HTTP3 stack soak, authenticated vault backend. List multi-commitVirtual 10k + Append surgical patches. Full mount on /labs list exhibit.Open list exhibit