:root{--bg:#fafaf8;--panel:#ffffff;--panel-2:#f5f1e8;--border:#e0e0e0;--ink:#1a1a1a;--ink-2:#444444;--ink-3:#666666;--accent:#6b63b5;--accent-soft:#efedf9;--breach:#b4413f;--breach-soft:#f7e9e8;--held:#2f7d53;--held-soft:#e6f2ec;--crit:#b4413f;--high:#c9772f;--med:#b08900;--low:#6b7280}@media (prefers-color-scheme:dark){:root{--bg:#1a1a1a;--panel:#242424;--panel-2:#2d2d2d;--border:#333333;--ink:#f0f0f0;--ink-2:#c0c0c0;--ink-3:#999999;--accent:#8b7fd6;--accent-soft:#2b2740;--breach:#e58a88;--breach-soft:#3a2727;--held:#7fc79b;--held-soft:#24332b;--crit:#e58a88;--high:#e0a56b;--med:#d9c05a;--low:#9aa1ad}}*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;padding:2.25rem 1.25rem 5rem;background:var(--bg);color:var(--ink);font:15px/1.6 ui-sans-serif,-apple-system,Segoe UI,Roboto,Helvetica,Arial,sans-serif}.wrap{max-width:54rem;margin:0 auto}a{color:var(--accent)}h1{font-size:1.7rem;margin:0 0 .35rem;letter-spacing:-.01em}.thesis{color:var(--ink-2);margin:0 0 .5rem;font-size:1.02rem}.thesis b{color:var(--ink)}.sub{color:var(--ink-3);font-size:.85rem;margin:0 0 1.75rem}.sub a{text-decoration:none}.sub a:hover{text-decoration:underline}h2{font-size:.78rem;text-transform:uppercase;letter-spacing:.09em;color:var(--ink-3);margin:2rem 0 .75rem;font-weight:600}.panel{background:var(--panel);border:1px solid var(--border);border-radius:10px;padding:1.1rem 1.2rem;margin:0 0 1rem}.layers{display:flex;flex-wrap:wrap;gap:.75rem 1.25rem;margin:0}.layer{display:flex;align-items:flex-start;gap:.5rem;font-size:.9rem;max-width:15rem}.layer input{margin-top:.2rem}.layer .lt{font-weight:600}.layer .ld{color:var(--ink-3);font-size:.8rem}.run-row{display:flex;align-items:center;gap:1rem;margin-top:1rem}button.run{background:var(--accent);color:#fff;border:0;border-radius:8px;padding:.6rem 1.3rem;font:inherit;font-weight:600;cursor:pointer;font-size:.95rem}button.run:disabled{opacity:.55;cursor:default}.spinner{width:15px;height:15px;border:2px solid var(--border);border-top-color:var(--accent);border-radius:50%;display:inline-block;animation:spin .8s linear infinite;vertical-align:-2px}@keyframes spin{to{transform:rotate(1turn)}}.err{background:var(--breach-soft);border:1px solid var(--breach);padding:.7rem .9rem;color:var(--breach);font-size:.9rem}.callout,.err{border-radius:8px}.callout{background:var(--accent-soft);padding:.8rem 1rem;font-size:.88rem;color:var(--ink-2);margin:0 0 1.25rem}.callout b{color:var(--ink)}.notes{font-size:.83rem;color:var(--ink-3);margin:0;padding-left:1.1rem}.notes li{margin:.25rem 0}.empty{color:var(--ink-3);font-size:.9rem}.summary{display:flex;flex-wrap:wrap;gap:.5rem 1.5rem;font-size:.85rem;color:var(--ink-2)}.summary b{color:var(--ink)}.big-verdict{display:flex;align-items:baseline;gap:.6rem;margin-bottom:.6rem}.big-verdict .n{font-size:1.8rem;font-weight:700;letter-spacing:-.01em}.big-verdict .n.held{color:var(--held)}.big-verdict .n.breach{color:var(--breach)}.big-verdict .lbl{color:var(--ink-3);font-size:.9rem}.mono{font-family:ui-monospace,Menlo,Consolas,monospace;font-size:.8rem;color:var(--ink-3)}.badge{font-size:.68rem;text-transform:uppercase;letter-spacing:.05em;font-weight:700;padding:.15rem .45rem;border-radius:5px;white-space:nowrap}.badge.held{background:var(--held-soft);color:var(--held)}.badge.breach{background:var(--breach-soft);color:var(--breach)}.badge.error{background:var(--panel-2);color:var(--high)}.badge.conf-high{background:var(--held-soft);color:var(--held)}.badge.conf-medium{background:var(--panel-2);color:var(--med)}.badge.conf-low{background:var(--panel-2);color:var(--low)}.finding{border:1px solid var(--border);border-radius:9px;padding:.85rem 1rem;margin-bottom:.6rem;background:var(--panel)}.finding.held{border-left:4px solid var(--held)}.finding.breach{border-left:4px solid var(--breach)}.finding.error{border-left:4px solid var(--high)}.f-head{display:flex;flex-wrap:wrap;align-items:center;gap:.5rem}.f-title{font-weight:600;font-size:.95rem;flex:1 1;min-width:12rem}.f-cid{font-size:.8rem}.f-cid,.f-rate{font-family:ui-monospace,Menlo,Consolas,monospace;color:var(--ink-3)}.f-rate{font-size:.78rem;white-space:nowrap}.f-attack{color:var(--ink);font-size:.9rem;margin:.45rem 0 .15rem}.f-attack .k{color:var(--ink-3);font-weight:600;font-size:.72rem;text-transform:uppercase;letter-spacing:.05em;margin-right:.35rem}.f-assert{color:var(--ink-2);font-size:.83rem;margin:.15rem 0}.chips{display:flex;flex-wrap:wrap;gap:.35rem;margin:.5rem 0 0}.chip{font-size:.72rem;font-family:ui-monospace,Menlo,Consolas,monospace;background:var(--panel-2);border:1px solid var(--border);border-radius:5px;padding:.1rem .4rem;color:var(--ink-2)}details.evidence{margin-top:.5rem}details.evidence summary{cursor:pointer;font-size:.82rem;color:var(--accent);font-weight:600}.obs{margin:.5rem 0 0;padding:0;list-style:none;font-size:.83rem}.obs li{margin:.2rem 0;color:var(--ink-2)}.obs .k{color:var(--ink-3);font-family:ui-monospace,Menlo,Consolas,monospace;font-size:.76rem;margin-right:.4rem}.xwalk{margin:.55rem 0 0}.xwalk table{width:100%;border-collapse:collapse;font-size:.8rem}.xwalk td{vertical-align:top;padding:.3rem .5rem .3rem 0;border-bottom:1px solid var(--border);color:var(--ink-2)}.xwalk td.fw{white-space:nowrap;color:var(--ink)}.xwalk td.basis{color:var(--ink-3);font-size:.78rem}pre{background:var(--panel-2);border:1px solid var(--border);border-radius:7px;padding:.7rem .85rem;font:12px/1.5 ui-monospace,Menlo,Consolas,monospace;color:var(--ink);margin:.5rem 0 0}.matrix-wrap,pre{overflow-x:auto}table.matrix{border-collapse:collapse;font-size:.72rem;font-family:ui-monospace,Menlo,Consolas,monospace}table.matrix td,table.matrix th{border:1px solid var(--border);padding:.28rem .4rem;text-align:center}table.matrix th{color:var(--ink-3);font-weight:600;background:var(--panel-2)}table.matrix th.rowh{text-align:right;white-space:nowrap}table.matrix td.held{color:var(--held)}table.matrix td.breach{color:#fff;background:var(--breach);font-weight:700}.matrix-verdict{font-size:.85rem;margin:.6rem 0 0}.matrix-verdict.ok{color:var(--held)}.matrix-verdict.bad{color:var(--breach)}.exp-grid{display:grid;grid-template-columns:1fr 1fr 1fr;grid-gap:.6rem;gap:.6rem;margin-bottom:.9rem}@media (max-width:640px){.exp-grid{grid-template-columns:1fr}}.exp-fig{background:var(--panel-2);border:1px solid var(--border);border-radius:9px;padding:.8rem .95rem}.exp-fig .v{font-size:1.45rem;font-weight:700;letter-spacing:-.01em}.exp-fig.inherent .v{color:var(--breach)}.exp-fig.residual .v{color:var(--held)}.exp-fig.diff .v{color:var(--accent)}.exp-fig .l{color:var(--ink-3);font-size:.78rem;margin-top:.15rem}.exp-fig .p{color:var(--ink-3);font-size:.72rem;font-family:ui-monospace,Menlo,Consolas,monospace;margin-top:.2rem}.cv{display:flex;align-items:center;gap:.6rem;margin:.25rem 0;font-size:.82rem}.cv .cid{font-family:ui-monospace,Menlo,Consolas,monospace;width:5rem;color:var(--ink-2)}.cv .bar{height:.7rem;background:var(--accent);border-radius:3px;min-width:2px}.cv .amt{font-family:ui-monospace,Menlo,Consolas,monospace;color:var(--ink);width:4rem;text-align:right}