/*! tailwindcss v4.2.1 | MIT License | https://tailwindcss.com */
@layer theme{:root,:host{--font-sans:ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--font-mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--spacing:.25rem;--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono)}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring{outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab, red, red)){::placeholder{color:color-mix(in oklab, currentcolor 50%, transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.visible{visibility:visible}.sr-only{clip-path:inset(50%);white-space:nowrap;border-width:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.fixed{position:fixed}.relative{position:relative}.start{inset-inline-start:var(--spacing)}.end{inset-inline-end:var(--spacing)}.block{display:block}.grid{display:grid}.hidden{display:none}}:root{--bg:#070a0c;--bg-soft:#0b1013;--panel:#0d1317;--panel-2:#10181d;--panel-3:#131d22;--line:#213039;--line-soft:#172229;--text:#f2f7f8;--muted:#8fa2aa;--muted-strong:#b7c5ca;--cyan:#31d8f5;--cyan-soft:#31d8f51f;--amber:#ffad3d;--amber-soft:#ffad3d21;--green:#45dc8f;--green-soft:#45dc8f1f;--red:#ff6b68;--radius:7px;--font-sans:Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;--font-mono:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace}*{box-sizing:border-box}html{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;scroll-behavior:smooth;scroll-padding-top:86px}body{background:var(--bg);min-width:320px;color:var(--text);font-family:var(--font-sans);font-synthesis:none;text-rendering:optimizelegibility;margin:0}button,textarea,input{font:inherit}button,a{-webkit-tap-highlight-color:transparent}button{color:inherit}button:focus-visible,a:focus-visible,textarea:focus-visible,input:focus-visible{outline:2px solid var(--cyan);outline-offset:3px}button:disabled{cursor:not-allowed;opacity:.52}::selection{color:#031014;background:var(--cyan)}.sr-only{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.invariant-app{background:radial-gradient(circle at 82% 7%, #2195aa14, transparent 30rem), var(--bg);min-height:100vh;position:relative;overflow:hidden}.ambient-grid{pointer-events:none;opacity:.28;background-image:linear-gradient(#56808f1a 1px,#0000 1px),linear-gradient(90deg,#56808f1a 1px,#0000 1px);background-size:52px 52px;height:740px;position:absolute;inset:0 0 auto;-webkit-mask-image:linear-gradient(#000 45%,#0000);mask-image:linear-gradient(#000 45%,#0000)}.site-header,.hero,.workbench,.compiler-section,.verification-section,.repair-section,.transfer-section,.site-footer{width:min(1320px,100% - 56px);margin-inline:auto;position:relative}.site-header{z-index:30;border-bottom:1px solid var(--line-soft);justify-content:space-between;align-items:center;height:76px;display:flex}.brand{color:var(--text);align-items:center;gap:11px;text-decoration:none;display:inline-flex}.brand>span:nth-child(2){font-family:var(--font-mono);letter-spacing:.18em;font-size:14px;font-weight:800}.brand small{border-left:1px solid var(--line);color:#68808a;font-family:var(--font-mono);letter-spacing:.14em;padding-left:12px;font-size:10px}.brand-mark{place-items:center;width:25px;height:25px;display:grid;position:relative}.brand-mark i{border:1px solid var(--cyan);width:17px;height:17px;position:absolute;transform:rotate(45deg)}.brand-mark i:nth-child(2){opacity:.55;width:9px;height:9px}.brand-mark b{background:var(--cyan);width:3px;height:3px;box-shadow:0 0 12px var(--cyan)}.site-header nav{align-items:center;gap:8px;display:flex}.header-action,.icon-button,.text-button,.secondary-button,.primary-button,.compile-button,.retest-button,.small-action{cursor:pointer;border:0}.header-action{min-height:38px;color:var(--muted-strong);background:0 0;border:1px solid #0000;border-radius:5px;align-items:center;gap:8px;padding:0 13px;font-size:12px;font-weight:650;display:inline-flex}.header-action:hover{border-color:var(--line);color:var(--text);background:#ffffff05}.header-action svg,.icon-button svg{fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.6px;width:17px}.hero{z-index:1;grid-template-columns:1.03fr .97fr;align-items:center;gap:84px;min-height:510px;padding:78px 12px 72px;display:grid}.hero-kicker,.eyebrow{color:var(--cyan);font-family:var(--font-mono);letter-spacing:.15em;text-transform:uppercase;align-items:center;font-size:10px;font-weight:700;display:inline-flex}.live-dot,.cyan-dot{background:var(--cyan);width:6px;height:6px;box-shadow:0 0 0 4px #31d8f51a, 0 0 14px var(--cyan);border-radius:50%;margin-right:9px}.hero h1{letter-spacing:-.055em;max-width:690px;margin:23px 0 20px;font-size:clamp(48px,4.7vw,74px);font-weight:650;line-height:.99}.hero h1 em{color:var(--cyan);font-family:Georgia,Times New Roman,serif;font-weight:400}.hero-copy>p{max-width:560px;color:var(--muted-strong);margin:0;font-size:17px;line-height:1.65}.hero-actions{flex-wrap:wrap;gap:11px;margin-top:31px;display:flex}.primary-button,.secondary-button{border-radius:4px;justify-content:center;align-items:center;min-height:48px;font-size:13px;font-weight:750;display:inline-flex}.primary-button{background:var(--cyan);color:#031014;gap:30px;padding:0 18px 0 21px;box-shadow:inset 0 0 0 1px #ffffff26}.primary-button:hover{background:#6ce7fb;transform:translateY(-1px);box-shadow:0 8px 26px #31d8f521}.primary-button b{font-size:19px;font-weight:500}.secondary-button{border:1px solid var(--line);color:var(--muted-strong);background:#0c1216c7;gap:11px;padding:0 19px}.secondary-button:hover{background:var(--panel-2);color:var(--text);border-color:#3c535e}.play-glyph{color:var(--cyan);font-size:10px}.hero-system{border-radius:var(--radius);background:#090e11db;border:1px solid #24343c;padding:12px;position:relative;box-shadow:0 28px 80px #00000057}.hero-system:before,.hero-system:after{border-color:var(--cyan);content:"";width:20px;height:20px;position:absolute}.hero-system:before{border-top:1px solid;border-left:1px solid;top:-4px;left:-4px}.hero-system:after{border-bottom:1px solid;border-right:1px solid;bottom:-4px;right:-4px}.system-topline{color:var(--muted);font-family:var(--font-mono);letter-spacing:.12em;justify-content:space-between;align-items:center;padding:9px 11px 17px;font-size:10px;display:flex}.system-topline small{color:#4e6872;font-size:inherit}.system-flow{grid-template-columns:1fr auto 1fr auto 1fr;align-items:center;gap:8px;display:grid}.system-flow>i{color:#455b64;font-family:var(--font-mono);font-style:normal}.system-flow article{border:1px solid var(--line-soft);background:#0c1215;min-width:0;min-height:156px;padding:20px 15px 16px;display:grid;position:relative}.system-number{color:#435861;font-family:var(--font-mono);font-size:10px;position:absolute;top:10px;right:10px}.system-symbol{background:var(--cyan-soft);width:42px;height:42px;color:var(--cyan);font-family:var(--font-mono);border:1px solid #31d8f54d;border-radius:50%;place-items:center;margin-bottom:23px;font-weight:700;display:grid}.system-symbol.attack-symbol{background:var(--amber-soft);color:var(--amber);border-color:#ffad3d4d;font-size:24px;font-weight:300}.system-symbol.repair-symbol{background:var(--green-soft);color:var(--green);border-color:#45dc8f4d;font-size:20px}.system-flow strong,.system-flow small{display:block}.system-flow strong{font-family:var(--font-mono);letter-spacing:.1em;font-size:11px}.system-flow small{color:var(--muted);text-overflow:ellipsis;white-space:nowrap;margin-top:7px;font-size:10px;overflow:hidden}.hero-code{border:1px solid var(--line-soft);font-family:var(--font-mono);background:#080c0f;grid-template-columns:auto 1fr auto;align-items:center;gap:12px;margin-top:10px;padding:13px;font-size:10px;display:grid}.hero-code span{color:#58717b}.hero-code code{color:var(--muted-strong);text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.hero-code b{color:var(--green);letter-spacing:.08em;font-size:10px}.workbench,.compiler-section,.verification-section,.repair-section{border-top:1px solid var(--line-soft);padding:58px 44px;scroll-margin-top:86px}.workbench{border:1px solid var(--line);background:linear-gradient(#0f171bf0,#0a0f12f0);width:min(1400px,100% - 32px);box-shadow:0 30px 90px #00000040}.section-heading{justify-content:space-between;align-items:flex-end;gap:30px;margin-bottom:27px;display:flex}.section-heading h2{letter-spacing:-.035em;margin:9px 0 0;font-size:clamp(25px,2.25vw,34px);font-weight:580}.workflow-steps{color:#4f626b;font-family:var(--font-mono);letter-spacing:.1em;align-items:center;gap:8px;font-size:10px;display:flex}.workflow-steps span.is-current{color:var(--cyan)}.workflow-steps i{background:#2a3940;width:20px;height:1px}.concept-grid{grid-template-columns:repeat(3,1fr);gap:10px;display:grid}.concept-card{border:1px solid var(--line-soft);min-height:104px;color:var(--text);cursor:pointer;text-align:left;background:#0b1114;border-radius:5px;grid-template-columns:auto 1fr auto;align-items:center;gap:16px;padding:19px;display:grid;position:relative;overflow:hidden}.concept-card:after{background:var(--cyan);content:"";opacity:0;height:2px;transition:all .18s;position:absolute;inset:auto 0 0;transform:scaleX(.4)}.concept-card:hover{background:#0e171b;border-color:#35505b}.concept-card.is-selected{background:linear-gradient(115deg,#31d8f51a,#0c1519 58%);border-color:#31d8f57a}.concept-card.is-selected:after{opacity:1;transform:scaleX(1)}.pack-index{color:#334850;font-family:var(--font-mono);font-size:10px;position:absolute;top:9px;right:11px}.pack-icon{border:1px solid var(--line);background:#10191d;border-radius:3px;place-items:center;width:48px;height:48px;display:grid}.pack-icon svg{fill:none;width:28px;stroke:var(--muted);stroke-linecap:round;stroke-linejoin:round;stroke-width:1.45px}.is-selected .pack-icon{background:var(--cyan-soft);border-color:#31d8f54d}.is-selected .pack-icon svg{stroke:var(--cyan)}.pack-copy{min-width:0}.pack-copy strong,.pack-copy small{display:block}.pack-copy strong{margin-bottom:6px;font-size:14px;font-weight:680}.pack-copy small{color:var(--muted);-webkit-line-clamp:2;-webkit-box-orient:vertical;font-size:11px;line-height:1.45;display:-webkit-box;overflow:hidden}.select-indicator{border:1px solid var(--line);color:#60747d;width:27px;height:27px;font-family:var(--font-mono);border-radius:50%;place-items:center;font-size:11px;display:grid}.is-selected .select-indicator{border-color:var(--cyan);background:var(--cyan);color:#061115}.belief-panel{border:1px solid var(--line);background:#090e11;grid-template-columns:1fr 330px;margin-top:12px;display:grid}.belief-editor{padding:25px 28px 22px}.belief-editor label,.repair-editor label{color:var(--muted-strong);font-family:var(--font-mono);letter-spacing:.1em;justify-content:space-between;align-items:center;margin-bottom:13px;font-size:10px;font-weight:700;display:flex}.belief-editor label small,.repair-editor label small{color:#61757e;font-family:var(--font-sans);letter-spacing:0;font-size:10px;font-weight:450}textarea{resize:vertical;border:1px solid var(--line);width:100%;color:var(--text);caret-color:var(--cyan);background:#0c1317;border-radius:4px}textarea::placeholder{color:#53666e}.belief-editor>textarea{min-height:103px;padding:19px 18px;font-size:17px;line-height:1.5}textarea:focus{background:#0e171b;border-color:#31d8f58c}.editor-footer{color:#60737c;font-family:var(--font-mono);justify-content:space-between;padding-top:8px;font-size:10px;display:flex}.privacy-note i{color:var(--green);font-style:normal}.example-row{grid-template-columns:auto 1fr;align-items:start;gap:14px;margin-top:17px;display:grid}.example-row>span,.repair-suggestions>span{color:#5e737b;font-family:var(--font-mono);letter-spacing:.1em;white-space:nowrap;padding-top:7px;font-size:10px}.example-row>div{flex-wrap:wrap;gap:6px;display:flex}.example-row button{border:1px solid var(--line-soft);color:#91a3aa;cursor:pointer;text-overflow:ellipsis;white-space:nowrap;background:#10171b;border-radius:3px;max-width:280px;padding:6px 9px;font-size:10px;overflow:hidden}.example-row button:hover{color:var(--cyan);border-color:#38505a}.confidence-panel{border-left:1px solid var(--line);background:linear-gradient(145deg,#31d8f50a,#0000 55%);padding:26px 25px 22px}.confidence-heading{justify-content:space-between;align-items:flex-start;display:flex}.confidence-heading span,.confidence-heading small{display:block}.confidence-heading span{font-size:12px;font-weight:680}.confidence-heading small{color:var(--muted);margin-top:4px;font-size:10px}.confidence-heading strong{color:var(--cyan);font-family:var(--font-mono);font-size:19px}.confidence-panel input[type=range]{appearance:none;background:linear-gradient(var(--cyan), var(--cyan)) 0 / var(--range-value) 100% no-repeat, #25343b;cursor:pointer;border:0;border-radius:4px;outline:none;width:100%;height:3px;margin:27px 0 7px}.confidence-panel input[type=range]::-webkit-slider-thumb{appearance:none;background:var(--cyan);width:14px;height:14px;box-shadow:0 0 0 1px var(--cyan), 0 0 12px #31d8f566;border:3px solid #0c1418;border-radius:50%}.confidence-panel input[type=range]::-moz-range-thumb{background:var(--cyan);border:3px solid #0c1418;border-radius:50%;width:9px;height:9px}.range-labels{color:#4e646d;font-family:var(--font-mono);letter-spacing:.09em;justify-content:space-between;font-size:10px;display:flex}.compile-button,.retest-button{background:var(--cyan);color:#041114;border-radius:3px;grid-template-columns:auto 1fr auto;align-items:center;gap:12px;width:100%;min-height:49px;margin-top:23px;padding:0 14px;font-size:12px;font-weight:760;display:grid}.compile-button:hover,.retest-button:hover{background:#6ce7fb}.compile-button b,.retest-button b{font-size:18px;font-weight:400}.compile-icon{width:22px;height:22px;font-family:var(--font-mono);border:1px solid #00000040;border-radius:3px;place-items:center;display:grid}.confidence-panel>p{color:#6f838b;align-items:center;margin:13px 0 0;font-size:10px;display:flex}.cyan-dot{width:4px;height:4px;box-shadow:none;flex:none;margin-right:8px}.inline-message{border:1px solid var(--line);background:#0c1317;border-radius:4px;align-items:center;gap:11px;margin-top:13px;padding:11px 14px;display:flex}.inline-message>span{border:1px solid var(--cyan);width:20px;height:20px;color:var(--cyan);font-family:var(--font-mono);border-radius:50%;flex:none;place-items:center;font-size:10px;display:grid}.inline-message p{color:var(--muted-strong);margin:0;font-size:12px}.inline-message.is-error{background:#ff6b680f;border-color:#ff6b6859}.inline-message.is-error>span{border-color:var(--red);color:var(--red)}.compiler-section,.verification-section,.repair-section{padding-top:74px;padding-bottom:74px}.provenance-badge,.verification-state{border:1px solid var(--line);color:var(--muted-strong);font-family:var(--font-mono);letter-spacing:.1em;border-radius:3px;align-items:center;gap:8px;padding:8px 11px;font-size:10px;display:inline-flex}.provenance-badge span,.verification-state>span{background:var(--muted);border-radius:50%;width:5px;height:5px}.provenance-badge.is-ai span{background:var(--cyan);box-shadow:0 0 9px var(--cyan)}.compiler-card{border:1px solid var(--line);border-radius:var(--radius);background:var(--panel);overflow:hidden;box-shadow:0 20px 70px #0003}.compiler-topbar,.console-topbar{border-bottom:1px solid var(--line);color:#667a83;min-height:40px;font-family:var(--font-mono);letter-spacing:.09em;background:#090e11;justify-content:space-between;align-items:center;padding:0 16px;font-size:10px;display:flex}.schema-valid{color:var(--green)}.schema-valid i{background:var(--green);border-radius:50%;width:5px;height:5px;margin-right:7px;display:inline-block}.compiler-grid{grid-template-columns:1fr 345px;display:grid}.interpretation-main{padding:30px 32px}.field-block>span,.field-label-row>span,.ast-preview>span,.confidence-score>span,.variable-list>span,.assumption-list>span{color:#647983;font-family:var(--font-mono);letter-spacing:.1em;margin-bottom:10px;font-size:10px;font-weight:700;display:block}.original-field p{color:#96a8af;margin:0;font-size:13px;font-style:italic;line-height:1.55}.claim-field{border-top:1px solid var(--line-soft);margin-top:25px;padding-top:24px}.field-label-row{justify-content:space-between;align-items:center;display:flex}.text-button{color:var(--cyan);background:0 0;border-bottom:1px solid #31d8f559;padding:2px 0;font-size:10px}.text-button:hover{border-color:var(--cyan);color:#7aeafb}.normalized-claim{color:var(--text);letter-spacing:-.025em;margin:0;font-size:clamp(18px,1.8vw,25px);font-weight:500;line-height:1.45}.interpretation-edit textarea{min-height:88px;padding:13px;font-size:14px;line-height:1.5}.small-action{background:var(--cyan);color:#041114;border-radius:3px;margin-top:8px;padding:8px 11px;font-size:10px;font-weight:750}.ast-preview{border:1px solid var(--line-soft);border-left:2px solid var(--cyan);background:#080d10;margin-top:28px;padding:16px 17px}.ast-preview code{color:#c2d1d6;font-family:var(--font-mono);white-space:nowrap;font-size:11px;line-height:1.6;display:block;overflow-x:auto}.spec-sidebar{border-left:1px solid var(--line);background:#0a1013;padding:29px 26px}.confidence-score>div{grid-template-columns:auto 1fr;align-items:center;gap:12px;display:grid}.confidence-score strong{color:var(--cyan);font-family:var(--font-mono);font-size:20px}.score-track{background:#223139;border-radius:3px;height:4px;overflow:hidden}.score-track i{background:var(--cyan);height:100%;display:block;box-shadow:0 0 9px #31d8f573}.variable-list,.assumption-list{border-top:1px solid var(--line-soft);margin-top:26px;padding-top:23px}.variable-list>div{border-bottom:1px solid #111c21;grid-template-columns:28px 1fr auto;align-items:center;gap:8px;min-height:31px;display:grid}.variable-list code{color:var(--cyan);font-family:var(--font-mono);font-size:10px}.variable-list div>span{color:var(--muted-strong);text-overflow:ellipsis;white-space:nowrap;font-size:10px;overflow:hidden}.variable-list small{color:#5f747d;font-family:var(--font-mono);font-size:10px}.assumption-list p{align-items:flex-start;gap:8px;margin:9px 0 0;display:flex}.assumption-list i{color:var(--green);font-size:10px;font-style:normal}.assumption-list code{color:#8fa2aa;font-family:var(--font-mono);font-size:10px;line-height:1.4}.compiler-actions{border-top:1px solid var(--line);background:#0a1013;justify-content:space-between;align-items:center;min-height:78px;padding:14px 20px 14px 31px;display:flex}.compiler-actions>div{align-items:center;gap:11px;display:flex}.shield-glyph{color:var(--green);font-size:26px}.compiler-actions p{margin:0}.compiler-actions p strong,.compiler-actions p small{display:block}.compiler-actions p strong{color:var(--muted-strong);font-size:11px}.compiler-actions p small{color:#61757e;margin-top:4px;font-size:10px}.fallback-note{color:#73878f;margin:10px 0 0;font-size:10px;line-height:1.5}.verification-section{border:1px solid var(--line);background:#090e11;width:min(1400px,100% - 32px);padding-inline:44px}.verification-section:focus{outline:none}.verification-state.is-running{color:var(--cyan)}.verification-state.is-running>span{background:var(--cyan);animation:.9s infinite pulse}.verification-state.amber{color:var(--amber);border-color:#ffad3d59}.verification-state.amber>span{background:var(--amber)}.verification-state.green{color:var(--green);border-color:#45dc8f59}.verification-state.green>span{background:var(--green)}.verification-console{background:#070b0d;border:1px solid #283942;border-radius:6px;overflow:hidden;box-shadow:0 24px 70px #00000040}.console-topbar>div{align-items:center;display:flex}.console-light{background:#42545c;border-radius:50%;width:7px;height:7px;margin-right:6px}.console-light.red{background:#9d4b4d}.console-light.amber{background:#9c7737}.console-light.green{background:#3d805c;margin-right:14px}.console-topbar code{color:#4d626b;font-size:10px}.console-body{grid-template-columns:1.25fr .75fr;display:grid}.test-matrix-wrap{min-width:0;padding:24px 26px}.matrix-labels,.trace-heading{color:#647982;font-family:var(--font-mono);letter-spacing:.1em;justify-content:space-between;align-items:center;margin-bottom:14px;font-size:10px;display:flex}.matrix-labels small{color:#52666e;font-size:inherit}.test-matrix{grid-template-columns:repeat(12,minmax(20px,1fr));gap:5px;display:grid}.test-matrix>span{aspect-ratio:1;color:#33464e;min-height:24px;font-family:var(--font-mono);opacity:.45;background:#0c1316;border:1px solid #182329;place-items:center;font-size:10px;display:grid}.test-matrix>span.is-visible{opacity:1;animation:.18s ease-out both case-in}.test-matrix>span.case-pass{color:var(--cyan);background:#31d8f51c;border-color:#31d8f559}.test-matrix>span.case-fail{border-color:var(--amber);color:var(--amber);background:#ffad3d2b;box-shadow:0 0 16px #ffad3d21}.test-matrix>span.case-skip{color:#697c84;background:#11191d;border-color:#2b3b43}.matrix-legend{color:#5c7078;align-items:center;gap:18px;margin-top:14px;font-size:10px;display:flex}.matrix-legend span{align-items:center;gap:6px;display:inline-flex}.matrix-legend i{width:6px;height:6px}.pass-key{background:var(--cyan)}.fail-key{background:var(--amber)}.skip-key{background:#647881}.matrix-legend span:last-child{margin-left:auto}.live-trace{border-left:1px solid var(--line);background:#090e11;grid-template-rows:auto 1fr auto;min-width:0;min-height:251px;padding:24px 24px 0;display:grid}.trace-heading strong{color:var(--cyan);font-size:10px}.trace-lines{min-height:120px;overflow:hidden}.trace-lines p{min-height:22px;font-family:var(--font-mono);border-bottom:1px solid #10191d;grid-template-columns:24px 1fr auto;align-items:center;gap:8px;margin:0;font-size:10px;display:grid}.trace-lines p span{color:#4d626b}.trace-lines p code{color:#8fa1a8;text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.trace-lines p b{color:var(--cyan);font-size:10px}.trace-lines p.is-failure code,.trace-lines p.is-failure b{color:var(--amber)}.trace-lines p.is-skipped code,.trace-lines p.is-skipped b{color:#687c84}.trace-lines .trace-placeholder code,.trace-lines .trace-placeholder b{color:#4c616a}.trace-counts{border-top:1px solid var(--line);grid-template-columns:repeat(4,1fr);margin-inline:-24px;display:grid}.trace-counts>div{border-right:1px solid var(--line);text-align:center;gap:4px;min-width:0;padding:11px;display:grid}.trace-counts>div:last-child{border-right:0}.trace-counts span{color:#566a73;font-family:var(--font-mono);font-size:10px}.trace-counts strong{color:var(--cyan);font-family:var(--font-mono);font-size:15px}.trace-counts .fail-count strong{color:var(--amber)}.result-layout{grid-template-columns:.85fr 1.15fr;gap:12px;margin-top:12px;display:grid}.outcome-card{border:1px solid #45dc8f52;border-left:2px solid var(--green);background:linear-gradient(100deg, #45dc8f14, transparent 48%), var(--panel);border-radius:6px;grid-template-columns:auto 1fr auto;align-items:center;gap:22px;margin-top:12px;padding:28px 30px;display:grid}.outcome-card.invalid-outcome{border-color:#ffad3d52;border-left-color:var(--amber);background:linear-gradient(100deg, #ffad3d14, transparent 48%), var(--panel)}.outcome-mark{border:1px solid var(--green);background:var(--green-soft);width:52px;height:52px;color:var(--green);font-family:var(--font-mono);border-radius:50%;place-items:center;font-size:23px;display:grid}.invalid-outcome .outcome-mark{border-color:var(--amber);background:var(--amber-soft);color:var(--amber)}.outcome-copy h2{letter-spacing:-.025em;margin:7px 0;font-size:23px;font-weight:580}.outcome-copy>p{max-width:780px;color:var(--muted-strong);margin:0;font-size:12px;line-height:1.6}.outcome-counts{gap:26px;margin-top:17px;display:flex}.outcome-counts>div{gap:4px;display:grid}.outcome-counts span{color:#70848c;font-family:var(--font-mono);font-size:10px}.outcome-counts strong{color:var(--green);font-family:var(--font-mono);font-size:17px}.invalid-outcome .outcome-counts strong{color:var(--amber)}.certificate-card,.fraction-visual,.linear-visual,.coin-visual{border:1px solid var(--line);background:var(--panel);border-radius:6px;min-width:0;position:relative}.certificate-card{padding:25px 25px 20px;overflow:hidden}.certificate-card:before{background:var(--amber);content:"";width:2px;position:absolute;inset:0 auto 0 0}.certificate-heading{grid-template-columns:auto 1fr auto;align-items:center;gap:14px;display:grid}.certificate-seal{background:var(--amber-soft);width:44px;height:44px;color:var(--amber);border:1px solid #ffad3d73;border-radius:50%;place-items:center;display:grid}.certificate-seal span{font-family:var(--font-mono);font-size:24px;font-weight:300}.certificate-heading h2{letter-spacing:-.025em;margin:5px 0 0;font-size:19px;font-weight:600}.icon-button{border:1px solid var(--line);width:35px;height:35px;color:var(--muted);background:#0b1215;border-radius:4px;place-items:center;display:grid}.icon-button:hover{color:var(--text);border-color:#415761}.witness-values{grid-template-columns:repeat(auto-fit,minmax(64px,1fr));gap:6px;margin-top:22px;display:grid}.witness-values>div{border:1px solid var(--line-soft);text-align:center;background:#091014;padding:10px 8px}.witness-values span,.witness-values strong{font-family:var(--font-mono);display:block}.witness-values span{color:#60757e;font-size:10px}.witness-values strong{color:var(--amber);margin-top:5px;font-size:16px}.calculation-list{border:1px solid var(--line-soft);background:#080d10;margin-top:10px}.calculation-list>div{border-bottom:1px solid var(--line-soft);grid-template-columns:.75fr 1fr auto;align-items:center;gap:9px;padding:9px 11px;font-size:10px;display:grid}.calculation-list>div:last-child{border-bottom:0}.calculation-list span{color:#6d8189}.calculation-list code{color:var(--muted-strong);font-family:var(--font-mono)}.calculation-list strong{color:var(--amber);font-family:var(--font-mono)}.contradiction-box{background:var(--amber-soft);border:1px solid #ffad3d40;margin-top:12px;padding:12px 14px}.contradiction-box span{color:var(--amber);font-family:var(--font-mono);letter-spacing:.1em;font-size:10px;font-weight:700}.contradiction-box p{color:#e9d6bd;margin:6px 0 0;font-size:11px;line-height:1.5}.certificate-limit{color:#70858d;gap:10px;margin-top:14px;display:flex}.certificate-limit>span{width:18px;height:18px;font-family:var(--font-mono);border:1px solid #526872;border-radius:50%;flex:none;place-items:center;font-size:10px;display:grid}.certificate-limit p{margin:0;font-size:10px;line-height:1.5}.certificate-limit strong{color:#94a6ad;margin-bottom:2px;display:block}.copied-toast{color:var(--green);background:#10211a;border:1px solid #45dc8f59;border-radius:3px;padding:7px 9px;font-size:10px;position:absolute;top:75px;right:22px}.fraction-visual,.linear-visual,.coin-visual{background-color:#0b1114;background-image:linear-gradient(#3e59630e 1px,#0000 1px),linear-gradient(90deg,#3e59630e 1px,#0000 1px),none;background-position:0 0,0 0,0 0;background-repeat:repeat,repeat,repeat;background-size:28px 28px;background-attachment:scroll,scroll,scroll;background-origin:padding-box,padding-box,padding-box;background-clip:border-box,border-box,border-box;padding:24px 27px}.visual-heading{justify-content:space-between;align-items:flex-start;gap:20px;display:flex}.visual-heading h3{letter-spacing:-.02em;margin:6px 0 0;font-size:18px;font-weight:570}.visual-witness{border:1px solid var(--line);color:var(--muted);font-family:var(--font-mono);background:#091013;flex:none;padding:7px 9px;font-size:10px}.fraction-comparison{gap:18px;margin-top:34px;display:grid}.fraction-row{grid-template-columns:65px 1fr;align-items:center;gap:15px;display:grid}.fraction-label strong,.fraction-label span{font-family:var(--font-mono);display:block}.fraction-label strong{color:var(--text);font-size:16px}.fraction-label span{color:#637780;margin-top:4px;font-size:10px}.fraction-bar{background:#080d0f;border:1px solid #445861;gap:3px;height:54px;padding:3px;display:grid}.fraction-bar span{background:#10191d;border:1px solid #293a42}.fraction-bar span.is-filled{background:repeating-linear-gradient(-45deg,#ffffff0a 0 4px,#0000 4px 8px),#ffad3d52;border-color:#ffad3d8c;box-shadow:inset 0 0 18px #ffad3d14}.fraction-bar.bar-b span.is-filled{background:repeating-linear-gradient(-45deg,#ffffff0a 0 4px,#0000 4px 8px),#31d8f547;border-color:#31d8f58c}.visual-conclusion{border-top:1px solid var(--line-soft);grid-template-columns:auto 1fr;align-items:center;gap:13px;margin-top:23px;padding-top:18px;display:grid}.comparison-glyph{width:35px;height:35px;color:var(--amber);font-family:var(--font-mono);border:1px solid #ffad3d59;border-radius:50%;place-items:center;font-size:19px;display:grid}.visual-conclusion p{color:var(--muted-strong);margin:0;font-size:11px;line-height:1.55}.linear-graph{width:100%;max-height:278px;margin-top:14px;display:block;overflow:visible}.graph-grid-line{fill:none;stroke:#19252a;stroke-width:1px}.graph-axis{fill:none;stroke:#4c626b;stroke-width:1.2px}.graph-line{fill:none;stroke-width:2.5px}.line-a{stroke:var(--amber)}.line-b{stroke:var(--cyan)}.witness-marker{stroke:#dfe9ec;stroke-dasharray:4 5;stroke-width:1px}.point-a{fill:var(--amber)}.point-b{fill:var(--cyan)}.intersection-point{fill:#10181c;stroke:var(--green);stroke-width:2px}.graph-text{fill:#8599a0;font-family:var(--font-mono);font-size:10px}.amber-text{fill:var(--amber)}.cyan-text{fill:var(--cyan)}.graph-legend{border-top:1px solid var(--line-soft);color:#768990;font-family:var(--font-mono);flex-wrap:wrap;gap:16px;padding-top:10px;font-size:10px;display:flex}.graph-legend span{align-items:center;gap:6px;display:inline-flex}.graph-legend i{width:13px;height:2px}.legend-a{background:var(--amber)}.legend-b{background:var(--cyan)}.graph-legend .legend-witness{border-left:1px dashed #dfe9ec;height:8px}.coin-history{align-items:center;gap:8px;margin-top:29px;display:flex}.coin-history>span{width:34px;height:34px;color:var(--cyan);font-family:var(--font-mono);background:#111b1f;border:1px solid #3c515a;border-radius:50%;place-items:center;font-size:11px;display:grid}.coin-history>i{background:#455b64;width:32px;height:1px;margin-left:5px}.coin-history>strong{color:#62767e;font-family:var(--font-mono);letter-spacing:.1em;font-size:10px}.branch-tree{grid-template-columns:1fr 1fr;gap:29px;margin:27px 35px 0;padding-top:24px;display:grid;position:relative}.branch-tree:before,.branch-tree:after{content:"";border-top:1px solid #41565f;width:calc(50% - 14px);height:24px;position:absolute;top:0}.branch-tree:before{border-right:1px solid #41565f;left:0}.branch-tree:after{border-left:1px solid #41565f;right:0}.tree-stem{background:#41565f;width:1px;height:25px;position:absolute;top:-24px;left:50%}.coin-branch{border:1px solid var(--line);background:#0a1013;align-items:center;gap:12px;padding:12px 14px;display:flex}.coin-branch>span{width:34px;height:34px;font-family:var(--font-mono);border:1px solid;border-radius:50%;place-items:center;display:grid}.heads-branch>span{color:var(--cyan);border-color:#31d8f573}.tails-branch>span{color:var(--amber);border-color:#ffad3d80}.coin-branch strong,.coin-branch small{display:block}.coin-branch strong{font-family:var(--font-mono);font-size:18px}.coin-branch small{color:#697d85;margin-top:3px;font-size:10px}.simulation-strip{border:1px solid var(--line-soft);background:#090f12;grid-template-columns:auto 1fr auto;align-items:center;gap:13px;margin-top:23px;padding:13px 14px;display:grid}.simulation-label{color:#778a91;font-family:var(--font-mono);font-size:10px}.simulation-label i{background:var(--cyan);border-radius:50%;width:5px;height:5px;margin-right:6px;display:inline-block}.simulation-track{background:#1c292f;height:7px;position:relative;overflow:hidden}.simulation-track span{background:#31d8f599;height:100%;display:block}.simulation-track b{background:#fff;width:1px;position:absolute;top:-2px;bottom:-2px;left:50%}.simulation-strip>strong{color:var(--cyan);font-family:var(--font-mono);font-size:10px}.simulation-note{color:#687c84;margin:10px 0 0;font-size:10px;line-height:1.5}.explanation-grid{border:1px solid var(--line);background:var(--line);grid-template-columns:repeat(4,1fr);gap:1px;margin-top:12px;display:grid}.explanation-grid article{background:#0b1114;grid-template-columns:auto 1fr;gap:13px;min-width:0;padding:17px;display:grid}.explanation-index{width:24px;height:24px;color:var(--cyan);font-family:var(--font-mono);border:1px solid #31d8f559;border-radius:50%;place-items:center;font-size:10px;display:grid}.explanation-index.amber-index{color:var(--amber);border-color:#ffad3d66}.explanation-grid small{color:#5f737c;font-family:var(--font-mono);letter-spacing:.08em;font-size:10px}.explanation-grid p{color:#a3b2b7;margin:7px 0 0;font-size:10px;line-height:1.5}.repair-section{width:min(1320px,100% - 56px)}.repair-instruction{color:#647882;font-family:var(--font-mono);letter-spacing:.1em;font-size:10px}.repair-layout{grid-template-columns:1.2fr .8fr;gap:12px;display:grid}.repair-editor,.before-after{border:1px solid var(--line);background:var(--panel);border-radius:6px}.repair-editor{padding:25px}.repair-editor textarea{border-left:2px solid var(--green);min-height:104px;padding:16px;font-size:15px;line-height:1.5}.repair-suggestions{gap:7px;margin-top:19px;display:grid}.repair-suggestions>span{padding:0 0 3px}.repair-suggestions button{border:1px solid var(--line-soft);color:var(--muted-strong);cursor:pointer;text-align:left;background:#0a1013;border-radius:3px;grid-template-columns:auto 1fr auto;align-items:center;gap:12px;padding:10px 12px;display:grid}.repair-suggestions button:hover,.repair-suggestions button[aria-pressed=true]{background:var(--green-soft);border-color:#45dc8f66}.repair-suggestions button>span{color:var(--green);font-family:var(--font-mono);font-size:10px}.repair-suggestions p{margin:0;font-size:10px;line-height:1.45}.repair-suggestions b{color:#53676f;font-weight:400}.retest-button{background:var(--green);margin-top:17px}.retest-button:hover{background:#70e7aa}.before-after{background:#0a1013;align-content:start;padding:25px;display:grid}.before-card,.after-card{border:1px solid var(--line-soft);background:#0d1418;padding:16px}.before-card>div,.after-card>div{justify-content:space-between;align-items:center;display:flex}.before-card span,.after-card span{color:#657983;font-family:var(--font-mono);letter-spacing:.1em;font-size:10px}.before-card b,.after-card b{color:var(--amber);font-family:var(--font-mono);font-size:10px}.before-card p,.after-card p{color:#a7b6bb;margin:11px 0;font-size:11px;line-height:1.5}.before-card small,.after-card small{color:#667a82;font-size:10px}.after-card .repair-provenance{color:var(--muted-strong);margin-top:8px;line-height:1.45;display:block}.after-card .repair-provenance.is-ai{color:var(--cyan)}.before-card small i{color:var(--amber)}.before-card i,.after-card i{margin-right:5px;font-style:normal}.repair-arrow{color:#50656e;place-items:center;height:31px;display:grid}.after-card{border-color:#45dc8f33}.after-card.has-result{background:#45dc8f0f}.after-card b,.after-card small i{color:var(--green)}.repair-verdict{background:var(--green-soft);border:1px solid #45dc8f4d;align-items:flex-start;gap:11px;margin-top:12px;padding:13px;display:flex}.repair-verdict>span{border:1px solid var(--green);width:27px;height:27px;color:var(--green);border-radius:50%;flex:none;place-items:center;display:grid}.repair-verdict strong,.repair-verdict small{display:block}.repair-verdict strong{color:var(--green);font-size:10px}.repair-verdict small{color:#799087;margin-top:4px;font-size:10px;line-height:1.45}.repair-verdict.amber{background:var(--amber-soft);border-color:#ffad3d4d}.repair-verdict.amber>span,.repair-verdict.amber strong{border-color:var(--amber);color:var(--amber)}.transfer-section{padding:62px 0 78px}.transfer-kicker{grid-template-columns:auto 1fr auto 1fr auto;align-items:center;gap:12px;margin-bottom:16px;display:grid}.transfer-kicker>span{width:26px;height:26px;color:var(--green);font-family:var(--font-mono);border:1px solid #45dc8f66;border-radius:50%;place-items:center;font-size:10px;display:grid}.transfer-kicker>i{background:var(--line);height:1px}.transfer-kicker small,.transfer-kicker b{font-family:var(--font-mono);letter-spacing:.1em;font-size:10px}.transfer-kicker small{color:var(--green)}.transfer-kicker b{color:#5e727a}.transfer-card{background:var(--panel);border:1px solid #45dc8f4d;border-radius:7px;grid-template-columns:1.22fr .78fr;display:grid;overflow:hidden;box-shadow:0 26px 80px #0000003d}.transfer-copy{padding:34px 38px}.transfer-copy h2{letter-spacing:-.025em;max-width:750px;margin:12px 0 24px;font-size:clamp(20px,2vw,29px);font-weight:560;line-height:1.35}.transfer-options{flex-wrap:wrap;gap:8px;display:flex}.transfer-options button{border:1px solid var(--line);min-height:44px;color:var(--muted-strong);cursor:pointer;background:#0a1013;border-radius:4px;align-items:center;gap:9px;padding:0 14px;display:inline-flex}.transfer-options button:hover,.transfer-options button.is-selected{background:var(--cyan-soft);border-color:#31d8f580}.transfer-options button.is-correct{border-color:var(--green);background:var(--green-soft)}.transfer-options button.is-wrong{border-color:var(--amber);background:var(--amber-soft)}.transfer-options button span{color:var(--cyan);font-family:var(--font-mono)}.transfer-options button strong{font-size:11px;font-weight:580}.transfer-submit{margin-top:20px}.transfer-feedback{border-left:1px solid var(--line);background-color:#09100d;background-image:linear-gradient(#45dc8f0b 1px,#0000 1px),linear-gradient(90deg,#45dc8f0b 1px,#0000 1px),none;background-position:0 0,0 0,0 0;background-repeat:repeat,repeat,repeat;background-size:24px 24px;background-attachment:scroll,scroll,scroll;background-origin:padding-box,padding-box,padding-box;background-clip:border-box,border-box,border-box;align-content:center;justify-items:start;min-height:290px;padding:34px;display:grid}.completion-mark{border:1px solid var(--green);background:var(--green-soft);width:46px;height:46px;color:var(--green);border-radius:50%;place-items:center;margin-bottom:19px;font-size:22px;display:grid;box-shadow:0 0 24px #45dc8f1a}.completion-mark.needs-work{border-color:var(--amber);background:var(--amber-soft);color:var(--amber)}.transfer-feedback>span{color:var(--green);font-family:var(--font-mono);letter-spacing:.12em;font-size:10px}.transfer-feedback h3{margin:8px 0 7px;font-size:18px;font-weight:570}.transfer-feedback p{color:#82958d;max-width:390px;margin:0;font-size:10px;line-height:1.6}.transfer-feedback small{color:#74877f;margin-top:9px;font-size:10px}.transfer-feedback .secondary-button{background:#070c09b3;min-height:39px;margin-top:18px}.transfer-diagram{align-items:center;width:150px;margin-bottom:22px;display:flex}.transfer-diagram span{background:#345145;width:56px;height:1px}.transfer-diagram i{width:38px;height:38px;color:var(--green);font-family:var(--font-mono);border:1px solid #456456;border-radius:50%;place-items:center;font-style:normal;display:grid}.site-footer{border-top:1px solid var(--line-soft);grid-template-columns:auto 1fr auto;align-items:center;gap:25px;min-height:108px;display:grid}.footer-brand small{display:none}.site-footer>p{color:#667a82;margin:0;font-size:11px}.modal-layer{z-index:100;-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#020506d6;place-items:center;padding:30px;animation:.18s ease-out modal-in;display:grid;position:fixed;inset:0;overflow-y:auto}.modal-card{background:#0c1317;border:1px solid #30444d;border-radius:7px;width:min(1120px,100%);max-height:min(760px,100vh - 60px);padding:31px;overflow-y:auto;box-shadow:0 35px 110px #00000080}.modal-header{justify-content:space-between;align-items:flex-start;gap:30px;display:flex}.modal-header h2{letter-spacing:-.035em;margin:8px 0 0;font-size:29px;font-weight:580}.close-button{font-size:22px;font-weight:300}.modal-intro{max-width:700px;color:var(--muted-strong);margin:18px 0 26px;font-size:13px;line-height:1.6}.architecture-flow{grid-template-columns:1fr auto 1fr auto 1fr auto 1fr;align-items:center;gap:9px;display:grid}.architecture-flow>i{color:#50666f;font-family:var(--font-mono);font-style:normal}.architecture-flow article{border:1px solid var(--line);background:#091013;min-height:226px;padding:18px;position:relative}.architecture-flow article>span{color:#40555e;font-family:var(--font-mono);font-size:10px;position:absolute;top:10px;right:10px}.architecture-icon{background:var(--cyan-soft);width:43px;height:43px;color:var(--cyan);font-family:var(--font-mono);border:1px solid #31d8f559;border-radius:50%;place-items:center;margin-bottom:27px;font-size:12px;display:grid}.architecture-flow h3{margin:0;font-size:13px}.architecture-flow p{color:#81939a;margin:9px 0 20px;font-size:10px;line-height:1.55}.architecture-flow small{border-top:1px solid var(--line-soft);color:#60747c;font-family:var(--font-mono);padding-top:10px;font-size:10px;position:absolute;bottom:17px;left:18px;right:18px}.trust-boundary{background:var(--green-soft);border:1px solid #45dc8f4d;grid-template-columns:auto 1fr;align-items:center;gap:18px;margin-top:17px;padding:14px 16px;display:grid}.trust-boundary span{color:var(--green);font-family:var(--font-mono);letter-spacing:.1em;font-size:10px;font-weight:700}.trust-boundary p{color:#9eb8ab;margin:0;font-size:10px}.history-modal{width:min(760px,100%)}.history-list{gap:7px;margin-top:25px;display:grid}.history-list article{border:1px solid var(--line-soft);background:#091013;grid-template-columns:auto 1fr auto;align-items:center;gap:14px;padding:14px;display:grid}.history-mark{width:34px;height:34px;color:var(--amber);border:1px solid #ffad3d59;border-radius:50%;place-items:center;display:grid}.history-mark.is-repaired{color:var(--green);border-color:#45dc8f59}.history-copy{min-width:0}.history-copy>span,.history-copy small{color:#5f737b;font-family:var(--font-mono);font-size:10px}.history-copy h3{color:var(--muted-strong);text-overflow:ellipsis;white-space:nowrap;margin:5px 0;font-size:11px;font-weight:500;overflow:hidden}.empty-history{min-height:260px;color:var(--muted);text-align:center;place-content:center;justify-items:center;display:grid}.empty-history>span{color:var(--cyan);font-family:var(--font-mono);font-size:34px}.empty-history h3{color:var(--text);margin:15px 0 5px;font-size:17px}.empty-history p{margin:0;font-size:11px}@keyframes pulse{50%{opacity:.5}}@keyframes case-in{0%{opacity:0;transform:scale(.7)}to{opacity:1;transform:scale(1)}}@keyframes modal-in{0%{opacity:0}to{opacity:1}}@media (width<=1120px){.hero{gap:42px}.hero h1{font-size:56px}.belief-panel,.compiler-grid{grid-template-columns:1fr 300px}.result-layout,.repair-layout{grid-template-columns:1fr}.certificate-card{order:2}.explanation-grid{grid-template-columns:repeat(2,1fr)}.architecture-flow{grid-template-columns:1fr 1fr}.architecture-flow>i{display:none}.architecture-flow article{min-height:190px}}@media (width<=820px){.site-header,.hero,.workbench,.compiler-section,.verification-section,.repair-section,.transfer-section,.site-footer{width:min(100% - 28px,720px)}.site-header{height:66px}.brand small,.header-action span{display:none}.hero{grid-template-columns:1fr;gap:42px;min-height:auto;padding:63px 0}.hero h1{font-size:clamp(43px,12vw,64px)}.hero-system{max-width:620px}.workbench,.compiler-section,.verification-section,.repair-section{padding:44px 22px}.workbench,.verification-section{width:min(100% - 18px,750px)}.section-heading{align-items:flex-start}.workflow-steps{display:none}.concept-grid{grid-template-columns:1fr}.concept-card{min-height:86px}.belief-panel,.compiler-grid,.console-body,.transfer-card{grid-template-columns:1fr}.confidence-panel,.spec-sidebar,.live-trace,.transfer-feedback{border-top:1px solid var(--line);border-left:0}.test-matrix{grid-template-columns:repeat(8,1fr)}.explanation-grid,.repair-layout{grid-template-columns:1fr}.site-footer{grid-template-columns:auto 1fr}.site-footer>p{display:none}.site-footer .text-button{justify-self:end}}@media (width<=560px){.site-header,.hero,.compiler-section,.repair-section,.transfer-section,.site-footer{width:calc(100% - 28px)}.workbench,.verification-section{width:calc(100% - 12px);padding-inline:15px}.hero{padding:50px 0}.hero h1{font-size:42px}.hero-copy>p{font-size:15px}.hero-actions{display:grid}.primary-button,.secondary-button{width:100%}.system-flow{grid-template-columns:1fr}.system-flow>i{display:none}.system-flow article{grid-template-columns:auto 1fr;align-items:center;gap:14px;min-height:84px}.system-symbol{margin:0}.hero-code{grid-template-columns:1fr auto}.hero-code span{display:none}.section-heading{display:block}.section-heading>:last-child:not(:first-child){margin-top:13px}.belief-editor,.confidence-panel,.interpretation-main,.spec-sidebar,.repair-editor,.before-after,.transfer-copy,.transfer-feedback{padding:20px 17px}.belief-editor label,.repair-editor label{display:block}.belief-editor label small,.repair-editor label small{margin-top:5px}.example-row{grid-template-columns:1fr}.example-row>div{display:grid}.example-row button{text-align:left;max-width:none}.compiler-actions{gap:16px;padding:18px;display:grid}.compiler-actions .primary-button{width:100%}.console-topbar code{display:none}.test-matrix-wrap,.live-trace{padding-inline:14px}.test-matrix{grid-template-columns:repeat(6,1fr)}.matrix-legend span:last-child{display:none}.trace-counts{margin-inline:-14px}.certificate-card,.fraction-visual,.linear-visual,.coin-visual{padding:20px 16px}.certificate-heading{grid-template-columns:auto 1fr}.outcome-card{grid-template-columns:auto 1fr;padding:22px 17px}.outcome-card>.secondary-button{grid-column:1/-1}.copy-button{position:absolute;top:18px;right:15px}.fraction-row{grid-template-columns:50px 1fr}.fraction-bar{height:45px}.visual-heading{display:block}.visual-witness{margin-top:10px;display:inline-block}.coin-history{gap:5px}.coin-history>span{width:29px;height:29px}.coin-history>i,.coin-history>strong{display:none}.branch-tree{margin-inline:0}.simulation-strip{grid-template-columns:1fr auto}.simulation-track{grid-area:2/1/auto/-1}.transfer-kicker b,.transfer-kicker i:last-of-type{display:none}.transfer-kicker{grid-template-columns:auto 1fr auto}.modal-layer{padding:10px}.modal-card{max-height:calc(100vh - 20px);padding:21px 16px}.modal-header h2{font-size:23px}.architecture-flow{grid-template-columns:1fr}.history-list article{grid-template-columns:auto 1fr}.history-list .text-button{grid-column:2;justify-self:start}.site-footer{grid-template-columns:1fr;justify-items:center;gap:10px;padding:24px 0}.site-footer .text-button{justify-self:center}}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}