:root{--color-canvas:#f8f8f4;--color-surface:#ffffff;--color-ink:#172638;--color-ink-strong:#142d4c;--color-practice:#2864e6;--color-proof:#177145;--color-proof-strong:#0e3d2f;--space-1:4px;--space-2:8px;--space-3:12px;--space-4:16px;--space-5:20px;--space-6:24px;--space-8:32px;--space-10:40px;--radius-control:8px;--radius-card:14px;--radius-feature:18px;--shadow-evidence:0 14px 34px rgba(18,45,76,.08);--ink:#172638;--muted:#566575;--paper:#f8f8f4;--panel:#ffffff;--navy:#142d4c;--blue:#2864e6;--blue-pale:#e9f0ff;--mint:#dff7e9;--green:#177145;--proof-strong:#0e3d2f;--line:#dce2e7;--amber:#f7c964;--danger:#a72a35;--focus:#0a56c2}*{box-sizing:border-box}html{background:var(--paper)}body{margin:0;color:var(--ink);background:radial-gradient(circle at 92% -4%,#e2eaff 0,transparent 26rem),linear-gradient(180deg,#fcfcf9 0,var(--paper) 100%);font-family:Arial,Helvetica,sans-serif}.route-transition{min-width:0}.route-transition--enter{animation:route-view-enter .22s cubic-bezier(.16,1,.3,1) both}.workspace-view{min-width:0}.workspace-view--enter{animation:workspace-view-enter .24s cubic-bezier(.16,1,.3,1) both}@keyframes route-view-enter{0%{opacity:0;transform:translateY(8px)}to{opacity:1;transform:translateY(0)}}@keyframes workspace-view-enter{0%{opacity:0;transform:translateY(6px)}to{opacity:1;transform:translateY(0)}}button,textarea{font:inherit}button{cursor:pointer}button:disabled{cursor:not-allowed;opacity:.56}.app-shell{min-height:100vh;padding:26px clamp(20px,5vw,80px) 72px}.app-header{display:flex;align-items:center;justify-content:space-between;max-width:1240px;margin:0 auto 42px}.brand{display:inline-flex;align-items:center;min-height:36px;color:var(--navy);line-height:0;text-decoration:none}.brand-lockup-frame{display:block}.brand-lockup{display:block;width:150px;height:auto}.brand-mark-image{display:none;width:34px;height:34px}.header-proof{color:var(--muted);font-size:14px}.header-actions{display:flex;align-items:center;gap:16px}.cohort-link{color:var(--blue);font-size:14px;font-weight:800;text-decoration:none}.judge-intro{display:flex;align-items:center;justify-content:space-between;gap:22px;max-width:1240px;margin:-18px auto 32px;padding:14px 17px;border:1px solid #bed2f6;border-radius:11px;color:#27415f;background:#f1f6ff;font-size:14px;line-height:1.45}.judge-intro p{margin:0}.judge-intro a{color:#164ebd;font-weight:800}.demo-mode-button,.judge-intro button,.share-proof button{min-height:36px;padding:7px 10px;border:1px solid #aebed2;border-radius:8px;color:#27415f;background:white;font-size:12px;font-weight:800}.demo-mode-button:hover:not(:disabled),.judge-intro button:hover:not(:disabled),.share-proof button:hover:not(:disabled){border-color:#547499;color:var(--navy)}.workspace-grid{display:grid;grid-template-columns:minmax(0,800px) 305px;gap:clamp(28px,3vw,52px);max-width:1240px;margin:0 auto;align-items:start}.progress-row{display:flex;justify-content:space-between;align-items:center;margin-bottom:24px;color:var(--muted);font-size:13px}.progress-label{color:var(--navy);font-weight:700}.problem-panel{margin-bottom:24px}.eyebrow-row{display:flex;align-items:center;gap:12px}.eyebrow{display:inline-block;color:var(--blue);font-size:11px;font-weight:800;letter-spacing:.1em;text-transform:uppercase}.eyebrow.transfer{color:var(--green)}.no-hints{padding:4px 8px;border-radius:99px;color:#704b00;background:#fff1c9;font-size:11px;font-weight:700}.problem-panel h2,.verifying-card h2{margin:10px 0;color:var(--navy);font-size:clamp(29px,4vw,43px);line-height:1.06;letter-spacing:-1.7px}.problem-narrative{max-width:700px;margin:0 0 16px;color:#405165;font-size:17px;line-height:1.55}.instruction-box{padding:15px 17px;border-left:3px solid var(--blue);border-radius:0 9px 9px 0;color:#33465c;background:var(--blue-pale);font-size:15px;line-height:1.5}.transfer-note{margin:15px 0 0;color:var(--green);font-size:14px;line-height:1.45}.editor-shell{overflow:hidden;border:1px solid #25384e;border-radius:13px;background:#102033;box-shadow:0 13px 27px rgba(15,37,62,.13)}.editor-topbar{display:flex;align-items:center;gap:7px;height:38px;padding:0 13px;border-bottom:1px solid rgba(255,255,255,.08);background:#172a40}.editor-dot{width:9px;height:9px;border-radius:50%}.editor-dot.red{background:#ff7066}.editor-dot.amber{background:#f5c44b}.editor-dot.green{background:#64d38b}.editor-filename{margin-left:7px;color:#aebdcd;font:12px ui-monospace,SFMono-Regular,Menlo,monospace}.editor-status{margin-left:auto;color:#8ea4bb;font:11px ui-monospace,SFMono-Regular,Menlo,monospace}.editor-shell[data-disabled=true]{border-color:#405268;box-shadow:none}.editor-shell[data-disabled=true] .editor-topbar{background:#152438}.editor-shell[data-disabled=true] .editor-status{color:#bdc9d6}.editor-body{display:grid;grid-template-columns:43px minmax(0,1fr);min-height:195px}.line-numbers{display:flex;flex-direction:column;padding:16px 10px;color:#63778e;background:rgba(0,0,0,.11);font:13px/1.6 ui-monospace,SFMono-Regular,Menlo,monospace;text-align:right;user-select:none}.code-input{width:100%;min-height:195px;padding:16px;border:0;outline:0;resize:vertical;color:#e4edf8;background:transparent;font:14px/1.6 ui-monospace,SFMono-Regular,Menlo,monospace;tab-size:4}.code-input:disabled{color:#a8b4c2}.run-row{display:flex;align-items:center;gap:13px;margin-top:16px}.run-button{display:inline-flex;align-items:center;gap:8px;padding:11px 16px;border:0;border-radius:9px;color:white;background:var(--blue);box-shadow:0 6px 12px rgba(40,100,230,.22);font-weight:800}.run-button:hover:not(:disabled){background:#2058d4;transform:translateY(-1px)}.unaided-label{color:var(--green);font-size:13px;font-weight:700}.execution-panel{margin-top:20px}.runner-status{display:flex;align-items:center;gap:8px;color:var(--muted);font-size:13px;font-weight:700}.status-orb{display:inline-block;width:8px;height:8px;border-radius:50%}.status-orb.ready{background:#35b568;box-shadow:0 0 0 4px #dff7e9}.status-orb.warming{background:var(--amber);box-shadow:0 0 0 4px #fff4d6;animation:pulse 1.2s infinite}.status-orb.error{background:var(--danger);box-shadow:0 0 0 4px #fde4e6}.execution-panel>p{margin:10px 0 0;color:var(--muted);font-size:13px}.agent-error,.execution-panel .error-copy{color:var(--danger)}.result-card{position:relative;margin-top:13px;padding:13px 16px;border-radius:10px;font-size:14px}.result-card.success{border:1px solid #bde9cd;background:#f1fbf5;color:#155b38}.result-card.failure{border:1px solid #f0c8ca;background:#fff6f6;color:#7e2931}.result-card span{float:right;font-size:12px;opacity:.75}.result-card pre{overflow:auto;max-height:150px;margin:10px 0 0;padding:9px;border-radius:5px;background:rgba(255,255,255,.55);color:inherit;font:12px/1.4 ui-monospace,SFMono-Regular,Menlo,monospace;white-space:pre-wrap}.agent-error{margin:13px 0 0;font-size:14px}.coach-panel,.proof-card{margin-top:25px;padding:20px;border:1px solid #cbd9f9;border-radius:13px;background:#f8faff}.coach-heading{display:flex;gap:12px;align-items:flex-start}.coach-icon{display:grid;place-items:center;flex:0 0 26px;height:26px;border-radius:8px;color:white;background:var(--blue);font-weight:800}.coach-panel h3{max-width:600px;margin:4px 0 0;color:var(--navy);font-size:18px;letter-spacing:-.2px}.evidence{margin:14px 0 0;color:#516377;font-size:14px;line-height:1.45}.socratic-hint{margin:15px 0 0;padding:13px 15px;border-radius:8px;color:#284264;background:white;font-size:15px;font-weight:600;line-height:1.45}.text-button{display:block;margin-top:15px;padding:0;border:0;color:var(--blue);background:transparent;font-size:14px;font-weight:800;text-align:left}.hint-meter{display:block;margin-top:8px;color:var(--muted);font-size:12px}.verifying-card{display:flex;gap:17px;align-items:flex-start;padding:27px;border:1px solid #cbd9f9;border-radius:15px;background:#f8faff}.verifying-card .status-orb{flex:0 0 9px;margin-top:6px}.verifying-card p{margin:0;color:#53677d;line-height:1.5}.proof-card{border-color:#bee9cf;background:#f4fcf7}.proof-card h3{margin:7px 0;color:var(--green);font-size:23px;letter-spacing:-.5px}.proof-card p{margin:0;color:#3c664e;line-height:1.45}.proof-facts{display:flex;flex-wrap:wrap;gap:9px;margin:17px 0}.proof-facts span{padding:6px 9px;border-radius:99px;color:#246a43;background:#dff7e9;font-size:12px;font-weight:700}.proof-link{color:var(--green);font-size:14px;font-weight:800;text-decoration:none}.mastery-map{position:sticky;top:24px;padding-top:8px}.map-heading{display:flex;justify-content:space-between;align-items:baseline;padding-bottom:13px;border-bottom:1px solid var(--line)}.map-count{color:var(--muted);font-size:12px}.concept-list{display:block;margin-top:12px}.concept-row{display:grid;grid-template-columns:31px 1fr;gap:10px;align-items:center;min-height:62px;opacity:.67}.concept-row.active{opacity:1}.concept-marker{display:grid;place-items:center;width:25px;height:25px;border-radius:50%;color:#768594;background:#e3e8ec;font-size:12px;font-weight:800}.concept-marker.current{color:white;background:var(--blue);box-shadow:0 0 0 4px #e5edff}.concept-marker.mastered{color:white;background:#2fa866;box-shadow:0 0 0 4px #dff7e9}.concept-row strong{display:block;color:var(--navy);font-size:14px}.concept-row div span{display:block;margin-top:3px;color:var(--muted);font-size:12px}.map-footnote{margin:16px 0 0;color:var(--muted);font-size:12px;line-height:1.45}.proof-page{min-height:100vh;padding:42px 20px 70px}.back-link{display:block;width:min(720px,100%);margin:0 auto 23px;color:var(--blue);font-size:14px;font-weight:800;text-decoration:none}.share-proof{width:min(720px,100%);margin:0 auto;padding:clamp(27px,6vw,56px);border:1px solid #d8e6dc;border-radius:19px;background:white;box-shadow:0 18px 50px rgba(27,60,44,.08)}.share-proof h1{margin:10px 0;color:var(--navy);font-size:clamp(32px,6vw,54px);letter-spacing:-2.4px}.proof-lede{max-width:590px;color:#4a5e70;font-size:17px;line-height:1.55}.verification-stamp{display:inline-block;margin:22px 0 10px;padding:8px 11px;border-radius:99px;color:#14633b;background:var(--mint);font-size:13px;font-weight:800}.transcript-timeline{margin-top:15px;border-top:1px solid var(--line)}.transcript-timeline article{display:grid;grid-template-columns:39px minmax(0,1fr);gap:13px;padding:19px 0;border-bottom:1px solid var(--line)}.transcript-timeline article>div{min-width:0}.transcript-timeline article>span{display:grid;place-items:center;width:28px;height:28px;border-radius:50%;color:var(--blue);background:var(--blue-pale);font-size:11px;font-weight:800}.transcript-timeline strong{color:var(--navy);font-size:15px}.transcript-timeline p{margin:6px 0 0;color:var(--muted);font-size:14px;line-height:1.45}.transcript-timeline .verified-step>span{color:white;background:#2fa866}.pass-proof{color:var(--green)!important;font-weight:800}.share-proof footer{margin-top:25px;color:#82908c;font-size:12px}@keyframes pulse{50%{transform:scale(.78);opacity:.56}}:where(a,button,textarea,summary):focus-visible{outline:3px solid var(--focus);outline-offset:3px}.skip-link{position:fixed;z-index:10;top:10px;left:10px;padding:10px 13px;border-radius:8px;color:white;background:var(--navy);font-weight:800;text-decoration:none;transform:translateY(-160%)}.skip-link:focus{transform:translateY(0)}.editor-shell:focus-within{outline:3px solid var(--focus);outline-offset:3px;border-color:#4d92ff}.code-input:focus-visible{outline:0}.proof-mode-banner{display:flex;gap:13px;align-items:flex-start;margin:0 0 20px;padding:16px 18px;border-radius:12px;color:white;background:var(--proof-strong);box-shadow:0 8px 18px rgba(14,61,47,.13)}.locked-hint-card>span,.proof-mode-banner>span{display:grid;place-items:center;flex:0 0 25px;width:25px;height:25px;border:1px solid;border-radius:7px;font-size:15px;font-weight:800}.proof-mode-banner strong{display:block;font-size:14px;letter-spacing:.02em}.proof-mode-banner p{margin:4px 0 0;color:#e4f7eb;font-size:14px;line-height:1.45}.transfer-problem-panel{margin-bottom:22px;padding:20px;border:1px solid #b9dfc8;border-radius:13px;background:#f4fcf7}.transfer-problem-panel .instruction-box{border-left-color:var(--green);background:#e7f8ed}.proof-run-button{background:var(--green);box-shadow:0 6px 12px rgba(23,113,69,.2)}.proof-run-button:hover:not(:disabled){background:#105d36}.locked-hint-card{display:flex;gap:12px;align-items:flex-start;margin-top:25px;padding:15px 17px;border:1px solid #ead39a;border-radius:11px;color:#704b00;background:#fff8e5}.locked-hint-card p{margin:0;font-size:14px;line-height:1.5}.locked-hint-card strong{display:block;margin-bottom:2px}.concept-row{width:100%;min-height:66px;padding:9px 10px;border:1px solid transparent;border-radius:10px;color:inherit;background:transparent;opacity:1;text-align:left;transition:background-color .14s ease,border-color .14s ease,box-shadow .14s ease}.concept-row:hover:not(:disabled){border-color:#c7d4e6;background:#f5f8fc}.concept-row.active{border-color:#bad0fa;background:#f1f5ff;box-shadow:inset 3px 0 0 var(--blue)}.concept-row:not(.active) .concept-marker{box-shadow:none}.concept-row[data-state=Attempting] .concept-marker{color:white;background:var(--blue)}.concept-row[data-state=Nudged] .concept-marker{color:#1647b8;border:2px solid #6f9cf1;background:white}.concept-row[data-state=TransferTesting] .concept-marker{color:white;background:var(--proof-strong)}.concept-row[data-state=Mastered] .concept-marker{color:white;background:#2fa866;box-shadow:0 0 0 4px #dff7e9}.concept-row strong{overflow-wrap:anywhere}.concept-tier{padding:15px 0;border-bottom:1px solid var(--line)}.tier-heading{margin:0 0 6px 10px}.tier-heading span,.tier-heading strong{display:block}.tier-heading strong{color:var(--navy);font-size:12px;font-weight:850}.tier-heading span{margin-top:3px;color:var(--muted);font-size:11px;line-height:1.35}.concept-entry{margin-top:3px}.concept-row.locked{color:#687887;background:#f7f8f8;opacity:.78}.concept-row.locked .concept-marker{color:#647386;background:#e9edef}.concept-row.locked div span,.concept-row.locked strong{color:#687887}.lock-reason{margin:0 10px 8px 41px;color:#6f5a28;font-size:11px;line-height:1.35}.demo-mode-control{display:grid;gap:9px;margin:14px 0 4px;padding:12px;border:1px solid #d3dde9;border-radius:10px;background:#f8fbff}.demo-mode-control span,.demo-mode-control strong{display:block}.demo-mode-control strong{color:#29415d;font-size:12px}.demo-mode-control span{margin-top:3px;color:var(--muted);font-size:11px;line-height:1.35}.demo-mode-button{width:100%;color:#1b4b9d;border-color:#b9cdf1;background:white}.demo-mode-button.active{color:white;border-color:var(--blue);background:var(--blue)}.reset-progress-button{min-height:44px;margin-top:16px;padding:9px 11px;border:1px solid #bfcbd7;border-radius:8px;color:#405165;background:transparent;font-size:13px;font-weight:800}.reset-progress-button:hover:not(:disabled){border-color:#7389a2;background:white;color:var(--navy)}.result-card details{margin-top:11px}.result-card summary{cursor:pointer;font-size:13px;font-weight:800}.result-card dl{max-width:100%}.result-card dd{overflow-wrap:anywhere}.share-proof h2{margin:31px 0 10px;color:var(--navy);font-size:19px;letter-spacing:-.3px}.share-proof ol{padding-left:20px}.share-proof li{margin:10px 0;color:var(--muted);font-size:14px;line-height:1.45}.agent-state{display:flex;flex-wrap:wrap;align-items:center;gap:8px;min-height:28px;margin:-12px 0 17px;color:var(--muted);font-size:12px;font-weight:700}.agent-state strong{color:var(--navy)}.agent-state-loading{width:10px;height:10px;border:2px solid #aac4fb;border-top:2px solid var(--blue);border-radius:50%;animation:agent-spin .8s linear infinite}.agent-source{display:inline-flex;align-items:center;min-height:24px;padding:4px 8px;border:1px solid;border-radius:999px;font-size:11px;font-weight:800}.agent-source-live{border-color:#b8ccf7;color:#17469f;background:#edf3ff}.agent-source-bank{border-color:#b9ddc8;color:#175a37;background:#f1fbf5}.agent-fallback-notice{color:#70500c}.learning-workspace[data-phase=mastered] .proof-card{border-width:2px;box-shadow:0 14px 30px rgba(23,113,69,.13);animation:proof-arrive .24s ease-out both}.proof-hash{display:block;max-width:100%;margin:12px 0 14px;padding:11px 12px;overflow-wrap:anywhere;border:1px solid #bed8c7;border-radius:8px;color:#175a37;background:#f3fbf6;font:12px/1.45 ui-monospace,SFMono-Regular,Menlo,monospace}.proof-json-label{display:block;margin:24px 0 8px;color:var(--navy);font-size:14px;font-weight:800}.proof-json-input{display:block;width:100%;min-height:190px;padding:13px;border:1px solid #afc0d0;border-radius:10px;color:#1b2d40;background:#fbfcfe;font:13px/1.55 ui-monospace,SFMono-Regular,Menlo,monospace;resize:vertical}.proof-json-input:focus-visible{outline:3px solid var(--focus);outline-offset:2px;border-color:var(--focus)}.verify-proof-button{min-height:42px;margin-top:12px;padding:10px 14px;border:0;border-radius:9px;color:white;background:var(--proof-strong);box-shadow:0 6px 12px rgba(14,61,47,.16);font-weight:800}.verify-proof-button:hover:not(:disabled){background:#092d22;transform:translateY(-1px)}.proof-verification-result{margin-top:18px;padding:15px 16px;border:1px solid;border-radius:10px}.proof-verification-result>strong{display:block;font-size:15px}.proof-verification-result p,.proof-verification-result ul{margin:8px 0 0;font-size:14px;line-height:1.45}.proof-verification-result code{overflow-wrap:anywhere;font:12px/1.45 ui-monospace,SFMono-Regular,Menlo,monospace}.proof-verification-verified{border-color:#b9ddc8;color:#155b38;background:#f1fbf5}.proof-verification-altered,.proof-verification-invalid{border-color:#efc2c6;color:#7e2931;background:#fff6f6}.proof-verification-inconsistent,.proof-verification-unsealed{border-color:#ead39a;color:#704b00;background:#fff8e5}@keyframes agent-spin{to{transform:rotate(1turn)}}@keyframes proof-arrive{0%{opacity:.7;transform:translateY(4px)}to{opacity:1;transform:translateY(0)}}@media (prefers-reduced-motion:reduce){*,:after,:before{scroll-behavior:auto!important;animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important}}@media (prefers-color-scheme:dark){:root{color-scheme:dark;--ink:#e7edf6;--muted:#adbac8;--paper:#0e1721;--panel:#142130;--navy:#f0f5fb;--blue:#7aa5ff;--blue-pale:#172a46;--mint:#173f30;--green:#63c994;--proof-strong:#174c39;--line:#2a3b4d;--amber:#f1bf4c;--danger:#f08b94;--focus:#9abaff}body,html{background:var(--paper)}.brand-lockup-frame{padding:3px 5px;border-radius:9px;background:white;box-shadow:0 4px 10px rgba(0,0,0,.16)}body{background:radial-gradient(circle at 92% -4%,#182b4a 0,transparent 26rem),linear-gradient(180deg,#111c28 0,var(--paper) 100%)}.demo-mode-control span,.evidence,.execution-panel>p,.header-proof,.map-count,.map-footnote,.problem-narrative,.tier-heading span,.transfer-note{color:var(--muted)}.back-link,.cohort-link,.text-button{color:#9abaff}.demo-mode-control,.judge-intro{border-color:#365172;color:#d4e2f3;background:#16263a}.judge-intro a{color:#adc7ff}.demo-mode-button,.judge-intro button,.share-proof button{border-color:#49637e;color:#d8e5f4;background:#172534}.instruction-box{color:#d8e4f2;background:#172a46}.transfer-problem-panel{border-color:#2f7255;background:#132d25}.transfer-problem-panel .instruction-box{background:#193a2c}.proof-mode-banner{background:#174c39;box-shadow:0 8px 18px rgba(0,0,0,.28)}.locked-hint-card{border-color:#735c27;color:#f0cf79;background:#332a15}.coach-panel{border-color:#36517c;background:#15253d}.socratic-hint{color:#dfeafb;background:#1a2d47}.verifying-card{border-color:#36517c;background:#15253d}.proof-card{border-color:#347650;background:#142f25}.proof-card p{color:#bfe6cc}.proof-facts span{color:#c9f2d7;background:#1a4c38}.proof-link{color:#83d9a6}.concept-row:hover:not(:disabled){border-color:#3d5774;background:#172535}.concept-row.active{border-color:#527bc7;background:#172845}.concept-row.locked{color:#a7b1bd;background:#17202a}.concept-row.locked .concept-marker{color:#b9c4cf;background:#2a3947}.concept-row.locked div span,.concept-row.locked strong{color:#b9c4cf}.lock-reason{color:#eccf7d}.reset-progress-button{border-color:#52677d;color:#d0dce7}.reset-progress-button:hover:not(:disabled){background:#182737;color:#f0f5fb}.result-card.success{border-color:#347650;color:#bee9cc;background:#143226}.result-card.failure{border-color:#80444c;color:#fac5ca;background:#351d24}.result-card pre{background:rgba(0,0,0,.22)}.share-proof{border-color:#31495d;background:#142130;box-shadow:0 18px 50px rgba(0,0,0,.25)}.proof-json-label,.share-proof h1,.share-proof h2,.transcript-timeline strong{color:var(--navy)}.proof-lede,.share-proof li,.transcript-timeline p{color:var(--muted)}.transcript-timeline article{border-color:var(--line)}.proof-hash{border-color:#347650;color:#bfe9cf;background:#143226}.proof-json-input{border-color:#496278;color:#e7edf6;background:#101c29}.agent-source-live{border-color:#496fae;color:#c5d8ff;background:#1a2d4b}.agent-source-bank{border-color:#347650;color:#bfe9cf;background:#143226}.agent-fallback-notice{color:#f0cf79}}@media (max-width:900px){.workspace-grid{grid-template-columns:1fr}.mastery-map{position:static;padding-top:25px}.map-footnote{max-width:430px}}@media (max-width:560px){.app-shell{padding:18px 17px 45px}.app-header{margin-bottom:29px}.header-proof{display:none}.header-actions{gap:0}.judge-intro{align-items:flex-start;flex-direction:column;gap:12px;margin:-12px auto 28px}.progress-row{align-items:flex-start;gap:16px;line-height:1.4}.problem-panel h2,.verifying-card h2{font-size:31px}.proof-facts{display:grid}.run-row{align-items:flex-start;flex-direction:column}.verifying-card{padding:21px}.editor-body{grid-template-columns:34px minmax(0,1fr)}.line-numbers{padding-left:5px;padding-right:7px}.transfer-problem-panel{padding:16px}.proof-mode-banner{padding:14px}.reset-progress-button{width:100%}}.sr-only{position:absolute;width:1px;height:1px;padding:0;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.app-shell{padding-top:30px}.app-header{max-width:1280px;margin-bottom:20px;padding-bottom:16px;border-bottom:1px solid color-mix(in srgb,var(--line) 85%,transparent)}.header-actions{gap:18px}.header-proof{max-width:180px;font-size:12px;line-height:1.35}.judge-intro{display:grid;grid-template-columns:minmax(0,.95fr) minmax(0,1.35fr);gap:clamp(22px,4vw,48px);max-width:1280px;margin:0 auto 24px;padding:clamp(22px,3.4vw,34px);border-color:#b8cbee;border-radius:var(--radius-feature);color:var(--ink);background:linear-gradient(120deg,rgba(233,240,255,.92),rgba(255,255,255,.88) 55%,rgba(223,247,233,.78));box-shadow:var(--shadow-evidence)}.judge-intro-copy{align-self:center}.judge-intro-copy .eyebrow{margin-bottom:9px}.judge-intro-copy h2{max-width:500px;margin:0;color:var(--navy);font-size:clamp(29px,3.4vw,46px);line-height:1.02;letter-spacing:-1.75px}.judge-intro-copy p{max-width:520px;margin:16px 0 0;color:#405165;font-size:16px;line-height:1.58}.judge-pillars{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:10px}.judge-pillars article{display:grid;align-content:start;gap:7px;min-height:164px;padding:15px;border:1px solid #cfdbeb;border-radius:12px;background:rgba(255,255,255,.74)}.judge-pillars article:nth-child(2){border-color:#b9dec8;background:rgba(244,252,247,.82)}.judge-pillars article:nth-child(3){border-color:#dfd0ab;background:rgba(255,250,240,.84)}.judge-pillars strong{color:var(--blue);font-size:11px;letter-spacing:.08em}.judge-pillars article:nth-child(2) strong{color:var(--green)}.judge-pillars article:nth-child(3) strong{color:#7b580c}.judge-pillars span{color:var(--navy);font-size:13px;font-weight:850;line-height:1.25}.judge-pillars p{margin:0;color:var(--muted);font-size:12px;line-height:1.45}.judge-intro-actions{display:flex;flex-wrap:wrap;grid-column:1/-1;align-items:center;gap:10px;padding-top:2px}.intro-link,.judge-intro button{display:inline-flex;min-height:42px;align-items:center;justify-content:center;padding:9px 13px;border:1px solid #afc0d6;border-radius:var(--radius-control);color:#29415d;background:rgba(255,255,255,.9);font-size:13px;font-weight:800;line-height:1.2;text-decoration:none}.intro-link-primary{border-color:var(--proof-strong);color:white;background:var(--proof-strong);box-shadow:0 6px 12px rgba(14,61,47,.14)}.intro-link:hover,.judge-intro button:hover:not(:disabled){border-color:var(--navy);color:var(--navy)}.intro-link-primary:hover{border-color:#092d22;color:white;background:#092d22}.phase-spine-wrap{max-width:1280px;margin:0 auto clamp(28px,4vw,44px)}.workspace-grid{grid-template-columns:minmax(0,820px) minmax(280px,320px);max-width:1280px;gap:clamp(28px,4vw,60px)}.learning-workspace{min-width:0;scroll-margin-top:22px}.progress-row{margin-bottom:26px;padding:0 0 15px;border-bottom:1px solid var(--line);font-weight:700}.progress-row>span:last-child{color:var(--green);font-weight:800}.learning-workspace[data-phase=original] .progress-row>span:last-child{color:var(--blue)}.problem-panel{margin-bottom:26px}.problem-panel h2,.verifying-card h2{max-width:760px}.instruction-box{border-radius:0 var(--radius-control) var(--radius-control) 0}.editor-shell{border-radius:var(--radius-card)}.run-button,.verify-proof-button{min-height:44px;border-radius:var(--radius-control)}.proof-mode-banner{margin-bottom:24px;padding:20px;border:1px solid #0e3d2f;border-radius:var(--radius-card);box-shadow:0 12px 26px rgba(14,61,47,.16)}.proof-mode-banner strong{font-size:15px}.proof-mode-banner p{max-width:620px;font-size:15px}.transfer-problem-panel{border-width:2px}.locked-hint-card,.transfer-problem-panel{border-radius:var(--radius-card)}.proof-card{position:relative;overflow:hidden;padding:clamp(22px,3vw,30px);border-width:2px;border-radius:var(--radius-feature);background:linear-gradient(135deg,#f4fcf7,#ffffff);box-shadow:var(--shadow-evidence)}.proof-card:before{position:absolute;top:-44px;right:-30px;width:132px;height:132px;border:24px solid rgba(23,113,69,.1);border-radius:50%;content:""}.proof-card>*{position:relative}.proof-card h3{font-size:clamp(24px,3vw,31px)}.proof-issuance-heading{display:flex;gap:15px;align-items:flex-start}.proof-seal{display:grid;flex:0 0 42px;width:42px;height:42px;place-items:center;border:1px solid #278451;border-radius:12px;color:white;background:var(--green);box-shadow:0 7px 14px rgba(23,113,69,.18);font-size:21px;font-weight:900}.proof-issuance-heading h3{margin-top:6px}.proof-claim{display:grid;gap:4px;margin:20px 0 0;padding:12px 14px;border-left:3px solid var(--green);border-radius:0 var(--radius-control) var(--radius-control) 0;color:#285d41;background:rgba(223,247,233,.72);font-size:13px;line-height:1.45}.proof-claim strong{color:var(--green);font-size:11px;letter-spacing:.08em;text-transform:uppercase}.proof-link{display:inline-flex;min-height:40px;align-items:center;margin-top:2px;padding:9px 11px;border:1px solid #9bd0ae;border-radius:var(--radius-control);background:white}.proof-link:hover{border-color:var(--green);background:#f4fcf7}.workspace-skeleton{display:grid;gap:13px;width:min(820px,100%);min-height:420px;margin:52px auto 0;padding:clamp(24px,5vw,42px);border:1px solid var(--line);border-radius:var(--radius-feature);background:var(--panel);box-shadow:var(--shadow-evidence)}.workspace-skeleton p{margin:8px 0 0;color:var(--muted);font-size:14px}.skeleton-block,.skeleton-line{display:block;border-radius:6px;background:linear-gradient(90deg,#edf1f5 25%,#f8fafc 45%,#edf1f5 65%);background-size:240% 100%;animation:skeleton-shimmer 1.4s ease-in-out infinite}.skeleton-kicker{width:104px;height:12px}.skeleton-title{width:min(84%,470px);height:39px}.skeleton-copy{width:min(96%,620px);height:18px}.skeleton-block{min-height:210px;margin-top:16px}@keyframes skeleton-shimmer{to{background-position:-140% 0}}.proof-app-header{display:flex;align-items:center;justify-content:space-between;gap:20px;width:min(1120px,calc(100% - 40px));margin:0 auto;padding:26px 0 16px;border-bottom:1px solid var(--line)}.proof-page{padding-top:28px}.back-link,.share-proof{width:min(760px,100%)}.proof-loading{display:grid;gap:13px;min-height:470px}.proof-skeleton-title{width:min(78%,420px);height:46px}.proof-skeleton-block{min-height:230px;margin-top:14px}.route-state-page{min-height:calc(100vh - 92px);padding:clamp(40px,9vw,120px) 20px 72px}.route-state-card{width:min(700px,100%);margin:0 auto;padding:clamp(25px,5vw,52px);border:1px solid #cbd9e8;border-radius:var(--radius-feature);background:var(--panel);box-shadow:var(--shadow-evidence)}.route-state-card h1{margin:10px 0;color:var(--navy);font-size:clamp(31px,5vw,52px);line-height:1.05;letter-spacing:-2px}.route-state-card p{max-width:560px;margin:0;color:var(--muted);font-size:16px;line-height:1.55}.route-state-actions{display:flex;flex-wrap:wrap;gap:10px;margin-top:24px}@media (prefers-color-scheme:dark){:root{--color-canvas:#0e1721;--color-surface:#142130;--color-ink:#e7edf6;--color-ink-strong:#f0f5fb;--color-practice:#7aa5ff;--color-proof:#63c994;--color-proof-strong:#174c39}.app-header,.proof-app-header{border-color:#2a3b4d}.judge-intro{border-color:#3c597b;color:var(--ink);background:linear-gradient(120deg,#14253f,#142130 58%,#143127);box-shadow:0 14px 34px rgba(0,0,0,.24)}.judge-intro-copy p{color:#c2cfdd}.judge-pillars article{border-color:#38516d;background:rgba(19,34,51,.88)}.judge-pillars article:nth-child(2){border-color:#377a5a;background:rgba(20,47,37,.92)}.judge-pillars article:nth-child(3){border-color:#6f5b2a;background:rgba(55,44,20,.88)}.judge-pillars span{color:var(--navy)}.intro-link,.judge-intro button{border-color:#49637e;color:#d8e5f4;background:#172534}.judge-intro a.intro-link-primary{border-color:#63c994;color:#082418;background:#63c994}.judge-intro a.intro-link-primary:hover{border-color:#8ae4b1;color:#082418;background:#8ae4b1}.proof-card{border-color:#347650;background:linear-gradient(135deg,#142f25,#142130)}.proof-seal{border-color:#63c994;color:#082418;background:#63c994}.proof-claim{color:#c9f2d7;background:rgba(20,50,38,.85)}.proof-claim strong{color:#83d9a6}.proof-link{border-color:#347650;background:#142f25}.proof-link:hover{border-color:#63c994;background:#1a3e31}.route-state-card{border-color:#31495d;background:#142130}.verification-stamp{border:1px solid #4d9b70;color:#c9f2d7;background:#143226}.workspace-skeleton{border-color:#2a3b4d;background:#142130}.skeleton-block,.skeleton-line{background:linear-gradient(90deg,#1d2d3d 25%,#25394d 45%,#1d2d3d 65%);background-size:240% 100%}}@media (max-width:900px){.judge-intro{grid-template-columns:1fr}.judge-intro-actions{grid-column:auto}.workspace-grid{grid-template-columns:1fr}}@media (max-width:700px){.judge-pillars{grid-template-columns:1fr}.judge-pillars article{min-height:0;grid-template-columns:28px minmax(0,1fr);column-gap:10px}.judge-pillars article strong{grid-row:span 2}.judge-pillars article p{grid-column:2}}@media (max-width:560px){.app-shell{padding-top:18px}.app-header{align-items:flex-start;margin-bottom:18px;padding-bottom:12px}.brand-lockup-frame{display:none}.brand-mark-image{display:block}.header-actions{align-items:flex-end}.judge-intro{gap:20px;margin-bottom:18px;padding:20px}.judge-intro-copy h2{font-size:31px}.judge-intro-copy p{font-size:15px}.judge-intro-actions{align-items:stretch;flex-direction:column}.intro-link,.judge-intro button{width:100%}.phase-spine-wrap{margin-bottom:28px}.proof-app-header{width:calc(100% - 34px);padding-top:18px}.proof-page{padding:22px 17px 45px}.workspace-skeleton{min-height:360px;margin-top:24px}.route-state-page{padding:52px 17px}.route-state-actions{align-items:stretch;flex-direction:column}.route-state-actions .intro-link{width:100%}}@media (min-width:901px){.mastery-map{display:flex;align-self:start;flex-direction:column;block-size:calc(100dvh - 48px);min-block-size:0}.concept-list{flex:1 1 auto;min-block-size:0;overflow-y:auto;scrollbar-gutter:stable;scroll-padding-block:8px;padding:3px 8px 5px 3px}.concept-list:focus-visible{outline:3px solid var(--focus);outline-offset:3px}.concept-row{scroll-margin-block:8px}}