:root{color-scheme:dark;background:#100c0a;color:#d8c29a;font-family:Georgia,Times New Roman,serif}@property --pg-disclosure{syntax: "<integer>"; inherits: false; initial-value: 0;}[data-disclosure]{--pg-disclosure: 1}.pg-correction{margin:0;color:#8c795c;font:650 9px/1.35 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;letter-spacing:.04em;text-align:right;text-transform:uppercase}.pg-version-qualification>summary,.machine-provenance>summary{display:inline-flex;min-height:24px;align-items:center;color:#bda57b;cursor:pointer;list-style:none}.pg-version-qualification>summary::-webkit-details-marker,.machine-provenance>summary::-webkit-details-marker{display:none}.pg-version-qualification>summary:before,.machine-provenance>summary:before{content:"▸";margin-right:.45em;color:#8c795c}.pg-version-qualification[open]>summary:before,.machine-provenance[open]>summary:before{content:"▾"}.pg-version-qualification[open]>[data-version-qualification-full],.machine-provenance[open]>[data-version-qualification-full]{display:block;max-width:72ch;margin:4px 0}.pg-version-qualification[open]>.pg-correction__link,.machine-provenance[open]>.pg-correction__link{display:inline-block}.pg-correction__link{color:#bda57b;text-underline-offset:2px}.pg-correction__link:hover,.pg-correction__link:focus-visible{color:#f1dfba;outline:none}.architecture-pane>.pg-correction{position:absolute;z-index:2;right:18px;bottom:14px;max-width:calc(100% - 36px);padding:5px 7px;background:#18120ed1;pointer-events:auto}.comparison-actions>.pg-correction{margin-left:auto}*{box-sizing:border-box}[hidden]{display:none!important}html,body,.workbench{width:100%;height:100%;min-width:0;margin:0;overflow:hidden}body{background:#100c0a}button,textarea{font:inherit}.workbench{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr)}.console-pane,.architecture-pane{position:relative;min-width:0;min-height:0}.console-pane{display:grid;grid-template-rows:auto auto minmax(0,1fr) auto;gap:12px;padding:22px 22px 16px;border-right:1px solid #8b6940;background:linear-gradient(115deg,rgb(255 255 255 / 2%),transparent 42%),repeating-linear-gradient(135deg,rgb(200 146 62 / 3%) 0 1px,transparent 1px 22px),radial-gradient(circle at 45% 15%,#34271f 0,#1d1612 56%,#110d0b);box-shadow:inset -12px 0 22px #00000061,inset 0 0 0 1px #f1ca740a}.console-header{display:flex;align-items:end;justify-content:space-between;gap:18px;min-height:86px;padding-bottom:12px;border-bottom:1px solid rgb(200 146 62 / 34%)}.eyebrow,.deck,.measurement-rack p{margin:0;color:#9b845f;font:650 9px/1.4 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;letter-spacing:.09em;text-transform:uppercase}.machine-provenance{max-width:72ch;margin:5px 0 0;color:#bda57b;font:650 9px/1.4 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;letter-spacing:.06em;text-align:left;text-transform:uppercase}.machine-provenance>summary{min-height:0}.deck a,.terminal-header a,.machine-legal a{color:inherit;text-decoration-color:#d8c29a8f;text-underline-offset:2px}.deck a:hover,.terminal-header a:hover,.machine-legal a:hover{color:#f1dfba;text-decoration-color:currentColor}.deck a:focus-visible,.terminal-header a:focus-visible,.machine-legal a:focus-visible{color:#f1dfba;outline:1px solid currentColor;outline-offset:2px;text-decoration-color:currentColor}.console-header h1{margin:4px 0 2px;color:#f1dfba;font-size:clamp(22px,2.2vw,31px);font-weight:700;letter-spacing:.02em}.header-side{display:grid;flex:0 0 auto;gap:9px;justify-items:end}.machine-nav{display:flex;align-items:center;gap:11px;color:#bda57b;font:700 8px/1 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;letter-spacing:.06em;text-transform:uppercase;white-space:nowrap}.machine-nav a,.machine-nav button,.machine-legal summary{color:inherit;cursor:pointer;text-decoration:none}.machine-nav button{min-height:0;padding:0;border:0;border-radius:0;background:transparent;font:inherit;letter-spacing:inherit}#index-walk-open[data-invited=true]{color:#d9ffff;text-decoration:underline;text-decoration-color:#699294;text-underline-offset:3px}.machine-nav a:hover,.machine-nav a:focus-visible,.machine-nav button:hover,.machine-nav button:focus-visible,.machine-legal summary:hover,.machine-legal summary:focus-visible{color:#f1dfba;outline:none}.machine-legal{position:relative}.machine-legal summary{list-style:none}.machine-legal summary::-webkit-details-marker{display:none}.machine-legal p{position:absolute;z-index:5;top:14px;right:0;width:min(390px,76vw);margin:0;padding:11px 12px;border:1px solid #8b6940;border-radius:3px;color:#d8c29a;background:#1d1612;box-shadow:0 12px 30px #00000094;font:600 9px/1.5 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;letter-spacing:.03em;text-transform:none;white-space:normal}.machine-legal__credit{display:block;margin-top:8px;padding-top:8px;border-top:1px solid rgb(200 146 62 / 24%)}.source-key{display:grid;flex:0 0 auto;gap:7px;padding-bottom:3px;color:#bda57b;font:700 8px/1 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;letter-spacing:.06em;white-space:nowrap}.source-key span{display:flex;gap:7px;align-items:center}.source-medallion{display:inline-grid;width:20px;height:20px;place-items:center;border:1px solid;border-radius:50%;color:#f1dfba;font-size:10px;box-shadow:inset 0 0 0 2px #0003}.postgres-source{border-color:#9fcfd0;background:#31575a}.model-source{border-color:#9b845f;background:repeating-linear-gradient(135deg,#3d3027 0 4px,#6a503b 4px 5px)}.control-rack{display:flex;align-items:stretch;justify-content:space-between;gap:10px;min-width:0;padding:9px;border:1px solid #6e5336;border-radius:4px;background:linear-gradient(#ffffff08,#0000001f),#28201b;box-shadow:0 7px 16px #00000047,inset 0 0 0 1px #ffe1a60a}.postgres-control{display:grid;min-width:0;gap:5px}.postgres-control span{overflow:hidden;color:#8c795c;font:650 7px/1.2 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;letter-spacing:.06em;text-overflow:ellipsis;white-space:nowrap}.clock-control{display:flex;flex:0 0 auto;gap:6px;align-items:center}.viewing-rate{display:flex;align-items:center;gap:3px;padding-left:6px;border-left:1px solid rgb(200 146 62 / 28%)}.viewing-rate button{width:29px;padding-inline:0;font-size:13px}#machine-rate{min-width:55px;padding-inline:6px;color:#d7eeee;border-color:#5d8e91;background:#263938;text-align:center;white-space:nowrap}button,.clock-control output{min-height:29px;padding:7px 9px;border:1px solid #70583e;border-radius:3px;color:#d8c29a;background:linear-gradient(#ffffff0a,#00000014),#2b231e;font:750 8px/1 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;letter-spacing:.07em;text-transform:uppercase}button{cursor:pointer}button:hover,button:focus-visible{border-color:#c8923e;color:#f1dfba;outline:none}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}#postgres-toggle{justify-self:start;color:#d7eeee;border-color:#5d8e91;background:#263938}#postgres-toggle[data-state=ready]{color:#d8edcb;border-color:#72935a;background:#2d3928}#postgres-toggle[data-state=error]{color:#ffd2c8;border-color:#b85c4b;background:#452922}.terminal{display:grid;grid-template-rows:auto minmax(0,1fr) auto;min-width:0;min-height:0;overflow:hidden;border:1px solid #71573b;border-radius:5px;background:#0d0c0b;box-shadow:0 16px 32px #0000007a,inset 0 0 35px #1d4a431a}.terminal-header{display:grid;grid-template-columns:80px 1fr auto;gap:8px;align-items:center;min-height:37px;padding:0 11px;border-bottom:1px solid #4a3a2c;color:#8ba9a3;background:linear-gradient(rgb(255 255 255 / 3%),transparent),#201b18;font:700 8px/1 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;letter-spacing:.08em}.terminal-header strong{overflow:hidden;text-align:center;text-overflow:ellipsis;white-space:nowrap}.terminal-header>span:last-child{color:#796a53}.terminal-lamps{display:flex;gap:7px}.terminal-lamps i{display:block;width:8px;height:8px;border:1px solid #181310;border-radius:50%;background:#5f4935;box-shadow:inset 0 1px 1px #ffffff1f}.terminal-lamps i:nth-child(1){background:#8a4538}.terminal-lamps i:nth-child(2){background:#9a7135}.terminal-lamps i:nth-child(3){background:#476e5e}.terminal-transcript{min-width:0;min-height:0;padding:14px 15px 18px;overflow:auto;color:#d5c5a3;scrollbar-color:#5a4631 #15120f;scrollbar-width:thin;font:500 11px/1.48 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.terminal-banner{margin:0 0 14px;color:#76978f;font:inherit;white-space:pre-wrap}.terminal-command{margin:0 0 15px}.terminal-command-line{display:flex;align-items:start;color:#f1dfba}.terminal-command-line b{flex:0 0 auto;margin-right:8px;color:#78aaa6;font-weight:700}.terminal-command-line pre,.terminal-output{margin:0;font:inherit;white-space:pre-wrap;overflow-wrap:anywhere}.terminal-output{margin-top:5px;color:#cbb996}.terminal-output.error{color:#f0a08c}.terminal-output.system{color:#799b93}.terminal-entry{display:grid;grid-template-columns:auto minmax(0,1fr);align-items:start;min-height:47px;padding:11px 14px;border-top:1px solid #4a3a2c;background:#12110f;color:#d7eeee;font:550 11px/1.45 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.terminal-entry label{padding-top:1px;color:#78aaa6;font-weight:700;white-space:nowrap}.terminal-entry textarea{width:100%;max-height:112px;min-height:18px;margin:0;padding:1px 0 1px 8px;resize:none;overflow-y:auto;border:0;outline:0;color:#f1dfba;background:transparent;font:inherit;caret-color:#ed9760}.terminal-entry textarea::placeholder{color:#554b3d}.measurement-rack{display:grid;gap:7px}.postgres-measurement{display:flex;min-height:38px;align-items:center;justify-content:space-between;gap:12px;padding:9px 11px;border:1px solid rgb(98 169 178 / 38%);border-radius:3px;color:#9fc8c6;background:#2231309e;font:700 8px/1.2 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;letter-spacing:.06em}.postgres-measurement strong{color:#d7eeee;text-align:right}.postgres-measurement[data-reach=read]{color:#ed9760;border-color:#d95d4994;background:#4a271fa8}.postgres-measurement[data-reach=read] strong{color:#ffb19e}.architecture-pane{display:grid;place-items:center;overflow:hidden;background:radial-gradient(circle at 48% 38%,#3b2b20 0,#1d1612 58%,#0d0a09)}.architecture-scroll,.architecture-stage{width:100%;height:100%;min-width:0;min-height:0}.architecture-scroll{overflow:hidden;overscroll-behavior:contain;touch-action:none}.architecture-stage{position:relative}#machine{display:block;width:100%;height:100%;outline:none;cursor:pointer}.architecture-readout{position:absolute;top:16px;right:18px;display:flex;max-width:calc(100% - 36px);flex-wrap:wrap;justify-content:end;gap:7px;pointer-events:none}.architecture-readout span,.architecture-readout button{min-height:0;padding:5px 7px;border:1px solid rgb(220 172 93 / 30%);border-radius:3px;color:#bda57b;background:#18120ec7;font:700 7px/1 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;letter-spacing:.07em}.architecture-readout button{pointer-events:auto}#board-view,#board-follow{display:none}.architecture-readout button[aria-pressed=true]{color:#d9ffff;border-color:#79aeb0;background:#1a3a3beb}.architecture-readout button:disabled{cursor:default;opacity:.38}.fallback{display:none}.index-walk{position:fixed;z-index:18;inset:0 50% 0 0;display:grid;grid-template-rows:auto minmax(0,1fr) auto;gap:12px;min-width:0;min-height:0;padding:18px;overflow:hidden;color:#d8c29a;border-right:1px solid #8b6940;background:linear-gradient(115deg,rgb(255 255 255 / 2%),transparent 42%),radial-gradient(circle at 45% 15%,#34271f 0,#1d1612 56%,#110d0b);box-shadow:18px 0 36px #00000073}.index-walk__header{display:flex;align-items:start;justify-content:space-between;gap:14px;padding-bottom:11px;border-bottom:1px solid rgb(200 146 62 / 40%)}.index-walk__header h2{margin:4px 0 5px;color:#f1dfba;font-size:clamp(17px,2vw,26px);letter-spacing:.035em}.index-walk__header p:not(.eyebrow){max-width:56ch;margin:0;color:#bda57b;font:650 9px/1.45 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.index-walk__header-actions{display:grid;flex:0 0 auto;gap:7px;justify-items:end;color:#9fc8c6;font:750 8px/1.2 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;letter-spacing:.06em}.index-walk__steps{display:grid;align-content:start;gap:8px;min-height:0;overflow:auto;scrollbar-color:#5a4631 #15120f;scrollbar-width:thin}.index-walk__steps>button{display:grid;grid-template-columns:38px minmax(0,1fr) minmax(138px,.72fr);gap:10px;align-items:center;min-height:74px;padding:9px 11px;text-align:left}.index-walk__steps>button[data-state=active]{color:#efffff;border-color:#79aeb0;background:#263f3f}.index-walk__steps>button[data-state=complete]{border-color:#56704c;background:#232c20;opacity:1}.index-walk__steps>button:disabled:not([data-state=complete]){cursor:default;opacity:.48}.index-walk__number{display:grid;width:34px;height:34px;place-items:center;border:1px solid #806039;border-radius:50%;color:#f1ca74;font-size:10px}.index-walk__copy{display:grid;min-width:0;gap:4px}.index-walk__copy b,.index-walk__copy code,.index-walk__copy small,.index-walk__steps output{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;overflow-wrap:anywhere;white-space:normal}.index-walk__copy b{color:#d8c29a;font-size:9px}.index-walk__copy code{color:#d9ffff;font-size:10px;text-transform:none}.index-walk__copy small{color:#8c795c;font-size:8px;line-height:1.35;text-transform:none}.index-walk__steps output{color:#9fc8c6;font-size:8px;line-height:1.35;text-align:right}.index-walk__footer{display:grid;grid-template-columns:1fr auto;gap:7px 10px;padding-top:10px;border-top:1px solid rgb(200 146 62 / 34%)}.index-walk__finding,.index-walk__disclosures{grid-column:1 / -1}.index-walk__finding{display:grid;gap:5px;padding:8px 9px;border:1px solid #699294;border-radius:3px;background:#182f2feb}.index-walk__finding span{display:flex;align-items:center;gap:6px;color:#9fc8c6;font:750 8px/1.2 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.index-walk__finding .source-medallion{width:17px;height:17px;font-size:8px}.index-walk__finding strong{color:#e3ffff;font:750 10px/1.35 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.index-walk__finding[data-supported=false]{border-color:#9d6643;background:#462b1deb}.index-walk__disclosures{display:grid;gap:3px}.index-walk__disclosures p{margin:0;color:#9fc8c6;font:700 9px/1.35 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;letter-spacing:.035em;text-transform:uppercase}.index-walk__footer>.pg-correction{align-self:center}.comparison{position:fixed;z-index:20;inset:0;display:grid;grid-template-rows:auto auto minmax(0,1fr) auto;gap:10px;padding:14px 18px;overflow:hidden;color:#d8c29a;background:linear-gradient(115deg,rgb(255 255 255 / 2%),transparent 42%),radial-gradient(circle at 50% 24%,#35271e 0,#18120f 58%,#0d0a09)}.comparison-header{display:flex;align-items:center;justify-content:space-between;gap:16px;padding-bottom:9px;border-bottom:1px solid rgb(200 146 62 / 40%)}.comparison-header h2{margin:3px 0 0;color:#f1dfba;font-size:clamp(17px,2vw,26px);letter-spacing:.035em}.comparison-source-key{display:flex;flex-wrap:wrap;gap:5px 12px;margin-top:7px;color:#9fc8c6;font:750 8px/1.35 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;letter-spacing:.055em;text-transform:uppercase}.comparison-source-key span{display:flex;align-items:center;gap:5px}.comparison-header__actions{display:flex;align-items:center;gap:8px;color:#9fc8c6;font:750 8px/1 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;letter-spacing:.08em}.comparison-proof{display:grid;grid-template-columns:minmax(260px,.9fr) minmax(330px,1.15fr) minmax(420px,1.6fr);gap:10px}.comparison-proof>div{min-width:0;padding:9px 11px;border:1px solid #6e5336;border-radius:4px;background:#1d1612e5}.comparison-proof__verdict{display:grid;align-content:center;gap:6px;border-color:#699294!important;background:#182f2feb!important}.comparison-proof__verdict span,.comparison-proof__verdict small,.comparison-contract p,.comparison-timeline>p,.comparison-board>p,.comparison-actions span{margin:0;color:#a9916c;font:750 8px/1.35 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;letter-spacing:.055em;text-transform:uppercase}.comparison-proof__verdict span{display:flex;align-items:center;gap:7px;color:#bda57b}.comparison-proof__verdict strong{color:#e3ffff;font:800 12px/1.2 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;letter-spacing:.035em}.comparison-proof__verdict small{color:#9fc8c6}.comparison-contract{display:grid;align-content:center;gap:5px}.comparison-contract p b{color:#f1ca74}.comparison-contract>code{color:#d7eeee;font:650 9px/1.35 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;overflow-wrap:anywhere;white-space:normal}.comparison-timeline{display:grid;gap:5px}.comparison-timeline__row{display:grid;grid-template-columns:44px minmax(88px,3fr) minmax(35px,.4fr) minmax(102px,1.6fr) 42px;min-height:24px;gap:3px;align-items:stretch;color:#d8c29a;font:800 7px/1 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;letter-spacing:.03em}.comparison-timeline__row>*{display:grid;min-width:0;place-items:center;padding:4px;overflow:hidden;border:1px solid #5d4b39;border-radius:2px;background:#27201b;text-align:center}.comparison-timeline__row>b{color:#f1ca74;border-color:#806039}.comparison-timeline__same{grid-column:2;color:#9fc8c6;border-color:#49696a!important;background:#1d3030!important}.comparison-timeline__wait{grid-column:3 / 5;color:#ffe1aa;border-color:#c8923e!important;background:#503721!important}.comparison-timeline__ack,.comparison-timeline__done{grid-column:5;color:#d8edcb;border-color:#72935a!important;background:#2d3928!important}.comparison-timeline__early{grid-column:3;color:#d8edcb;border-color:#72935a!important;background:#2d3928!important}.comparison-timeline__flush{grid-column:4;color:#edc99f;border-color:#9d6643!important;background:repeating-linear-gradient(135deg,#38281f 0 5px,#533623 5px 7px)!important}.comparison-tabs{display:none}.comparison-lanes{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:10px;min-height:0}.comparison-board{display:grid;grid-template-rows:auto auto minmax(0,1fr);min-width:0;min-height:0;overflow:hidden;border:1px solid #765a3b;border-radius:5px;background:#120e0c;box-shadow:0 12px 26px #00000061}.comparison-board>header{display:grid;grid-template-columns:auto 1fr auto;gap:9px;align-items:center;min-height:43px;padding:6px 9px;border-bottom:1px solid #58442f;background:#251d18}.comparison-board>header div{display:grid;gap:2px}.comparison-board>header b,.comparison-board>header code,.comparison-board__phase{font:750 8px/1.15 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;letter-spacing:.05em}.comparison-board>header b{color:#9b845f}.comparison-board>header code{color:#f1dfba}.comparison-board__letter{display:grid;width:29px;height:29px;place-items:center;border:1px solid #c8923e;border-radius:50%;color:#f1ca74;font:800 13px/1 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.comparison-board__phase{color:#9fc8c6}.comparison-board>p{display:flex;min-height:28px;align-items:center;gap:6px;padding:4px 9px;color:#9fc8c6;background:#17201f}.comparison-board>p .source-medallion{width:17px;height:17px;font-size:8px}.comparison-board__viewport{position:relative;min-width:0;min-height:0;overflow:hidden;background:#100c0a}.comparison-board canvas{display:block;width:100%;height:100%;object-fit:contain}.comparison-actions{display:flex;align-items:center;gap:9px;min-width:0}.comparison-actions span{flex:1 1 auto;color:#9fc8c6;white-space:normal}#comparison-run,#comparison-continue{color:#d7eeee;border-color:#5d8e91;background:#263938;white-space:nowrap}@media(pointer:coarse){.terminal-entry :is(input,textarea,select,button){font-size:16px}}@media(max-width:1100px){.workbench{grid-template-columns:minmax(0,46%) minmax(0,54%)}.console-pane{gap:8px;padding:14px 12px 10px}.console-header{min-height:70px}.source-key{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.index-walk{right:54%}.clock-control button{padding-inline:6px}.comparison-proof{grid-template-columns:repeat(2,minmax(0,1fr))}.comparison-timeline{grid-column:1 / -1}}@media(max-width:760px),(max-width:900px)and (max-height:500px)and (hover:none)and (pointer:coarse){.workbench{grid-template-areas:"header" "controls" "architecture" "terminal" "measurement";grid-template-columns:minmax(0,1fr);grid-template-rows:auto auto minmax(0,1fr) auto auto;height:100dvh;padding:env(safe-area-inset-top) env(safe-area-inset-right) env(safe-area-inset-bottom) env(safe-area-inset-left);overflow:hidden}.console-pane{display:contents}.console-header{grid-area:header;min-height:0;align-items:center;gap:10px;padding:6px 8px 7px;background:#1d1612;box-shadow:inset 0 -1px #c8923e38}.console-header h1{margin:2px 0 0;font-size:16px;line-height:1;white-space:nowrap}.eyebrow{font-size:7px}.machine-provenance{max-width:min(58vw,43ch);margin-top:3px;font-size:9px;line-height:1.25}.machine-provenance>summary{min-height:44px}.pg-version-qualification>summary{min-width:44px;min-height:44px}.header-side{gap:0}.machine-nav{gap:8px;font-size:7px}#index-walk-open{min-width:44px;min-height:44px;padding-inline:8px;font-size:11px}.machine-legal p{width:min(350px,calc(100vw - 16px))}.machine-legal summary{display:inline-flex;min-width:44px;min-height:44px;align-items:center;justify-content:center}.deck,.measurement-rack p,#machine-reset,.postgres-control span{display:none}.control-rack{grid-area:controls;display:flex;min-height:0;align-items:center;padding:5px 8px;border-width:0 0 1px;border-radius:0;box-shadow:none}.postgres-control{display:block}.clock-control{margin-left:auto}#clock{display:none}button,.clock-control output{min-height:28px;padding:6px 8px}.control-rack button,.architecture-readout button{min-width:44px;min-height:44px}.pg-version-qualification[open]>.pg-correction__link,.machine-provenance[open]>.pg-correction__link{display:inline-flex;min-width:44px;min-height:44px;align-items:center}.viewing-rate{gap:2px;padding-left:4px}.viewing-rate button{min-width:44px;min-height:44px;margin-block:-8px;padding:0;position:relative;z-index:1}.architecture-pane{grid-area:architecture;grid-template-rows:auto minmax(0,1fr);min-height:0;place-items:stretch;border-block:1px solid #5e472f}.index-walk{inset:auto 0 0;width:auto;height:48dvh;max-height:48dvh;gap:5px;padding:7px 8px calc(7px + env(safe-area-inset-bottom));border-top:1px solid #8b6940;border-right:0;box-shadow:0 -18px 36px #00000085}.index-walk__header{gap:7px;padding-bottom:5px}.index-walk__header h2{margin-block:2px;font-size:13px}.index-walk__header p:not(.eyebrow){font-size:8px;line-height:1.3}.index-walk__header-actions{gap:3px;font-size:9px}.index-walk__header .eyebrow,.index-walk__disclosures p,.index-walk__finding span,.index-walk__finding strong,.index-walk__footer>.pg-correction{font-size:9px}.index-walk__steps{gap:4px}.index-walk__steps>button{grid-template-columns:27px minmax(0,1fr);gap:7px;min-height:48px;padding:5px 7px}.index-walk__number{width:25px;height:25px;font-size:9px}.index-walk__copy{gap:2px}.index-walk__copy b,.index-walk__copy code,.index-walk__steps output{font-size:9px}.index-walk__copy small{display:none}.index-walk__steps output{grid-column:2;text-align:left}.index-walk__footer{gap:3px 6px;padding-top:5px}.index-walk__finding{gap:3px;padding:5px 6px}.index-walk__disclosures{gap:2px}.architecture-scroll{grid-row:2;overflow:hidden;overscroll-behavior:contain;touch-action:none}#machine{cursor:grab}#machine:active{cursor:grabbing}.architecture-readout{position:static;grid-row:1;max-width:none;flex-wrap:nowrap;justify-content:start;gap:4px;padding:4px 6px;overflow-x:auto;pointer-events:auto;background:#17110e;scrollbar-width:none}.architecture-readout span,.architecture-readout button{padding:4px 5px;background:#18120ee5;font-size:8px}#board-view,#board-follow{display:block}.terminal{grid-area:terminal;height:72px;min-height:72px;grid-template-rows:auto 0 auto;border-width:1px 0;border-radius:0;transition:height .16s ease}.terminal:focus-within{height:min(32dvh,270px);grid-template-rows:auto minmax(0,1fr) auto}.terminal-transcript{padding:0 15px;overflow:hidden;visibility:hidden}.terminal:focus-within .terminal-transcript{padding-block:10px;overflow:auto;visibility:visible}.terminal-header{grid-template-columns:1fr auto;min-height:32px}.terminal-lamps{display:none}.terminal-header strong{text-align:left}.terminal-entry{min-height:38px;padding:7px 8px}.terminal-entry textarea{max-height:82px}.terminal:not(:focus-within) .terminal-entry textarea{height:18px!important;overflow-y:hidden}.measurement-rack{grid-area:measurement;padding:5px 8px 6px;background:#17110e}.postgres-measurement{min-height:34px;gap:8px;padding:6px 8px;font-size:7px}.comparison{grid-template-rows:auto auto auto minmax(0,1fr) auto;gap:5px;padding:calc(6px + env(safe-area-inset-top)) calc(6px + env(safe-area-inset-right)) calc(6px + env(safe-area-inset-bottom)) calc(6px + env(safe-area-inset-left))}.comparison-header{gap:6px;padding-bottom:5px}.comparison-header h2{margin-top:2px;font-size:13px}.comparison-header .eyebrow{font-size:9px}.comparison-header__actions{gap:4px}#comparison-status{display:none}.comparison-proof{grid-template-columns:minmax(0,1fr);gap:4px}.comparison-proof>div{padding:6px 7px}.comparison-proof__verdict{gap:3px}.comparison-proof__verdict strong{font-size:10px}.comparison-proof__verdict span,.comparison-proof__verdict small{font-size:9px}.comparison-contract{display:grid}.comparison-contract p{font-size:9px}.comparison-contract>code{font-size:9px}.comparison-timeline{display:grid}.comparison-timeline>p{font-size:9px}.comparison-timeline__row{grid-template-columns:40px minmax(76px,2.2fr) 35px minmax(86px,1.4fr) 37px;min-height:21px;gap:2px;font-size:9px}.comparison-timeline__row>*{padding:3px 2px}.comparison-tabs{display:grid;grid-template-columns:1fr 1fr;gap:4px}.comparison-tabs button{min-height:32px}.comparison-tabs button[aria-pressed=true]{color:#e3ffff;border-color:#79aeb0;background:#263f3f}.comparison-lanes{grid-auto-flow:column;grid-auto-columns:100%;grid-template-columns:none;gap:6px;overflow-x:auto;scroll-behavior:smooth;scroll-snap-type:x mandatory;scrollbar-width:none}.comparison-board{scroll-snap-align:start}.comparison-board>header{min-height:39px}.comparison-board>p{min-height:34px;font-size:9px}.comparison-board__phase{font-size:9px}.comparison-board canvas{position:absolute;top:0;left:0;width:720px;height:740px;max-width:none;max-height:none;object-fit:none;transform-origin:0 0}.comparison-actions{flex-direction:column;align-items:stretch;min-height:34px}.comparison-actions span{display:block;order:-1;font-size:9px}.comparison-source-key{font-size:9px}#comparison-run,#comparison-continue{flex:1 1 auto}}@media(max-width:900px)and (max-height:500px)and (orientation:landscape)and (hover:none)and (pointer:coarse){.workbench{grid-template-areas:"architecture" "terminal";grid-template-rows:minmax(0,1fr) auto;position:relative}.console-header,.measurement-rack{display:none}.control-rack{position:absolute;z-index:2;top:0;right:0;display:flex;width:216px;min-height:46px;padding:1px 6px;border:0;border-radius:0;background:#17110e;box-shadow:none}.control-rack .postgres-control{display:none}.control-rack .clock-control{width:100%;justify-content:flex-end;gap:4px}.control-rack .viewing-rate button{margin-block:0}.architecture-readout{min-height:46px;padding-right:216px}.terminal{height:72px;min-height:72px}.terminal:focus-within{height:min(42dvh,164px)}}button:focus-visible,a:focus-visible,summary:focus-visible,textarea:focus-visible,canvas:focus-visible{outline:2px solid #f0ad4e;outline-offset:3px}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation-duration:.01ms!important;animation-iteration-count:1!important;scroll-behavior:auto!important;transition-duration:.01ms!important}}