npm - codehere - Versions diffs - 1.0.1 → 1.0.3 - Mend

codehere 1.0.1 → 1.0.3

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (163) hide show

package/README.md +35 -193
package/dist/application/use-cases/check-claimed-tests.js +81 -0
package/dist/application/use-cases/detect-test-weakening.js +237 -0
package/dist/application/use-cases/rerun-tests.js +110 -7
package/dist/index.js +38 -1212
package/dist/infrastructure/orchestration/artifacts-extractor.js +2 -323
package/dist/presentation/cli/commands/check-command.js +178 -23
package/dist/presentation/cli/commands/help-command.js +21 -285
package/dist/ui.js +5 -236
package/dist/utils/version.js +0 -6
package/package.json +9 -38
package/dist/application/services/verdict-service.js +0 -154
package/dist/application/use-cases/assess-cross-vendor.js +0 -126
package/dist/application/use-cases/build-cross-vendor-verdict.js +0 -118
package/dist/application/use-cases/domain-trust.js +0 -110
package/dist/application/use-cases/export-aat.js +0 -107
package/dist/application/use-cases/generate-acceptance-criteria.js +0 -223
package/dist/application/use-cases/generate-final-report.js +0 -259
package/dist/application/use-cases/generate-narration.js +0 -130
package/dist/application/use-cases/generate-thread-title.js +0 -181
package/dist/application/use-cases/narrator-prompt-template.js +0 -158
package/dist/application/use-cases/plan-auto-review.js +0 -57
package/dist/application/use-cases/reconcile-audit.js +0 -100
package/dist/application/use-cases/search-sessions.js +0 -70
package/dist/application/use-cases/should-auto-review.js +0 -71
package/dist/application/use-cases/thread-export.js +0 -245
package/dist/application/use-cases/verify-claim.js +0 -456
package/dist/application/use-cases/write-pass.js +0 -277
package/dist/domain/audit.js +0 -11
package/dist/domain/services/codebase-detector.js +0 -85
package/dist/domain/task.js +0 -91
package/dist/error-handler.js +0 -139
package/dist/infrastructure/completion/bash-completion.js +0 -29
package/dist/infrastructure/completion/fish-completion.js +0 -17
package/dist/infrastructure/completion/zsh-completion.js +0 -25
package/dist/infrastructure/config/config-manager.js +0 -174
package/dist/infrastructure/config/product-context.js +0 -49
package/dist/infrastructure/context/adapters/drawio-source.js +0 -157
package/dist/infrastructure/context/adapters/figma-source.js +0 -198
package/dist/infrastructure/context/adapters/github-issue-source.js +0 -160
package/dist/infrastructure/context/adapters/linear-source.js +0 -190
package/dist/infrastructure/context/context-resolver.js +0 -144
package/dist/infrastructure/context/context-source.js +0 -114
package/dist/infrastructure/context/github-api.js +0 -110
package/dist/infrastructure/context/github-device-flow.js +0 -65
package/dist/infrastructure/context/oauth-flow.js +0 -207
package/dist/infrastructure/context/oauth-store.js +0 -122
package/dist/infrastructure/context/registry-bootstrap.js +0 -95
package/dist/infrastructure/context/write-pass-resolver.js +0 -106
package/dist/infrastructure/cost/budget-config.js +0 -114
package/dist/infrastructure/cost/cost-router.js +0 -97
package/dist/infrastructure/cost/spend-aggregator.js +0 -222
package/dist/infrastructure/cost/team-ledger.js +0 -355
package/dist/infrastructure/discovery/discovery-log.js +0 -85
package/dist/infrastructure/hooks/audit-tip-signature.js +0 -336
package/dist/infrastructure/hooks/claude-sdk-hook.js +0 -1018
package/dist/infrastructure/hooks/hook-mode.js +0 -87
package/dist/infrastructure/hooks/mirror-tool-call-to-audit.js +0 -49
package/dist/infrastructure/hooks/pre-prompt-scan.js +0 -122
package/dist/infrastructure/hooks/session-analyzer.js +0 -177
package/dist/infrastructure/observability/execution-tracer.js +0 -227
package/dist/infrastructure/orchestration/agent-adapter.js +0 -13
package/dist/infrastructure/orchestration/agent-installer.js +0 -101
package/dist/infrastructure/orchestration/agents-config-seed.js +0 -68
package/dist/infrastructure/orchestration/aider-adapter.js +0 -611
package/dist/infrastructure/orchestration/cassette-recorder.js +0 -120
package/dist/infrastructure/orchestration/claude-code-adapter.js +0 -592
package/dist/infrastructure/orchestration/codex-adapter.js +0 -574
package/dist/infrastructure/orchestration/conductor-adapter.js +0 -416
package/dist/infrastructure/orchestration/context-handoff.js +0 -162
package/dist/infrastructure/orchestration/control/codex-control-surface.js +0 -99
package/dist/infrastructure/orchestration/control/control-surface.js +0 -15
package/dist/infrastructure/orchestration/detect-ollama.js +0 -75
package/dist/infrastructure/orchestration/failover-classifier.js +0 -151
package/dist/infrastructure/orchestration/failover-config.js +0 -67
package/dist/infrastructure/orchestration/failover-policy.js +0 -106
package/dist/infrastructure/orchestration/gemini-adapter.js +0 -663
package/dist/infrastructure/orchestration/generic-cli-adapter.js +0 -689
package/dist/infrastructure/orchestration/graphify-context.js +0 -209
package/dist/infrastructure/orchestration/memory-injector.js +0 -380
package/dist/infrastructure/orchestration/mocks/mock-agent-repl.js +0 -388
package/dist/infrastructure/orchestration/mocks/mock-codex-app-server.js +0 -73
package/dist/infrastructure/orchestration/mocks/mock-synthesis.js +0 -83
package/dist/infrastructure/orchestration/mocks/resolve-agent-spawn.js +0 -37
package/dist/infrastructure/orchestration/opencode-adapter.js +0 -580
package/dist/infrastructure/orchestration/progress-aggregator.js +0 -906
package/dist/infrastructure/orchestration/readiness.js +0 -103
package/dist/infrastructure/orchestration/session-manager.js +0 -1590
package/dist/infrastructure/orchestration/session-persistence.js +0 -394
package/dist/infrastructure/orchestration/thread-key-store.js +0 -127
package/dist/infrastructure/orchestration/write-pass-store.js +0 -38
package/dist/infrastructure/protocols/cloud-sync.js +0 -207
package/dist/infrastructure/protocols/mcp-helpers.js +0 -25
package/dist/infrastructure/protocols/mcp-server-impl.js +0 -3935
package/dist/infrastructure/protocols/mcp-tools.js +0 -401
package/dist/infrastructure/protocols/probe-port.js +0 -36
package/dist/infrastructure/protocols/thread-phase.js +0 -105
package/dist/infrastructure/protocols/ui/app-script-artifacts.js +0 -121
package/dist/infrastructure/protocols/ui/app-script-audit-footer.js +0 -44
package/dist/infrastructure/protocols/ui/app-script-audit-verify.js +0 -56
package/dist/infrastructure/protocols/ui/app-script-composer-cost.js +0 -588
package/dist/infrastructure/protocols/ui/app-script-context-sources.js +0 -168
package/dist/infrastructure/protocols/ui/app-script-conversation.js +0 -67
package/dist/infrastructure/protocols/ui/app-script-drawer.js +0 -115
package/dist/infrastructure/protocols/ui/app-script-failover.js +0 -133
package/dist/infrastructure/protocols/ui/app-script-github.js +0 -113
package/dist/infrastructure/protocols/ui/app-script-observer.js +0 -104
package/dist/infrastructure/protocols/ui/app-script-onboarding.js +0 -80
package/dist/infrastructure/protocols/ui/app-script-overlay.js +0 -203
package/dist/infrastructure/protocols/ui/app-script-recovery.js +0 -136
package/dist/infrastructure/protocols/ui/app-script-render.js +0 -166
package/dist/infrastructure/protocols/ui/app-script-share.js +0 -78
package/dist/infrastructure/protocols/ui/app-script-sidebar.js +0 -194
package/dist/infrastructure/protocols/ui/app-script-tour.js +0 -78
package/dist/infrastructure/protocols/ui/app-script-wpass.js +0 -312
package/dist/infrastructure/protocols/ui/app-script.js +0 -2998
package/dist/infrastructure/protocols/ui/font-faces.js +0 -7
package/dist/infrastructure/protocols/ui/styles.js +0 -2147
package/dist/infrastructure/protocols/ui/tokens.js +0 -96
package/dist/infrastructure/protocols/ui-page-v2.js +0 -320
package/dist/infrastructure/protocols/verify-page.js +0 -1677
package/dist/infrastructure/security/file-collection.js +0 -118
package/dist/infrastructure/security/fix-code.js +0 -144
package/dist/infrastructure/security/fix-secret.js +0 -89
package/dist/infrastructure/security/permissions-config.js +0 -235
package/dist/infrastructure/security/scan-types.js +0 -10
package/dist/infrastructure/security/ship-scan.js +0 -195
package/dist/infrastructure/security/trust-scorer.js +0 -724
package/dist/infrastructure/security/vibe-checks.js +0 -99
package/dist/infrastructure/storage/atomic-write.js +0 -86
package/dist/infrastructure/storage/cross-tool-agents.js +0 -268
package/dist/infrastructure/storage/project-thread-migration.js +0 -237
package/dist/infrastructure/storage/project-thread-mirror.js +0 -671
package/dist/infrastructure/storage/project-thread-reader.js +0 -409
package/dist/infrastructure/storage/project-thread-title-backfill.js +0 -214
package/dist/monitoring.js +0 -212
package/dist/presentation/cli/commands/audit-command.js +0 -201
package/dist/presentation/cli/commands/budget-command.js +0 -79
package/dist/presentation/cli/commands/config-command.js +0 -125
package/dist/presentation/cli/commands/context-source-command.js +0 -217
package/dist/presentation/cli/commands/hook-command.js +0 -265
package/dist/presentation/cli/commands/init-command.js +0 -590
package/dist/presentation/cli/commands/memory-command.js +0 -1031
package/dist/presentation/cli/commands/narrator-command.js +0 -101
package/dist/presentation/cli/commands/permission-command.js +0 -105
package/dist/presentation/cli/commands/protocols-builder.js +0 -254
package/dist/presentation/cli/commands/protocols-command.js +0 -84
package/dist/presentation/cli/commands/repo-map-builder.js +0 -247
package/dist/presentation/cli/commands/report-command.js +0 -403
package/dist/presentation/cli/commands/scan-command.js +0 -52
package/dist/presentation/cli/commands/scan-tool-command.js +0 -110
package/dist/presentation/cli/commands/search-command.js +0 -51
package/dist/presentation/cli/commands/setup-command.js +0 -330
package/dist/presentation/cli/commands/status-command.js +0 -614
package/dist/presentation/cli/commands/team-command.js +0 -256
package/dist/presentation/cli/commands/thread-command.js +0 -370
package/dist/presentation/cli/commands/trust-command.js +0 -328
package/dist/presentation/cli/commands/verify-command.js +0 -298
package/dist/presentation/cli/error-display.js +0 -328
package/dist/presentation/cli/repl.js +0 -805
package/dist/presentation/cli/task-deliverable.js +0 -153
package/dist/testing/cassette.js +0 -125
package/dist/testing/replay-adapter.js +0 -147

package/dist/infrastructure/protocols/verify-page.js DELETED Viewed

@@ -1,1677 +0,0 @@
-// Copyright 2026
-/**
- * /verify · verify-at-the-surface dashboard (the Claude-team way).
- *
- * Modeled on Anthropic's how-we-claude-code/phase-3-verify harness, adapted to
- * codehere's reality: the product isn't React components, it's a server-rendered
- * page. So the "unit × fixture" matrix becomes "honesty-invariant × seeded
- * session", and the surface we observe is the REAL product page (`/`) loaded in
- * a same-origin iframe — never a clone. We drive it via the real showD(), read
- * the data-verify-* DOM contract back, and compute PASS / FAIL / BLOCKED.
- *
- *  - window.__verify.manifest()  — discover every invariant × fixture
- *  - window.__verify.runAll()    — drive the whole matrix, return structured results
- *  - window.__verify.current()   — the last single result (what replay is showing)
- *  Agent, human (Run all), and CI (scripts/verify.mjs) all read this one handle.
- *
- * The probe fixture (demo-probe-lie-v1) is DESIGNED to fail H5: its outcome
- * headline claims 3 files but renders 1. A green there means the harness is
- * blind, so CI treats a non-failing probe as a hard failure.
- *
- * Replay mode (?mode=replay) drives the real iframe in slow motion with a
- * highlight ring + caption (the visibleAct pattern) and can record one .webm
- * per fixture in-browser, or be driven headless by scripts/record-replay.mjs.
- */
-import { violatesGitInvariant } from '../../application/use-cases/verify-claim.js';
-import { DESIGN_TOKENS } from './ui/tokens.js';
-import { FONT_FACES } from './ui/font-faces.js';
-export const VERIFY_HTML = `<!doctype html>
-<html lang="en">
-<head>
-<meta charset="utf-8" />
-<meta name="viewport" content="width=device-width, initial-scale=1" />
-<link rel="icon" type="image/svg+xml" href="/icon.svg" />
-<title>codehere · /verify</title>
-<style>${FONT_FACES}${DESIGN_TOKENS}
-  /* /verify used to declare its own :root here: cool-gray surfaces from the
-     pre-v1 palette, Inter as the voice face, and macOS traffic lights for the
-     verdict colours (--allow was var(--verified)). That made three different "verified"
-     greens in one product, on a page linked directly from codehere start.
-     It now takes the same tokens and the same self-hosted faces as the
-     dashboard. DESIGN.md §4.5 always said it should. */
-  *{box-sizing:border-box}
-  body{margin:0;background:var(--bg);color:var(--fg);font-family:var(--sans);font-size:13px;line-height:1.55;-webkit-font-smoothing:antialiased;
-    background-image:radial-gradient(circle,rgba(74,144,226,.045) 1px,transparent 1px);background-size:24px 24px;}
-  a{color:inherit}
-  header.top{display:flex;align-items:center;gap:14px;padding:10px 20px;border-bottom:1px solid var(--border-soft);background:rgba(0,0,0,.55);backdrop-filter:blur(8px);position:sticky;top:0;z-index:5;flex-wrap:wrap}
-  .logo{font-size:14.5px;font-weight:700;display:inline-flex;align-items:center;gap:7px;letter-spacing:-.01em}
-  /* S16 brand-sync: gradient name only, no dot — the landing nav wordmark carries none */
-  .logo .name{background:linear-gradient(135deg,#ff9a76 0%,#4a90e2 100%);-webkit-background-clip:text;background-clip:text;-webkit-text-fill-color:transparent;color:transparent}
-  .route{color:var(--fg-40);font-family:var(--mono);font-size:12px}
-  .pill{font-size:10.5px;padding:3px 8px;border:1px solid var(--border);border-radius:999px;color:var(--fg-50)}
-  .pill.local{border-color:var(--border);color:var(--fg-70)}
-  .spacer{flex:1}
-  .hint{color:var(--fg-40);font-size:12px}
-  .hint code{font-family:var(--mono);color:var(--info)}
-  .wrap{max-width:1180px;margin:0 auto;padding:22px 20px 80px}
-  .actions{display:flex;align-items:center;gap:12px;margin:18px 0 8px;flex-wrap:wrap}
-  /* S17 · same token system as the product page: ONE flat accent fill per
-     action row (no gradient, no glow), calm hover, visible focus ring.
-     Buttons don't inherit type by default — pull every control into the system. */
-  button,select,input{font:inherit}
-  button.run{background:var(--accent);color:#1a0f08;border:0;font-weight:600;font-size:13px;padding:9px 18px;border-radius:var(--radius);cursor:pointer;transition:filter var(--dur) var(--ease)}
-  button.run:hover{filter:brightness(1.06)}
-  button.run:disabled{opacity:.6;cursor:default;filter:none}
-  button.run:focus-visible,.linkbtn:focus-visible,.cell:focus-visible,.steprow:focus-visible{outline:2px solid var(--accent);outline-offset:2px}
-  .linkbtn{color:var(--fg-70);text-decoration:none;border:1px solid var(--border);padding:8px 14px;border-radius:var(--radius);font-size:12px;cursor:pointer;background:transparent}
-  .linkbtn:hover{border-color:var(--accent);color:var(--fg)}
-  .tally{display:inline-flex;gap:14px;align-items:center;font-family:var(--mono);font-size:13px;margin-left:6px}
-  .tally .p{color:var(--verified)} .tally .f{color:var(--caught)} .tally .b{color:var(--fg-40)} .tally .t{color:var(--fg-50)}
-  .verdict-line{font-size:12px;margin:4px 0 0}
-  .verdict-line.green[data-evidence='measured']{color:var(--verified)} .verdict-line.red{color:var(--caught)}
-  .legend{display:flex;gap:18px;margin:8px 0 0;font-size:12px;color:var(--fg-50);flex-wrap:wrap}
-  .legend b{font-family:var(--mono)}
-  h2.section{font-size:12px;text-transform:uppercase;letter-spacing:.12em;color:var(--fg-40);margin:26px 0 10px;font-weight:600}
-  .verifiers{display:flex;gap:8px;flex-wrap:wrap;margin-bottom:6px}
-  .vchip{border:1px solid var(--border);border-radius:999px;padding:4px 11px;font-size:12px;color:var(--fg-70)}
-  .vchip code{font-family:var(--mono);color:var(--accent)}
-  table.matrix{width:100%;border-collapse:collapse;font-size:12px;border:1px solid var(--border-soft);border-radius:var(--radius);overflow:hidden}
-  table.matrix th,table.matrix td{padding:9px 11px;text-align:left;border-bottom:1px solid var(--border-soft)}
-  table.matrix thead th{font-size:10.5px;text-transform:uppercase;letter-spacing:.08em;color:var(--fg-40);background:var(--bg-1);font-weight:600;vertical-align:bottom}
-  table.matrix tbody tr:hover{background:rgba(255,255,255,.02)}
-  .unit-id{font-family:var(--mono);color:var(--fg)}
-  .unit-desc{color:var(--fg-50);font-size:12px}
-  .needs{font-family:var(--mono);color:var(--fg-30);font-size:12px}
-  .cell{display:inline-flex;align-items:center;justify-content:center;width:26px;height:22px;border-radius:5px;font-size:12px;cursor:pointer;border:0;background:transparent;color:var(--fg-30);font-family:var(--mono)}
-  .cell.pass{background:rgba(127,195,154,.12);color:var(--verified)}
-  .cell.fail{background:rgba(226,130,127,.16);color:var(--caught);box-shadow:0 0 0 1px rgba(226,130,127,.5)}
-  .cell.fail.expected{animation:flag 1.6s infinite}
-  .cell.blocked{background:rgba(255,255,255,.05);color:var(--fg-40)}
-  @keyframes flag{0%,100%{box-shadow:0 0 0 1px rgba(226,130,127,.5)}50%{box-shadow:0 0 0 1px rgba(226,130,127,1),0 0 12px rgba(226,130,127,.5)}}
-  .fixhdr{font-family:var(--mono);font-size:10.5px;color:var(--fg-50);writing-mode:vertical-rl;transform:rotate(180deg);white-space:nowrap;height:96px}
-  .fixhdr.probe{color:var(--caught)}
-  .probe-row td{background:rgba(226,130,127,.04)}
-  .probe-tag{font-size:10.5px;color:var(--caught);border:1px solid rgba(226,130,127,.4);border-radius:4px;padding:1px 5px;margin-left:8px;font-family:var(--mono)}
-  .note{color:var(--fg-40);font-size:12px;margin-top:8px}
-  .note code{font-family:var(--mono);color:var(--info)}
-  /* replay */
-  .grid2{display:grid;grid-template-columns:1.4fr 1fr;gap:18px;margin-top:6px}
-  .stage-wrap{border:1px solid var(--border);border-radius:10px;overflow:hidden;background:var(--bg-1);position:relative}
-  .stage-wrap.v-pass{box-shadow:0 0 0 1px rgba(127,195,154,.4)}
-  .stage-wrap.v-fail{box-shadow:0 0 0 1px rgba(226,130,127,.55)}
-  .stage-wrap.v-blocked{box-shadow:0 0 0 1px rgba(255,255,255,.12)}
-  .titlebar{display:flex;align-items:center;gap:7px;padding:8px 12px;background:var(--bg-2);border-bottom:1px solid var(--border-soft)}
-  .tl-dot{width:11px;height:11px;border-radius:50%}.tl-dot.r{background:var(--caught)}.tl-dot.y{background:var(--warn)}.tl-dot.g{background:var(--verified)}
-  .tl-title{margin-left:8px;font-size:12px;color:var(--fg-70)}.tl-title .dim{color:var(--fg-30);font-family:var(--mono)}
-  iframe#surface{width:100%;height:560px;border:0;display:block;background:var(--bg)}
-  .checklist{position:absolute;top:46px;right:14px;width:226px;background:rgba(0,0,0,.82);border:1px solid var(--border);border-radius:10px;padding:10px 12px;z-index:52;font-size:12px;backdrop-filter:blur(6px);opacity:0;transition:opacity .2s}
-  .checklist.on{opacity:1}
-  .checklist .cl-h{font-family:var(--mono);font-size:10.5px;letter-spacing:.1em;text-transform:uppercase;color:var(--fg-40);margin-bottom:7px}
-  .checklist .cl-row{display:flex;align-items:flex-start;gap:7px;padding:3px 0;color:var(--fg-50);transition:color .2s}
-  .checklist .cl-row.run{color:var(--fg)}
-  .checklist .cl-row .cl-id{font-family:var(--mono);font-weight:700;width:22px}
-  .checklist .cl-row .cl-st{width:14px;text-align:center}
-  .checklist .cl-row.pass .cl-id{color:var(--verified)} .checklist .cl-row.fail .cl-id{color:var(--caught)} .checklist .cl-row.blocked .cl-id{color:var(--fg-40)}
-  .ring{position:fixed;border:2px solid var(--accent);border-radius:8px;box-shadow:0 0 0 4px rgba(255,154,118,.25),0 0 18px rgba(255,154,118,.6);pointer-events:none;z-index:50;animation:ringpulse 1s infinite;transition:all .25s ease}
-  @keyframes ringpulse{0%,100%{opacity:1}50%{opacity:.55}}
-  .caption{position:absolute;bottom:14px;left:50%;transform:translateX(-50%);background:rgba(0,0,0,.88);border:1px solid var(--border);border-radius:999px;padding:7px 16px;font-size:12px;color:var(--fg);font-family:var(--mono);white-space:nowrap;z-index:51;opacity:0;transition:opacity .2s}
-  .caption.on{opacity:1}
-  .framestatus{padding:10px 14px;border-top:1px solid var(--border-soft);font-size:12px;display:flex;align-items:center;gap:12px;flex-wrap:wrap}
-  .framestatus .badge{font-family:var(--mono);font-weight:700;padding:2px 9px;border-radius:5px}
-  .badge.pass{color:var(--verified);background:rgba(127,195,154,.12)} .badge.fail{color:var(--caught);background:rgba(226,130,127,.14)} .badge.blocked{color:var(--fg-40);background:rgba(255,255,255,.05)}
-  .framestatus .issues{color:var(--caught);font-size:12px}
-  .framestatus .issues.blk{color:var(--fg-40)}
-  .replay-side h3{font-size:12px;color:var(--fg-70);margin:0 0 10px}
-  .ctrlrow{display:flex;gap:8px;align-items:center;margin-bottom:12px;flex-wrap:wrap}
-  .progress{height:5px;background:var(--bg-2);border-radius:3px;overflow:hidden;margin:8px 0 14px}
-  .progress>div{height:100%;width:0;background:var(--accent);transition:width var(--dur-max) var(--ease)}
-  .steplist{font-size:12px}
-  .steprow{display:flex;align-items:center;gap:8px;padding:5px 7px;border-radius:6px;cursor:pointer}
-  .steprow.active{background:var(--accent-wash)}
-  .steprow .st{width:16px;text-align:center}
-  .steprow .nm{font-family:var(--mono);font-size:12px;color:var(--fg-70)}
-  .steprow.fail .nm{color:var(--caught)}
-  .clipnote{margin-top:14px;font-size:12px;color:var(--fg-40)}
-  .clipnote code{font-family:var(--mono);color:var(--info)}
-  details.manifest{margin-top:26px;border:1px solid var(--border-soft);border-radius:var(--radius);padding:10px 14px}
-  details.manifest summary{cursor:pointer;color:var(--fg-50);font-size:12px}
-  details.manifest pre{font-family:var(--mono);font-size:12px;color:var(--fg-50);overflow:auto;margin:10px 0 0;max-height:340px}
-  .hidden{display:none !important}
-  /* S17 · prefers-reduced-motion: ALL motion collapses, information stays
-     (same rule the product page ships). */
-  @media (prefers-reduced-motion: reduce){
-    *,*::before,*::after{animation-duration:.01ms !important;animation-iteration-count:1 !important;transition-duration:.01ms !important;scroll-behavior:auto !important}
-  }
-</style>
-</head>
-<body data-verify-page="dashboard">
-  <header class="top">
-    <span class="logo"><span class="name">codehere</span></span>
-    <span class="route">/verify</span>
-    <span class="pill local">&#9679; local &middot; zero telemetry</span>
-    <span class="spacer"></span>
-    <span class="hint">agent handle: <code>window.__verify</code> &mdash; <code>__verify.manifest()</code> &middot; <code>await __verify.runAll()</code></span>
-  </header>
-  <div class="wrap">
-    <div class="actions">
-      <button class="run" id="run-all">&#9654; Run all</button>
-      <button class="linkbtn" id="toggle-replay">&#9654; Replay all (slow-mo)</button>
-      <span class="tally" id="tally"><span class="t">not run yet &mdash; click Run all</span></span>
-    </div>
-    <div class="verdict-line" id="verdict-line"></div>
-    <div class="legend">
-      <span><b style="color:var(--verified)">PASS</b> observed &amp; honest</span>
-      <span><b style="color:var(--caught)">FAIL</b> observed &amp; lying</span>
-      <span><b style="color:var(--fg-40)">BLOCKED</b> 0 units to observe &mdash; never a silent green</span>
-      <span><b>probe</b> designed-to-fail self-test</span>
-    </div>
-    <h2 class="section">Pluggable verifiers</h2>
-    <div class="verifiers">
-      <span class="vchip"><code>contract</code> &mdash; reads data-verify-* off the rendered surface</span>
-      <span class="vchip"><code>invariants</code> &mdash; runs each honesty predicate against the DOM</span>
-      <span class="vchip"><code>counts</code> &mdash; claimed numbers must equal rendered elements</span>
-    </div>
-    <h2 class="section">Matrix &middot; honesty invariant &times; seeded session</h2>
-    <table class="matrix" id="matrix"><thead></thead><tbody></tbody></table>
-    <p class="note" id="probe-note"></p>
-    <h2 class="section">Feature coverage &middot; v0 &#8250; v1 MVP &mdash; does each PRODUCT_STATE claim actually render?</h2>
-    <div class="actions">
-      <button class="run" id="run-cov">&#9654; Run coverage</button>
-      <span class="tally" id="cov-tally"><span class="t">not run yet</span></span>
-    </div>
-    <div class="verdict-line" id="cov-verdict"></div>
-    <div class="legend">
-      <span><b style="color:var(--verified)">OBSERVED</b> claimed shipped &amp; rendered</span>
-      <span><b style="color:var(--caught)">MISSING</b> claimed shipped, NOT rendered (doc lies)</span>
-      <span><b style="color:var(--warn)">PARTIAL-GAP</b> ◐ honest, not yet visible</span>
-      <span><b style="color:var(--fg-40)">SKIP</b> roadmap / future (correctly absent)</span>
-    </div>
-    <table class="matrix" id="cov-matrix"><thead><tr><th style="width:52%">Feature (PRODUCT_STATE id)</th><th class="needs" style="width:12%">tier</th><th class="needs" style="width:12%">surface</th><th>state</th></tr></thead><tbody></tbody></table>
-    <div id="replay" class="hidden">
-      <h2 class="section">Replay &middot; drive the real UI in slow motion</h2>
-      <div class="grid2">
-        <div class="stage-wrap" id="stage-wrap">
-          <div class="titlebar">
-            <span class="tl-dot r"></span><span class="tl-dot y"></span><span class="tl-dot g"></span>
-            <span class="tl-title" id="stage-title">feature &middot; <strong>session thread</strong> <span class="dim">/ &mdash;</span></span>
-          </div>
-          <iframe id="surface" title="codehere product surface" src="/"></iframe>
-          <div class="checklist" id="checklist"></div>
-          <div class="caption" id="caption"></div>
-          <div class="framestatus" id="framestatus"><span class="sub" style="color:var(--fg-40)">press Play</span></div>
-        </div>
-        <div class="replay-side">
-          <h3>Replay controls</h3>
-          <div class="ctrlrow">
-            <button class="linkbtn" id="play">&#9654; Play</button>
-            <button class="linkbtn" id="skip">Skip &#8250;</button>
-            <button class="linkbtn" id="record">&#9679; Record clips</button>
-            <span class="hint" id="dwell-label">dwell 1500ms</span>
-          </div>
-          <div class="progress"><div id="prog"></div></div>
-          <div class="steplist" id="steplist"></div>
-          <div class="clipnote">Each fixture gets its own <code>.webm</code> (in-browser, pick this tab). Headless: <code>node scripts/record-replay.mjs</code> hands you one webm, no setup.</div>
-        </div>
-      </div>
-    </div>
-    <details class="manifest">
-      <summary>Raw manifest (what an agent / CI sees &mdash; same truth as this page)</summary>
-      <pre id="manifest-json"></pre>
-    </details>
-  </div>
-<script>
-(function(){
-  "use strict";
-  /* -------- fixtures: the seeded sessions (the product's real surfaces) --------
-     S20 · the two lens columns re-observe the FAILED fixture with the Review /
-     Status lens active (sid = the session, lens = applied via the page's own
-     applyLens before reading): every invariant — H9/H13/H14/H15 included —
-     must hold under each lens. Honesty must survive the recomposition. */
-  var FIXTURES = [
-    { id:"demo-rate-limit-shipped-v0.9",      label:"rate-limit-shipped" },
-    { id:"demo-recovery-test-failed-v0.9",    label:"recovery-failed" },
-    { id:"demo-crash-orphaned-mid-write-v0.9",label:"crash-orphaned" },
-    { id:"demo-hook-block-bulk-rm-v0.9",      label:"hook-block-rm" },
-    { id:"demo-stalled-opencode-hung-v1",     label:"stalled-hung" },
-    { id:"demo-non-git-honest-v1",            label:"non-git-honest" },
-    { id:"demo-running-streaming-v0.9",       label:"running-stream" },
-    { id:"lens-review-failed", sid:"demo-recovery-test-failed-v0.9", lens:"review", label:"review lens \\u00b7 failed" },
-    { id:"lens-status-failed", sid:"demo-recovery-test-failed-v0.9", lens:"status", label:"status lens \\u00b7 failed" },
-    { id:"demo-probe-lie-v1",                 label:"probe-lie", probe:true, expectFail:"H5" }
-  ];
-  /* -------- invariants: the honesty contracts (the "units") --------
-     needs(s) -> can this invariant observe anything here? (else BLOCKED)
-     check(s) -> [] when honest, or violation strings when lying (FAIL)        */
-  /* LOW #23 (atomic audit) · there is no H4 — it was never built; numbering
-     jumps H3->H5 and is kept STABLE because H-ids are referenced by docs,
-     fixtures (expectFail) and evidence bundles. Do not renumber. */
-  var INVARIANTS = [
-    { id:"H1", title:"no-verified-without-git", needs:"verifier",
-      desc:"verdict is not 'verified' when git is untracked",
-      can:function(s){ return s.verifiers.length>0; },
-      /* R11/M2 · the rule itself is the VerdictService's, interpolated at
-         build time — this harness EXECUTES verify-claim's own predicate
-         instead of re-encoding it, so engine and harness can't drift. */
-      check:function(s){ var violates=(${violatesGitInvariant.toString()}); return s.verifiers.filter(function(v){ return violates(v.verdict, v.gittracked!=="false"); }).map(function(){ return "verifier verdict=verified while git untracked (overclaim)"; }); } },
-    { id:"H2", title:"say-never-bare", needs:"say",
-      desc:"every reasoning bubble has real words, not the bare label",
-      can:function(s){ return s.says.length>0; },
-      check:function(s){ return s.says.filter(function(x){ return x.len===0 || x.text.toLowerCase()==="say"; }).map(function(){ return "bare 'say' bubble with no agent words"; }); } },
-    { id:"H3", title:"no-empty-outcome", needs:"terminal outcome",
-      desc:"a finished outcome panel renders observable content, not an empty box",
-      can:function(s){ return s.hasOutcome && s.terminal; },
-      check:function(s){ return s.outcomeItems>0 ? [] : ["terminal Outcome panel rendered 0 items (empty container)"]; } },
-    { id:"H5", title:"counts-consistent", needs:"outcome+files",
-      desc:"the 'N files changed' headline equals the rendered file rows",
-      can:function(s){ return s.hasOutcome && s.filesClaimed>0 && s.hasFiletree; },
-      check:function(s){ return s.filesClaimed===s.filetreeRendered ? [] : ["claims "+s.filesClaimed+" files changed but renders "+s.filetreeRendered+" file row(s)"]; } },
-    { id:"H6", title:"fail-has-honest-reason", needs:"terminal-fail",
-      desc:"a failed / killed / crashed run shows a plain reason, never a bare dot",
-      can:function(s){ return s.terminalFail; },
-      check:function(s){ return s.hasExplanation ? [] : ["failed session shows no recovery / crash / stall explanation"]; } },
-    { id:"H8", title:"observer-honest", needs:"observer rail",
-      desc:"the observer never shows a stale session as live, never renders a blank box, never seeds fake rows (Thariq loop-2 design B)",
-      can:function(s){ return !!s.observer; },
-      check:function(s){
-        var o=s.observer, out=[];
-        if(o.mode==='empty'){
-          if(o.rowStates.length>0) out.push("empty observer rendered "+o.rowStates.length+" row(s) · should seed NO fake rows");
-          if(o.teachLen<20) out.push("empty observer is a blank box · it must teach the 60-second path");
-        } else if(o.mode==='active'){
-          var liveRows=o.rowStates.filter(function(st){ return st==='live'; }).length;
-          if(o.liveClaimed!==liveRows) out.push("header claims "+o.liveClaimed+" live but "+liveRows+" row(s) are marked live (stale-as-live)");
-          if(o.textLen<10) out.push("active observer rendered with no content (empty container)");
-        }
-        return out;
-      } },
-    { id:"H12", title:"follow-up-never-lies", needs:"detail composer",
-      desc:"the follow-up box is enabled only when the server can deliver the message; a disabled box carries a plain reason \u00b7 never an invitation to send into a void (S1)",
-      can:function(s){ return !!s.followUp && !!s.followUp.state; },
-      check:function(s){
-        var f=s.followUp, out=[];
-        if(f.state==='disabled-honest' && f.placeholderLen<20) out.push("follow-up disabled but the reason placeholder is missing/too thin");
-        if(f.state==='disabled-honest' && !f.disabled) out.push("composer claims disabled-honest but the box is still enabled (the invitation lie)");
-        if(f.state==='enabled' && f.disabled) out.push("composer stamped enabled but the box is disabled (silent dead composer)");
-        return out;
-      } },
-    { id:"H11", title:"running-task-stoppable", needs:"a running session",
-      desc:"a running task shows a Stop control on its detail · you can stop an agent the moment you stop trusting it (S2)",
-      can:function(s){ return s.status==='running'; },
-      check:function(s){ return s.hasStopControl ? [] : ["running task renders no Stop control on the detail (unstoppable runaway)"]; } },
-    { id:"H10", title:"cost-estimate-honest", needs:"composer cost chip",
-      desc:"the cost chip is computed (free / recent-real / typical), labeled as what it is, and its tooltip never claims a computation that didn't happen (S7)",
-      can:function(s){ return s.costEst && s.costEst.length>0; },
-      check:function(s){
-        var out=[];
-        s.costEst.forEach(function(c){
-          if(!c.mode) out.push("cost chip rendered with no computed mode (estimator never ran) \\u00b7 text: '"+c.text+"'");
-          else if(c.mode==='free' && c.text.indexOf('$0')===-1) out.push("free-mode chip does not say $0");
-          else if(c.mode==='typical' && c.text.indexOf('typical')===-1) out.push("flat-fallback chip not labeled 'typical' \\u00b7 a flat figure dressed as a computation");
-          else if(c.mode==='typical' && /prompt length/i.test(c.title)) out.push("typical-mode tooltip claims prompt-length computation that did not happen");
-          else if(c.mode==='recent' && c.text.indexOf('~$')===-1) out.push("recent-mode chip missing the computed ~$ figure");
-        });
-        return out;
-      } },
-    { id:"H9", title:"no-green-on-failed", needs:"verifier on a failed run",
-      desc:"a failed / killed / crashed task never wears the green 'verified' block · an honest report about a failure is not a success (S5)",
-      can:function(s){ return s.terminalFail && s.verifiers.length>0; },
-      check:function(s){ return s.verifiers.filter(function(v){ return v.verdict==="verified"; }).map(function(){ return "status=failed task renders a green verdict=verified block (fake-green on the proof surface)"; }); } },
-    { id:"H13", title:"hero-numbers-honest", needs:"home hero",
-      desc:"the home hero's claimed counts (agents/verified/caught/running) equal the counts derivable from the task list the page itself holds; the first-run hero never hides real work (S12)",
-      can:function(s){ return !!(s.hero && s.hero.expected); },
-      check:function(s){
-        var h=s.hero, e=h.expected, out=[];
-        if(h.mode==="first-run"){
-          if(e.today>0) out.push("hero shows the first-run story while "+e.today+" task(s) started today (real work hidden)");
-          return out;
-        }
-        ["agents","verified","caught","stopped","running"].forEach(function(k){
-          if(h[k]!==e[k]) out.push("hero claims "+k+"="+h[k]+" but the task list derives "+e[k]);
-        });
-        return out;
-      } },
-    { id:"H14", title:"decisions-honest", needs:"decision-queue state",
-      desc:"the NEEDS-YOUR-DECISION queue's claimed N equals the count derivable from the page's own state (pending write-passes + verifier-broken verdicts today + failed runs with retry available today); zero derivable decisions means the section is absent entirely (S13)",
-      can:function(s){ return !!(s.decisions && s.decisions.expected!==null); },
-      check:function(s){
-        var d=s.decisions, out=[];
-        if(d.expected===0){
-          if(d.present) out.push("decision queue renders ("+d.rows+" row(s), claims N="+d.n+") while 0 decisions are derivable \\u00b7 the section must be absent when nothing needs you");
-          return out;
-        }
-        if(!d.present){ out.push(d.expected+" decision(s) derivable from page state but the queue is absent (real decisions hidden)"); return out; }
-        if(d.n!==d.expected) out.push("queue claims N="+d.n+" but the page state derives "+d.expected);
-        if(d.rows!==d.n) out.push("queue claims N="+d.n+" but renders "+d.rows+" row(s)");
-        return out;
-      } },
-    { id:"H15", title:"glyph-discipline", needs:"rendered surface",
-      desc:"no emoji/pictograph codepoint anywhere in the rendered CHROME, observed in the default AND expanded history/practice states \\u00b7 status and meaning are carried by the sanctioned geometric glyph set (\\u2713 \\u2715 \\u25CF \\u25CB \\u2022 \\u2298 \\u203A), words and color, never emoji-as-icon; user/run content ([data-user-content]) is the user's own text, not chrome, and is excluded (S19)",
-      can:function(s){ return !!(s.glyphScan && s.glyphScan.scanned); },
-      check:function(s){ return s.glyphScan.hits; } },
-    { id:"H7", title:"recovery-buttons-must-not-lie", needs:"recovery card",
-      desc:"every ENABLED recovery action does a real thing; a disabled one carries its reason · no button narrates an action it doesn't perform (Thariq loop-1)",
-      can:function(s){ return s.recoveryButtons && s.recoveryButtons.length>0; },
-      check:function(s){
-        var out = [];
-        s.recoveryButtons.forEach(function(b){
-          if(b.bareToast) out.push("recovery '"+b.action+"' is enabled but only fires a toast · it lies about acting");
-          if(b.disabled && !b.hasReason) out.push("recovery '"+b.action+"' is disabled with no reason (silent dead button)");
-        });
-        return out;
-      } }
-  ];
-  var PROTO_VERSION = "codehere-verify/1";
-  /* -------- feature coverage: every granular PRODUCT_STATE claim, v0->v1 --------
-     Turns the ~150-row inventory's claims into watchable checks against the REAL
-     surface. status drives the verdict:
-       shipped ([shipped]/[green]) -> element MUST render -> OBSERVED, else MISSING (the claim is a lie)
-       partial ([partial])    -> render if present -> OBSERVED, else PARTIAL-GAP (honest, not a lie)
-       roadmap ([roadmap])     -> SKIP-ROADMAP (planned, not built — correctly absent)
-       future  ([future]/cut) -> SKIP-FUTURE  (deferred by design / cut)
-     surface: 'list' = dashboard · 'detail' = opens demo-rate-limit-shipped-v0.9.
-     sel = real CSS selector confirmed against the live DOM (not invented).        */
-  var COV_FIXTURE = "demo-rate-limit-shipped-v0.9";
-  /* Inject a synthetic 3-task batch into the page's task STATE (the banner-
-     drive honesty bar: state occurs -> the real render path must produce the
-     surface; never DOM injection). Restored by __unseedCovBatch. Without this,
-     a home that never ran the batch seed reported the two v1.0 rows MISSING
-     even though the render path is real (found in the It-4 joint ceremony). */
-  function __seedCovBatch(w){
-    try{
-      var tk = w._cached && w._cached.tasks; if(!tk) return false;
-      if (w.__covSavedPersisted !== undefined) return true; // already seeded this run
-      w.__covSavedPersisted = tk.persisted;
-      var now = Date.now()-300000;
-      var mk = function(id, ag, st){ return { sessionId:id, agent:ag, prompt:"coverage probe "+id, cwd:"/cov-batch-probe", startedAt:now, status:st, batchId:"cov-batch-1", steps:[], artifacts:{}, provenance:"persisted", durationMs:1000, completedAt: st==="running"?0:now+1000 }; };
-      tk.persisted = (tk.persisted||[]).concat([ mk("cov-b1","claude-code","completed"), mk("cov-b2","codex","running"), mk("cov-b3","gemini","failed") ]);
-      return true;
-    }catch(e){ return false; }
-  }
-  function __unseedCovBatch(w){
-    try{
-      if (w.__covSavedPersisted === undefined) return;
-      if (w._cached && w._cached.tasks) w._cached.tasks.persisted = w.__covSavedPersisted;
-      delete w.__covSavedPersisted;
-    }catch(e){}
-  }
-  /* It-4 V1-MULTITASK/V1-FANOUT-ALL drive helper. Finds a cwd in the
-     /api/tasks data (real or coverage-injected) whose turns include a batchId
-     shared by >=2 tasks, then drives the real openRoom() so renderRoom()
-     produces the live .project-rollup + .fanout-all surface. Returns the cwd
-     it opened, or null if no batch is present. */
-  function __openBatchRoom(w){
-    try{
-      var all = (w.allS ? w.allS(w._cached && w._cached.tasks || {}) : []);
-      var byBatch = {};
-      for(var i=0;i<all.length;i++){
-        /* S18 · practice (mockRun) batches collapse behind the practice row in
-           rooms — they no longer render a rollup, so the drive must open a
-           REAL batch room (the seeded cov-batch qualifies). Same honest rule
-           as renderRoom, applied to both sides. */
-        var t=all[i]; if(!t.batchId || t.mockRun) continue;
-        (byBatch[t.batchId]=byBatch[t.batchId]||[]).push(t);
-      }
-      for(var bid in byBatch){
-        if(byBatch[bid].length>=2){
-          var cwd=byBatch[bid][0].cwd; if(!cwd) continue;
-          if(w.openRoom){ w.openRoom(encodeURIComponent(cwd)); return cwd; }
-        }
-      }
-    }catch(e){}
-    return null;
-  }
-  var FEATURES = [
-    { id:"F-AUDIT-FOOTER", name:"Audit chain footer", surface:"list", sel:".audit-chain-panel", status:"shipped", tier:"v0.7" },
-    { id:"F-BUDGET-CHIP", name:"Budget pill", surface:"list", sel:".budget", status:"shipped", tier:"v0.7",
-      /* .budget fills its text only when a daily budget is set (upBud). Real
-         ~/.codehere often has no cap set, so it flaps empty. Drive the REAL
-         upBud() over a set-budget pricing state (60% spent · safe), restore. */
-      drive:function(w,d){ try{ w.__covBud=w._cached.pricing; w._cached.pricing={dailyBudgetCents:500,spentTodayCents:300}; w.upBud(); }catch(e){} },
-      undrive:function(w,d){ try{ w._cached.pricing=w.__covBud; w.upBud(); }catch(e){} } },
-    { id:"F-BUDGET-WARN-BANNER", name:"Budget warning banner", surface:"list", sel:".budget-banner", status:"partial", tier:"v0.6",
-      /* drive the REAL upBud() over an over-budget pricing state, observe the
-         banner, restore. Same legitimacy as F-CUSTOM-VIEW-BANNER's class drive. */
-      drive:function(w,d){ try{ w.__covPricing=w._cached.pricing; w._cached.pricing={dailyBudgetCents:500,spentTodayCents:500}; w.upBud(); }catch(e){} },
-      undrive:function(w,d){ try{ w._cached.pricing=w.__covPricing; w.upBud(); }catch(e){} } },
-    /* S13 · at rest the home shows TODAY one-line rows only; demos + earlier
-       work collapse behind the history row. Card rows are observed by
-       expanding history through the REAL toggle (window.__histExpand), the
-       same path the user's click takes — never DOM injection. */
-    { id:"F-CARD-AGENT-BORDER", name:"Per-vendor class on task row (S12: identity is the monochrome name, no hue)", surface:"list", sel:".task-card.agent-claude-code", status:"shipped", tier:"v0.9",
-      drive:function(w,d){ try{ w.__histExpand(); }catch(e){} },
-      undrive:function(w,d){ try{ w.__histCollapse(); }catch(e){} } },
-    { id:"F-CARD-CLICK-DETAIL", name:"Click card/row -> detail view", surface:"list", sel:".task-card", status:"shipped", tier:"v0.6",
-      drive:function(w,d){ try{ w.__histExpand(); }catch(e){} },
-      undrive:function(w,d){ try{ w.__histCollapse(); }catch(e){} } },
-    { id:"F-CARD-OUTCOME-CHIP", name:"Outcome on the card (the .tc-stat pill: verdict word + checks, right-aligned with cost)", surface:"list", sel:".tcard .tc-stat", status:"shipped", tier:"v0.7",
-      drive:function(w,d){ try{ w.__histExpand(); }catch(e){} },
-      undrive:function(w,d){ try{ w.__histCollapse(); }catch(e){} } },
-    { id:"F-CUSTOM-VIEW-BANNER", name:"Custom view banner", surface:"list", sel:".custom-view-banner", status:"shipped", tier:"v0.8",
-      drive:function(w,d){ d.body.classList.add("custom-view"); },
-      undrive:function(w,d){ d.body.classList.remove("custom-view"); } },
-    { id:"F-DAEMON-HEARTBEAT", name:"Local pill auto-update", surface:"list", sel:".local-pill", status:"shipped", tier:"v0.6" },
-    { id:"F-FAILOVER-BANNER", name:"Failover banner", surface:"list", sel:".failover-banner.show", status:"partial", tier:"v0.7",
-      /* drive the banner's OWN render (window.__fbRender) with a real offer
-         shape — same object /api/failover-offers returns — so we observe the
-         live render path, not a fake DOM injection. */
-      drive:function(w,d){ try{ w.__fbRender([{ sessionId:"cov-failover", target:"codex", signal:{ fromAgent:"claude-code", errorCode:"rate_limited" } }]); }catch(e){} },
-      undrive:function(w,d){ try{ w.__fbRender([]); }catch(e){} } },
-    /* S13 · filters moved into the ⌘K palette (rule 9). Observed by opening
-       the REAL palette (window.openPalette — the same function ⌘K runs) and
-       asserting the filter commands render; the command's Enter runs the
-       same setFilter() the tabs ran. */
-    { id:"F-FILTER-PILLS", name:"All/Running/Done/Failed filters (S13: \u2318K command EXECUTED \u203A the removable token is the observed effect)", surface:"list", sel:".ftoken", status:"shipped", tier:"v0.7",
-      /* Refuter (S13) · presence-only re-pointing was vacuous: a lobotomized
-         command element would still pass. This drive runs the REAL command
-         (palette open \u2192 click filter-failed) and the row observes its
-         CONSEQUENCE (.ftoken) \u2014 a broken run closure now reads MISSING. */
-      drive:function(w,d){ try{ w.openPalette(); var c=d.querySelector("[data-verify-cmd='filter-failed']"); if(c) c.click(); }catch(e){} },
-      undrive:function(w,d){ try{ var x=d.querySelector(".ftoken .x"); if(x) x.click(); w.closePalette(); }catch(e){} } },
-    { id:"F-INDEXING-BANNER", name:"First-run indexing banner", surface:"list", sel:".indexing-banner", status:"partial", tier:"v0.7",
-      /* partial by nature: this banner only shows on a genuinely fresh home
-         (<3 sessions). The drive reproduces that fresh-home state — empties
-         _cached.tasks + clears the sessionStorage dismissal — runs the REAL
-         upIdx(), observes, then restores. */
-      drive:function(w,d){ try{ w.__covTasks=w._cached.tasks; w._cached.tasks={spawned:[],persisted:[],sessions:[]}; try{w.sessionStorage.removeItem("codehere_indexing_dismissed");}catch(e){} w.upIdx(); }catch(e){} },
-      undrive:function(w,d){ try{ w._cached.tasks=w.__covTasks; w.upIdx(); }catch(e){} } },
-    { id:"F-LOCAL-PILL", name:"Local-first / zero-telemetry pill", surface:"list", sel:".local-pill", status:"shipped", tier:"v0.7" },
-    { id:"F-LOGO", name:"Brand wordmark", surface:"list", sel:".logo .name", status:"shipped", tier:"v0.7" },
-    { id:"F-NEW-TASK-BTN", name:"New task (S13: first ⌘K command, focuses the composer)", surface:"list", sel:"[data-verify-cmd='new-task']", status:"shipped", tier:"v0.7",
-      drive:function(w,d){ try{ w.openPalette(); }catch(e){} },
-      undrive:function(w,d){ try{ w.closePalette(); }catch(e){} } },
-    { id:"F-OBSERVED-THREAD", name:"Observed session as thread", surface:"list", sel:".obs-row", status:"shipped", tier:"v0.7",
-      /* S9 made practice mode honest: the mock chain starts EMPTY, so the
-         observer correctly renders its teach-state and this row has no .obs-row
-         to observe — it used to pass only because past mock runs had POLLUTED
-         the real chain with host sessions. Banner-drive honesty bar (same as
-         __seedCovBatch): seed the STATE through the REAL render path (the
-         exact function /api/host-sessions feeds), clearly labeled as a
-         coverage probe, restored from the real API after. Never DOM. */
-      /* S13 · the observer rests as one calm line; .obs-row renders in the
-         EXPANDED rail — drive the real expand flag with the probe session. */
-      drive:function(w,d){ w._obsOpen=true; w.renderHostSessions({ sessions:[{ sessionId:"coverage-probe-host-session", shortId:"cov-probe", lastSeen:new Date().toISOString(), toolMix:{ Bash:3, Read:2 }, blockedCalls:0, criticalCalls:0, totalCalls:5, durationMs:60000, risk:"low" }] }); },
-      undrive:function(w,d){ try{ w._obsOpen=false; fetch("/api/host-sessions").then(function(r){ return r.json(); }).then(function(h){ w.renderHostSessions(h); }); }catch(e){} } },
-    { id:"F-OSS-FOOTER", name:"OSS footer", surface:"list", sel:".oss-footer", status:"shipped", tier:"v0.7" },
-    /* S20 · the five personas died; three lenses replace them. Each row is
-       EFFECT-observing (the F-FILTER-PILLS bar): the drive EXECUTES the real
-       ⌘K lens command (palette open -> click -> applyLens) and the sel pins
-       the RECOMPOSITION that command must produce — a lobotomized command, a
-       missing body[data-lens], or a lens that failed to recompose all read
-       MISSING. State captured + restored in undrive. */
-    // F-LENS-DEFAULT/REVIEW/STATUS removed 2026-06-20 — the lens mode-switch was
-    // cut for ONE consistent conversation-first view (no more UI reshaping
-    // between visits). The detail's honest verdict + evidence disclosure carry
-    // what Review/Status used to surface.
-    { id:"F-PIN-DEMO", name:"Demo-shape sessions pinned to FEATURED (S13: inside expanded history)", surface:"list", sel:".task-card.tc-pinned", status:"shipped", tier:"v0.9",
-      drive:function(w,d){ try{ w.__histExpand(); }catch(e){} },
-      undrive:function(w,d){ try{ w.__histCollapse(); }catch(e){} } },
-    { id:"F-PORT-FAILOVER-NOTICE", name:"Port-collision UI surface (banner render path shared with failover; the PORT-collision trigger itself is not simulated)", surface:"list", sel:".failover-banner.show", status:"partial", tier:"v0.7", // shares the failover-banner surface; driven via window.__fbRender (see F-FAILOVER-BANNER). Honest = partial: the port-collision PATH itself isn't simulated, only the shared banner render.
-      drive:function(w,d){ try{ w.__fbRender([{ sessionId:"cov-port", target:"codex", signal:{ fromAgent:"claude-code", errorCode:"port_in_use" } }]); }catch(e){} },
-      undrive:function(w,d){ try{ w.__fbRender([]); }catch(e){} } },
-    // F-RESHAPE-BTN removed 2026-06-20 — Reshape mode cut for one consistent view.
-    { id:"F-SETTINGS-COG", name:"Settings drawer trigger (S13: ⌘K Settings command)", surface:"list", sel:"[data-verify-cmd='settings']", status:"shipped", tier:"v0.8",
-      drive:function(w,d){ try{ w.openPalette(); }catch(e){} },
-      undrive:function(w,d){ try{ w.closePalette(); }catch(e){} } },
-    { id:"F-SHARE-BTN", name:"Share thread (S13: ⌘K Share command -> same signed-link modal)", surface:"list", sel:"[data-verify-cmd='share']", status:"shipped", tier:"v0.8",
-      drive:function(w,d){ try{ w.openPalette(); }catch(e){} },
-      undrive:function(w,d){ try{ w.closePalette(); }catch(e){} } },
-    { id:"F-SQUAD-ROW", name:"Agent readiness (S13: strip died · ⌘K Agents command carries the real readiness)", surface:"list", sel:"[data-verify-cmd='agents']", status:"shipped", tier:"v0.7",
-      drive:function(w,d){ try{ w.openPalette(); }catch(e){} },
-      undrive:function(w,d){ try{ w.closePalette(); }catch(e){} } },
-    { id:"F-TASK-CARD", name:"Task row (one-line, keeps .task-card contract)", surface:"list", sel:".task-card", status:"shipped", tier:"v0.7",
-      drive:function(w,d){ try{ w.__histExpand(); }catch(e){} },
-      undrive:function(w,d){ try{ w.__histCollapse(); }catch(e){} } },
-    { id:"F-TIME-GAP-PILL", name:"Brand pill + relative-time sub", surface:"list", sel:".time-gap", status:"shipped", tier:"v0.7",
-      /* Data-dependent (same hazard verify-page already calls out for goal groups):
-         .time-gap renders only BETWEEN tasks >2h apart (renderL). Real ~/.codehere
-         can legitimately have no such gap — a busy session clusters every task into
-         one <2h window (this exact flap, 2026-06-08) — so the live-DOM check flaps
-         MISSING on honest data. Observe it DETERMINISTICALLY instead, the same way
-         F-WORKTREE-ALERT does: inject two same-goal tasks 6h apart, render, observe,
-         restore. The render path is the REAL renderL — not a faked element. */
-      /* S12 · both fixtures sit 3 days back so they land in ONE chapter
-         (EARLIER) deterministically — the home now splits NOW/TODAY/EARLIER
-         and a now/now-6h pair could straddle midnight and split chapters. */
-      /* S13 · the gap rows live inside the EARLIER goal groups, which sit
-         behind the history row now — expand through the REAL toggle. */
-      /* S21 · same-title runs now collapse into ONE thread (groupByTitle), so a
-         time-gap between two runs of the SAME task no longer renders (they're one
-         thread) — correct. The .time-gap feature renders between DISTINCT tasks
-         >2h apart; the fixture uses two distinct-title tasks 6h apart to exercise
-         it (still same goal/cwd, so still one goal group). */
-      drive:function(w,d){ try{ w.__covTG=w._cached.tasks; var now=Date.now(); var mk=function(id,ts,p){return{sessionId:id,status:"completed",cwd:"/repo/cov-tg",startedAt:ts,prompt:p,agent:"claude-code",steps:[]};}; var base=now-3*24*3600*1000; w._cached.tasks={spawned:[],persisted:[mk("cov-tg-new",base,"coverage fixture new"),mk("cov-tg-old",base-6*3600*1000,"coverage fixture old")],sessions:[]}; w.__histExpand(); w.renderL(); }catch(e){} },
-      undrive:function(w,d){ try{ w._cached.tasks=w.__covTG; w.__histCollapse(); w.renderL(); }catch(e){} } },
-    { id:"F-WORKTREE-ALERT", name:"Worktree alert", surface:"list", sel:".worktree-alert", status:"partial", tier:"v0.7",
-      /* upWk() fires when >=2 running sessions span different cwds and the odd
-         one has been running >5min. Drive that exact predicate over the REAL
-         upWk() with a synthetic 2-running-session state, observe, restore. */
-      drive:function(w,d){ try{ w.__covTasks=w._cached.tasks; var old=Date.now()-10*60*1000; w._cached.tasks={spawned:[],persisted:[{sessionId:"cov-wk-main",status:"running",cwd:"/repo/main",startedAt:old},{sessionId:"cov-wk-odd",status:"running",cwd:"/repo/feature-x",startedAt:old}],sessions:[]}; w.upWk(); }catch(e){} },
-      undrive:function(w,d){ try{ w._cached.tasks=w.__covTasks; w.upWk(); }catch(e){} } },
-    /* goal-first home + goal room (v1 spec · shared-room hand-off). Goal groups
-       render from REAL non-demo tasks (same data dependency as F-TIME-GAP-PILL);
-       room features are observed by driving the REAL openRoom() on the first
-       goal-head's data-goal-cwd, then closeRoom() — same pattern as showD(). */
-    /* S13 · goal groups own the EXPANDED history (today is flat one-line
-       rows); observed deterministically with the same injected-state drive
-       F-TIME-GAP-PILL uses — real renderL, real toggle, restored after. */
-    { id:"F-GOAL-GROUP", name:"Goal grouping (S13: inside expanded history; heads still open rooms)", surface:"list", sel:".goal-group", status:"shipped", tier:"v1",
-      drive:function(w,d){ try{ w.__covGG=w._cached.tasks; var now=Date.now(); var mk=function(id,ts){return{sessionId:id,status:"completed",cwd:"/repo/cov-gg",startedAt:ts,prompt:"coverage fixture",agent:"claude-code",steps:[]};}; var base=now-3*24*3600*1000; w._cached.tasks={spawned:[],persisted:[mk("cov-gg-a",base),mk("cov-gg-b",base-3600*1000)],sessions:[]}; w.__histExpand(); w.renderL(); }catch(e){} },
-      undrive:function(w,d){ try{ w._cached.tasks=w.__covGG; w.__histCollapse(); w.renderL(); }catch(e){} } },
-    { id:"F-GOAL-HEAD-OPEN", name:"Goal head opens its room (carries cwd)", surface:"list", sel:".goal-head[data-goal-cwd]", status:"shipped", tier:"v1",
-      drive:function(w,d){ try{ w.__covGH=w._cached.tasks; var now=Date.now(); var mk=function(id,ts){return{sessionId:id,status:"completed",cwd:"/repo/cov-gh",startedAt:ts,prompt:"coverage fixture",agent:"claude-code",steps:[]};}; var base=now-3*24*3600*1000; w._cached.tasks={spawned:[],persisted:[mk("cov-gh-a",base),mk("cov-gh-b",base-3600*1000)],sessions:[]}; w.__histExpand(); w.renderL(); }catch(e){} },
-      undrive:function(w,d){ try{ w._cached.tasks=w.__covGH; w.__histCollapse(); w.renderL(); }catch(e){} } },
-    { id:"F-AGENT-PICK", name:"Composer agent picker (Auto + 5 agents)", surface:"list", sel:"button#agentpick-btn", status:"shipped", tier:"v1" },
-    /* S13 · the two new surfaces. The palette is driven through the REAL
-       opener (the same function ⌘K runs); the decision queue renders ONLY
-       when real decisions exist, so it's observed by injecting a failed-task
-       state through the real renderDecisions(), then restored. */
-    { id:"F-CMDK-PALETTE", name:"⌘K command palette · grouped Act/View/Trust/Go, Enter runs the real function", surface:"list", sel:"[data-verify-unit='palette'] .prow[data-verify-cmd]", status:"shipped", tier:"v1",
-      drive:function(w,d){ try{ w.openPalette(); }catch(e){} },
-      undrive:function(w,d){ try{ w.closePalette(); }catch(e){} } },
-    { id:"F-DECISION-QUEUE", name:"Needs-your-decision queue · absent when nothing needs you (H14 pins the count; this drive pins the PRESENT branch deterministically through the real renderDecisions)", surface:"list", sel:"#decision-queue .dq-row", status:"shipped", tier:"v1",
-      drive:function(w,d){ try{ w.__covDQ=w._cached.tasks; var now=Date.now()-600000; w._cached.tasks={spawned:[],persisted:[{sessionId:"cov-dq-fail",status:"failed",cwd:"/repo/cov-dq",startedAt:now,prompt:"coverage decision probe",agent:"claude-code",steps:[]}],sessions:[]}; w.renderDecisions(); }catch(e){} },
-      undrive:function(w,d){ try{ w._cached.tasks=w.__covDQ; w.renderDecisions(); }catch(e){} } },
-    /* S18 · the practice group's own regression net (the board must be able to
-       catch a regression in the exact story it ships). Two assertions in ONE
-       drive, both through the REAL render path:
-       (1) absent <=> 0 practice — with zero practice fixtures renderL must
-           render NO .prac-row; a phantom row aborts the drive, sel stays
-           unmatched, the row reads MISSING;
-       (2) with 2 mockRun fixtures, the REAL window.__pracExpand must render a
-           row whose claimed data-verify-practice-n=2 AND exactly 2 rows inside
-           .practice-rows (sel pins both via :nth-child(2):last-child) — a
-           "practice runs · 2" label over 0 rows, or practice flooding back
-           into the real list, reads MISSING. State restored in undrive. */
-    { id:"F-PRACTICE-ROW", name:"Practice-runs group · quiet collapsed row, claimed N == rendered rows, absent when no practice exists (S18)", surface:"list", sel:"#task-list .prac-row[data-verify-practice-n='2'][aria-expanded='true'] + .practice-rows > .task-card:nth-child(2):last-child", status:"shipped", tier:"v1",
-      drive:function(w,d){ try{ w.__covPRAC=w._cached.tasks; w.__pracCollapse(); w._cached.tasks={spawned:[],persisted:[],sessions:[]}; w.renderL(); if(d.querySelector("#task-list .prac-row")) return; var base=Date.now()-3*24*3600*1000; var mkp=function(id,ts){return{sessionId:id,status:"completed",cwd:"/repo/cov-prac",startedAt:ts,prompt:"coverage practice fixture "+id,agent:"claude-code",steps:[],mockRun:true,provenance:"persisted",durationMs:1000,completedAt:ts+1000};}; w._cached.tasks={spawned:[],persisted:[mkp("cov-prac-a",base),mkp("cov-prac-b",base-3600*1000)],sessions:[]}; w.__pracExpand(); }catch(e){} },
-      undrive:function(w,d){ try{ w._cached.tasks=w.__covPRAC; w.__pracCollapse(); w.renderL(); }catch(e){} } },
-    /* S18 · H13's aggregation path, pinned. Under CODEHERE_MOCK every live run
-       is practice, so the board's hero compare is honestly 0==0 — vacuous.
-       This drive injects deterministic NON-practice fixtures (one running ·
-       one completed-verified · one caught, three distinct agents, started
-       today) through the REAL upHero(); sel pins every claimed
-       data-verify-hero-* attr to the fixture-derived counts. A double-counted
-       agent or mis-bucketed running session reads MISSING. */
-    { id:"F-HERO-COUNTS", name:"Day-line hero · real aggregation path pinned (agents=3 · verified=1 · caught=1 · stopped=0 · running=1) (S18)", surface:"list", sel:"[data-verify-unit='home-hero'][data-verify-hero-mode='counts'][data-verify-hero-agents='3'][data-verify-hero-verified='1'][data-verify-hero-caught='1'][data-verify-hero-stopped='0'][data-verify-hero-running='1']", status:"shipped", tier:"v1",
-      drive:function(w,d){ try{ w.__covHERO=w._cached.tasks; var hnow=Date.now(); var mkh=function(id,ag,st,vd){ var t={sessionId:id,status:st,cwd:"/repo/cov-hero",startedAt:hnow,prompt:"coverage hero fixture "+id,agent:ag,steps:[],provenance:"persisted"}; if(vd){ t.verdict={claim:{status:vd}}; t.durationMs=1000; t.completedAt=hnow; } return t; }; w._cached.tasks={spawned:[],persisted:[mkh("cov-hero-run","claude-code","running",null),mkh("cov-hero-ok","codex","completed","verified"),mkh("cov-hero-bad","gemini","completed","broken")],sessions:[]}; w.upHero(); }catch(e){} },
-      undrive:function(w,d){ try{ w._cached.tasks=w.__covHERO; w.upHero(); }catch(e){} } },
-    /* room selectors are scoped to #task-list: the hidden detail view's DOM
-       persists (display:none still matches querySelectorAll) and also has an
-       .audit-line — unscoped, a dead room would false-OBSERVE off it. */
-    { id:"F-ROOM-HEAD", name:"Goal room header (title + outcome sub)", surface:"room", sel:"#task-list .room-head .room-title", status:"shipped", tier:"v1" },
-    // F-ROOM-BACK removed 2026-07-07 — the '← Projects' back-link died for the
-    // rail's Today row (nav option B); the rail + Esc + the logo are the way out.
-    { id:"F-ROOM-TURNS", name:"Turns in order (how agents worked the goal)", surface:"room", sel:"#task-list .turns-label", status:"partial", tier:"v1" },
-    { id:"F-ROOM-AUDIT", name:"Room audit line (steps in local chain)", surface:"room", sel:"#task-list .audit-line", status:"partial", tier:"v1" },
-    /* partial by nature: renders ONLY when the daemon reports project memory
-       OFF for the opened room (initialized projects correctly show nothing). */
-    { id:"F-ROOM-MEM-NUDGE", name:"Project-memory init nudge (turn on memory)", surface:"room", sel:"#task-list .mem-nudge", status:"partial", tier:"v1" },
-    /* on-demand surfaces: hidden until a state class the product itself
-       toggles. The harness DRIVES that exact state (same honesty bar as the
-       seeded fixtures: state occurs -> surface renders), then restores it.
-       Before AUD-05 these were "observed" while display:none — a blind spot. */
-    { id:"M-OVERLAY-LINEAR", name:"Overlay-renderer Linear", surface:"list", sel:".or-overlay", status:"shipped", tier:"v0.9",
-      drive:function(w,d){ d.getElementById("or-overlay").classList.add("open"); },
-      undrive:function(w,d){ d.getElementById("or-overlay").classList.remove("open"); } },
-    { id:"M-PRIMITIVES-NOTE", name:"Primitives note", surface:"list", sel:".primitives-note .prims .p", status:"shipped", tier:"v0.8",
-      drive:function(w,d){ w.openReshape(); },
-      undrive:function(w,d){ var m=d.getElementById("reshape-modal"); if(m) m.classList.remove("open"); } },
-    { id:"M-RESHAPE-AGENT-COMPOSE", name:"Agent-compose animation", surface:"list", sel:".agent-compose .line", status:"shipped", tier:"v0.8",
-      drive:function(w,d){ w.openReshape(); d.getElementById("agent-compose").classList.add("show"); },
-      undrive:function(w,d){ d.getElementById("agent-compose").classList.remove("show"); var m=d.getElementById("reshape-modal"); if(m) m.classList.remove("open"); } },
-    { id:"M-SETTINGS-DRAWER", name:"Settings drawer", surface:"list", sel:".drawer", status:"shipped", tier:"v0.8" },
-    { id:"M-SHARE-TOAST", name:"Share toast notification", surface:"list", sel:".share-toast", status:"shipped", tier:"v0.8" },
-    { id:"M-WPASS-APPROVAL", name:"W-PASS approval modal", surface:"list", sel:".wp-modal", status:"shipped", tier:"v0.9",
-      drive:function(w,d){ d.getElementById("wp-modal").classList.add("open"); },
-      undrive:function(w,d){ d.getElementById("wp-modal").classList.remove("open"); } },
-    { id:"P-AB-BADGE", name:"Agent identity badge (S13: on history cards + detail; rows carry the mono name)", surface:"list", sel:".ab", status:"shipped", tier:"v0.6",
-      drive:function(w,d){ try{ w.__histExpand(); }catch(e){} },
-      undrive:function(w,d){ try{ w.__histCollapse(); }catch(e){} } },
-    { id:"P-STATUS-PILL", name:"Per-status pill on the card (.tc-stat: running pulse / verified / reported / caught)", surface:"list", sel:".tcard .tc-stat", status:"shipped", tier:"v0.7",
-      drive:function(w,d){ try{ w.__histExpand(); }catch(e){} },
-      undrive:function(w,d){ try{ w.__histCollapse(); }catch(e){} } },
-    { id:"F-DETAIL-HEADER", name:"Detail view header (back button + title + agent badge + status line)", surface:"detail", sel:".back-btn", status:"shipped", tier:"v0.7" },
-    { id:"F-DETAIL-KICKER", name:"Detail kicker + failover context", surface:"detail", sel:".detail-kicker", status:"shipped", tier:"v0.7" },
-    { id:"F-OUTCOME-PANEL", name:"Outcome section (files/steps/Final Report)", surface:"detail", sel:"[data-verify-unit='outcome']", status:"shipped", tier:"v0.7" },
-    { id:"F-SHIMMER-TITLE", name:"Animated gradient title", surface:"detail", sel:".detail-title", status:"shipped", tier:"v0.7" },
-    { id:"P-CODE-CARD", name:"Inline syntax-tinted code preview", surface:"detail", sel:".code-card", status:"shipped", tier:"v0.7" },
-    { id:"P-CTX-URL-CHIP", name:"Clickable context-source URL preview chip", surface:"detail", sel:".ctx-url-chip", status:"shipped", tier:"v0.8" },
-    /* S14 · the celebration card died with the calm redesign — the verified
-       state is now the dot+word verdict line (the only green). Honest
-       re-point: observe the SAME state (verdict=verified) on its new dress. */
-    { id:"P-VERIFIED-BLOCK", name:"Verified verdict line (S14: dot + word, the only green)", surface:"detail", sel:".vline[data-verify-verdict='verified']", status:"shipped", tier:"v0.9",
-      /* the verified verdict line renders in the detail for a completed,
-         git-tracked, non-mock task with a verified claim (verdictState==='verified').
-         Mock seeds are practice/reported. Mutate the ALREADY-OPEN detail task
-         in place (no navigate/no _cached swap — that corrupts the shared detail
-         other detail probes observe), re-render, observe, restore. */
-      drive:function(w,d){ try{ var t=w.findS?w.findS(COV_FIXTURE):null; if(t){ w.__covVB={v:t.verdict,m:t.mockRun,s:t.status,g:(t.artifacts?t.artifacts.noGitTracking:undefined),r:t.finalReport}; t.verdict={claim:{status:"verified"}}; t.mockRun=false; t.status="completed"; if(t.artifacts)t.artifacts.noGitTracking=false; t.finalReport={summary:"coverage fixture \\u00b7 claims match reality",source:"agent-summary"}; w.renderD(t); } }catch(e){} },
-      undrive:function(w,d){ try{ var t=w.findS?w.findS(COV_FIXTURE):null; if(t&&w.__covVB){ t.verdict=w.__covVB.v; t.mockRun=w.__covVB.m; t.status=w.__covVB.s; if(t.artifacts)t.artifacts.noGitTracking=w.__covVB.g; t.finalReport=w.__covVB.r; w.renderD(t); } }catch(e){} } },
-    { id:"P-WRITE-PASS", name:"Write-pass inline card (blue-accented)", surface:"detail", sel:".write-pass .head + h4", status:"shipped", tier:"v0.9",
-      drive:function(w,d){ try{ var c=d.querySelector("details.conv-wrap"); if(c) c.open=true; }catch(e){} },
-      undrive:function(w,d){ try{ var c=d.querySelector("details.conv-wrap"); if(c) c.open=false; }catch(e){} } },
-    { id:"F-RECOVERY-CARD", name:"failed-task recovery card", surface:"detail", sel:".recovery-card", status:"shipped", tier:"v0.7", fixture:"demo-recovery-test-failed-v0.9" },
-    { id:"F-CRASH-RECOVERY", name:"orphaned-session banner", surface:"detail", sel:".crash-recovery", status:"shipped", tier:"v0.7", fixture:"demo-crash-orphaned-mid-write-v0.9" },
-    { id:"F-HOOK-BLOCK-CARD", name:"hook-block card + override", surface:"detail", sel:".hook-block-card", status:"shipped", tier:"v0.7", fixture:"demo-hook-block-bulk-rm-v0.9" },
-    { id:"F-OVERRIDE-FLOW", name:"override + log reason", surface:"detail", sel:".hook-block-actions", status:"shipped", tier:"v0.7", fixture:"demo-hook-block-bulk-rm-v0.9" },
-    { id:"F-GIT-NOTE", name:"non-git honest note (S14: .verifier-panel died · the partial verdict line carries it)", surface:"detail", sel:".git-note,.vline[data-verify-verdict='partial']", status:"shipped", tier:"v0.7", fixture:"demo-non-git-honest-v1" },
-    /* S14 · the conversation rests as one collapsed row ("conversation · N
-       turns · every tool call recorded"); these rows drive the REAL expand
-       (details.conv-wrap.open — the same toggle the user's click flips),
-       observe inside, then collapse back. */
-    { id:"F-CONVERSATION", name:"multi-speaker conversation (S14: behind the collapsed conversation row)", surface:"detail", sel:".conv-turn,.turn,.speaker", status:"shipped", tier:"v0.7", fixture:"demo-rate-limit-shipped-v0.9",
-      drive:function(w,d){ try{ var c=d.querySelector("details.conv-wrap"); if(c) c.open=true; }catch(e){} },
-      undrive:function(w,d){ try{ var c=d.querySelector("details.conv-wrap"); if(c) c.open=false; }catch(e){} } },
-    { id:"P-ARTIFACTS-STRUCTURED", name:"structured artifacts", surface:"detail", sel:".art-cmp,.artifact,.art-card,.struct-art", status:"partial", tier:"v0.7", fixture:"demo-rate-limit-shipped-v0.9" },
-    { id:"P-PANEL-TITLE", name:"uppercase panel title", surface:"detail", sel:".panel-title", status:"shipped", tier:"v0.7", fixture:"demo-rate-limit-shipped-v0.9" },
-    { id:"F-THREAD-PHASED", name:"phased narrative timeline", surface:"detail", sel:".tl-div,.chapter-card,.phase-pos", status:"shipped", tier:"v0.7", fixture:"demo-rate-limit-shipped-v0.9",
-      drive:function(w,d){ try{ var c=d.querySelector("details.conv-wrap"); if(c) c.open=true; }catch(e){} },
-      undrive:function(w,d){ try{ var c=d.querySelector("details.conv-wrap"); if(c) c.open=false; }catch(e){} } },
-    { id:"F-FILES-TESTS", name:"files & tests panel", surface:"detail", sel:".file-tree", status:"shipped", tier:"v0.7", fixture:"demo-rate-limit-shipped-v0.9" },
-    { id:"P-TOOL-CARD", name:"tool-call activity card", surface:"detail", sel:".tl-acts", status:"shipped", tier:"v0.7", fixture:"demo-rate-limit-shipped-v0.9",
-      drive:function(w,d){ try{ var c=d.querySelector("details.conv-wrap"); if(c) c.open=true; }catch(e){} },
-      undrive:function(w,d){ try{ var c=d.querySelector("details.conv-wrap"); if(c) c.open=false; }catch(e){} } },
-    { id:"F-THINKING-EMITTER", name:"live thinking dots (needs SSE token stream)", surface:"detail", sel:".thinking", status:"partial", tier:"v0.7", fixture:"demo-running-streaming-v0.9",
-      drive:function(w,d){ try{ var c=d.querySelector("details.conv-wrap"); if(c) c.open=true; }catch(e){} },
-      undrive:function(w,d){ try{ var c=d.querySelector("details.conv-wrap"); if(c) c.open=false; }catch(e){} } },
-    { id:"P-REPL-PRIMITIVES", name:"streaming repl-beat (needs SSE token stream)", surface:"detail", sel:".repl-beat", status:"partial", tier:"v0.7", fixture:"demo-running-streaming-v0.9",
-      drive:function(w,d){ try{ var c=d.querySelector("details.conv-wrap"); if(c) c.open=true; }catch(e){} },
-      undrive:function(w,d){ try{ var c=d.querySelector("details.conv-wrap"); if(c) c.open=false; }catch(e){} } },
-    { id:"P-AUDIT-LINE", name:"inline audit beat (host-thread / live audit)", surface:"detail", sel:".audit-line", status:"partial", tier:"v0.7", fixture:"demo-rate-limit-shipped-v0.9",
-      drive:function(w,d){ try{ var c=d.querySelector("details.conv-wrap"); if(c) c.open=true; }catch(e){} },
-      undrive:function(w,d){ try{ var c=d.querySelector("details.conv-wrap"); if(c) c.open=false; }catch(e){} } },
-    { id:"F-TOKEN-TABLE", name:"per-agent token table (needs artifacts.usage)", surface:"detail", sel:".token-table", status:"partial", tier:"v0.7", fixture:"demo-rate-limit-shipped-v0.9" },
-    /* overlay-renderer per-source cards · the drive renders the REAL per-source
-       render branch over a fixture payload (same shape the adapter unit fixtures
-       produce) so .overlay-figma/.overlay-drawio are observable without a live
-       Figma token or network fetch. */
-    { id:"M-OVERLAY-FIGMA", name:"overlay-renderer · Figma", surface:"list", sel:".overlay-figma", status:"shipped", tier:"v1.0",
-      drive:function(w,d){ w.codehereRenderOverlayPayload({ source:"figma", url:"figma://file/abc123", text:"Figma file · API Design\\nCANVAS · Mobile\\n  FRAME · Home 375×812\\n  TEXT · Title · \\"Welcome to the app\\"", metadata:{ fileKey:"abc123", name:"API Design", lastModified:"2026-05-21T09:00:00Z", frames:[{ name:"Home", width:375, height:812, text:"Welcome to the app" }] } }); },
-      undrive:function(w,d){ var o=d.getElementById("or-overlay"); if(o) o.classList.remove("open"); } },
-    { id:"M-OVERLAY-DRAWIO", name:"overlay-renderer · draw.io", surface:"list", sel:".overlay-drawio", status:"shipped", tier:"v1.0",
-      drive:function(w,d){ w.codehereRenderOverlayPayload({ source:"drawio", url:"drawio://gh/owner/repo/docs/arch.drawio", text:"draw.io diagram · github.com/owner/repo/docs/arch.drawio\\n\\nstructure: 5 cells · 1 edges · 1 page\\n--- raw xml (truncated) ---\\n<mxfile><diagram><mxGraphModel>...", metadata:{ label:"github.com/owner/repo/docs/arch.drawio", bytes:842, cellCount:5, edgeCount:1, pageCount:1 } }); },
-      undrive:function(w,d){ var o=d.getElementById("or-overlay"); if(o) o.classList.remove("open"); } },
-    { id:"V1-MULTITASK", name:"multi-task projects · parent/child", surface:"list", sel:".project-rollup", status:"shipped", tier:"v1.0",
-      /* It-4 · banner-drive precedent: inject a known 3-task batch STATE
-         (__seedCovBatch, never DOM), then the REAL openRoom() -> renderRoom()
-         derives the .project-rollup row live. Restored in undrive. */
-      drive:function(w,d){ try{ __seedCovBatch(w); w.__covBatchCwd=__openBatchRoom(w); }catch(e){} },
-      undrive:function(w,d){ try{ if(w.closeRoom) w.closeRoom(); __unseedCovBatch(w); }catch(e){} } },
-    { id:"V1-FANOUT-ALL", name:"@all fanout to ready adapters", surface:"list", sel:".fanout-all", status:"shipped", tier:"v1.0",
-      /* Same injected batch room renders the .fanout-all grid (one column/adapter). */
-      drive:function(w,d){ try{ __seedCovBatch(w); __openBatchRoom(w); }catch(e){} },
-      undrive:function(w,d){ try{ if(w.closeRoom) w.closeRoom(); __unseedCovBatch(w); }catch(e){} } },
-    { id:"F-AGENT-SWITCHER", name:"'reply as' agent picker", surface:"detail", sel:".agent-switcher", status:"future", tier:"cut" }
-  ];
-  /* -------- read the data-verify-* contract off the real surface -------- */
-  function readSurface(doc){
-    var dv = doc.getElementById("task-detail-view");
-    var visible = dv && dv.style.display !== "none";
-    var meta = doc.querySelector('[data-verify-unit="detail"]');
-    var outcome = doc.querySelector('[data-verify-unit="outcome"]');
-    var filetree = doc.querySelector('[data-verify-unit="filetree"]');
-    var verifiers = Array.prototype.slice.call(doc.querySelectorAll('[data-verify-unit="verifier"]')).map(function(el){
-      return { verdict: el.getAttribute("data-verify-verdict"), gittracked: el.getAttribute("data-verify-gittracked") };
-    });
-    var says = Array.prototype.slice.call(doc.querySelectorAll('.tl-say')).map(function(el){
-      // A glance turn carries its words in .gl-line (the one-sentence glance);
-      // a plain reasoning bubble in .tl-say-text. First match in document
-      // order wins — an actually-wordless bubble still reads len 0 and FAILS.
-      var w = el.querySelector(".tl-say-text, .gl-line");
-      var t = (w ? w.textContent : "") || "";
-      t = t.replace(/^\\s+|\\s+$/g, "");
-      return { len:t.length, text:t };
-    });
-    // Thariq loop-1 · recovery-card buttons. Capture each action button's
-    // enabled state + whether its onclick is a bare al() toast — so the
-    // recovery-buttons-must-not-lie probe can FAIL on a relapse.
-    var recoveryButtons = Array.prototype.slice.call(doc.querySelectorAll('.recovery-card [data-verify-action]')).map(function(el){
-      var oc = el.getAttribute("onclick") || "";
-      return {
-        action: el.getAttribute("data-verify-action"),
-        disabled: el.hasAttribute("disabled"),
-        // a "lie" = an ENABLED button whose only behavior is a toast
-        bareToast: !el.hasAttribute("disabled") && /^\\s*al\\(/.test(oc),
-        hasReason: !!el.getAttribute("title"),
-      };
-    });
-    // Thariq loop-2 · the observer rail. Capture its mode (empty/active), the
-    // claimed live count, per-row states, and whether the empty state actually
-    // teaches (non-blank) — so H8 can pin: never a stale "live", never a blank
-    // empty box, never fake rows.
-    var obsRail = doc.querySelector('[data-verify-unit="observer"]');
-    var observer = obsRail ? {
-      mode: obsRail.getAttribute("data-verify-observer"),
-      liveClaimed: Number(obsRail.getAttribute("data-verify-observer-live") || 0),
-      rowStates: Array.prototype.slice.call(obsRail.querySelectorAll('[data-verify-obs-state]')).map(function(r){ return r.getAttribute("data-verify-obs-state"); }),
-      teachLen: (obsRail.querySelector('.obs-teach') ? (obsRail.querySelector('.obs-teach').textContent||"").trim().length : 0),
-      textLen: (obsRail.textContent||"").trim().length
-    } : null;
-    // S7 · the composer cost chips. Capture each chip's computed mode + what
-    // it says, so H10 can pin: the chip never claims a computation that
-    // didn't happen (the pre-S7 chip was a hardcoded ~$0.02 under a
-    // "based on prompt length + pricing" tooltip).
-    var costEst = Array.prototype.slice.call(doc.querySelectorAll('[data-verify-unit="cost-est"]')).map(function(el){
-      return {
-        mode: el.getAttribute("data-verify-mode"),
-        text: (el.textContent||"").trim(),
-        title: el.getAttribute("title") || ""
-      };
-    });
-    var found = !!(meta && visible);
-    // S12 · H13 — the home hero's CLAIMED counts (stamped data-verify-hero-*)
-    // vs an INDEPENDENT re-derivation from the same task state the page holds
-    // (_cached via the iframe window). The hero element persists in the DOM
-    // while a detail is open, so the check is readable from any fixture.
-    var heroEl = doc.querySelector('[data-verify-unit="home-hero"]');
-    var hero = null;
-    if (heroEl){
-      hero = {
-        mode: heroEl.getAttribute("data-verify-hero-mode"),
-        agents: Number(heroEl.getAttribute("data-verify-hero-agents")||0),
-        verified: Number(heroEl.getAttribute("data-verify-hero-verified")||0),
-        caught: Number(heroEl.getAttribute("data-verify-hero-caught")||0),
-        stopped: Number(heroEl.getAttribute("data-verify-hero-stopped")||0),
-        running: Number(heroEl.getAttribute("data-verify-hero-running")||0),
-        expected: null
-      };
-      try {
-        var hw = doc.defaultView;
-        var hAll = (hw && typeof hw.allS==="function") ? hw.allS((hw._cached && hw._cached.tasks)||{}) : [];
-        /* S18 · PAIRED with ui-page-v2 heroCounts' top filter: practice runs
-           (mockRun) never feed the day-line. Both sides exclude them
-           identically — the honest-rule update, not a weakened probe. */
-        var hReal = hAll.filter(function(t){ return !/^demo-/.test(t.sessionId||"") && !t.mockRun; });
-        var hSod = new Date(); hSod.setHours(0,0,0,0);
-        var hToday = hReal.filter(function(t){ return (t.startedAt||0) >= hSod.getTime(); });
-        var hLive = ["running","queued","paused","blocked"];
-        // Refuter C2 · this used to copy heroCounts' own (then-broken)
-        // expressions — a probe that re-derives the claim pipeline is probe
-        // theater. Derive from the VERDICT ground truth: verified = the
-        // verdict says claims match reality, on a real (non-mock) completed
-        // git-tracked run; caught = the verdict says broken; stopped =
-        // terminal-unclean statuses; running ignores the day boundary.
-        var hLiveAll = hReal.filter(function(t){ return hLive.indexOf(t.status)>=0; });
-        var hAg = {};
-        hToday.concat(hLiveAll).forEach(function(t){ var a=String(t.agent||""); if(a) hAg[a]=1; });
-        hero.expected = {
-          today: hToday.length,
-          agents: Object.keys(hAg).length,
-          // PAIRED with heroCounts' composite-grade rule (2.2): green needs an
-          // INDEPENDENT signal when a grade is attached; the legacy claim check
-          // applies only to verdicts without one. The sides drifted when the
-          // hero adopted grades and this stayed on claim-status — first exposed
-          // 2026-07-02 by a real --ship run (claim verified, self-report only):
-          // hero said 1, this derived 2. Change BOTH sides identically.
-          verified: hToday.filter(function(t){
-            return !!(t.verdict && (t.verdict.grade ? t.verdict.grade.green : (t.verdict.claim && t.verdict.claim.status==="verified")))
-              && !t.mockRun
-              && ["completed","done"].indexOf(t.status)>=0
-              && !(t.artifacts && t.artifacts.noGitTracking);
-          }).length,
-          caught: hToday.filter(function(t){ var v=t.verdict; return !!(v && (v.grade ? v.grade.headline==="broken" : (v.claim && v.claim.status==="broken"))); }).length,
-          stopped: hToday.filter(function(t){ return ["failed","error","crashed","killed"].indexOf(t.status)>=0; }).length,
-          running: hLiveAll.length
-        };
-      } catch(e){ /* state unreachable — H13 reports BLOCKED, never a silent green */ }
-    }
-    // S13 · H14 — the decision queue's CLAIMED N (data-verify-decisions-n)
-    // vs an INDEPENDENT re-derivation from the same state the page holds:
-    // pending write-passes (window._wpPendingAll, the list wpPoll feeds the
-    // queue AND the modal from) + verifier-broken verdicts today + failed
-    // runs with the prompt recorded (Retry available), non-demo, today.
-    // Like the hero, the container persists in the DOM while a detail is
-    // open, so the check is readable from any fixture.
-    var dqEl = doc.querySelector('[data-verify-unit="decisions"]');
-    var decisions = {
-      present: !!dqEl,
-      n: dqEl ? Number(dqEl.getAttribute("data-verify-decisions-n")||0) : 0,
-      rows: dqEl ? dqEl.querySelectorAll(".dq-row").length : 0,
-      expected: null
-    };
-    try {
-      var dw = doc.defaultView;
-      if (dw && typeof dw.allS === "function"){
-        /* S18 · PAIRED with ui-page-v2 decisionItems' top filter: a practice
-           (mockRun) failure never demands a real decision. Both sides exclude
-           them identically — the honest-rule update, not a weakened probe. */
-        var dAll = dw.allS((dw._cached && dw._cached.tasks)||{}).filter(function(t){ return !/^demo-/.test(t.sessionId||"") && !t.mockRun; });
-        var dSod = new Date(); dSod.setHours(0,0,0,0);
-        var dToday = function(t){ return (t.startedAt||0) >= dSod.getTime(); };
-        var dBrokenIs = function(t){ return !!(t.verdict && t.verdict.claim && t.verdict.claim.status==="broken"); };
-        var dPasses = (dw._wpPendingAll||[]).length;
-        var dBroken = dAll.filter(function(t){ return dToday(t) && dBrokenIs(t); }).length;
-        var dFailed = dAll.filter(function(t){ return dToday(t) && ["failed","error","crashed","killed"].indexOf(t.status)>=0 && t.prompt && !dBrokenIs(t); }).length;
-        decisions.expected = dPasses + dBroken + dFailed;
-      }
-    } catch(e){ /* state unreachable — H14 reports BLOCKED, never a silent green */ }
-    // S12 · the detail verdict hero stamps which staging it chose; it ALSO
-    // carries data-verify-unit="verifier" so H1/H9 already read it above.
-    var vhEl = doc.querySelector("[data-verify-verdict-hero]");
-    var verdictHero = vhEl ? vhEl.getAttribute("data-verify-verdict-hero") : null;
-    // S2 · a running task must carry a Stop control on its detail.
-    var hasStopControl = !!doc.querySelector('.detail-meta [data-verify-action="stop"]');
-    // S1 · the detail composer's follow-up honesty: enabled means the server
-    // says the message can be DELIVERED; disabled must carry a plain reason.
-    var dta = doc.getElementById('detail-ta');
-    var followUp = dta ? {
-      state: dta.getAttribute('data-verify-followup'),
-      disabled: dta.disabled,
-      placeholderLen: (dta.getAttribute('placeholder')||'').trim().length
-    } : null;
-    // S19 · glyph discipline — scan the REAL rendered surface (visible text
-    // nodes + human-facing attributes, script/style excluded) for emoji /
-    // pictograph codepoints outside the sanctioned geometric glyph set
-    // (\\u2713 \\u2715 \\u25CF \\u25CB \\u2022 \\u2298 \\u203A \\u26A0 \\u2014 \\u00B7, \\u2191 send, \\u2190 back,
-    // \\u2318/\\u23CE keyboard hints). Effect-observing: a re-introduced emoji
-    // anywhere in the driven chrome FAILS the board via H15.
-    var glyphScan = { scanned:false, hits:[] };
-    try {
-      // S19 R2 · the token contract bans emoji-AS-ICON (chrome), never emoji
-      // a user typed: [data-user-content] containers (prompts, say/think
-      // text, reports, step labels/outputs) are run CONTENT and excluded —
-      // an honest "fix the bug" prompt with an emoji must not void the board.
-      var gIsContent = function(el){
-        while (el && el.nodeType===1){
-          if (el.hasAttribute && el.hasAttribute("data-user-content")) return true;
-          el = el.parentNode;
-        }
-        return false;
-      };
-      var gParts = [];
-      var gCollect = function(){
-        var gWalk = doc.createTreeWalker(doc.body, NodeFilter.SHOW_TEXT, { acceptNode: function(nd){
-          var pn = nd.parentNode && nd.parentNode.nodeName;
-          if (pn==="SCRIPT"||pn==="STYLE") return NodeFilter.FILTER_REJECT;
-          return gIsContent(nd.parentNode) ? NodeFilter.FILTER_REJECT : NodeFilter.FILTER_ACCEPT;
-        } });
-        while (gWalk.nextNode()) gParts.push(gWalk.currentNode.nodeValue);
-        Array.prototype.slice.call(doc.body.querySelectorAll("*")).forEach(function(el){
-          if (el.nodeName==="SCRIPT"||el.nodeName==="STYLE") return;
-          if (gIsContent(el)) return;
-          ["title","placeholder","aria-label","alt","value"].forEach(function(at){
-            var v = el.getAttribute && el.getAttribute(at);
-            if (v) gParts.push(v);
-          });
-        });
-      };
-      gCollect();
-      // S19 R2 · the chrome claim must be OBSERVED in the one-click-away
-      // collapse states too: drive the REAL history/practice toggles (the
-      // same render path the S18 coverage drives use), collect again, then
-      // restore whichever state the surface was in. Pure UI state — no data
-      // is changed, and the duplicate text just re-feeds the dedup'd regex.
-      var gw = doc.defaultView;
-      var gHistBtn = doc.querySelector(".hist-row:not(.prac-row)");
-      var gPracBtn = doc.querySelector(".prac-row");
-      var gHistWas = gHistBtn ? gHistBtn.getAttribute("aria-expanded")==="true" : false;
-      var gPracWas = gPracBtn ? gPracBtn.getAttribute("aria-expanded")==="true" : false;
-      try {
-        if (gw && gw.__histExpand) gw.__histExpand();
-        if (gw && gw.__pracExpand) gw.__pracExpand();
-        gCollect();
-      } finally {
-        try { if (gw && !gHistWas && gw.__histCollapse) gw.__histCollapse(); } catch(e2){}
-        try { if (gw && !gPracWas && gw.__pracCollapse) gw.__pracCollapse(); } catch(e2){}
-      }
-      var gText = gParts.join("\\n");
-      var gRe = /[\\u2192-\\u21FF]|[\\u2300-\\u2317]|[\\u2319-\\u23CD]|[\\u23CF-\\u23FF]|[\\u2600-\\u269F]|[\\u26A1-\\u26FF]|[\\u2700-\\u2712]|\\u2714|[\\u2716-\\u27BF]|[\\u2B00-\\u2BFF]|\\uFE0F|[\\uD83A-\\uD83F][\\uDC00-\\uDFFF]|[\\uD83C-\\uD83E][\\uDC00-\\uDFFF]/g;
-      var gm, gSeen = {};
-      while ((gm = gRe.exec(gText))){
-        var gc = gm[0];
-        if (gSeen[gc]) continue;
-        gSeen[gc] = 1;
-        var gcp = gc.codePointAt(0).toString(16).toUpperCase();
-        glyphScan.hits.push("U+"+gcp+" ('"+gc+"') rendered in the chrome \\u00b7 emoji/pictograph outside the sanctioned glyph set");
-      }
-      glyphScan.scanned = true;
-    } catch(e){ /* unscannable -> H15 reports BLOCKED, never a silent green */ }
-    return {
-      glyphScan: glyphScan,
-      found: found,
-      hero: hero,
-      decisions: decisions,
-      verdictHero: verdictHero,
-      observer: observer,
-      costEst: costEst,
-      hasStopControl: hasStopControl,
-      followUp: followUp,
-      recoveryButtons: recoveryButtons,
-      recoveryState: (doc.querySelector('.recovery-card') ? doc.querySelector('.recovery-card').getAttribute('data-verify-recovery') : null),
-      status: meta ? meta.getAttribute("data-verify-status") : null,
-      terminalFail: meta ? meta.getAttribute("data-verify-terminal-fail")==="true" : false,
-      hasExplanation: meta ? meta.getAttribute("data-verify-has-explanation")==="true" : false,
-      hasOutcome: !!outcome,
-      outcomeItems: outcome ? outcome.querySelectorAll(".outcome-item").length : 0,
-      filesClaimed: outcome ? Number(outcome.getAttribute("data-verify-files-claimed")||0) : 0,
-      terminal: outcome ? outcome.getAttribute("data-verify-terminal")==="true" : false,
-      hasReport: outcome ? outcome.getAttribute("data-verify-has-report")==="true" : false,
-      steps: outcome ? Number(outcome.getAttribute("data-verify-steps")||0) : 0,
-      hasFiletree: !!filetree,
-      filetreeRendered: filetree ? Number(filetree.getAttribute("data-verify-rendered")||0) : 0,
-      verifiers: verifiers,
-      says: says
-    };
-  }
-  /* -------- iframe surface plumbing -------- */
-  var iframe = document.getElementById("surface");
-  function frameWin(){ return iframe.contentWindow; }
-  function frameDoc(){ return iframe.contentDocument || (iframe.contentWindow && iframe.contentWindow.document); }
-  function sleep(ms){ return new Promise(function(r){ setTimeout(r, ms); }); }
-  // Wait until the product page inside the iframe is ready to drive.
-  function surfaceReady(){
-    return new Promise(function(resolve, reject){
-      var tries = 0;
-      (function poll(){
-        tries++;
-        try {
-          var w = frameWin(), d = frameDoc();
-          /* S13 · at rest the home may legitimately have NO task-cards (today
-             empty -> first-run hero; demos collapsed behind the history row).
-             Ready = task state loaded AND renderL produced a real at-rest
-             surface (rows, observer, the history row, or the empty state). */
-          if (w && typeof w.showD === "function" && w._cached && w._cached.tasks && d && d.querySelectorAll(".task-card, .obs-row, .hist-row, .empty-state").length > 0) return resolve();
-          // The dashboard auto-opens a running task's detail on load, which
-          // hides the list and left runAll dead-on-arrival ("surface never
-          // became ready") whenever anything was running — found cold by the
-          // S5-S8 acceptance walk. Close the auto-opened detail and re-poll.
-          if (w && typeof w.hideD === "function" && d && d.body && d.body.classList.contains("detail-open")) { try { w.hideD(); } catch(e2){} }
-        } catch(e){ /* not loaded yet */ }
-        if (tries > 80) return reject(new Error("surface never became ready (no showD / no task cards) · is the daemon serving seeded sessions?"));
-        setTimeout(poll, 150);
-      })();
-    });
-  }
-  // Navigate the REAL surface to a session and read its contract. Honest about
-  // the not-seeded case: returns found=false rather than inventing a result.
-  // S20 · a fixture may carry { sid, lens }: the lens is applied through the
-  // page's OWN applyLens (the same function the ⌘K command runs — a real
-  // recomposition, never harness CSS), observed, then restored to default.
-  function observe(fx){
-    var sid = (fx && typeof fx === "object") ? (fx.sid || fx.id) : fx;
-    var lens = (fx && typeof fx === "object") ? fx.lens : null;
-    var w = frameWin(), d = frameDoc();
-    try { if (typeof w.hideD === "function") w.hideD(); } catch(e){}
-    try {
-      if (lens && typeof w.applyLens === "function") w.applyLens(lens);
-      w.showD(sid);
-    } catch(e){ return Promise.resolve({ found:false, error:String(e), verifiers:[], says:[] }); }
-    return sleep(140).then(function(){
-      var s = readSurface(frameDoc());
-      if (lens){ try { var w2 = frameWin(); if (typeof w2.applyLens === "function") w2.applyLens("default"); } catch(e){} }
-      return s;
-    });
-  }
-  /* -------- run one (invariant × fixture) into a structured result -------- */
-  function runOne(inv, fx, s){
-    var base = { unitId: inv.id, fixtureId: fx.id, fixtureLabel: fx.label, probe: !!fx.probe, timestamp: new Date().toISOString(), domSnapshot: snapshot(s) };
-    if (!s.found){
-      return Object.assign(base, { verdict:"BLOCKED", checks:[], blockedReason: s.error ? ("surface error: "+s.error) : "session not rendered (not seeded?)" });
-    }
-    if (!inv.can(s)){
-      return Object.assign(base, { verdict:"BLOCKED", checks:[], blockedReason: "0 units to observe (no "+inv.needs+")" });
-    }
-    var violations = inv.check(s);
-    if (violations.length){
-      return Object.assign(base, { verdict:"FAIL", checks: violations.map(function(v){ return { status:"fail", label:v }; }) });
-    }
-    return Object.assign(base, { verdict:"PASS", checks: [{ status:(fx.probe?"probe":"ok"), label: inv.desc }] });
-  }
-  function snapshot(s){
-    if (!s.found) return {};
-    return { status:s.status, terminalFail:s.terminalFail, hasExplanation:s.hasExplanation, filesClaimed:s.filesClaimed, filetreeRendered:s.filetreeRendered, outcomeItems:s.outcomeItems, steps:s.steps, verifiers:s.verifiers.length, says:s.says.length };
-  }
-  /* -------- the matrix UI -------- */
-  var resultMap = {}; // key "H1::sid" -> result
-  function key(u,f){ return u+"::"+f; }
-  function buildMatrix(){
-    var thead = document.querySelector("#matrix thead");
-    var tbody = document.querySelector("#matrix tbody");
-    var hrow = "<tr><th style=\\"width:40%\\">Invariant (unit)</th><th class=\\"needs\\" style=\\"width:13%\\">needs</th>";
-    FIXTURES.forEach(function(fx){
-      hrow += "<th><div class=\\"fixhdr"+(fx.probe?" probe":"")+"\\">"+(fx.probe?"probe \\u00b7 ":"")+fx.label+"</div></th>";
-    });
-    hrow += "</tr>";
-    thead.innerHTML = hrow;
-    tbody.innerHTML = INVARIANTS.map(function(inv){
-      var cells = FIXTURES.map(function(fx){
-        return "<td><button class=\\"cell\\" id=\\"c-"+inv.id+"-"+cssId(fx.id)+"\\" data-u=\\""+inv.id+"\\" data-f=\\""+fx.id+"\\">&middot;</button></td>";
-      }).join("");
-      var probeTag = inv.id==="H5" ? "<span class=\\"probe-tag\\">self-test</span>" : "";
-      return "<tr"+(inv.id==="H5"?" class=\\"probe-row\\"":"")+"><td><span class=\\"unit-id\\">"+inv.id+" &middot; "+inv.title+"</span>"+probeTag+"<div class=\\"unit-desc\\">"+inv.desc+"</div></td><td class=\\"needs\\">"+inv.needs+"</td>"+cells+"</tr>";
-    }).join("");
-    // clicking a cell jumps replay to that fixture
-    Array.prototype.slice.call(document.querySelectorAll(".cell")).forEach(function(btn){
-      btn.addEventListener("click", function(){
-        var fid = btn.getAttribute("data-f");
-        var i = FIXTURES.map(function(f){return f.id;}).indexOf(fid);
-        if (i>=0){ openReplay(); jumpTo(i); }
-      });
-    });
-  }
-  function cssId(s){ return s.replace(/[^a-zA-Z0-9_-]/g,"_"); }
-  function paintCell(r){
-    var el = document.getElementById("c-"+r.unitId+"-"+cssId(r.fixtureId));
-    if (!el) return;
-    el.className = "cell " + r.verdict.toLowerCase();
-    if (r.verdict==="FAIL" && r.probe) el.className += " expected";
-    el.textContent = r.verdict==="PASS" ? "\\u2713" : r.verdict==="FAIL" ? "\\u2715" : r.verdict==="BLOCKED" ? "\\u00B7" : "\\u2013";
-    el.title = r.blockedReason || (r.checks[0] && r.checks[0].label) || r.verdict;
-  }
-  /* -------- expected-vs-actual: the honesty self-check on the harness -------- */
-  function classify(results){
-    var pass=0, fail=0, blocked=0, unexpectedFail=[], probeMissed=[];
-    results.forEach(function(r){
-      if (r.verdict==="PASS") pass++;
-      else if (r.verdict==="BLOCKED") blocked++;
-      else if (r.verdict==="FAIL"){
-        fail++;
-        if (!r.probe) unexpectedFail.push(r.unitId+"\\u00d7"+r.fixtureLabel);
-      }
-    });
-    // every fixture that declared expectFail MUST have produced that FAIL
-    FIXTURES.forEach(function(fx){
-      if (!fx.expectFail) return;
-      var r = resultMap[key(fx.expectFail, fx.id)];
-      if (!r || r.verdict!=="FAIL") probeMissed.push(fx.expectFail+"\\u00d7"+fx.label);
-    });
-    var ok = unexpectedFail.length===0 && probeMissed.length===0;
-    return { pass:pass, fail:fail, blocked:blocked, total:results.length, ok:ok, unexpectedFail:unexpectedFail, probeMissed:probeMissed };
-  }
-  function paintTally(c){
-    document.getElementById("tally").innerHTML =
-      "<span class=\\"p\\">\\u2713 "+c.pass+"</span><span class=\\"f\\">\\u2715 "+c.fail+"</span><span class=\\"b\\">\\u2298 "+c.blocked+"</span><span class=\\"t\\">/ "+c.total+"</span>";
-    var line = document.getElementById("verdict-line");
-    if (c.ok){
-      line.className = "verdict-line green"; line.setAttribute("data-evidence","measured");
-      line.textContent = "\\u2713 honest: every PASS was observed, and the probe FAILED exactly as designed (the harness can see a lie).";
-    } else {
-      line.className = "verdict-line red"; line.setAttribute("data-evidence","measured");
-      var parts = [];
-      if (c.unexpectedFail.length) parts.push("unexpected FAIL: "+c.unexpectedFail.join(", "));
-      if (c.probeMissed.length) parts.push("PROBE DID NOT FAIL ("+c.probeMissed.join(", ")+") \\u00b7 the harness is blind, treat the whole board as void");
-      line.textContent = "\\u2715 " + parts.join(" \\u00b7 ");
-    }
-  }
-  /* -------- the agent / CI handle -------- */
-  var lastSingle = null;
-  function buildManifest(){
-    return INVARIANTS.map(function(inv){
-      return { unit: inv.id+"-"+inv.title, needs: inv.needs, description: inv.desc,
-        fixtures: FIXTURES.map(function(fx){ return { id:fx.id, label:fx.label, probe:!!fx.probe, expectFail:fx.expectFail||null }; }) };
-    });
-  }
-  // S20 · the board observes the DEFAULT lens unless a fixture says otherwise:
-  // pin it before driving (the iframe shares localStorage with the dashboard,
-  // so a user's saved lens would silently reshape every fixture) and restore
-  // the user's saved lens after.
-  function pinLensDefault(){
-    try {
-      var w = frameWin(), d = frameDoc();
-      if (window.__verifyLensSaved === undefined) window.__verifyLensSaved = (d.body.getAttribute("data-lens")) || "default";
-      if (typeof w.applyLens === "function") w.applyLens("default");
-    } catch(e){}
-  }
-  function restoreLens(){
-    try {
-      var w = frameWin();
-      if (typeof w.applyLens === "function") w.applyLens(window.__verifyLensSaved || "default");
-      delete window.__verifyLensSaved;
-    } catch(e){}
-  }
-  function runAll(){
-    var btn = document.getElementById("run-all");
-    btn.disabled = true; btn.textContent = "Running\\u2026";
-    var results = [];
-    return surfaceReady().then(function(){
-      pinLensDefault();
-      // iterate fixtures, observe each once, run all invariants against it
-      return FIXTURES.reduce(function(p, fx){
-        return p.then(function(){
-          return observe(fx).then(function(s){
-            INVARIANTS.forEach(function(inv){
-              var r = runOne(inv, fx, s);
-              resultMap[key(inv.id, fx.id)] = r;
-              results.push(r);
-              paintCell(r);
-            });
-          });
-        });
-      }, Promise.resolve());
-    }).then(function(){
-      restoreLens();
-      var c = classify(results);
-      paintTally(c);
-      lastSingle = results[results.length-1] || null;
-      window.__verify_lastRun = results;
-      window.__verify_summary = c;
-      btn.disabled = false; btn.textContent = "\\u25b6 Run all";
-      return results;
-    }).catch(function(err){
-      restoreLens();
-      btn.disabled = false; btn.textContent = "\\u25b6 Run all";
-      document.getElementById("verdict-line").className = "verdict-line red";
-      document.getElementById("verdict-line").textContent = "\\u2298 BLOCKED: "+String(err && err.message || err);
-      throw err;
-    });
-  }
-  /* ===================== feature coverage ===================== */
-  function covVerdict(feat, present){
-    if (feat.status==="shipped") return present ? "OBSERVED" : "MISSING";
-    if (feat.status==="partial") return present ? "OBSERVED" : "PARTIAL-GAP";
-    if (feat.status==="roadmap") return "SKIP-ROADMAP";
-    return "SKIP-FUTURE"; // future / cut
-  }
-  function covClass(v){
-    return v==="OBSERVED"?"pass":v==="MISSING"?"fail":v==="PARTIAL-GAP"?"warn":"blocked";
-  }
-  function covGlyph(v){
-    return v==="OBSERVED"?"\\u2713":v==="MISSING"?"\\u2715":v==="PARTIAL-GAP"?"\\u25d0":"\\u00b7";
-  }
-  var covResults = [];
-  function paintCov(r){
-    var el = document.getElementById("cov-"+cssId(r.id));
-    if (!el) return;
-    el.className = "cell " + covClass(r.verdict);
-    el.textContent = covGlyph(r.verdict);
-    el.title = r.verdict + (r.present?" · rendered":" · not in DOM");
-  }
-  function buildCovMatrix(){
-    var tb = document.querySelector("#cov-matrix tbody");
-    if (!tb) return;
-    tb.innerHTML = FEATURES.map(function(f){
-      var statusTag = f.status==="shipped"?"":f.status==="partial"?"<span class=\\"probe-tag\\" style=\\"border-color:rgba(217,164,65,.5);color:var(--warn)\\">partial</span>":f.status==="roadmap"?"<span class=\\"probe-tag\\" style=\\"border-color:var(--border);color:var(--fg-40)\\">roadmap</span>":"<span class=\\"probe-tag\\" style=\\"border-color:var(--border);color:var(--fg-40)\\">"+(f.tier==="cut"?"cut":"future")+"</span>";
-      return "<tr><td><span class=\\"unit-id\\">"+f.id+"</span> <span class=\\"unit-desc\\">"+f.name+"</span>"+statusTag+"</td>"+
-        "<td class=\\"needs\\">"+f.tier+"</td>"+
-        "<td class=\\"needs\\">"+f.surface+"</td>"+
-        "<td><button class=\\"cell\\" id=\\"cov-"+cssId(f.id)+"\\">&middot;</button></td></tr>";
-    }).join("");
-  }
-  function classifyCov(results){
-    var observed=0, missing=0, partialGap=0, roadmap=0, future=0;
-    var missingIds=[];
-    results.forEach(function(r){
-      if (r.verdict==="OBSERVED") observed++;
-      else if (r.verdict==="MISSING"){ missing++; missingIds.push(r.id); }
-      else if (r.verdict==="PARTIAL-GAP") partialGap++;
-      else if (r.verdict==="SKIP-ROADMAP") roadmap++;
-      else future++;
-    });
-    var shipped = observed + missing;
-    return { observed:observed, missing:missing, partialGap:partialGap, roadmap:roadmap, future:future,
-      shipped:shipped, total:results.length, ok: missing===0, missingIds:missingIds };
-  }
-  function paintCovTally(c){
-    var t = document.getElementById("cov-tally");
-    if (t) t.innerHTML =
-      "<span class=\\"p\\">\\u2713 "+c.observed+" observed</span>"+
-      "<span class=\\"f\\">\\u2715 "+c.missing+" missing</span>"+
-      "<span style=\\"color:var(--warn)\\">\\u25d0 "+c.partialGap+" partial-gap</span>"+
-      "<span class=\\"b\\">\\u00b7 "+(c.roadmap+c.future)+" roadmap/future</span>"+
-      "<span class=\\"t\\">/ "+c.total+"</span>";
-    var line = document.getElementById("cov-verdict");
-    if (!line) return;
-    if (c.ok){
-      line.className = "verdict-line green"; line.setAttribute("data-evidence","measured");
-      line.textContent = "\\u2713 every feature claimed shipped was OBSERVED on the real surface · "+c.shipped+" shipped checked · "+(c.roadmap+c.future)+" correctly absent (roadmap/future).";
-    } else {
-      line.className = "verdict-line red"; line.setAttribute("data-evidence","measured");
-      line.textContent = "\\u2715 "+c.missing+" feature(s) claimed shipped but NOT rendered: "+c.missingIds.join(", ")+" · PRODUCT_STATE overclaims, fix the doc or the code.";
-    }
-  }
-  // OBSERVED requires a VISIBLE element, not just a DOM match — display:none
-  // matched querySelectorAll and green-lit four dead state banners for weeks
-  // (2026-06-07 audit, AUD-05). NOTE: layout-based checks (getClientRects /
-  // offsetParent) cannot work here — the observed iframe sits inside the
-  // harness's own hidden replay panel, so the product surface never has
-  // layout. Instead walk computed styles WITHIN the iframe document: the
-  // product hiding its own element is what we test; harness chrome isn't.
-  function visibleInDoc(el, d){
-    var node = el;
-    while (node && node !== d.documentElement) {
-      var cs = (d.defaultView || window).getComputedStyle(node);
-      if (cs.display === "none" || cs.visibility === "hidden") return false;
-      node = node.parentElement;
-    }
-    return true;
-  }
-  function anyVisible(d, sel){
-    var els = d.querySelectorAll(sel);
-    for (var i = 0; i < els.length; i++) {
-      if (visibleInDoc(els[i], d)) return true;
-    }
-    return false;
-  }
-  function runCoverage(){
-    var btn = document.getElementById("run-cov");
-    if (btn){ btn.disabled = true; btn.textContent = "Running\\u2026"; }
-    covResults = [];
-    return surfaceReady().then(function(){
-      var w = frameWin();
-      pinLensDefault();
-      try { if (typeof w.hideD==="function") w.hideD(); } catch(e){}
-      return sleep(140);
-    }).then(function(){
-      // list-surface features (dashboard visible)
-      var d = frameDoc();
-      var listFeats = FEATURES.filter(function(f){ return f.surface==="list" && f.status!=="roadmap" && f.status!=="future"; });
-      listFeats.filter(function(f){ return !f.drive; }).forEach(function(f){
-        var present = anyVisible(d, f.sel);
-        var r = { id:f.id, present:present, verdict:covVerdict(f, present) };
-        covResults.push(r); paintCov(r);
-      });
-      // driven on-demand surfaces: enter the state, observe, restore.
-      return listFeats.filter(function(f){ return !!f.drive; }).reduce(function(p, f){
-        return p.then(function(){
-          var w = frameWin(), dd = frameDoc();
-          try { f.drive(w, dd); } catch(e){}
-          return sleep(120).then(function(){
-            var present = anyVisible(frameDoc(), f.sel);
-            var r = { id:f.id, present:present, verdict:covVerdict(f, present) };
-            covResults.push(r); paintCov(r);
-            try { f.undrive(w, frameDoc()); } catch(e){}
-            return sleep(60);
-          });
-        });
-      }, Promise.resolve());
-    }).then(function(){
-      // detail-surface features, grouped by the fixture that TRIGGERS them.
-      // Conditional surfaces (recovery/crash/hook-block/...) only render on the
-      // right seeded session — open each fixture once, check its group.
-      var detail = FEATURES.filter(function(f){ return f.surface==="detail" && f.status!=="roadmap" && f.status!=="future"; });
-      var byFix = {};
-      detail.forEach(function(f){ var fx = f.fixture || COV_FIXTURE; (byFix[fx] = byFix[fx] || []).push(f); });
-      var fixtures = Object.keys(byFix);
-      return fixtures.reduce(function(p, fx){
-        return p.then(function(){
-          try { var w = frameWin(); if (w.hideD) w.hideD(); w.showD(fx); } catch(e){}
-          return sleep(200).then(function(){
-            var d = frameDoc();
-            byFix[fx].forEach(function(f){
-              /* S14 · detail rows gained drive/undrive support (same contract
-                 as list rows): the conversation rests collapsed, so timeline
-                 rows drive the REAL expand (the user's click on the row),
-                 observe, then restore. Never DOM injection of content. */
-              var wd = frameWin();
-              if (f.drive) { try { f.drive(wd, d); } catch(e){} }
-              var present = anyVisible(d, f.sel);
-              var r = { id:f.id, present:present, verdict:covVerdict(f, present), fixture:fx };
-              covResults.push(r); paintCov(r);
-              if (f.undrive) { try { f.undrive(wd, d); } catch(e){} }
-            });
-          });
-        });
-      }, Promise.resolve());
-    }).then(function(){
-      // room-surface features · drive the REAL openRoom() (same pattern as
-      // showD above) on the first goal-head's data-goal-cwd, observe, close.
-      // No goal-head on the home = no real tasks; the room genuinely cannot
-      // be opened, so room features go MISSING/PARTIAL-GAP per their status —
-      // honest, and F-GOAL-GROUP fails alongside so the cause is visible.
-      var room = FEATURES.filter(function(f){ return f.surface==="room" && f.status!=="roadmap" && f.status!=="future"; });
-      if (!room.length) return;
-      var w0 = frameWin();
-      /* S13 · goal-heads sit inside the EXPANDED history now — expand through
-         the real toggle first. If the home has no earlier real tasks at all,
-         fall back to the seeded coverage batch (same precedent as
-         V1-MULTITASK) so the room render path is still observed for real. */
-      try { if (w0.__histExpand) w0.__histExpand(); } catch(e){}
-      var gh = frameDoc().querySelector(".goal-head[data-goal-cwd]");
-      var check = function(){
-        var d = frameDoc();
-        room.forEach(function(f){
-          var present = anyVisible(d, f.sel);
-          var r = { id:f.id, present:present, verdict:covVerdict(f, present) };
-          covResults.push(r); paintCov(r);
-        });
-      };
-      var seededRoom = false;
-      if (gh){ try { w0.openRoom(gh.getAttribute("data-goal-cwd")); } catch(e){} }
-      else {
-        try { if (__seedCovBatch(w0) && __openBatchRoom(w0)) seededRoom = true; } catch(e){}
-        if (!seededRoom){ check(); try{ if(w0.__histCollapse) w0.__histCollapse(); }catch(e){} return; }
-      }
-      return sleep(200).then(function(){
-        check();
-        try { if (w0.closeRoom) w0.closeRoom(); } catch(e){}
-        try { if (seededRoom) __unseedCovBatch(w0); } catch(e){}
-        try { if (w0.__histCollapse) w0.__histCollapse(); } catch(e){}
-        return sleep(120);
-      });
-    }).then(function(){
-      // roadmap / future: SKIP (correctly absent), no observation
-      FEATURES.filter(function(f){ return f.status==="roadmap" || f.status==="future"; }).forEach(function(f){
-        var r = { id:f.id, present:false, verdict:covVerdict(f, false) };
-        covResults.push(r); paintCov(r);
-      });
-      restoreLens();
-      var c = classifyCov(covResults);
-      paintCovTally(c);
-      window.__verify_coverage = { results:covResults, summary:c };
-      if (btn){ btn.disabled = false; btn.textContent = "\\u25b6 Run coverage"; }
-      return covResults;
-    }).catch(function(err){
-      restoreLens();
-      if (btn){ btn.disabled = false; btn.textContent = "\\u25b6 Run coverage"; }
-      throw err;
-    });
-  }
-  window.__verify = {
-    version: PROTO_VERSION,
-    manifest: buildManifest,
-    current: function(){ return lastSingle; },
-    runAll: runAll,
-    coverage: runCoverage,
-    features: function(){ return FEATURES.map(function(f){ return { id:f.id, name:f.name, surface:f.surface, status:f.status, tier:f.tier }; }); }
-  };
-  document.getElementById("manifest-json").textContent =
-    JSON.stringify(buildManifest(), null, 2) +
-    "\\n\\nawait window.__verify.runAll() -> one result per invariant\\u00d7fixture {verdict, checks, blockedReason, domSnapshot}\\n" +
-    "window.__verify_summary -> {pass, fail, blocked, ok, unexpectedFail, probeMissed}\\n" +
-    "ok===false (unexpected FAIL, or the probe failed to fail) -> scripts/verify.mjs exits 1.";
-  /* ===================== replay (visible, slow-motion) ===================== */
-  var replayOpen = false, playing = false, idx = 0, replayResults = [];
-  var DWELL = clampInt(qs("dwell"), 1500, 200, 30000);
-  var KEY_HOLD = clampInt(qs("hold"), 700, 100, 5000);
-  document.getElementById("dwell-label").textContent = "dwell "+DWELL+"ms";
-  function qs(k){ var m = new RegExp("[?&]"+k+"=([^&]+)").exec(location.search); return m ? decodeURIComponent(m[1]) : null; }
-  function clampInt(raw, fb, min, max){ var n = raw?parseInt(raw,10):NaN; if(isNaN(n))return fb; return Math.min(max,Math.max(min,n)); }
-  function openReplay(){ replayOpen = true; document.getElementById("replay").classList.remove("hidden"); buildStepList(); }
-  function buildStepList(){
-    document.getElementById("steplist").innerHTML = FIXTURES.map(function(fx,i){
-      return "<div class=\\"steprow"+(fx.probe?" fail":"")+"\\" data-i=\\""+i+"\\"><span class=\\"st\\">\\u25cb</span><span class=\\"nm\\">"+(fx.probe?"probe \\u00b7 ":"")+fx.label+"</span></div>";
-    }).join("");
-    Array.prototype.slice.call(document.querySelectorAll(".steprow")).forEach(function(row){
-      row.addEventListener("click", function(){ jumpTo(Number(row.getAttribute("data-i"))); });
-    });
-  }
-  function markStep(i, verdict){
-    var row = document.querySelector('.steprow[data-i="'+i+'"]');
-    if (!row) return;
-    Array.prototype.slice.call(document.querySelectorAll(".steprow")).forEach(function(r){ r.classList.remove("active"); });
-    if (verdict==null){ row.classList.add("active"); row.querySelector(".st").textContent="\\u25b8"; return; }
-    row.querySelector(".st").textContent = verdict==="PASS"?"\\u2713":verdict==="FAIL"?"\\u2715":"\\u2298";
-  }
-  var caption = document.getElementById("caption");
-  var ring = null;
-  function showCaption(t){ if(t){ caption.textContent=t; caption.classList.add("on"); } else { caption.classList.remove("on"); } }
-  function drawRing(el){
-    removeRing();
-    if (!el) return;
-    var ir = iframe.getBoundingClientRect();
-    var er = el.getBoundingClientRect();
-    ring = document.createElement("div");
-    ring.className = "ring";
-    ring.style.left = (ir.left + er.left - 3) + "px";
-    ring.style.top = (ir.top + er.top - 3) + "px";
-    ring.style.width = (er.width + 6) + "px";
-    ring.style.height = (Math.min(er.height, 120) + 6) + "px";
-    document.body.appendChild(ring);
-  }
-  function removeRing(){ if(ring){ ring.remove(); ring=null; } }
-  function setStageVerdict(v){
-    var w = document.getElementById("stage-wrap");
-    w.className = "stage-wrap" + (v ? " v-"+v.toLowerCase() : "");
-  }
-  function setFrameStatus(results, sid){
-    var fs = document.getElementById("framestatus");
-    var fails = results.filter(function(r){ return r.verdict==="FAIL"; });
-    var blocked = results.filter(function(r){ return r.verdict==="BLOCKED"; });
-    var pass = results.filter(function(r){ return r.verdict==="PASS"; });
-    var verdict = fails.length ? "FAIL" : (pass.length ? "PASS" : "BLOCKED");
-    var html = "<span class=\\"badge "+verdict.toLowerCase()+"\\">"+verdict+"</span>";
-    html += "<span class=\\"sub\\" style=\\"color:var(--fg-50)\\">\\u2713 "+pass.length+" \\u00b7 \\u2715 "+fails.length+" \\u00b7 \\u2298 "+blocked.length+"</span>";
-    if (fails.length) html += "<span class=\\"issues\\">"+fails.map(function(f){ return f.unitId+": "+(f.checks[0]?f.checks[0].label:""); }).join(" \\u00b7 ")+"</span>";
-    else if (!pass.length && blocked.length) html += "<span class=\\"issues blk\\">"+blocked[0].blockedReason+"</span>";
-    fs.innerHTML = html;
-  }
-  // Hide the app chrome inside the iframe so the stage shows ONLY the session
-  // detail being verified — an isolated mount, not the whole app in a tab.
-  var staged = false;
-  function stageClean(){
-    var d = frameDoc(); if (!d || staged) return;
-    var st = d.createElement("style");
-    st.textContent =
-      ".header,.custom-view-banner,.failover-banner,.indexing-banner,.budget-banner,#task-detail-view .input-area{display:none!important}" +
-      "body{overflow:auto!important;height:auto!important}" +
-      ".content{padding:0!important}#task-detail-view{padding:18px 22px!important}";
-    d.head.appendChild(st);
-    staged = true;
-  }
-  // The per-case checklist that fills in live (the granular part the human watches).
-  function clReset(){
-    var box = document.getElementById("checklist");
-    box.classList.add("on");
-    box.innerHTML = "<div class=\\"cl-h\\">honesty checks</div>" + INVARIANTS.map(function(inv){
-      return "<div class=\\"cl-row\\" id=\\"cl-"+inv.id+"\\"><span class=\\"cl-id\\">"+inv.id+"</span><span class=\\"cl-st\\">\\u25cb</span><span class=\\"cl-tx\\">"+inv.title+"</span></div>";
-    }).join("");
-  }
-  function clSet(invId, verdict, text){
-    var row = document.getElementById("cl-"+invId);
-    if (!row) return;
-    row.className = "cl-row run " + verdict.toLowerCase();
-    row.querySelector(".cl-st").textContent = verdict==="PASS"?"\\u2713":verdict==="FAIL"?"\\u2715":"\\u2298";
-    if (text) row.querySelector(".cl-tx").textContent = text;
-  }
-  // The element each invariant reads from — so the ring lands on what's observed.
-  function targetFor(invId, d){
-    if (invId==="H1") return d.querySelector('[data-verify-unit="verifier"]');
-    if (invId==="H2") return d.querySelector('.tl-say');
-    if (invId==="H3") return d.querySelector('[data-verify-unit="outcome"]');
-    if (invId==="H5") return d.querySelector('[data-verify-unit="filetree"]') || d.querySelector('[data-verify-unit="outcome"]');
-    if (invId==="H6") return d.querySelector('.recovery-card,.crash-recovery,.hook-block-card') || d.querySelector('[data-verify-unit="detail"]');
-    if (invId==="H13") return d.querySelector('[data-verify-unit="home-hero"]') || d.querySelector('[data-verify-unit="detail"]');
-    if (invId==="H14") return d.querySelector('[data-verify-unit="decisions"]') || d.querySelector('[data-verify-unit="home-hero"]') || d.querySelector('[data-verify-unit="detail"]');
-    return d.querySelector('[data-verify-unit="detail"]');
-  }
-  // A granular, human-readable line for what THIS check observed.
-  function narrate(inv, s, r){
-    if (r.verdict==="BLOCKED") return inv.id+" \\u00b7 n/a here (no "+inv.needs+")";
-    if (inv.id==="H1") return "H1 \\u00b7 verifier verdict='"+(s.verifiers[0]||{}).verdict+"' git="+(s.verifiers[0]||{}).gittracked;
-    if (inv.id==="H2") return "H2 \\u00b7 "+s.says.length+" reasoning bubble(s), all have words";
-    if (inv.id==="H3") return "H3 \\u00b7 outcome renders "+s.outcomeItems+" item(s)";
-    if (inv.id==="H5") return "H5 \\u00b7 claims "+s.filesClaimed+" files, renders "+s.filetreeRendered+" row(s)";
-    if (inv.id==="H6") return "H6 \\u00b7 status='"+s.status+"', reason shown="+s.hasExplanation;
-    if (inv.id==="H13" && s.hero && s.hero.expected) return "H13 \\u00b7 hero claims a="+s.hero.agents+" v="+s.hero.verified+" c="+s.hero.caught+" r="+s.hero.running+" \\u00b7 derived a="+s.hero.expected.agents+" v="+s.hero.expected.verified+" c="+s.hero.expected.caught+" r="+s.hero.expected.running;
-    if (inv.id==="H14" && s.decisions) return "H14 \\u00b7 queue "+(s.decisions.present?("claims N="+s.decisions.n+", renders "+s.decisions.rows+" row(s)"):"absent")+" \\u00b7 derived "+s.decisions.expected+" decision(s)";
-    return inv.desc;
-  }
-  // Drive ONE invariant visibly: scroll its target into view, ring it, show a
-  // caption with the observed numbers, land the verdict on the checklist + matrix.
-  function playCheck(inv, fx, s){
-    var r = runOne(inv, fx, s);
-    resultMap[key(inv.id, fx.id)] = r;
-    paintCell(r);
-    var d = frameDoc();
-    if (r.verdict==="BLOCKED"){
-      // brief, dim — honest "nothing to observe", no theatrics
-      clSet(inv.id, "BLOCKED", inv.title+" \\u00b7 n/a");
-      showCaption("\\u2298 " + narrate(inv, s, r));
-      return sleep(Math.round(KEY_HOLD*0.45)).then(function(){ showCaption(null); return r; });
-    }
-    var el = targetFor(inv.id, d);
-    if (el && el.scrollIntoView) try { el.scrollIntoView({block:"center"}); } catch(e){}
-    return sleep(120).then(function(){
-      drawRing(el);
-      showCaption("\\u25CF " + narrate(inv, s, r));
-      return sleep(KEY_HOLD);
-    }).then(function(){
-      removeRing();
-      var verdictWord = r.verdict==="FAIL" ? " \\u203A \\u2715 FAIL" : " \\u203A \\u2713 PASS";
-      showCaption((r.verdict==="FAIL"?"\\u26a0 ":"") + narrate(inv, s, r) + verdictWord);
-      clSet(inv.id, r.verdict, inv.title);
-      return sleep(Math.round(KEY_HOLD*0.7));
-    }).then(function(){ showCaption(null); return r; });
-  }
-  // Drive one fixture: open it on a clean stage, then walk each honesty check
-  // one at a time so the human SEES each case tested granularly.
-  function playFixture(i){
-    var fx = FIXTURES[i];
-    idx = i;
-    markStep(i, null);
-    clReset();
-    document.getElementById("stage-title").innerHTML = "case " + (i+1) + "/" + FIXTURES.length + " &middot; <strong>" + (fx.probe?"probe \\u00b7 ":"") + fx.label + "</strong> <span class=\\"dim\\">/ "+fx.id+"</span>";
-    document.getElementById("framestatus").innerHTML = "<span class=\\"sub\\" style=\\"color:var(--fg-40)\\">opening case\\u2026</span>";
-    setStageVerdict(null);
-    document.getElementById("prog").style.width = ((i)/FIXTURES.length*100)+"%";
-    return surfaceReady().then(function(){
-      var w = frameWin();
-      try { if (typeof w.hideD==="function") w.hideD(); } catch(e){}
-      return sleep(120);
-    }).then(function(){
-      stageClean();
-      showCaption("open case \\u203A showD('"+fx.label+"')");
-      // S20 · lens fixtures replay through the page's own applyLens — the
-      // human watches the recomposed surface, not the default one.
-      try {
-        var w = frameWin();
-        if (fx.lens && typeof w.applyLens === "function") w.applyLens(fx.lens);
-        else pinLensDefault();
-        w.showD(fx.sid || fx.id);
-      } catch(e){}
-      return sleep(Math.round(KEY_HOLD*0.7));
-    }).then(function(){
-      showCaption(null);
-      var s = readSurface(frameDoc());
-      // walk the invariants sequentially, visibly
-      var results = [];
-      return INVARIANTS.reduce(function(p, inv){
-        return p.then(function(){ return playCheck(inv, fx, s).then(function(r){ results.push(r); }); });
-      }, Promise.resolve()).then(function(){ return results; });
-    }).then(function(results){
-      replayResults = replayResults.concat(results);
-      var verdict = results.some(function(r){return r.verdict==="FAIL";}) ? "FAIL" : (results.some(function(r){return r.verdict==="PASS";}) ? "PASS" : "BLOCKED");
-      setStageVerdict(verdict);
-      setFrameStatus(results, fx.id);
-      markStep(i, verdict);
-      lastSingle = results[results.length-1];
-      document.getElementById("prog").style.width = ((i+1)/FIXTURES.length*100)+"%";
-    });
-  }
-  function jumpTo(i){ playing=false; openReplay(); playFixture(i); }
-  function advance(){
-    if (idx+1 >= FIXTURES.length){ playing=false; document.getElementById("play").innerHTML="&#9654; Replay again"; finishReplay(); return; }
-    playFixture(idx+1).then(function(){ if(playing) setTimeout(advance, DWELL); });
-  }
-  function startReplay(){
-    replayResults = []; idx = 0; playing = true;
-    document.getElementById("play").innerHTML = "&#9646;&#9646; Pause";
-    playFixture(0).then(function(){ if(playing) setTimeout(advance, DWELL); });
-  }
-  function finishReplay(){
-    restoreLens();
-    var c = classify(replayResults);
-    window.__verify_replay = { done:true, results:replayResults, summary:c };
-  }
-  document.getElementById("toggle-replay").addEventListener("click", function(){ openReplay(); document.getElementById("replay").scrollIntoView({behavior:"smooth"}); });
-  document.getElementById("play").addEventListener("click", function(){
-    if (playing){ playing=false; this.innerHTML="&#9654; Play"; }
-    else { startReplay(); }
-  });
-  document.getElementById("skip").addEventListener("click", function(){ advance(); });
-  /* in-browser clip recorder (getDisplayMedia, one webm per fixture) */
-  var recStream=null, recorder=null, recChunks=[], recClips=[];
-  document.getElementById("record").addEventListener("click", function(){
-    var btn = this;
-    if (recStream){ stopRecording(); btn.innerHTML="&#9679; Record clips"; return; }
-    navigator.mediaDevices.getDisplayMedia({ video:{frameRate:30}, audio:false, preferCurrentTab:true })
-      .then(function(stream){
-        recStream = stream; btn.innerHTML="&#9679; Recording \\u00b7 stop";
-        stream.getVideoTracks()[0].addEventListener("ended", function(){ stopRecording(); btn.innerHTML="&#9679; Record clips"; });
-        // record one continuous clip across the whole replay (simple + reliable);
-        // download offered on stop.
-        recChunks = [];
-        recorder = new MediaRecorder(stream, pickMime());
-        recorder.ondataavailable = function(e){ if(e.data.size>0) recChunks.push(e.data); };
-        recorder.onstop = function(){
-          var blob = new Blob(recChunks, {type:"video/webm"});
-          var a = document.createElement("a"); a.href = URL.createObjectURL(blob); a.download = "codehere-verify-replay.webm";
-          document.body.appendChild(a); a.click(); a.remove();
-        };
-        recorder.start(200);
-        startReplay();
-      })
-      .catch(function(e){ btn.innerHTML="&#9679; Record clips"; alert("recording cancelled: "+e); });
-  });
-  function stopRecording(){
-    try { if(recorder && recorder.state!=="inactive") recorder.stop(); } catch(e){}
-    if (recStream){ recStream.getTracks().forEach(function(t){t.stop();}); recStream=null; }
-  }
-  function pickMime(){
-    var cs = ["video/webm;codecs=vp9","video/webm;codecs=vp8","video/webm"];
-    for (var i=0;i<cs.length;i++){ if (window.MediaRecorder && MediaRecorder.isTypeSupported(cs[i])) return {mimeType:cs[i]}; }
-    return undefined;
-  }
-  /* -------- boot -------- */
-  buildMatrix();
-  buildCovMatrix();
-  // Run all = honesty matrix THEN feature coverage (one click, both truths).
-  document.getElementById("run-all").addEventListener("click", function(){ runAll().then(runCoverage); });
-  document.getElementById("run-cov").addEventListener("click", function(){ runCoverage(); });
-  // Auto modes for headless drivers (scripts/verify.mjs, scripts/record-replay.mjs).
-  // Replay mode is selected by the ROUTE (/verify/replay) or ?mode=replay.
-  var bootDone = false;
-  iframe.addEventListener("load", function(){
-    if (bootDone) return; bootDone = true; // the iframe reloads as we drive it; boot once
-    var isReplay = /\\/verify\\/replay/.test(location.pathname) || qs("mode")==="replay";
-    var auto = qs("auto");
-    if (isReplay){ openReplay(); if (auto!=="0") surfaceReady().then(function(){ setTimeout(startReplay, 400); }); }
-    else if (auto==="1"){ surfaceReady().then(function(){ setTimeout(function(){ runAll().then(runCoverage); }, 300); }); }
-  });
-})();
-</script>
-</body>
-</html>`;
-//# sourceMappingURL=verify-page.js.map