.history-filters{grid-template-columns:repeat(auto-fit,minmax(min(100%,10rem),1fr));gap:.75rem;margin-block:1rem;display:grid}.history-filters label{flex-direction:column;gap:.35rem;min-width:0;display:flex}.history-filters input,.history-filters select{box-sizing:border-box;width:100%;max-width:100%;min-height:44px}.history-paging{flex-wrap:wrap;gap:.75rem;display:flex}.history-paging button{min-height:44px}.history small{overflow-wrap:anywhere;display:block}.history li{overflow-wrap:anywhere}.ata-edit-receipt,.ata-failure-explanation{border:1px solid var(--edge,#3e5159);background:var(--panel,#151f23);color:var(--ink,#eeeae1);overflow-wrap:anywhere;border-radius:.6rem;margin-block:1rem;padding:1rem}.ata-edit-receipt p,.ata-failure-explanation p{margin-block:.5rem}.ata-edit-receipt ul,.ata-failure-explanation ul{padding-inline-start:1.4rem}.ata-pulse-scroll{max-width:100%;overflow-x:auto}.ata-pulse-timeline table{border-collapse:collapse;font-variant-numeric:tabular-nums;width:100%}.ata-pulse-timeline caption{text-align:left;padding-block:.5rem;font-size:.85rem}.ata-pulse-timeline th,.ata-pulse-timeline td{border:1px solid var(--edge,#3e5159);text-align:center;min-width:2rem;padding:.35rem}.ata-pulse-timeline th[scope=row]{text-align:left}.ata-pulse-timeline .ata-pulse-output{color:#183c24;background:#dae9dc;font-weight:700}.ata-pulse-timeline .ata-pulse-duplicate{color:#552808;background:#f5d2b9;font-weight:800}.public-tools{margin-block:2rem}.public-tools p{max-width:70ch}.public-tool-buttons{flex-wrap:wrap;gap:.6rem;display:flex}.public-tool-content{min-width:0;margin-top:1.5rem}.public-tool-content:focus{outline:2px solid var(--accent,#e1ab65);outline-offset:.3rem}.offline-tools{border:1px solid var(--border,#465151);border-radius:.5rem;margin-block:1.5rem;padding:1rem}.offline-tools p{max-width:65ch}.offline-tools [role=status]:empty{display:none}.command-menu dialog{border:1px solid var(--line,#567068);background:var(--panel,#162620);width:min(30rem,100vw - 2rem);max-height:calc(100dvh - 2rem);color:var(--ink,#edf5ee);border-radius:1rem;padding:1.25rem;overflow:auto}.command-menu dialog::backdrop{background:#07100dc9}.command-menu-heading{justify-content:space-between;align-items:center;gap:1rem;display:flex}.command-menu-heading h2{margin:0}.command-menu-list{gap:.65rem;margin-top:1rem;display:grid}.command-menu-list button{text-align:left;width:100%}.command-menu button:focus-visible{outline-offset:3px;outline:3px solid #a6e9c8}.browser-readiness{border:1px solid var(--line,#567068);border-radius:.75rem;margin-block:1rem;padding:1rem}.browser-readiness dl{gap:.75rem;display:grid}.browser-readiness dl div{grid-template-columns:minmax(7rem,1fr) minmax(0,3fr);gap:1rem;display:grid}.browser-readiness dt{font-weight:650}.browser-readiness dd{overflow-wrap:anywhere;margin:0}.browser-readiness button{margin:.25rem .5rem .25rem 0}@media (width<=36rem){.browser-readiness dl div{grid-template-columns:1fr;gap:.2rem}}:root{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;color:#eeeae1;font-synthesis:none;--edge:#3e5159;--muted:#b1bec1;--mint:#a0e0d8;--amber:#e0b777;--panel:#151f23;--ink:#eeeae1;background:#101619;font-family:Inter,ui-sans-serif,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;font-size:16px;line-height:1.5}*{box-sizing:border-box}body{margin:0}button,input,select{font:inherit}button,select{color:#eeeae1;cursor:pointer;background:#1d2b31;border:1px solid #70818a;border-radius:5px;min-height:44px;padding:9px 15px}button:hover:not(:disabled){border-color:var(--mint);background:#2b3d43}button:disabled{opacity:.48;cursor:default}button.primary{background:var(--amber);color:#101619;border-color:var(--amber);font-weight:650}button.primary:hover:not(:disabled){background:#efca8c}a{color:var(--mint);text-underline-offset:4px}a:hover{color:#e4f6f2}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible,[tabindex]:focus-visible{outline:3px solid var(--mint);outline-offset:4px}h1,h2,h3,p{margin:0 0 12px}h1{letter-spacing:-.6px;font-size:clamp(26px,3vw,38px);font-weight:620;line-height:1.18}h2{font-size:22px;font-weight:600;line-height:1.3}h3,legend{font-size:17px;font-weight:550}p{color:#cbd5d5}small,.muted,.hint{color:var(--muted)}.hint{overflow-wrap:anywhere;margin:9px 0 0;font-size:12px}main{max-width:1480px;margin:0 auto;padding:24px 28px 0;container-type:inline-size}section,aside{scroll-margin-top:24px}.site-header{border-bottom:1px solid var(--edge);align-items:center;gap:24px;padding:21px 28px;display:flex}.site-header>a:last-child{margin-left:auto}.site-header small{overflow-wrap:anywhere;max-width:26rem}.recording-details{overflow-wrap:anywhere;max-width:28rem;font-size:13px}.recording-details p{margin-top:8px}.wordmark{color:#eeeae1;letter-spacing:-.5px;font-size:24px;font-weight:650;text-decoration:none}.source-badge{color:#d5dddd;overflow-wrap:anywhere;border:1px solid #5b717b;border-radius:4px;max-width:40%;padding:5px 10px;font-size:13px}.source-caption{color:var(--muted);border-top:1px solid var(--edge);margin:18px 0 0;padding-top:16px;font-size:13px}.panel{border:1px solid var(--edge);overflow-wrap:anywhere;background:#151f23;border-radius:9px;min-width:0}.eyebrow{letter-spacing:1.5px;text-transform:uppercase;color:var(--mint);margin-bottom:10px;font-size:12px}.skip-link{z-index:5;clip-path:inset(100%);color:#101619;background:#eeeae1;width:1px;height:1px;position:absolute;top:0;left:20px;overflow:hidden}.skip-link:focus{clip-path:none;width:auto;height:auto;padding:12px;position:fixed;top:12px}.landing{grid-template-columns:1.1fr 1fr;align-items:center;gap:40px;padding:48px 3% 32px;display:grid}.landing h1{letter-spacing:-1.8px;margin-bottom:24px;font-size:clamp(40px,4.7vw,68px);line-height:1.07}.intro{max-width:580px;margin-bottom:24px;font-size:18px}.landing-meta{color:var(--muted);margin-top:13px;font-size:13px}.landing-demo{background:#172429;border:1px solid #557078;border-radius:9px;min-width:0;padding:25px}.landing>.source-caption{grid-column:1/-1;margin-top:0}.resume{margin-top:18px}.resume p{margin-bottom:6px}.resume label{gap:6px;min-width:0;display:grid}.resume select{width:100%;min-width:0;max-width:100%}.resume button{margin:8px 8px 0 0}.ownership-notice{color:var(--muted);margin-top:12px;font-size:12px}.event-run-tools{border-block:1px solid var(--edge);margin:14px 0;padding:12px 0}.event-run-tools label{gap:6px;max-width:100%;margin:10px 10px 0 0;display:inline-grid}.event-run-tools select{min-width:0;max-width:100%}.browser-readiness-tool{margin-block:20px;padding:18px}.attempt-tools pre{white-space:pre-wrap;overflow-wrap:anywhere}.target-strip{padding:16px 0}.target-caption{flex-wrap:wrap;justify-content:space-between;gap:6px;margin-bottom:16px;font-size:13px;display:flex}.target-caption span{color:var(--muted);font-size:12px}.target-strip ol{grid-template-columns:repeat(4,minmax(0,1fr));gap:8px;margin:0;padding:0;list-style:none;display:grid}.target-strip li{text-align:center;background:#1c2a30;border-bottom:2px solid #566c75;gap:12px;min-width:0;padding:14px 9px;display:grid}.target-strip li.example-active{border-color:var(--amber);background:#25373d}.target-strip li strong{font-size:13px;line-height:1.3}.target-strip li small{font-size:10px}.beat-label{color:var(--muted);font-size:12px}.beat-lamps{justify-content:center;gap:7px;display:flex}.mini-lamp{background:#182226;border:1px solid #758990;border-radius:50%;width:17px;height:17px}.mini-lamp.on{background:var(--mint);border-color:var(--mint);box-shadow:0 0 12px #91dfd525}.example-controls{flex-wrap:wrap;align-items:center;gap:12px;margin-top:20px;display:flex}.example-controls button{font-size:13px}.example-controls p{flex:1;min-width:150px;margin:0;font-size:12px}.tutorial{grid-template-columns:1fr 1.15fr;gap:36px;padding:22px 1% 36px;display:grid}.tutorial-intro{padding:16px 0}.instructions{color:#d0dada;padding-left:22px;font-size:14px}.instructions li{margin-bottom:12px;padding-left:4px}.setup-replay{align-self:start;padding:24px}.setup-actions{flex-wrap:wrap;gap:12px;margin-top:20px;display:flex}.setup-queue{padding:0;font-size:13px;list-style:none}.setup-queue li{border:1px solid var(--edge);gap:6px;margin-bottom:8px;padding:12px;display:grid}.setup-queue code{overflow-wrap:anywhere}.action-feedback{color:var(--mint);margin-top:16px;font-size:14px}.setup-effects{color:#d0dada;margin-top:5px;display:block}.board-nav{flex-wrap:wrap;gap:7px;margin:0 0 15px;display:flex}.board-nav a{border:1px solid var(--edge);border-radius:4px;min-height:44px;padding:10px 14px;font-size:13px;text-decoration:none;display:block}.board-nav a:hover{background:#223138}.workspace{grid-template-columns:minmax(0,1fr) 340px;align-items:start;gap:16px;display:grid}.workspace-primary,.workspace-secondary{gap:16px;min-width:0;display:grid}.instrument{padding:22px}.board-heading{justify-content:space-between;align-items:flex-start;gap:24px;display:flex}.board-heading h1{max-width:650px;font-size:clamp(25px,2.4vw,31px)}.board-heading p:not(.eyebrow){font-size:15px}.clock-readout{text-align:right;flex-shrink:0;gap:4px;display:grid}.clock-readout strong{letter-spacing:1px;color:var(--amber);font:28px ui-monospace,SFMono-Regular,monospace}.clock-readout span{white-space:nowrap;color:#cbd5d5;font-size:13px}.clock-readout small{text-transform:capitalize;font-size:12px}.installation-context{color:var(--muted);border-bottom:1px solid var(--edge);flex-wrap:wrap;justify-content:space-between;gap:5px 18px;padding:10px 0;font-size:12px;display:flex}.installation-context strong{color:#eeeae1}.lights{justify-content:space-evenly;gap:clamp(6px,2cqw,14px);padding:18px 0;display:flex}.light{flex:1;justify-items:center;gap:3px;min-width:0;display:grid}.lamp{background:#233138;border:2px solid #637b86;border-radius:50%;width:clamp(32px,18cqw,72px);height:clamp(32px,18cqw,72px);margin-bottom:6px;box-shadow:inset 0 0 0 7px #111b20}.lamp.signal{background:var(--mint);border-color:var(--mint)}.light>span{letter-spacing:1.3px;font-size:11px}.light>strong{font:22px ui-monospace,SFMono-Regular,monospace}.light>small{font-size:11px}.topology{border-block:1px solid var(--edge);align-items:center;gap:9px;padding:12px 0;display:flex}.topology>div{flex:1;min-width:0}.topology strong{font-size:13px;font-weight:550;display:block}.topology span:not(.connector){color:var(--mint);margin-top:3px;font-size:11px;display:block}.topology .signal-queue span{color:var(--amber)}.connector{color:#9db1b9}.upcoming{color:var(--muted);margin:12px 0;font-size:12px}.upcoming strong{color:#eeeae1}.orientation{border-left:2px solid var(--mint);background:#203037;margin:14px 0;padding:10px 13px;font-size:13px}.toolbar{align-items:center;gap:10px;padding-top:8px;display:flex}.toolbar button{min-width:78px}.toolbar .primary{margin-left:auto}.dock-context{display:none}.feedback{color:var(--mint);min-height:18px;margin:13px 0 0;font-size:12px}.deadline-note{margin-top:5px}.inspector{padding:20px}.inspector h2{margin-bottom:18px;font-size:20px}.inspector section{border-top:1px solid var(--edge);padding:14px 0}.inspector h3{margin-bottom:6px}.scene-card{gap:4px;font-size:13px;display:grid}.scene-card strong{color:var(--amber);font-size:17px}.toggle{cursor:pointer;flex-wrap:wrap;align-items:center;gap:10px;min-height:44px;font-size:14px;display:flex}.toggle>span{color:var(--muted);margin-left:auto;font-size:12px}input[type=checkbox],input[type=radio]{width:21px;height:21px;accent-color:var(--mint);cursor:pointer;flex-shrink:0}fieldset{border:0;margin:0;padding:0}legend{margin-bottom:6px}.radio{align-items:center;gap:8px;min-height:44px;margin-right:20px;font-size:14px;display:inline-flex}.inspector fieldset button{margin-top:6px;display:block}.queue{margin:0 0 10px;padding:0;list-style:none}.queue li{background:#1b2b31;border:1px solid #596d76;border-radius:5px;margin-bottom:8px}.queue .version-differs{border-color:#b69664}.queue label{cursor:pointer;align-items:center;gap:10px;min-height:70px;padding:12px;display:flex}.queue label>span{gap:5px;min-width:0;display:grid}.queue code{overflow-wrap:anywhere;color:#eeeae1;font-size:12px}.queue strong{font-size:12px;font-weight:500}.queue small{font-size:11px}.inspector>section>button{width:100%;font-size:13px}.debrief,.history,.attempt-tools{min-width:0;padding:20px}.debrief.passed{border-color:#82b7a6}.debrief.checked{border-color:#ba9660}.debrief p{font-size:14px}.candidate-state{background:#223039;border-left:2px solid #94a3ad;gap:5px;margin:15px 0;padding:10px 12px;font-size:13px;display:grid}.debrief.passed .candidate-state:not(.stale){background:#1b302d;border-color:#8fbcad}.settings-nav{flex-wrap:wrap;gap:8px;margin:10px 0;display:flex}.settings-nav a{border:1px solid var(--edge);border-radius:5px;align-items:center;min-height:44px;padding:8px 12px;font-size:14px;display:inline-flex}.candidate-state span{color:#cbd5d5}.candidate-state.stale{border-color:var(--amber);background:#332d24}.candidate-state p{margin:4px 0 0;font-size:13px}.check-total{color:#eeeae1;font-weight:600}.counterexample{border-top:1px solid var(--edge);margin:16px 0;padding-top:16px}.counterexample>strong{color:var(--amber);font-size:13px}.counterexample>p{margin:9px 0}.counterexample>div:not(.ata-failure-explanation){gap:26px;margin:12px 0;font-size:15px;display:flex}.counterexample>div:not(.ata-failure-explanation) strong{font:22px ui-monospace,SFMono-Regular,monospace}summary{cursor:pointer;min-height:44px;padding:12px 0;font-size:13px}.case-results{padding:0;list-style:none}.case-results li{border-bottom:1px solid var(--edge);flex-wrap:wrap;justify-content:space-between;gap:10px;padding:5px 0;font-size:12px;display:flex}.table-scroll{max-height:350px;overflow:auto}table{border-collapse:collapse;width:100%;font-size:12px}caption{text-align:left;padding:12px 0;font-weight:600}td,th{text-align:left;border-bottom:1px solid var(--edge);overflow-wrap:anywhere;padding:9px 6px}.history-scroll{scrollbar-color:#66757c #172126;max-height:270px;margin-top:14px;overflow:auto}.history ol{margin:0;padding:0;font-size:12px;list-style:none}.history li{overflow-wrap:anywhere;border-bottom:1px solid #34464d;grid-template-columns:57px 1fr;gap:12px;padding:7px 0;display:grid}.history li>span{color:var(--mint);font-family:ui-monospace,SFMono-Regular,monospace}.attempt-tools h2{font-size:20px}.attempt-buttons{flex-wrap:wrap;gap:9px;display:flex}.attempt-tools button{font-size:13px}.attempt-buttons button{white-space:normal;min-width:0;max-width:100%}.attempt-exports{border-top:1px solid var(--edge);margin-top:18px;padding-top:14px}.attempt-exports[open]>summary{margin-bottom:12px}.new-attempt{border-top:1px solid var(--edge);grid-template-columns:minmax(0,1fr) auto;align-items:end;gap:12px;margin-top:18px;padding-top:14px;display:grid}.new-attempt p{grid-column:1/-1;margin-top:0}.field{gap:8px;font-size:14px;display:grid}.field select{width:100%;min-width:0}.run-inspector{margin-top:20px;padding:24px}.run-inspector section{border-top:1px solid var(--edge);margin-top:18px;padding-top:18px}.evidence-grid{grid-template-columns:minmax(120px,.7fr) minmax(0,1fr);gap:8px 18px;font-size:13px;display:grid}.evidence-grid dt{color:var(--muted)}.evidence-grid dd{overflow-wrap:anywhere;margin:0}.receipt-list{font-size:13px}.receipt-list li{overflow-wrap:anywhere;margin-bottom:12px}.receipt-list span{color:var(--muted);margin:4px 0;font-size:12px;display:block}.method{border-top:1px solid var(--edge);grid-template-columns:1.25fr 1fr;gap:70px;margin-top:32px;padding:44px 12px;display:grid}.method p{overflow-wrap:anywhere;font-size:14px}.method h3{margin-top:24px}.method h3:first-child{margin-top:0}.method-links{flex-wrap:wrap;gap:14px 20px;font-size:13px;display:flex}.file-label{gap:10px;margin-bottom:20px;font-size:14px;display:grid}.file-label input{width:100%;min-width:0;min-height:44px;font-size:13px}input::file-selector-button{color:#eeeae1;min-height:44px;font:inherit;cursor:pointer;background:#25373e;border:1px solid #70818a;border-radius:4px;margin-right:8px;padding:9px 12px}.notice{border:1px solid var(--amber);border-radius:5px;margin-top:22px;padding:15px 20px;font-size:14px}footer{border-top:1px solid var(--edge);color:var(--muted);justify-content:space-between;gap:15px;padding:20px 28px;font-size:12px;display:flex}.study{max-width:880px;margin:20px auto;padding:30px}.study .choices{gap:10px;margin:20px 0;display:grid}.study .choices label{align-items:center;gap:10px;min-height:44px;display:flex}.study select{margin:8px 0 18px}.study fieldset{margin:16px 0}.study .time{color:var(--amber);font:26px ui-monospace,SFMono-Regular,monospace}.study-state{border:1px solid var(--edge);margin-top:20px;padding:20px}@container (width<=1050px){.board-heading{display:block}.clock-readout{text-align:left;flex-wrap:wrap;align-items:center;gap:8px 14px;margin:14px 0;display:flex}.clock-readout small{margin-left:auto}.topology{flex-wrap:wrap}.topology>div{flex-basis:40%}.topology>.connector:nth-of-type(2){display:none}.toolbar{flex-wrap:wrap}.toolbar .primary{margin-left:0}.tutorial{grid-template-columns:1fr;gap:16px;max-width:780px;margin:auto}}@container (width<=850px){.workspace{grid-template-columns:minmax(0,1fr);grid-template-areas:"instrument""debrief""inspector""history""tools"}.workspace-primary,.workspace-secondary{display:contents}.instrument{grid-area:instrument}.inspector{grid-area:inspector}.debrief{grid-area:debrief}.history{grid-area:history}.attempt-tools{grid-area:tools}.inspector{grid-template-columns:1fr 1fr;gap:0 24px;display:grid}.inspector h2{grid-column:1/-1}.inspector section{min-width:0}.landing{grid-template-columns:1fr;gap:22px;padding:24px 0}.landing-demo{max-width:650px}.landing>.source-caption{grid-column:auto}.method{gap:30px}}@container (width<=560px){.inspector,.method{display:block}.file-tools{margin-top:32px}.instrument,.inspector,.debrief,.history,.attempt-tools{padding:17px}.toolbar button{flex:1}.toolbar .primary{flex-basis:100%}.target-strip li{gap:9px;padding:12px 5px}.target-strip li strong{font-size:11px}.target-strip li small{font-size:9px}.mini-lamp{width:15px;height:15px}.beat-lamps{gap:4px}.landing-demo,.setup-replay{padding:17px}.evidence-grid{grid-template-columns:1fr;gap:4px}.evidence-grid dd{margin-bottom:8px}.board-nav{gap:5px}.board-nav a{text-align:center;flex:70px;padding:10px 7px;font-size:12px}.topology>div{flex-basis:39%}.light>small{font-size:10px}.new-attempt{grid-template-columns:1fr}.new-attempt p{grid-column:auto}}@media (width<=850px){main{padding:18px 18px 0}.site-header{gap:15px;padding:18px}.wordmark{font-size:21px}}@media (width<=560px){main{padding:14px 12px 0}.site-header{flex-wrap:wrap;gap:9px 13px;padding:15px 12px}.wordmark{font-size:20px}.source-badge{max-width:100%;font-size:11px}.site-header>a:last-child{margin-left:0;font-size:13px}.landing h1{letter-spacing:-1.2px;font-size:43px}.intro{font-size:16px}.study{padding:22px 17px}footer{flex-wrap:wrap;padding:18px 12px}}@media (prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;transition:none!important;animation:none!important}}@media (width<=600px){main.public-workbench{padding-bottom:220px;container-type:normal}main.public-workbench+footer{padding-bottom:calc(220px + env(safe-area-inset-bottom))}main.public-workbench .workspace{grid-template-columns:minmax(0,1fr);grid-template-areas:"instrument""inspector""debrief""history""tools"}main.public-workbench .workspace-primary,main.public-workbench .workspace-secondary{display:contents}main.public-workbench .instrument{grid-area:instrument;padding:14px}main.public-workbench .inspector{grid-area:inspector;padding:14px;display:block}main.public-workbench .debrief{grid-area:debrief}main.public-workbench .history{grid-area:history}main.public-workbench .attempt-tools{grid-area:tools}main.public-workbench .board-heading{display:block}main.public-workbench .clock-readout{text-align:left;flex-wrap:wrap;align-items:center;gap:6px 12px;margin:12px 0;display:flex}main.public-workbench .clock-readout small{margin-left:auto}main.public-workbench .topology{grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:10px;display:grid}main.public-workbench .topology>.connector{display:none}main.public-workbench .lights{padding:12px 0}main.public-workbench .lamp{width:48px;height:48px}main.public-workbench .board-nav{gap:5px}main.public-workbench .board-nav a{text-align:center;flex:70px;padding-inline:7px}main.public-workbench .toolbar{z-index:4;padding:10px 12px max(12px, env(safe-area-inset-bottom));background:#151f23;border-top:1px solid #70818a;flex-wrap:wrap;align-items:center;gap:8px;display:flex;position:fixed;bottom:0;left:0;right:0;box-shadow:0 -4px 18px #10161980}main.public-workbench .toolbar .dock-context{color:var(--amber);flex-basis:100%;margin:0;font-size:14px;display:block}main.public-workbench .toolbar button{flex:64px;min-width:0;min-height:44px;padding:8px;font-size:14px}main.public-workbench .toolbar .primary{flex:105px;margin-left:0}main.public-workbench :is(button,input,select,a,summary,[tabindex]){scroll-margin-block:24px 225px}main.public-workbench .evidence-grid,main.public-workbench .new-attempt{grid-template-columns:1fr}main.public-workbench .new-attempt p{grid-column:auto}main.public-workbench .method{display:block}main.public-workbench .file-tools{margin-top:32px}}