:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--ink:#172126;--muted:#5a6872;--line:#d8e1e5;--surface:#fff;--surface-soft:#f3f7f8;--brand:#0d6b78;--brand-soft:#dff3f5;--warn:#9b5d00;--warn-soft:#fff1d3;--ok:#1d7b4f;--ok-soft:#dcf3e7;--danger:#a23b3b;--danger-soft:#f9e3e1}*{box-sizing:border-box}body{color:var(--ink);background:var(--surface-soft);-webkit-font-smoothing:antialiased;text-rendering:optimizelegibility;margin:0;font-family:system-ui,-apple-system,Segoe UI,Roboto,Helvetica,Arial,sans-serif}a{color:inherit}.shell{width:min(1180px,100% - 20px);margin:0 auto;padding:16px 0 32px}.language-radio{opacity:0;pointer-events:none;width:1px;height:1px;position:absolute}.language-bar{justify-content:flex-end;gap:6px;margin-bottom:10px;display:flex}.language-bar label{cursor:pointer;border:1px solid var(--line);background:var(--surface);color:var(--muted);border-radius:999px;padding:7px 12px;font-size:.86rem;font-weight:800}#lang-en:checked~.language-bar label[for=lang-en],#lang-ja:checked~.language-bar label[for=lang-ja]{border-color:var(--brand);background:var(--brand);color:#fff}.lang-panel{display:none}#lang-en:checked~.en-panel,#lang-ja:checked~.ja-panel{display:block}.ja-panel{font-family:Hiragino Sans,Yu Gothic,YuGothic,Meiryo,Arial,sans-serif}.topbar{grid-template-columns:minmax(0,1fr) minmax(240px,320px);align-items:start;gap:12px;display:grid}.eyebrow{color:var(--brand);letter-spacing:0;text-transform:uppercase;margin:0 0 6px;font-size:.78rem;font-weight:700}h1,h2,h3,p{margin-top:0}h1{letter-spacing:0;max-width:900px;margin-bottom:8px;font-size:clamp(2rem,3.2vw,3.8rem);line-height:1.02}h2{letter-spacing:0;margin-bottom:8px;font-size:1.2rem}h3{letter-spacing:0;margin-bottom:4px;font-size:1rem}.lead{max-width:820px;color:var(--muted);margin-bottom:7px;font-size:.98rem;line-height:1.42}.proof-strip{flex-wrap:wrap;gap:6px;margin-top:10px;display:flex}.proof-strip span{background:var(--ok-soft);color:var(--ok);border:1px solid #8bc7a5;border-radius:999px;padding:6px 9px;font-size:.82rem;font-weight:800}.proof-strip .proof-link{background:var(--ok-soft);color:var(--ok);border:1px solid #8bc7a5;border-radius:999px;align-items:center;padding:6px 10px;font-size:.82rem;font-weight:800;text-decoration:none;transition:background .12s,border-color .12s,transform .12s;display:inline-flex}.proof-strip .proof-link:hover,.proof-strip .proof-link:focus-visible{border-color:var(--ok);background:#c8ebd6;outline:none;transform:translateY(-1px)}.proof-strip .proof-link.preview{background:var(--warn-soft);color:var(--warn);border-color:#ecc56c}.proof-strip .proof-link.preview:hover,.proof-strip .proof-link.preview:focus-visible{border-color:var(--warn);background:#fbe5b3}.verify-panel{border:1px solid var(--brand);background:linear-gradient(180deg, var(--brand-soft), #fff);border-radius:10px;margin-top:14px;padding:16px 18px}.verify-head{margin-bottom:12px}.verify-head .eyebrow{color:var(--brand);margin:0 0 4px}.verify-head h2{color:var(--ink);margin:0;font-size:1.12rem;line-height:1.3}.verify-steps{grid-template-columns:repeat(auto-fit,minmax(210px,1fr));gap:10px;margin:0;padding:0;list-style:none;display:grid}.verify-steps li{border:1px solid var(--line);background:#fff;border-radius:8px;align-items:center;gap:10px;padding:11px 13px;transition:border-color .15s,transform .15s,box-shadow .15s;display:flex}.verify-steps li:hover,.verify-steps li:focus-within{border-color:var(--brand);transform:translateY(-1px);box-shadow:0 6px 18px #0d6b781a}.step-num{background:var(--brand);color:#fff;border-radius:50%;flex:0 0 28px;place-items:center;width:28px;height:28px;font-size:.88rem;font-weight:800;display:grid}.verify-steps a{color:var(--ink);flex:1;font-size:.94rem;font-weight:700;line-height:1.32;text-decoration:none}.verify-steps li:hover a,.verify-steps a:focus-visible{color:var(--brand);outline:none}.json-peek-wrap{background:#0e1a20;border:1px solid #1f3038;border-radius:8px;margin:12px 0;overflow:hidden}.json-peek-note{color:#cdd5d9;background:#16242b;border-bottom:1px solid #1f3038;margin:0;padding:8px 12px;font-size:.78rem;font-weight:700}.json-peek{color:#d6f0d6;white-space:pre;margin:0;padding:12px 14px;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.82rem;line-height:1.55;overflow-x:auto}.page-footer{border-top:1px solid var(--line);text-align:center;margin-top:24px;padding:14px 0 4px}.page-footer small{color:var(--muted);font-size:.82rem}.article-shell{width:min(980px,100% - 24px);margin:0 auto;padding:16px 0 42px}.article-nav{justify-content:space-between;gap:12px;margin-bottom:16px;display:flex}.article-nav a,.article-links a{border:1px solid var(--line);background:var(--surface);color:var(--brand);border-radius:999px;padding:8px 12px;font-size:.86rem;font-weight:800;text-decoration:none}.build-note{border:1px solid var(--line);background:var(--surface);border-radius:8px;padding:clamp(18px,4vw,42px)}.build-note h1{max-width:860px}.article-lead{max-width:820px;color:var(--muted);font-size:1.05rem;line-height:1.56}.article-links{flex-wrap:wrap;gap:8px;margin:18px 0 26px;display:flex}.build-note section{border-top:1px solid var(--line);margin-top:24px;padding-top:22px}.build-note p,.build-note li{color:var(--muted);line-height:1.6}.build-note ul{margin:0;padding-left:20px}.build-note li+li{margin-top:8px}.article-callout{border:1px solid var(--brand);background:var(--brand-soft);border-radius:8px;padding:18px}.db-card,.next-step,.table-wrap,.query-proof,.history-board,.action-index,.architecture,.proof-board{border:1px solid var(--line);background:var(--surface);border-radius:8px}.db-card{padding:12px;position:relative}.db-card strong{margin-bottom:6px;font-size:1rem;display:block}.db-card p{color:var(--muted);margin-bottom:0;font-size:.9rem;line-height:1.34}.db-card.preview{background:var(--warn-soft);border-color:#ecc56c}.db-card.live{background:var(--ok-soft);border-color:#8bc7a5}.pulse{background:currentColor;border-radius:999px;width:10px;height:10px;margin-right:8px;display:inline-block}.preview .pulse{color:var(--warn)}.live .pulse{color:var(--ok)}.judge-path{grid-template-columns:repeat(3,1fr);gap:8px;margin:12px 0;display:grid}.judge-path div,.metrics article,.lane{border:1px solid var(--line);background:var(--surface);border-radius:8px;transition:border-color .15s,transform .15s,box-shadow .15s}.judge-path div:hover,.lane:hover{border-color:var(--brand);transform:translateY(-1px);box-shadow:0 6px 18px #0d6b780f}.judge-path div{min-height:92px;padding:12px}.judge-path span{background:var(--brand);color:#fff;border-radius:50%;place-items:center;width:24px;height:24px;margin-bottom:8px;font-size:.85rem;font-weight:700;display:grid}.judge-path strong{margin-bottom:4px;display:block}.judge-path p,.metrics p,.lane p,.architecture p,.architecture li{color:var(--muted);line-height:1.36}.metrics{grid-template-columns:repeat(5,1fr);gap:8px;margin-bottom:12px;display:grid}.metrics article{padding:10px 12px}.metrics span{margin-bottom:2px;font-size:1.45rem;font-weight:800;display:block}.metrics p{margin:0}.workbench{grid-template-columns:minmax(230px,290px) 1fr;align-items:start;gap:12px;display:grid}.next-step{padding:14px;position:sticky;top:10px}.hint{background:var(--warn-soft);color:var(--warn);border-radius:8px;margin-top:10px;padding:10px}.hint strong,.hint span{display:block}.hint strong{margin-bottom:4px}.table-wrap{padding:14px}.table-head{justify-content:space-between;gap:12px;margin-bottom:10px;display:flex}.table-head span{background:var(--brand-soft);color:var(--brand);border-radius:999px;align-self:start;padding:6px 9px;font-size:.82rem;font-weight:700}.cards{gap:8px;display:grid}.lane{padding:12px}.lane-title{justify-content:space-between;gap:10px;margin-bottom:10px;display:flex}.lane-title span,.lane footer span{white-space:nowrap;border-radius:999px;padding:6px 9px;font-size:.8rem;font-weight:700}.lane.submitted .lane-title span,.lane.submitted footer span{background:var(--ok-soft);color:var(--ok)}.lane.blocked .lane-title span,.lane.blocked footer span{background:var(--danger-soft);color:var(--danger)}.lane.registered .lane-title span,.lane.registered footer span,.lane.watching .lane-title span,.lane.watching footer span,.lane.proof_needed .lane-title span,.lane.proof_needed footer span{background:var(--warn-soft);color:var(--warn)}dl{grid-template-columns:1fr 1fr;gap:8px 14px;margin:0;display:grid}dt{color:#34434b;margin-bottom:3px;font-size:.78rem;font-weight:800}dd{color:var(--muted);margin:0;line-height:1.4}.lane footer{border-top:1px solid var(--line);justify-content:space-between;gap:10px;margin-top:10px;padding-top:8px;display:flex}.lane footer a{color:var(--brand);font-weight:700;text-decoration:none}.architecture,.proof-board{grid-template-columns:1fr 1fr;gap:14px;margin-top:16px;padding:14px;display:grid}.architecture ul{margin:0;padding-left:20px}.architecture li+li{margin-top:6px}.query-proof,.history-board,.action-index{grid-template-columns:minmax(0,.95fr) minmax(0,1.05fr);gap:12px;margin-top:16px;padding:14px;display:grid}.query-main p,.history-board p,.action-index p{color:var(--muted);line-height:1.4}code{background:var(--surface-soft);color:#23343c;border-radius:5px;padding:2px 5px;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.88em}.query-counts{flex-wrap:wrap;gap:8px;margin:10px 0;display:flex}.query-counts span,.index-proof span,.api-link,.query-side a{border-radius:999px;padding:6px 9px;font-size:.82rem;font-weight:800;text-decoration:none}.query-counts span{background:var(--ok-soft);color:var(--ok)}.index-proof{gap:6px;margin:10px 0;display:grid}.index-proof span{background:var(--brand-soft);width:fit-content;max-width:100%;color:var(--brand);overflow-wrap:anywhere}.api-link,.query-side a{background:var(--brand);color:#fff;display:inline-flex}.query-side,.history-list,.queue-list{gap:8px;display:grid}.query-side article,.history-list article,.queue-list article{border:1px solid var(--line);background:var(--surface-soft);border-radius:8px;padding:10px}.query-side strong,.history-list strong,.queue-list strong{margin-bottom:6px;display:block}.query-side code{background:#fff;margin-bottom:8px;display:inline-block}.query-side p,.history-list p,.history-list small,.queue-list p,.queue-list small{color:var(--muted);line-height:1.42}.query-side p,.history-list p,.queue-list p{margin-bottom:6px}.history-list span,.queue-list span{color:var(--brand);margin-bottom:6px;font-size:.8rem;font-weight:800;display:block}.proof-grid{grid-template-columns:1fr 1fr;gap:8px;display:grid}.proof{border:1px solid var(--line);background:var(--surface-soft);border-radius:8px;min-height:98px;padding:10px}.proof span{text-transform:uppercase;border-radius:999px;margin-bottom:7px;padding:5px 8px;font-size:.72rem;font-weight:800;display:inline-flex}.proof strong{margin-bottom:6px;display:block}.proof p{margin-bottom:0}.proof.done span{background:var(--ok-soft);color:var(--ok)}.proof.waiting span{background:var(--warn-soft);color:var(--warn)}.proof.blocked span{background:var(--danger-soft);color:var(--danger)}@media (max-width:860px){.topbar,.judge-path,.metrics,.workbench,.query-proof,.history-board,.action-index,.architecture,.proof-board,.proof-grid,.verify-steps,dl{grid-template-columns:1fr}.next-step{position:static}.metrics{grid-template-columns:repeat(2,1fr)}}@media (max-width:560px){.shell{width:min(100% - 20px,1180px);padding-top:18px}h1{font-size:2.35rem}.lane-title,.table-head,.lane footer{flex-direction:column}}