@font-face{font-family:Geist;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/fef07dbb0973bf53-s.00az9qtie3ho1.woff2)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Geist;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/8a480f0b521d4e75-s.3j-a226dh71aj.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Geist;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/53b9e256198e5412-s.2gwoz23eiro2t.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Geist;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/7178b3e590c64307-s.0i3h3th1vs4m7.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Geist;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/caa3a2e1cccd8315-s.p.0zr6hhvz-h9nw.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Geist Fallback;src:local(Arial);ascent-override:95.94%;descent-override:28.16%;line-gap-override:0.0%;size-adjust:104.76%}.geist_d633ac5f-module__BboVrW__className{font-family:Geist,Geist Fallback;font-style:normal}.geist_d633ac5f-module__BboVrW__variable{--font-sans:"Geist", "Geist Fallback"}
@font-face{font-family:Geist Mono;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/5ce348bf30bf5439-s.27spqqad3wyeo.woff2)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Geist Mono;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/4fa387ec64143e14-s.3f4zuumv8svu0.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Geist Mono;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/6306c77e7c8268e4-s.34r5yzckw0h2s.woff2)format("woff2");unicode-range:U+2000-2001,U+2004-2008,U+200A,U+23B8-23BD,U+2500-259F}@font-face{font-family:Geist Mono;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/7d817b4c03b0c5f1-s.2jyz_zw3a8jit.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Geist Mono;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/bbc41e54d2fcbd21-s.30bdpjkrtcces.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Geist Mono;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/797e433ab948586e-s.p.1v5bejj26fx9h.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Geist Mono Fallback;src:local(Arial);ascent-override:74.67%;descent-override:21.92%;line-gap-override:0.0%;size-adjust:134.59%}.geist_mono_768fb615-module__nw7kYW__className{font-family:Geist Mono,Geist Mono Fallback;font-style:normal}.geist_mono_768fb615-module__nw7kYW__variable{--font-mono:"Geist Mono", "Geist Mono Fallback"}
:root{--bg:#f6f7f9;--surface:#fff;--panel:#f1f3f6;--panel-2:#e9ecf1;--code-bg:#f3f5f8;--border:#e1e5eb;--border-strong:#c8ced8;--fg:#0d1117;--fg-2:#262e3b;--muted:#566070;--accent:#2346d0;--accent-hover:#1a38ad;--accent-soft:#edf1ff;--accent-fg:#fff;--ok:#0c7339;--ok-bg:#e8f5ee;--ok-border:#b5dec4;--bad:#b3261e;--bad-bg:#fdeceb;--bad-border:#f2c0bb;--warn:#8a5000;--warn-bg:#fdf3e2;--warn-border:#efd29b;--pending:#566070;--pending-bg:#eef0f4;--pending-border:#d8dde5;--info:#2346d0;--info-bg:#edf1ff;--info-border:#c7d2fb;--shadow-sm:0 1px 2px #0f172a0d;--shadow:0 1px 2px #0f172a0d, 0 4px 12px #0f172a0a;--header-bg:#ffffffdb;--radius-sm:6px;--radius:10px;--radius-lg:14px;--space-1:4px;--space-2:8px;--space-3:12px;--space-4:16px;--space-5:24px;--space-6:32px;--space-7:48px;--header-h:60px;--code-size:15px;--text-size:16px;--font:var(--font-sans), ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--mono:var(--font-mono), ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, "Liberation Mono", monospace;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--bg:#0a0c10;--surface:#111419;--panel:#161a21;--panel-2:#1c212a;--code-bg:#0e1116;--border:#252b35;--border-strong:#353d4a;--fg:#e9edf3;--fg-2:#cdd4de;--muted:#9ba5b5;--accent:#8ea8ff;--accent-hover:#a9bdff;--accent-soft:#182039;--accent-fg:#0a0c10;--ok:#52d38f;--ok-bg:#0f2519;--ok-border:#1f4a31;--bad:#ff8d84;--bad-bg:#2b1213;--bad-border:#5a2422;--warn:#f1b95c;--warn-bg:#281e0b;--warn-border:#5a4214;--pending:#a3acbb;--pending-bg:#1b2029;--pending-border:#2c333f;--info:#8ea8ff;--info-bg:#151d36;--info-border:#2b3a6b;--shadow-sm:0 1px 2px #0006;--shadow:0 1px 2px #0006, 0 6px 16px #00000040;--header-bg:#111419db;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}}:root[data-theme=dark]{--bg:#0a0c10;--surface:#111419;--panel:#161a21;--panel-2:#1c212a;--code-bg:#0e1116;--border:#252b35;--border-strong:#353d4a;--fg:#e9edf3;--fg-2:#cdd4de;--muted:#9ba5b5;--accent:#8ea8ff;--accent-hover:#a9bdff;--accent-soft:#182039;--accent-fg:#0a0c10;--ok:#52d38f;--ok-bg:#0f2519;--ok-border:#1f4a31;--bad:#ff8d84;--bad-bg:#2b1213;--bad-border:#5a2422;--warn:#f1b95c;--warn-bg:#281e0b;--warn-border:#5a4214;--pending:#a3acbb;--pending-bg:#1b2029;--pending-border:#2c333f;--info:#8ea8ff;--info-bg:#151d36;--info-border:#2b3a6b;--shadow-sm:0 1px 2px #0006;--shadow:0 1px 2px #0006, 0 6px 16px #00000040;--header-bg:#111419db;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}*{box-sizing:border-box}html,body{margin:0;padding:0}body{background:var(--bg);color:var(--fg);font-family:var(--font);font-size:var(--text-size);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;text-rendering:optimizelegibility;font-feature-settings:"cv11", "ss01";line-height:1.55}a{color:var(--accent);text-underline-offset:3px;text-decoration-thickness:1px}a:hover{color:var(--accent-hover);text-decoration-thickness:2px}h1,h2,h3,h4{color:var(--fg);letter-spacing:-.015em;margin:0 0 .5em;font-weight:650;line-height:1.2}h1{letter-spacing:-.025em;font-size:2rem}h2{font-size:1.3rem}h3{letter-spacing:-.01em;font-size:1.05rem}p{margin:0 0 .75em}ul,ol{padding-left:1.3em}li+li{margin-top:.25em}code,pre,.mono{font-family:var(--mono)}code{background:var(--code-bg);border:1px solid var(--border);overflow-wrap:anywhere;border-radius:5px;padding:.05em .35em;font-size:.88em}pre{font-size:var(--code-size);background:var(--code-bg);border:1px solid var(--border);border-radius:var(--radius-sm);white-space:pre;tab-size:2;margin:.4em 0;padding:10px 12px;line-height:1.5;overflow-x:auto}pre code{font-size:inherit;background:0 0;border:0;padding:0}pre.wrap{white-space:pre-wrap;word-break:break-word}.line-error{color:var(--bad)}.line-goal{color:var(--info);font-weight:600}.line-ok{color:var(--ok)}::selection{background:var(--accent-soft)}button,select,input{font:inherit;color:var(--fg);background:var(--surface);border:1px solid var(--border-strong);border-radius:var(--radius-sm);padding:7px 12px;font-size:.94rem;line-height:1.3;transition:border-color .12s,background-color .12s,box-shadow .12s}select{appearance:none;background-image:linear-gradient(45deg, transparent 50%, var(--muted) 50%), linear-gradient(135deg, var(--muted) 50%, transparent 50%);background-position:calc(100% - 15px) 52%,calc(100% - 10px) 52%;background-repeat:no-repeat;background-size:5px 5px,5px 5px;padding-right:28px}button{cursor:pointer;box-shadow:var(--shadow-sm);font-weight:550}button:hover:not(:disabled){border-color:var(--fg-2);background:var(--panel)}button:disabled{opacity:.5;cursor:not-allowed}button.primary{background:var(--accent);border-color:var(--accent);color:var(--accent-fg);font-weight:600}button.primary:hover:not(:disabled){background:var(--accent-hover);border-color:var(--accent-hover)}input:focus-visible,select:focus-visible,button:focus-visible,summary:focus-visible,a:focus-visible{outline:2px solid var(--accent);outline-offset:2px}input:focus{border-color:var(--accent)}input[aria-invalid=true]{border-color:var(--bad)}input[type=checkbox]{accent-color:var(--accent);width:15px;height:15px;box-shadow:none;padding:0}table{border-collapse:separate;border-spacing:0;font-variant-numeric:tabular-nums;width:100%}.table-scroll{background:var(--surface);border:1px solid var(--border);border-radius:var(--radius);max-width:100%;box-shadow:var(--shadow-sm);overflow-x:auto}td code,th code{overflow-wrap:normal;-webkit-box-decoration-break:clone;box-decoration-break:clone;border:0;padding:.1em .3em}th,td{text-align:left;border-bottom:1px solid var(--border);vertical-align:top;padding:10px 14px}th{color:var(--muted);background:var(--panel);font-size:.86rem;font-weight:600}tbody tr:last-child>td,tbody tr:last-child>th{border-bottom:0}tbody tr:hover>td{background:color-mix(in srgb, var(--panel) 55%, transparent)}tbody th{color:var(--fg);background:var(--panel)}td.num,th.num{text-align:right;font-variant-numeric:tabular-nums}td.num{white-space:nowrap}table.small th,table.small td{padding:6px 10px}details>summary{cursor:pointer;color:var(--muted);font-weight:500}details>summary:hover{color:var(--fg)}.site-header{z-index:20;align-items:center;gap:var(--space-5);min-height:var(--header-h);padding:0 var(--space-5);border-bottom:1px solid var(--border);background:var(--header-bg);-webkit-backdrop-filter:saturate(180%)blur(12px);flex-wrap:wrap;display:flex;position:sticky;top:0}.brand{letter-spacing:-.02em;color:var(--fg);align-items:center;gap:10px;font-size:1.08rem;font-weight:700;text-decoration:none;display:inline-flex}.brand:hover{color:var(--fg)}.brand-mark{flex:none;width:26px;height:26px}.site-nav{flex-wrap:wrap;gap:2px;display:flex}.site-nav a{color:var(--muted);border-radius:999px;padding:6px 12px;font-size:.94rem;font-weight:500;text-decoration:none}.site-nav a:hover{color:var(--fg);background:var(--panel)}.site-nav a[aria-current=page]{color:var(--fg);background:var(--panel-2)}.theme-toggle select{box-shadow:none;padding-top:5px;padding-bottom:5px;font-size:.86rem}.spacer{flex:1}.page{max-width:1180px;padding:var(--space-6) var(--space-5) 80px;margin:0 auto}.page>h1:first-child{margin-top:var(--space-2)}.lead{color:var(--muted);max-width:78ch;margin-bottom:var(--space-5);font-size:1.06rem}.muted{color:var(--muted)}.small{font-size:.87rem}.row{flex-wrap:wrap;align-items:center;gap:10px;display:flex}.stack>*+*{margin-top:12px}.card{border:1px solid var(--border);border-radius:var(--radius-lg);padding:var(--space-4) var(--space-5);background:var(--surface);box-shadow:var(--shadow-sm)}.card>h2:first-child,.card>h3:first-child{margin-top:2px}.panel{background:var(--panel);border:1px solid var(--border);border-radius:var(--radius);padding:14px 16px}.error-box{border:1px solid var(--bad-border);background:var(--bad-bg);color:var(--fg);border-radius:var(--radius);padding:12px 16px}.error-box strong{color:var(--bad)}.notice{border:1px solid var(--border);background:var(--surface);border-radius:var(--radius);padding:14px 16px}.kv{grid-template-columns:max-content 1fr;gap:0 20px;margin:0;display:grid}.kv dt,.kv dd{border-bottom:1px solid var(--border);padding:7px 0}.kv dt:last-of-type,.kv dd:last-of-type{border-bottom:0}.kv dt{color:var(--muted)}.kv dd{overflow-wrap:anywhere;margin:0}.hash{font-family:var(--mono);overflow-wrap:anywhere;font-size:.86em}.hash-copy{flex-wrap:wrap;align-items:baseline;gap:6px;max-width:100%;display:inline-flex}section+section{margin-top:var(--space-6)}section>h2{margin-bottom:var(--space-3)}.copy-btn{font-family:var(--font);color:var(--muted);border:1px solid var(--border);background:var(--surface);box-shadow:none;vertical-align:1px;border-radius:999px;align-items:center;gap:4px;padding:1px 7px;font-size:.74rem;font-weight:500;display:inline-flex}.copy-btn:hover:not(:disabled){color:var(--fg);background:var(--panel);border-color:var(--border-strong)}.copy-btn svg{width:12px;height:12px}.status{font-weight:600;font-family:var(--mono);white-space:nowrap;border:1px solid var(--pending-border);background:var(--pending-bg);color:var(--pending);vertical-align:.08em;border-radius:999px;align-items:center;gap:6px;padding:0 8px;font-size:.8em;line-height:1.5;display:inline-flex}.status:before{content:"";background:currentColor;border-radius:50%;flex:none;width:6px;height:6px}.status-verified,.status-pass,.status-accepted,.status-proved{color:var(--ok);background:var(--ok-bg);border-color:var(--ok-border)}.status-refuted,.status-failed,.status-rejected,.status-error{color:var(--bad);background:var(--bad-bg);border-color:var(--bad-border)}.status-unresolved,.status-partial,.status-budget,.status-tested{color:var(--warn);background:var(--warn-bg);border-color:var(--warn-border)}.status-pending{color:var(--pending)}.status-working,.status-info{color:var(--info);background:var(--info-bg);border-color:var(--info-border)}.forge{height:calc(100vh - var(--header-h) - 1px);background:var(--surface);grid-template-rows:auto auto minmax(0,1fr);grid-template-columns:minmax(300px,25%) minmax(0,1fr) minmax(280px,22%);min-height:560px;display:grid}.segment-bar{padding:10px var(--space-5);border-bottom:1px solid var(--border);background:var(--surface);flex-wrap:wrap;grid-column:1/-1;align-items:center;gap:16px;display:flex}.segment-label{letter-spacing:-.015em;align-items:center;gap:10px;font-size:1.2rem;font-weight:650;display:inline-flex}.segment-label:before{content:"";background:var(--border-strong);border-radius:50%;flex:none;width:10px;height:10px}.segment-label[data-segment=recorded]:before{background:var(--info);box-shadow:0 0 0 4px var(--info-bg)}.segment-label[data-segment=check]{color:var(--ok)}.segment-label[data-segment=check]:before{background:var(--ok);box-shadow:0 0 0 4px var(--ok-bg)}.segment-label[data-segment=live]{color:var(--bad)}.segment-label[data-segment=live]:before{background:var(--bad);box-shadow:0 0 0 4px var(--bad-bg)}.task-header{gap:var(--space-5);padding:14px var(--space-5);border-bottom:1px solid var(--border);background:var(--bg);grid-column:1/-1;grid-template-columns:minmax(0,1fr) minmax(0,560px);align-items:center;display:grid}.task-header h1{margin-bottom:4px;font-size:1.35rem}.task-header h1 code{font-size:.9em}.task-header p{color:var(--fg-2);max-width:95ch;margin:0;font-size:.97rem}.pipeline{counter-reset:step;grid-template-columns:repeat(4,minmax(0,1fr));gap:0;margin:0;padding:0;list-style:none;display:grid}.pipeline li{color:var(--muted);counter-increment:step;margin:0;padding:0 10px 0 0;font-size:.8rem;line-height:1.35;position:relative}.pipeline li strong{color:var(--fg);align-items:center;gap:7px;margin-bottom:2px;font-size:.88rem;font-weight:600;display:flex}.pipeline li strong:before{content:counter(step);width:20px;height:20px;color:var(--accent);background:var(--accent-soft);border:1px solid var(--info-border);border-radius:50%;flex:none;place-items:center;font-size:.72rem;font-weight:650;display:inline-grid}.pipeline li:last-child strong:before{color:var(--ok);background:var(--ok-bg);border-color:var(--ok-border)}.col{min-height:0;padding:var(--space-4) var(--space-4);overflow-y:auto}.col-left{border-right:1px solid var(--border);background:var(--surface)}.col-right{border-left:1px solid var(--border);background:var(--bg)}.col h2{margin-bottom:6px;font-size:1.02rem}.req{border-bottom:1px solid var(--border);padding:12px 0}.req:last-child{border-bottom:0}.req-id{font-family:var(--mono);color:var(--fg);letter-spacing:0;font-size:.84rem;font-weight:650}.req pre{font-size:calc(var(--code-size) * .86);white-space:pre-wrap;word-break:break-word}.stream{background:var(--surface);flex-direction:column;padding:0;display:flex}.stream-tools{z-index:2;background:var(--surface);border-bottom:1px solid var(--border);padding:8px var(--space-4);position:sticky;top:0}.stream-tools button{padding:3px 9px;font-size:.82rem}.stream-body{padding:8px var(--space-4) 40px}.ev{border-bottom:1px solid var(--border);padding:12px 0}.ev-compact{color:var(--muted);font-size:.86rem;font-family:var(--mono);border-bottom:0;padding:3px 0}.ev-turn h3{margin:0 0 2px;font-size:1rem}.ev-turn .who{font-weight:650}.ev-turn .what{color:var(--muted);font-weight:400}.ev-text{white-space:pre-wrap;color:var(--fg-2);margin:4px 0}.ev-tool{border-left:2px solid var(--border-strong);margin:6px 0 0 14px;padding-left:12px}.ev-tool-head{font-family:var(--mono);font-size:.9rem}.ev-plan{border-left:3px solid var(--info);margin-left:0;padding-left:12px}.ev-milestone{border:1px solid var(--border);border-radius:var(--radius);background:var(--bg);margin:10px 0;padding:10px 14px}.ev-milestone .table-scroll{box-shadow:none}.ev-passport{border-color:var(--ok-border);background:var(--surface);box-shadow:var(--shadow)}.ev-job{border-radius:var(--radius);background:var(--accent-soft);border:1px solid var(--info-border);margin:12px 0;padding:10px 14px;font-weight:600}.claims{background:var(--surface);border:1px solid var(--border);border-radius:var(--radius);margin:0;padding:0;list-style:none}.claims li{border-bottom:1px solid var(--border);grid-template-columns:1fr auto;align-items:center;gap:2px 8px;margin:0;padding:8px 12px;display:grid}.claims li:last-child{border-bottom:0}.claims .req-id{font-size:.8rem}.claims .note{color:var(--muted);grid-column:1/-1;font-size:.78rem}.passport-callout{border:1px solid var(--ok-border);background:var(--surface);border-radius:var(--radius);box-shadow:var(--shadow-sm);margin:12px 0;padding:12px 14px}.passport-callout a{font-weight:600}.metric-grid{grid-template-columns:max-content 1fr;gap:4px 12px;font-size:.88rem;display:grid}.metric-grid dt{color:var(--muted)}.metric-grid dd{font-variant-numeric:tabular-nums;margin:0}.controls{flex-wrap:wrap;align-items:center;gap:10px;display:flex}.controls label{align-items:center;gap:6px;display:inline-flex}.segment-bar .controls label{color:var(--muted);font-size:.9rem}@media (max-width:1100px){.task-header{gap:var(--space-3);grid-template-columns:1fr}}@media (max-width:1000px){.forge{height:auto;display:block}.col{border:0;border-top:1px solid var(--border);overflow:visible}.stream-tools{position:static}}.form-grid{grid-template-columns:max-content minmax(0,280px);align-items:center;gap:12px 18px;display:grid}.form-card{margin:var(--space-6) 0 var(--space-4)}.split-results{grid-template-columns:repeat(auto-fit,minmax(320px,1fr));gap:16px;display:grid}.big-total{font-family:var(--mono);letter-spacing:-.02em;font-variant-numeric:tabular-nums;font-size:1.6rem;font-weight:650}.boundary{grid-template-columns:repeat(auto-fit,minmax(300px,1fr));gap:16px;display:grid}.result-card[data-outcome=mismatch]{border-color:var(--bad-border)}.result-card[data-outcome=conserved]{border-color:var(--ok-border)}.result-card[data-outcome=mismatch] .big-total{color:var(--bad)}.result-card[data-outcome=conserved] .big-total{color:var(--ok)}.cert{border:1px solid var(--border);border-radius:var(--radius-lg);background:var(--surface);box-shadow:var(--shadow);padding:var(--space-5) var(--space-5) var(--space-4);position:relative;overflow:hidden}.cert:before{content:"";background:var(--pending);height:4px;position:absolute;inset:0 0 auto}.cert[data-status=VERIFIED]:before{background:var(--ok)}.cert[data-status=REFUTED]:before{background:var(--bad)}.cert[data-status=UNRESOLVED]:before{background:var(--warn)}.cert h1{margin:4px 0 6px}.cert-status{margin:10px 0 0;font-size:1.15rem}.cert-status .status{font-size:.85em}.cert-facts{margin:var(--space-4) 0;background:var(--border);border:1px solid var(--border);border-radius:var(--radius);grid-template-columns:repeat(auto-fit,minmax(170px,1fr));gap:1px;display:grid;overflow:hidden}.cert-facts div{background:var(--surface);padding:10px 14px}.cert-facts dt{color:var(--muted);font-size:.8rem}.cert-facts dd.mono{padding-top:3px;font-size:.86rem;line-height:1.45}.cert-facts dd{font-variant-numeric:tabular-nums;overflow-wrap:anywhere;margin:2px 0 0;font-size:1.05rem;font-weight:600}.toc{margin:var(--space-4) 0 0;flex-wrap:wrap;gap:4px 2px;padding:0;list-style:none;display:flex}.toc li{margin:0}.toc a{color:var(--muted);border-radius:999px;padding:4px 10px;font-size:.88rem;text-decoration:none;display:inline-block}.toc a:hover{color:var(--fg);background:var(--panel)}.cert+section{margin-top:40px}.passport section{scroll-margin-top:calc(var(--header-h) + 12px)}.passport section>h2{padding-top:4px}.passport .kv,.passport .md-card{background:var(--surface);border:1px solid var(--border);border-radius:var(--radius);box-shadow:var(--shadow-sm);padding:4px 16px}.passport section>ul{background:var(--surface);border:1px solid var(--border);border-radius:var(--radius);box-shadow:var(--shadow-sm);padding:12px 16px 12px 34px}.passport section>p+h2,.passport section>ul+h2{margin-top:var(--space-5)}.passport section h3{margin-top:var(--space-4)}.meter{background:var(--panel-2);vertical-align:middle;border-radius:999px;width:120px;height:8px;margin-left:10px;display:inline-block;overflow:hidden}.meter>span{background:var(--bad);border-radius:999px;height:100%;display:block}.meter[data-tone=ok]>span{background:var(--ok)}.btn{border-radius:var(--radius-sm);border:1px solid var(--border-strong);background:var(--surface);min-height:42px;color:var(--fg);box-shadow:var(--shadow-sm);justify-content:center;align-items:center;gap:8px;padding:9px 18px;font-size:.97rem;font-weight:600;text-decoration:none;transition:border-color .12s,background-color .12s;display:inline-flex}.btn:hover{color:var(--fg);background:var(--panel);border-color:var(--fg-2);text-decoration:none}.btn-primary{background:var(--accent);border-color:var(--accent);color:var(--accent-fg)}.btn-primary:hover{background:var(--accent-hover);border-color:var(--accent-hover);color:var(--accent-fg)}.home{padding-top:44px}.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}.passport-link{white-space:nowrap}.passport-link .hash{font-size:.92em}.hero h1{letter-spacing:-.035em;text-wrap:balance;margin:0 0 16px;font-size:clamp(2rem,1.1rem + 2.4vw,3.05rem);line-height:1.07}.hero-sub{color:var(--fg-2);text-wrap:balance;max-width:74ch;margin:0 0 28px;font-size:1.16rem;line-height:1.55}.hero-stats{grid-template-columns:repeat(4,minmax(0,1fr));gap:12px;margin:0 0 24px;padding:0;list-style:none;display:grid}.hero-stat{border:1px solid var(--border);border-radius:var(--radius-lg);background:var(--surface);box-shadow:var(--shadow-sm);flex-direction:column;gap:4px;margin:0;padding:14px 16px;display:flex}.hero-stat strong{letter-spacing:-.03em;font-variant-numeric:tabular-nums;color:var(--fg);font-size:1.7rem;font-weight:650;line-height:1.1}.hero-stat span{color:var(--muted);font-size:.9rem;line-height:1.35}.hero-stat[data-tone=ok] strong{color:var(--ok)}.hero-stat[data-tone=bad] strong{color:var(--bad)}.ledger-wrap{border:1px solid var(--border);border-radius:var(--radius-lg);background:var(--surface);box-shadow:var(--shadow);overflow:hidden}.ledger{border-collapse:collapse;width:100%;font-size:.94rem}.ledger caption{text-align:left;color:var(--muted);padding:14px 18px 0;font-size:.88rem}.ledger th,.ledger td{text-align:left;vertical-align:top;border-top:1px solid var(--border);padding:12px 18px}.ledger thead th{color:var(--muted);white-space:nowrap;border-top:0;padding-top:12px;font-size:.84rem;font-weight:600}.ledger tbody tr:hover{background:var(--panel)}.ledger-incident{min-width:17ch}.ledger-incident a{white-space:nowrap;color:var(--fg);letter-spacing:-.01em;font-weight:650;text-decoration:none}.ledger-incident a:hover{text-decoration:underline}.ledger-sub{color:var(--muted);margin-top:2px;font-size:.84rem;display:block}.ledger-loss strong{font-variant-numeric:tabular-nums;white-space:nowrap;font-weight:650}.ledger-prop{color:var(--fg-2);min-width:22ch;line-height:1.45}.ledger-verdict{white-space:nowrap}.ledger-verdict .status{font-size:.8rem}.ledger-verdict .ledger-sub{white-space:normal}.ledger-pass{font-size:.85rem}.hero-foot{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:16px 32px;margin-top:24px;display:flex}.hero-foot p{max-width:92ch;color:var(--muted);margin:0;font-size:.95rem}.hero-actions{flex-wrap:wrap;gap:10px;display:flex}.home-section{scroll-margin-top:calc(var(--header-h) + 16px);margin-top:80px}.home-section>h2{letter-spacing:-.022em;margin-bottom:var(--space-3);text-wrap:balance;font-size:1.6rem}.home-section-lead{color:var(--fg-2);max-width:84ch;margin-bottom:var(--space-5);text-wrap:pretty}.timeline{grid-template-columns:repeat(4,minmax(0,1fr));gap:12px;margin:0;padding:0;list-style:none;display:grid}.tl{grid-row:span 5;grid-template-rows:subgrid;border:1px solid var(--border);border-radius:var(--radius-lg);background:var(--surface);box-shadow:var(--shadow-sm);row-gap:8px;min-width:0;margin:0;padding:14px;display:grid}.tl[data-verdict=REFUTED]{border-color:var(--bad-border)}.tl[data-verdict=VERIFIED]{border-color:var(--ok-border)}.tl[data-author=muse]{background:var(--accent-soft);border-color:var(--info-border)}.tl-head{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:8px;display:flex}.tl-head h3{margin:0;font-size:1rem}.tl-detail{color:var(--muted);margin:0;font-size:.86rem}.tl-code{letter-spacing:-.01em;white-space:pre-wrap;word-break:break-word;background:var(--code-bg);align-self:start;margin:2px 0;padding:8px;font-size:.72rem}.tl-finding{color:var(--fg-2);overflow-wrap:anywhere;margin:0;font-size:.9rem;line-height:1.5}.tl-foot{flex-wrap:wrap;align-content:flex-end;gap:4px 12px;margin:0;padding-top:4px;font-size:.82rem;display:flex}.featured-grid{grid-template-columns:minmax(0,1.45fr) minmax(0,1fr);align-items:start;gap:16px;margin-top:16px;display:grid}.featured-grid .card,.case .realcode{padding:var(--space-5)}.realcode h3,.facts h3{margin-bottom:6px;font-size:1.05rem}.realcode .bars{margin-top:14px}.facts-list{gap:10px;margin:10px 0 14px;display:grid}.facts-list>div{grid-template-columns:5.5em minmax(0,1fr);gap:12px;display:grid}.facts-list dt{color:var(--muted);font-size:.88rem}.facts-list dd{margin:0;font-size:.93rem}.cases{grid-template-columns:repeat(auto-fit,minmax(min(100%,440px),1fr));align-items:start;gap:16px;display:grid}.case{padding:var(--space-5)}.case>h3{margin-bottom:4px;font-size:1.25rem}.case-loss{color:var(--muted);font-size:.92rem}.case-loss strong{color:var(--fg);margin-right:2px;font-size:1.1rem;font-weight:650}.case-bug{color:var(--fg-2)}.case h4{margin:18px 0 8px;font-size:.98rem}.attack{gap:8px;margin:0 0 16px;padding-left:1.5em;display:grid}.attack li{color:var(--fg-2);margin:0;padding-left:2px;font-size:.93rem}.attack li::marker{color:var(--muted);font-variant-numeric:tabular-nums;font-weight:600}.attack-after{font-family:var(--mono);color:var(--muted);margin-top:1px;font-size:.8rem;display:block}.verdict-box{border:1px solid var(--border);border-radius:var(--radius);background:var(--bg);margin-bottom:12px;padding:12px 14px}.verdict-box[data-verdict=REFUTED]{border-color:var(--bad-border)}.verdict-box[data-verdict=VERIFIED]{border-color:var(--ok-border)}.verdict-box[data-verdict=UNRESOLVED]{border-color:var(--warn-border)}.verdict-head{flex-wrap:wrap;align-items:center;gap:10px;margin-bottom:6px;font-size:.95rem;font-weight:600;display:flex}.verdict-box p{color:var(--fg-2);margin:0 0 6px;font-size:.92rem}.verdict-box p:last-child{margin:0}.case .realcode{box-shadow:none;background:var(--bg);margin-top:4px}.claims-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:16px;display:grid}.claims-col{padding:var(--space-5)}.claims-col h3{font-size:1.1rem}.claims-col ul{margin:0;padding-left:1.2em}.claims-col li{color:var(--fg-2);font-size:.95rem}.claims-col li+li{margin-top:8px}.claims-col code{white-space:nowrap}.claims-steps{padding:var(--space-5);margin-top:16px}.claims-steps h3{margin-bottom:14px;font-size:1.05rem}.equivalence{margin:0 0 14px}.equivalence p{margin:0 0 6px}.equivalence pre{white-space:pre-wrap;margin:0 0 6px;font-size:.78rem}.families{grid-template-columns:repeat(auto-fit,minmax(min(100%,150px),1fr));gap:10px;margin:0 0 16px;padding:0;list-style:none;display:grid}.families li{border:1px solid var(--border);border-radius:var(--radius);background:var(--surface);color:var(--muted);margin:0;padding:12px 14px;font-size:.92rem}.families strong{letter-spacing:-.02em;color:var(--fg);font-variant-numeric:tabular-nums;font-size:1.45rem;font-weight:650;line-height:1.2;display:block}.home-evidence{gap:var(--space-4);grid-template-columns:repeat(2,minmax(0,1fr));display:grid}.home-card{padding:var(--space-5);flex-direction:column;display:flex}.home-card h3{margin-bottom:4px;font-size:1.12rem}.home-card-lead{color:var(--muted);margin-bottom:var(--space-4);font-size:.94rem}.home-card-note{color:var(--muted);padding-top:var(--space-4);margin:auto 0 0;font-size:.88rem}.bars{gap:var(--space-4);margin:0;padding:0;list-style:none;display:grid}.bars li{margin:0}.bar-row{gap:6px;display:grid}.bar-label{flex-direction:column;gap:1px;font-size:.95rem;font-weight:600;display:flex}.bar-detail{color:var(--muted);font-size:.84rem;font-weight:400}.bar-figure{grid-template-columns:minmax(0,1fr) 7.5em;align-items:center;gap:14px;display:grid}.bar-track{background:var(--panel-2);border-radius:999px;height:10px;display:block;overflow:hidden}.bar-fill{background:var(--accent);border-radius:999px;height:100%;display:block}.bar-fill[data-tone=bad]{background:var(--bad)}.bar-count{font-variant-numeric:tabular-nums;color:var(--muted);white-space:nowrap;font-size:.92rem}.bar-count strong{color:var(--fg);letter-spacing:-.02em;margin-right:2px;font-size:1.3rem;font-weight:650}.split-mini{padding:var(--space-5);grid-template-columns:minmax(0,1.4fr) auto;align-items:center;gap:16px 32px;margin:16px 0 0;display:grid}.split-mini figcaption{color:var(--fg-2);font-size:.95rem}.split-mini-rows{gap:8px;display:grid}.split-values{flex-wrap:wrap;align-items:center;gap:8px 12px;display:flex}.shares{flex-wrap:wrap;gap:6px;display:inline-flex}.share{border-radius:var(--radius-sm);border:1px solid var(--border-strong);background:var(--surface);min-width:46px;height:40px;font-family:var(--mono);font-variant-numeric:tabular-nums;place-items:center;padding:0 8px;font-size:1.05rem;font-weight:600;display:inline-grid}.split-mini .share{min-width:40px;height:34px;font-size:.95rem}.share[data-highlight=true]{border-color:var(--ok-border);background:var(--ok-bg);color:var(--ok)}.split-total{font-family:var(--mono);font-variant-numeric:tabular-nums;font-size:1.1rem;font-weight:650}[data-outcome=bad] .split-total{color:var(--bad)}[data-outcome=ok] .split-total{color:var(--ok)}.pipeline-lg{gap:var(--space-4)}.pipeline-lg li{padding:0;font-size:.9rem;line-height:1.45}.pipeline-lg li strong{margin-bottom:4px;font-size:1rem}.rw-projects{gap:var(--space-4);display:grid}.rw-card{padding:var(--space-5)}.rw-head{margin-bottom:var(--space-3);flex-wrap:wrap;align-items:baseline;gap:6px 14px;display:flex}.rw-head h3{margin:0;font-size:1.12rem}.rw-head h3 a{color:var(--fg);text-decoration:none}.rw-head h3 a:hover{text-decoration:underline}.rw-head p{margin:0;font-size:.9rem}.rw-versions{gap:var(--space-2);margin:0;padding:0;list-style:none;display:grid}.rw-version{border-radius:var(--radius);background:var(--bg);border:1px solid var(--border);margin:0;padding:12px 14px}.rw-version-head{flex-wrap:wrap;align-items:center;gap:6px 14px;font-size:.92rem;display:flex}.rw-tag{font-size:.98rem;font-weight:650}.rw-count{color:var(--fg-2);margin:4px 0 0;font-size:.92rem}.rw-count strong{color:var(--fg);font-weight:650}.rw-witness{margin-top:10px}.rw-witness-input .req-id{white-space:nowrap}.rw-witness-input{overflow-wrap:anywhere;color:var(--fg-2);margin:0 0 8px;font-size:.9rem}.rw-witness-input .req-id{font-size:.86em}.rw-outputs{grid-template-columns:max-content minmax(0,1fr);align-items:center;gap:8px 16px;margin:0;display:grid}.rw-outputs dt{color:var(--muted);font-size:.86rem}.rw-outputs dd{flex-wrap:wrap;align-items:center;gap:10px;min-width:0;margin:0;display:flex}.rw-outputs .share{min-width:38px;height:32px;font-size:.92rem}.rw-outputs .split-total{font-size:.92rem}.rw-failure{color:var(--bad);white-space:normal}.home-ctas{gap:var(--space-4);grid-template-columns:repeat(3,minmax(0,1fr));display:grid}.home-cta{padding:var(--space-5);border:1px solid var(--border);border-radius:var(--radius-lg);background:var(--surface);box-shadow:var(--shadow-sm);color:var(--fg);flex-direction:column;gap:6px;text-decoration:none;transition:border-color .12s,box-shadow .12s;display:flex}.home-cta strong{color:var(--accent);font-size:1.05rem;font-weight:650}.home-cta span{color:var(--muted);font-size:.92rem}.home-cta .hash{color:var(--fg-2)}.home-cta:hover{border-color:var(--accent);box-shadow:var(--shadow);color:var(--fg)}.reproduce{margin-top:var(--space-4);padding:var(--space-5)}.reproduce h3{margin-bottom:4px;font-size:1.05rem}.reproduce pre{margin:10px 0 12px;font-size:.8rem}@media (max-width:1100px){.timeline,.hero-stats{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (max-width:960px){.featured-grid,.claims-grid,.home-evidence,.home-ctas,.split-mini{grid-template-columns:1fr}}.md pre{white-space:pre}.md ul{margin:.25em 0 .75em 1.2em;padding:0}@media (max-width:640px){.page{padding:var(--space-5) 16px 56px}.site-header{gap:8px 16px;padding:8px 16px}.site-nav{flex-wrap:wrap;flex:1 0 100%;order:3;row-gap:2px;margin:0 -8px}.site-nav a{white-space:nowrap;padding:5px 8px;font-size:.86rem}h1{font-size:1.6rem}.form-grid,.kv{grid-template-columns:1fr}.kv dt{border-bottom:0;padding-bottom:0}.card,.cert{padding:var(--space-4)}.pipeline{grid-template-columns:repeat(2,minmax(0,1fr));gap:10px}.meter{display:none}.home{padding-top:var(--space-5)}.hero-sub{margin-bottom:20px;font-size:1.04rem}.hero-stats{grid-template-columns:repeat(2,minmax(0,1fr));gap:8px}.hero-stat{padding:12px}.hero-stat strong{font-size:1.4rem}.ledger thead{display:none}.ledger,.ledger tbody,.ledger tr,.ledger td{width:100%;display:block}.ledger tr{border-top:1px solid var(--border);padding:12px 16px}.ledger td{border:0;padding:3px 0}.ledger-verdict{margin-right:12px;width:auto!important;display:inline-block!important}.hero-actions{width:100%}.hero-actions .btn{flex:100%}.timeline{grid-template-columns:1fr}.featured-grid .card,.case,.case .realcode,.claims-col,.claims-steps,.home-card,.rw-card,.home-cta,.split-mini,.reproduce{padding:var(--space-4)}.facts-list>div{grid-template-columns:1fr;gap:0}.home-section{margin-top:56px}.home-section>h2{font-size:1.35rem}.families{grid-template-columns:repeat(2,minmax(0,1fr))}.bar-figure{grid-template-columns:minmax(0,1fr) 6.5em}.rw-outputs{grid-template-columns:1fr;gap:4px}.rw-outputs dd+dt{margin-top:6px}}