:root{color-scheme:light;--cloud:#edf3f7;--paper:#fff;--ink:#172c3e;--muted:#4d6372;--ocean:#235b77;--edge:#cbd9e2;--amber:#8c570c;--leaf:#266044;font-family:"Helvetica Neue",Arial,sans-serif}
[hidden]{display:none!important}
*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:var(--cloud);color:var(--ink);font-size:18px;line-height:1.65}a{color:var(--ocean);text-underline-offset:.22em}a:hover{text-decoration-thickness:2px}button,a:focus-visible,summary:focus-visible{outline-offset:4px}button:focus-visible,a:focus-visible,summary:focus-visible{outline:3px solid var(--ocean)}button{font:inherit;cursor:pointer}header{background:var(--paper);border-bottom:1px solid var(--edge)}.header-inner{max-width:1240px;margin:auto;padding:1rem 1.5rem;display:flex;align-items:center;justify-content:space-between;gap:1rem}.brand{display:flex;gap:.65rem;align-items:center;text-decoration:none;font-size:1.15rem;font-weight:750;color:var(--ink)}.brand svg{width:30px;height:30px}nav{display:flex;flex-wrap:wrap;gap:1.2rem;font-size:16px}nav a{padding:.35rem 0}.nav-toggle{display:none;background:var(--paper);border:1px solid var(--edge);padding:.5rem .75rem;border-radius:4px}main{max-width:1240px;margin:auto;padding:3.5rem 1.5rem 6rem}.hero{max-width:950px;margin-bottom:3rem}h1{font-size:clamp(2.5rem,6.5vw,5.2rem);line-height:1.05;font-weight:750;letter-spacing:-.04em;margin:.3rem 0 1.5rem}h2{font-size:clamp(1.6rem,3vw,2.25rem);line-height:1.2;letter-spacing:-.02em;margin:2.8rem 0 1rem}h3{font-size:1.3rem;line-height:1.3;margin:1.8rem 0 .65rem}p{max-width:74ch}.lead{font-size:clamp(1.15rem,2.6vw,1.5rem);line-height:1.5;max-width:65ch}.version{font-size:16px;color:var(--muted)}.actions{display:flex;flex-wrap:wrap;gap:.75rem;margin:1.5rem 0}.button{display:inline-flex;align-items:center;justify-content:center;text-decoration:none;padding:.8rem 1.15rem;border-radius:5px;border:1px solid var(--ocean);font:650 16px/1.4 "Helvetica Neue",Arial,sans-serif;min-height:46px}.button.primary{color:white;background:var(--ocean)}.button.secondary{background:var(--paper);color:var(--ocean)}.proof{background:var(--paper);border:1px solid var(--edge);border-radius:12px;padding:clamp(1.1rem,3vw,2rem);margin:2rem 0 3rem}.proof h2{margin-top:0}.proof-intro{color:var(--muted);font-size:16px}.stages{display:flex;gap:.6rem;flex-wrap:wrap;margin:1.4rem 0}.stage{border:1px solid var(--edge);background:var(--cloud);color:var(--ink);padding:.7rem .95rem;border-radius:5px;min-height:44px;font-size:16px}.stage[aria-pressed=true]{background:var(--ink);color:white;border-color:var(--ink)}.proof-grid{display:grid;grid-template-columns:1fr 1fr;gap:2rem}.record-panel{border-left:4px solid var(--ocean);padding-left:1rem}.record-panel h3{margin-top:0}.status{display:inline-block;font-size:18px;font-weight:750;background:#e5edf3;color:var(--ocean);padding:.3rem .7rem;border-radius:4px}.status.blocked{color:var(--amber);background:#fff2d8}.proof-result{align-self:start}.proof-result pre{font-size:14px;max-height:24rem}.note{font-size:16px;color:var(--muted);max-width:78ch}.reading-path{display:grid;grid-template-columns:repeat(3,1fr);gap:2.5rem;margin:2rem 0}.reading-path h3{margin-top:0}.reading-path a{display:block;padding:.35rem 0}.reading-path p{font-size:16px;color:var(--muted)}.contract{background:var(--ink);color:white;padding:2rem;border-radius:10px;margin:3rem 0}.contract h2{margin-top:0}.contract a{color:#badff2}.contract p{max-width:75ch}.doc{max-width:88ch}.doc h1{font-size:clamp(2rem,5vw,3.4rem);line-height:1.15;letter-spacing:-.03em}.doc h2{font-size:1.7rem;scroll-margin-top:1rem}.doc h3{font-size:1.25rem}.doc li{margin-bottom:.65rem}pre{overflow:auto;background:#e9eff3;padding:1.1rem;border-radius:6px;font:14px/1.55 ui-monospace,SFMono-Regular,Consolas,monospace;max-width:100%}code{font: .86em ui-monospace,SFMono-Regular,Consolas,monospace}pre code{font:inherit}.table-scroll{overflow:auto;max-width:100%}table{border-collapse:collapse;font-size:15px;min-width:550px}th,td{padding:.8rem;text-align:left;vertical-align:top;border-bottom:1px solid var(--edge)}figure{margin:2rem 0;border:1px solid var(--edge);background:white;padding:1rem;border-radius:8px}.mermaid{background:white;white-space:pre}.mermaid svg{display:block;max-width:100%;height:auto;margin:auto}details{margin:1rem 0}summary{cursor:pointer;font-size:16px;min-height:30px}footer{max-width:1240px;margin:auto;padding:1.5rem;color:var(--muted);font-size:14px;border-top:1px solid var(--edge)}.skip{position:absolute;left:1rem;top:-5rem;background:white;padding:.7rem;z-index:10}.skip:focus{top:1rem}.doc-nav{margin-bottom:2rem}.doc-nav a{margin-right:1rem}.licensing{font-size:16px;color:var(--muted)}
@media(max-width:760px){main{padding-top:2rem}.header-inner{flex-wrap:wrap}.nav-toggle{display:block}header nav{display:none;width:100%;flex-direction:column;gap:.1rem}header nav.open{display:flex}header nav a{padding:.65rem 0;min-height:40px}.proof-grid,.reading-path{grid-template-columns:1fr;gap:1.5rem}.stage{flex:1 1 130px}h1{letter-spacing:-.03em}.contract{padding:1.3rem}.doc{font-size:17px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}
figcaption{font-size:14px;color:var(--muted)}
.diagram-size{margin-top:.6rem;padding:.4rem .7rem;background:var(--paper);color:var(--ocean);border:1px solid var(--edge);border-radius:4px;font-size:14px;min-height:44px}.mermaid{padding:.75rem;min-width:0}
@media(max-width:760px){.table-scroll{overflow:visible}table{min-width:0;width:100%}thead{position:absolute;clip:rect(0 0 0 0);clip-path:inset(50%);width:1px;height:1px;overflow:hidden}table,tbody,tr,td{display:block}tr{border:1px solid var(--edge);border-radius:6px;margin:1rem 0}td{border:0;padding:.65rem .8rem}td::before{content:attr(data-label);display:block;font-weight:700;color:var(--muted);font-size:14px;margin-bottom:.25rem}}
@media print{header,.actions,.stages,.nav-toggle,.skip{display:none}body{background:white}main{padding:0;max-width:none}.proof,figure{break-inside:avoid}.contract{background:white;color:black;border:1px solid black}footer{padding:1rem 0}.mermaid{overflow:visible}}
.lab{max-width:1240px}.lab-grid{display:grid;grid-template-columns:minmax(0,1.2fr) minmax(0,1fr);gap:2rem}.lab-grid>section{min-width:0}.lab label{display:block;font-weight:650;margin:.8rem 0 .3rem}.lab select{width:100%;max-width:36rem;min-height:48px;padding:.65rem;border:1px solid var(--edge);border-radius:5px;background:var(--paper);color:var(--ink);font:inherit}.lab textarea{width:100%;height:34rem;padding:1rem;border:1px solid var(--edge);border-radius:6px;background:var(--paper);color:var(--ink);font:14px/1.6 ui-monospace,SFMono-Regular,Consolas,monospace;resize:vertical;tab-size:2}.lab textarea:focus-visible,.lab select:focus-visible{outline:3px solid var(--ocean);outline-offset:3px}.lab button:disabled{opacity:.55;cursor:wait}.lab-result pre{min-height:12rem;max-height:34rem;white-space:pre-wrap;overflow-wrap:anywhere}.lab-result .status{background:var(--cloud);color:var(--ink)}
@media(max-width:760px){.lab-grid{grid-template-columns:minmax(0,1fr);gap:0}.lab textarea{height:24rem}.lab select{font-size:16px}}