:root{--color-neutral-50: oklch(99% .002 70);--color-neutral-100: oklch(97.5% .003 70);--color-neutral-200: oklch(95% .004 70);--color-neutral-300: oklch(91% .005 70);--color-neutral-400: oklch(84% .006 70);--color-neutral-500: oklch(70% .007 70);--color-neutral-600: oklch(56% .007 70);--color-neutral-700: oklch(42% .007 70);--color-neutral-800: oklch(30% .006 70);--color-neutral-900: oklch(21% .005 70);--color-neutral-950: oklch(16% .005 70);--color-accent-100: oklch(96% .02 198);--color-accent-200: oklch(91% .038 198);--color-accent-300: oklch(82% .06 198);--color-accent-400: oklch(70% .078 198);--color-accent-500: oklch(58% .09 198);--color-accent-600: oklch(50% .082 198);--color-accent-700: oklch(41% .07 198);--color-accent-800: oklch(32% .055 198);--color-accent-900: oklch(24% .04 198);--color-satisfied-100: oklch(95% .03 150);--color-satisfied-500: oklch(58% .105 150);--color-satisfied-700: oklch(43% .085 150);--color-satisfied-900: oklch(26% .05 150);--color-gap-100: oklch(95.5% .028 25);--color-gap-500: oklch(57% .15 25);--color-gap-700: oklch(44% .13 25);--color-gap-900: oklch(27% .075 25);--color-partial-100: oklch(96% .035 75);--color-partial-500: oklch(68% .12 75);--color-partial-700: oklch(52% .1 75);--color-partial-900: oklch(30% .06 75);--color-linkage-100: oklch(95.5% .028 300);--color-linkage-500: oklch(58% .115 300);--color-linkage-700: oklch(45% .095 300);--color-linkage-900: oklch(28% .055 300);--font-ui: ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--font-mono: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, "Liberation Mono", monospace;--text-xs: .75rem;--text-sm: .8125rem;--text-base: .9375rem;--text-lg: 1.125rem;--text-xl: 1.375rem;--text-2xl: 1.75rem;--text-3xl: 2.25rem;--text-4xl: 3rem;--weight-normal: 400;--weight-medium: 500;--weight-semi: 600;--leading-tight: 1.25;--leading-normal: 1.55;--space-1: 4px;--space-2: 8px;--space-3: 12px;--space-4: 16px;--space-5: 24px;--space-6: 32px;--space-7: 48px;--space-8: 64px;--space-9: 96px;--radius-sm: 2px;--radius: 4px;--radius-lg: 8px;--radius-full: 999px;--border-width: 1px;--focus-width: 2px;--min-app-width: 1100px;--lens-dim: .35;--diagram-label-max-width: 20rem;--duration-fast: .1s;--duration: .16s;--ease: cubic-bezier(.2, 0, .13, 1)}:root,:root[data-theme=light]{--color-bg: var(--color-neutral-50);--color-surface: #ffffff;--color-surface-sunk: var(--color-neutral-100);--color-border: var(--color-neutral-300);--color-border-strong: var(--color-neutral-400);--color-text: var(--color-neutral-900);--color-text-muted: var(--color-neutral-600);--color-text-faint: var(--color-neutral-500);--color-accent: var(--color-accent-600);--color-accent-hover: var(--color-accent-700);--color-accent-tint: var(--color-accent-100);--verdict-satisfied-fg: var(--color-satisfied-700);--verdict-satisfied-bg: var(--color-satisfied-100);--verdict-gap-fg: var(--color-gap-700);--verdict-gap-bg: var(--color-gap-100);--verdict-partial-fg: var(--color-partial-700);--verdict-partial-bg: var(--color-partial-100);--verdict-linkage-fg: var(--color-linkage-700);--verdict-linkage-bg: var(--color-linkage-100);--verdict-none-fg: var(--color-neutral-600);--verdict-none-bg: var(--color-neutral-200);--shadow-sm: 0 1px 2px oklch(0% 0 0 / .05);--shadow-md: 0 2px 4px oklch(0% 0 0 / .06), 0 1px 2px oklch(0% 0 0 / .04);--shadow-lg: 0 8px 24px oklch(0% 0 0 / .1), 0 2px 6px oklch(0% 0 0 / .06);color-scheme:light}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){--color-bg: var(--color-neutral-950);--color-surface: var(--color-neutral-900);--color-surface-sunk: oklch(13.5% .005 70);--color-border: var(--color-neutral-800);--color-border-strong: var(--color-neutral-700);--color-text: var(--color-neutral-100);--color-text-muted: var(--color-neutral-500);--color-text-faint: var(--color-neutral-600);--color-accent: var(--color-accent-400);--color-accent-hover: var(--color-accent-300);--color-accent-tint: var(--color-accent-900);--verdict-satisfied-fg: oklch(78% .095 150);--verdict-satisfied-bg: var(--color-satisfied-900);--verdict-gap-fg: oklch(76% .12 25);--verdict-gap-bg: var(--color-gap-900);--verdict-partial-fg: oklch(82% .105 75);--verdict-partial-bg: var(--color-partial-900);--verdict-linkage-fg: oklch(78% .095 300);--verdict-linkage-bg: var(--color-linkage-900);--verdict-none-fg: var(--color-neutral-500);--verdict-none-bg: var(--color-neutral-800);--shadow-sm: 0 1px 2px oklch(0% 0 0 / .3);--shadow-md: 0 2px 6px oklch(0% 0 0 / .36);--shadow-lg: 0 10px 30px oklch(0% 0 0 / .46);color-scheme:dark}}:root[data-theme=dark]{--color-bg: var(--color-neutral-950);--color-surface: var(--color-neutral-900);--color-surface-sunk: oklch(13.5% .005 70);--color-border: var(--color-neutral-800);--color-border-strong: var(--color-neutral-700);--color-text: var(--color-neutral-100);--color-text-muted: var(--color-neutral-500);--color-text-faint: var(--color-neutral-600);--color-accent: var(--color-accent-400);--color-accent-hover: var(--color-accent-300);--color-accent-tint: var(--color-accent-900);--verdict-satisfied-fg: oklch(78% .095 150);--verdict-satisfied-bg: var(--color-satisfied-900);--verdict-gap-fg: oklch(76% .12 25);--verdict-gap-bg: var(--color-gap-900);--verdict-partial-fg: oklch(82% .105 75);--verdict-partial-bg: var(--color-partial-900);--verdict-linkage-fg: oklch(78% .095 300);--verdict-linkage-bg: var(--color-linkage-900);--verdict-none-fg: var(--color-neutral-500);--verdict-none-bg: var(--color-neutral-800);--shadow-sm: 0 1px 2px oklch(0% 0 0 / .3);--shadow-md: 0 2px 6px oklch(0% 0 0 / .36);--shadow-lg: 0 10px 30px oklch(0% 0 0 / .46);color-scheme:dark}*,*:before,*:after{box-sizing:border-box}body{margin:0;background:var(--color-bg);color:var(--color-text);font-family:var(--font-ui);font-size:var(--text-base);line-height:var(--leading-normal);-webkit-font-smoothing:antialiased;font-synthesis-weight:none}h1,h2,h3,h4{margin:0 0 var(--space-3);font-weight:var(--weight-medium);line-height:var(--leading-tight);letter-spacing:-.015em}h1{font-size:var(--text-3xl)}h2{font-size:var(--text-xl)}h3{font-size:var(--text-lg)}h4{font-size:var(--text-base);font-weight:var(--weight-semi)}p{margin:0 0 var(--space-4);max-width:68ch}a{color:var(--color-accent);text-decoration-thickness:1px;text-underline-offset:.18em}a:hover{color:var(--color-accent-hover)}:focus-visible{outline:var(--focus-width) solid var(--color-accent);outline-offset:2px;border-radius:var(--radius-sm)}::selection{background:var(--color-accent-tint);color:var(--color-text)}code,kbd,samp,.mono,.id{font-family:var(--font-mono);font-size:.9em;font-variant-ligatures:none}.id{color:var(--color-text-muted);background:var(--color-surface-sunk);border:var(--border-width) solid var(--color-border);border-radius:var(--radius-sm);padding:0 var(--space-1);white-space:nowrap}.muted{color:var(--color-text-muted)}.faint{color:var(--color-text-faint)}.warrant{display:inline-flex;align-items:center;gap:var(--space-1);font-family:var(--font-mono);font-size:var(--text-xs);line-height:1;padding:3px var(--space-2);border-radius:var(--radius-full);white-space:nowrap}.warrant:before{content:"";width:8px;height:8px;border-radius:var(--radius-full);flex:none}.warrant-observed{color:var(--color-neutral-50);background:var(--color-neutral-800);border:var(--border-width) solid var(--color-neutral-800)}.warrant-observed:before{background:currentColor}.warrant-entailed{color:var(--color-text);background:transparent;border:var(--border-width) solid var(--color-border-strong)}.warrant-entailed:before{border:1.5px solid currentColor}.warrant-inferred{color:var(--color-text-muted);background:transparent;border:var(--border-width) dashed var(--color-border-strong)}.warrant-inferred:before{border:1.5px dashed currentColor}.warrant-asserted{color:var(--color-text-faint);background:transparent;border:var(--border-width) dotted var(--color-border-strong)}.warrant-asserted:before{border:1.5px dotted currentColor}.gate{display:inline-flex;align-items:center;gap:var(--space-1);font-family:var(--font-mono);font-size:var(--text-xs);line-height:1;border-radius:var(--radius-full);padding:3px var(--space-2);white-space:nowrap;color:var(--color-text);border:var(--border-width) solid var(--color-text-muted);text-transform:none;letter-spacing:0}.gate.state-proposed:before{content:"✎"}.state-proposed{opacity:.72;border-style:dashed!important}.state-rejected{opacity:.55;text-decoration:line-through}.state-deferred{opacity:.62}.verdict{display:inline-flex;align-items:center;gap:var(--space-1);font-size:var(--text-xs);font-weight:var(--weight-medium);line-height:1;padding:3px var(--space-2);border-radius:var(--radius-sm);white-space:nowrap}.verdict:before{font-family:var(--font-mono);font-size:1.05em}.verdict-satisfied{color:var(--verdict-satisfied-fg);background:var(--verdict-satisfied-bg)}.verdict-satisfied:before{content:"✓"}.verdict-gap{color:var(--verdict-gap-fg);background:var(--verdict-gap-bg)}.verdict-gap:before{content:"✕"}.verdict-partial{color:var(--verdict-partial-fg);background:var(--verdict-partial-bg)}.verdict-partial:before{content:"◐"}.verdict-linkage{color:var(--verdict-linkage-fg);background:var(--verdict-linkage-bg)}.verdict-linkage:before{content:"⋔"}.verdict-none{color:var(--verdict-none-fg);background:var(--verdict-none-bg)}.verdict-none:before{content:"–"}.verdict-outofscope{color:var(--verdict-none-fg);background:transparent;border:var(--border-width) dashed var(--color-border)}.verdict-outofscope:before{content:"⌀"}.verification{font-family:var(--font-mono);font-size:var(--text-xs);color:var(--color-text-muted)}.verification-unverifiable{color:var(--verdict-partial-fg);border:var(--border-width) solid currentColor;border-radius:var(--radius-sm);padding:1px var(--space-1)}.contrib{display:inline-flex;align-items:center;gap:var(--space-1);font-size:var(--text-xs);font-weight:var(--weight-medium);line-height:1;padding:3px var(--space-2);border-radius:var(--radius-sm);white-space:nowrap}.contrib:before{font-family:var(--font-mono);font-size:1.05em}.contrib-stated{color:var(--verdict-satisfied-fg);background:var(--verdict-satisfied-bg)}.contrib-stated:before{content:"●"}.contrib-partial{color:var(--verdict-partial-fg);background:var(--verdict-partial-bg)}.contrib-partial:before{content:"◐"}.contrib-none{color:var(--verdict-none-fg);background:var(--verdict-none-bg)}.contrib-none:before{content:"○"}.derivation{display:inline-flex;align-items:center;gap:var(--space-1);font-size:var(--text-xs);color:var(--color-text-muted)}.derivation-join:before{content:"⊞";font-family:var(--font-mono)}.derivation-authored:before{content:"✎";font-family:var(--font-mono)}.sev{font-family:var(--font-mono);font-size:var(--text-xs);color:var(--color-text-muted);white-space:nowrap}.sev:before{margin-right:var(--space-1);letter-spacing:-.1em}.sev-critical:before{content:"▮▮▮"}.sev-major:before{content:"▮▮▯"}.sev-minor:before{content:"▮▯▯"}.sev-informational:before{content:"▯▯▯"}.finding{border-left:2px solid var(--color-border-strong);padding:var(--space-3) 0 var(--space-3) var(--space-4);margin:0 0 var(--space-4)}.finding-head{display:flex;align-items:center;gap:var(--space-2);flex-wrap:wrap;margin-bottom:var(--space-2)}.finding-title{font-weight:var(--weight-medium)}.finding-cite{font-family:var(--font-mono);font-size:var(--text-xs);color:var(--color-text-muted)}.finding-cite a{color:inherit}.finding-severity-high{border-left-color:var(--verdict-gap-fg)}.finding-severity-med{border-left-color:var(--verdict-partial-fg)}.finding-severity-low{border-left-color:var(--color-border-strong)}.finding .recommendation{margin:var(--space-3) 0 0;padding:var(--space-3);background:var(--color-surface-sunk);border:var(--border-width) dashed var(--color-border);border-radius:var(--radius);font-size:var(--text-sm)}.finding .recommendation:before{content:"Recommendation";display:block;font-family:var(--font-mono);font-size:var(--text-xs);font-style:normal;letter-spacing:.06em;text-transform:uppercase;color:var(--color-text-faint);margin-bottom:var(--space-1)}.recommendation:not(.finding .recommendation){border:var(--border-width) solid var(--verdict-gap-fg);color:var(--verdict-gap-fg);padding:var(--space-2)}.recommendation:not(.finding .recommendation):before{content:"UNHOUSED RECOMMENDATION — no finding"}.coverage{display:flex;align-items:center;gap:var(--space-3);flex-wrap:wrap;padding:var(--space-2) var(--space-3);background:var(--color-surface-sunk);border-top:var(--border-width) solid var(--color-border);font-size:var(--text-xs)}.coverage-bar{display:flex;height:6px;min-width:160px;flex:1;border-radius:var(--radius-full);overflow:hidden;background:var(--verdict-none-bg)}.coverage-seg{height:100%}.coverage-seg-satisfied{background:var(--verdict-satisfied-fg)}.coverage-seg-partial{background:var(--verdict-partial-fg)}.coverage-seg-gap{background:var(--verdict-gap-fg)}.coverage-seg-none{background:var(--verdict-none-fg);opacity:.4}.btn{display:inline-flex;align-items:center;justify-content:center;gap:var(--space-2);min-height:32px;padding:0 var(--space-3);font:inherit;font-size:var(--text-sm);font-weight:var(--weight-medium);color:var(--color-text);background:transparent;border:var(--border-width) solid var(--color-border-strong);border-radius:var(--radius);cursor:pointer;transition:background var(--duration-fast) var(--ease),border-color var(--duration-fast) var(--ease)}.btn:hover{background:var(--color-surface-sunk)}.btn:active{background:var(--color-neutral-200)}.btn:disabled{opacity:.45;cursor:not-allowed}.btn-primary{color:var(--color-accent);border-color:var(--color-accent)}.btn-primary:hover{background:var(--color-accent-tint)}.btn-ghost{border-color:transparent}.btn-ghost:hover{background:var(--color-surface-sunk)}.btn-touch{min-height:44px;padding:0 var(--space-4)}.card{background:var(--color-surface);border:var(--border-width) solid var(--color-border);border-radius:var(--radius-lg);padding:var(--space-4)}.card-kicker{font-family:var(--font-mono);font-size:var(--text-xs);letter-spacing:.06em;text-transform:uppercase;color:var(--color-text-faint);margin-bottom:var(--space-1)}.field{display:flex;flex-direction:column;gap:var(--space-1)}.field label{font-size:var(--text-sm);color:var(--color-text-muted)}.field-fault{font-size:var(--text-xs);color:var(--verdict-gap-fg);margin:var(--space-1) 0 0}.strip{font-size:var(--text-xs);background:var(--color-accent-tint);border-radius:var(--radius-sm);padding:var(--space-2);margin-top:var(--space-2)}.strip-stale{background:var(--verdict-partial-bg);color:var(--verdict-partial-fg)}.input{min-height:36px;padding:0 var(--space-3);font:inherit;font-size:var(--text-sm);color:var(--color-text);background:var(--color-surface);border:var(--border-width) solid var(--color-border-strong);border-radius:var(--radius)}.input::placeholder{color:var(--color-text-faint)}.input-mono{font-family:var(--font-mono);letter-spacing:.25em;text-align:center}.input-ref{font-family:var(--font-mono)}.table{width:100%;border-collapse:collapse;font-size:var(--text-sm)}.table th{text-align:left;font-weight:var(--weight-medium);font-size:var(--text-xs);letter-spacing:.04em;text-transform:uppercase;color:var(--color-text-faint);padding:var(--space-2) var(--space-3);border-bottom:var(--border-width) solid var(--color-border-strong);white-space:nowrap}.table td{padding:var(--space-2) var(--space-3);border-bottom:var(--border-width) solid var(--color-border);vertical-align:top}.table tbody tr:hover{background:var(--color-surface-sunk)}.nav{display:flex;align-items:center;gap:var(--space-4);min-height:52px;padding:0 var(--space-4);background:var(--color-bg);border-bottom:var(--border-width) solid var(--color-border)}.nav-brand{font-weight:var(--weight-semi);letter-spacing:-.02em;margin-right:auto}.scroll-x{overflow-x:auto;max-width:100%}@media print{:root{color-scheme:light}body{background:#fff;color:#000;font-size:10pt}.nav,.btn,.coverage-bar{display:none}.card,.finding{break-inside:avoid}.finding{border-left-color:#000}a{color:inherit;text-decoration:none}.finding-cite a:after{content:" (" attr(href) ")";font-size:.85em}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{transition-duration:1ms!important;animation-duration:1ms!important}}