h1{text-wrap:balance;max-width:26ch;margin:var(--space-md) 0 var(--space-md)}section.block{padding:clamp(var(--space-xl),5vw,var(--space-2xl)) 0}.tscroll{margin-top:var(--space-sm)}table.layers{width:100%;border-collapse:collapse;font-size:var(--text-caption);min-width:480px}.layers th{text-align:left;color:var(--color-muted);padding:var(--space-xs) var(--space-sm) var(--space-xs) 0;border-bottom:1px solid var(--color-rule-strong)}.layers td{padding:var(--space-xs) var(--space-sm) var(--space-xs) 0;border-bottom:1px solid var(--color-rule);vertical-align:top;color:var(--color-muted)}.layers td.lay{font-family:var(--font-family-mono);font-size:var(--text-fine);color:var(--color-ink);white-space:nowrap}.exwrap{margin:var(--space-md) 0}.excap{color:var(--color-muted);margin-bottom:var(--space-xs);max-width:60ch}table.example{width:100%;border-collapse:collapse}.example td{padding:var(--space-sm) var(--space-md) var(--space-sm) 0;border-bottom:1px solid var(--color-rule)}.example td:last-child{padding-right:0}.example .tick{white-space:nowrap}.example td.figc{text-align:right}.example td.verc{text-align:right;white-space:nowrap}.bookart .mk{fill:var(--color-rule-strong);transform-box:fill-box;transform-origin:center}.bookart .mk.hit{fill:var(--verified-text)}.bookart .mk.miss{fill:var(--failed-text)}.bookart .blab{font-family:var(--font-family-mono);font-size:var(--text-fine);fill:var(--color-muted);text-anchor:middle;letter-spacing:var(--tracking-caps)}@media(prefers-reduced-motion:no-preference){body:not(.no-js) .bookart .mk{fill:var(--color-rule-strong)}body:not(.no-js) .bookart .blab{opacity:0}.bookart.on .mk.hit{animation:mkhit .5s var(--ease-out) both}.bookart.on .mk.miss{animation:mkmiss .5s var(--ease-out) both}.bookart.on .mk:nth-child(12n+1){animation-delay:700ms}.bookart.on .mk:nth-child(12n+2){animation-delay:820ms}.bookart.on .mk:nth-child(12n+3){animation-delay:940ms}.bookart.on .mk:nth-child(12n+4){animation-delay:1060ms}.bookart.on .mk:nth-child(12n+5){animation-delay:1180ms}.bookart.on .mk:nth-child(12n+6){animation-delay:1300ms}.bookart.on .mk:nth-child(12n+7){animation-delay:1420ms}.bookart.on .mk:nth-child(12n+8){animation-delay:1540ms}.bookart.on .mk:nth-child(12n+9){animation-delay:1660ms}.bookart.on .mk:nth-child(12n+10){animation-delay:1780ms}.bookart.on .mk:nth-child(12n+11){animation-delay:1900ms}.bookart.on .mk:nth-child(12n+12){animation-delay:2020ms}.bookart.on .blab{animation:blabin .45s var(--ease-out) 2.7s forwards}}@keyframes blabin{from{opacity:0;transform:translateY(3px)}to{opacity:1;transform:none}}@keyframes mkhit{from{fill:var(--color-rule-strong);transform:scale(.7)}to{fill:var(--verified-text);transform:none}}@keyframes mkmiss{from{fill:var(--color-rule-strong);transform:scale(.7)}to{fill:var(--failed-text);transform:none}}.checklist{list-style:none;margin:var(--space-md) 0;max-width:62ch}.checklist li{padding:var(--space-xs) 0 var(--space-xs) var(--space-md);position:relative;color:var(--color-muted)}.checklist li::before{content:"";position:absolute;left:0;top:calc(var(--space-md) - 1px);width:6px;height:6px;border-radius:50%;background:var(--color-rule-strong)}.checklist li b{color:var(--color-ink)}.revealintro{max-width:66ch;margin-bottom:var(--space-lg)}.phases{display:grid;grid-template-columns:1fr 1fr;gap:clamp(var(--space-lg),4vw,var(--space-2xl))}.phase{border:1px solid var(--color-rule-strong);border-radius:var(--radius-lg);background:var(--color-panel);padding:clamp(var(--space-md),2.5vw,var(--space-lg));position:relative;display:flex;flex-direction:column;gap:var(--space-md)}.phase:first-child::after{content:"→";position:absolute;right:calc(-0.5 * clamp(var(--space-lg),4vw,var(--space-2xl)));top:50%;transform:translate(50%,-50%);color:var(--color-muted);font-size:var(--text-lg);line-height:1}.phase .ph{font-family:var(--font-family-mono);font-size:var(--text-label);letter-spacing:.08em;text-transform:uppercase;color:var(--color-muted)}.phase .grp{display:flex;flex-direction:column;gap:var(--space-xs)}.phase .grp .g{font-size:var(--text-sm);font-weight:var(--weight-title);color:var(--color-ink)}.phase ul{list-style:none}.phase li{color:var(--color-muted);padding:var(--space-xs) 0}.phase li b{color:var(--color-ink)}.chip-pending,.chip-open{align-self:flex-start;margin-top:auto}.revealnote{margin-top:var(--space-lg);color:var(--color-muted);max-width:66ch}.proveart .win{fill:none;stroke:var(--color-rule-strong);stroke-width:1.5}.proveart .winbar{stroke:var(--color-rule-strong);stroke-width:1.5}.proveart .dot{fill:var(--color-faint)}.proveart .cklab{font-family:var(--font-family-mono);font-size:var(--text-fine);fill:var(--color-muted);letter-spacing:var(--tracking-caps)}.proveart .ckbar{stroke:var(--color-rule);stroke-width:5;stroke-linecap:round}.proveart .cktick{fill:none;stroke:var(--verified-text);stroke-width:2;stroke-linecap:round;stroke-linejoin:round}@media(prefers-reduced-motion:no-preference){body:not(.no-js) .proveart .cktick{opacity:0}body:not(.no-js) .proveart .ckbar{stroke:var(--color-rule)}body:not(.no-js) .proveart .win{stroke:var(--color-rule-strong)}.proveart.on .ckbar{animation:ckrun .55s var(--ease-out) both}.proveart.on .cktick{animation:cktick .3s var(--ease-out) both}.proveart.on .c1 .ckbar{animation-delay:.5s}.proveart.on .c1 .cktick{animation-delay:1s}.proveart.on .c2 .ckbar{animation-delay:1.1s}.proveart.on .c2 .cktick{animation-delay:1.6s}.proveart.on .c3 .ckbar{animation-delay:1.7s}.proveart.on .c3 .cktick{animation-delay:2.2s}.proveart.on .c4 .ckbar{animation-delay:2.3s}.proveart.on .c4 .cktick{animation-delay:2.8s}.proveart.on .win{animation:provewin .5s ease 3.1s forwards}}@keyframes ckrun{from{stroke:var(--color-rule)}to{stroke:var(--verified-text)}}@keyframes cktick{from{opacity:0;transform:scale(.6)}to{opacity:1;transform:none}}@keyframes provewin{to{stroke:var(--accent-solid)}}.speclink{margin-top:var(--space-md)}.faqlist{border-top:1px solid var(--color-rule);max-width:66ch}details.faq{border-bottom:1px solid var(--color-rule)}details.faq summary{cursor:pointer;padding:var(--space-md) 0;color:var(--color-ink);display:flex;align-items:baseline;gap:var(--space-sm);list-style:none}details.faq summary::-webkit-details-marker{display:none}details.faq summary::before{content:"";flex:none;width:0;height:0;position:relative;top:-2px;border-left:6px solid currentColor;border-top:5px solid transparent;border-bottom:5px solid transparent}details.faq[open] summary::before{transform:rotate(90deg)}@media(prefers-reduced-motion:no-preference){details.faq summary::before{transition:transform .18s var(--ease-out)}}details.faq .a{padding:0 0 var(--space-md);color:var(--color-muted);max-width:66ch}details.faq .a p+p{margin-top:var(--space-sm)}.sealart .tape text{font:var(--text-fine) var(--font-family-mono);fill:var(--color-muted);letter-spacing:var(--tracking-caps);opacity:0}.sealart .seal{stroke:var(--color-ink);stroke-width:1.5;fill:none}.sealart .ticks line{stroke:var(--color-muted);stroke-width:1.5;stroke-linecap:round}.sealart .pivot{fill:var(--color-ink)}.sealart .clockg{opacity:0}.sealart .fp{stroke:var(--accent-solid);stroke-width:1.5;fill:none;stroke-linecap:round}.sealart .hand{stroke:var(--color-ink);stroke-width:2;stroke-linecap:round}.sealart .hh{stroke-width:2.5}.sealart .handg{opacity:0;transform-box:view-box;transform-origin:226px 52px}@media(prefers-reduced-motion:no-preference){.sealart.on .tape .t1{animation:artroll 7s linear forwards}.sealart.on .tape .t2{animation:artroll 7s linear .2s forwards}.sealart.on .tape .t3{animation:artroll 7s linear .4s forwards}.sealart.on .clockg{animation:artin .7s var(--ease-out) .5s forwards,artfade .6s var(--ease-draw) 6.5s forwards}.sealart.on .handg{animation:artsweep 4.4s var(--ease-draw) 1.2s forwards}.sealart.on .hourg{animation:arthour 4.4s var(--ease-draw) 1.2s forwards}.sealart.on .fp{animation-duration:.55s;animation-delay:7.0s}.sealart.on .fp2{animation-delay:7.2s}.sealart.on .fp3{animation-delay:7.4s}.sealart.on .fp4{animation-delay:7.6s}.sealart.on .fp5{animation-delay:7.8s}.sealart.on .fp6{animation-delay:8.0s}.sealart.on .fp7{animation-delay:8.2s}.sealart.on .fp8{animation-delay:8.4s}.sealart.on .fp9{animation-delay:8.6s}.sealart.on .fp10{animation-delay:8.8s}.sealart.on .fp11{animation-delay:9.0s}.sealart.on .fp12{animation-delay:9.3s}}.calart .cal{fill:var(--color-panel);stroke:var(--accent-solid);stroke-width:1.5}.calart .bar{stroke:var(--accent-solid);stroke-width:1.5;fill:none}.calart .binder{stroke:var(--color-muted);stroke-width:1.5;fill:none}.calart .daylab{font-family:var(--font-family-mono);font-size:var(--text-fine);fill:var(--accent-text);text-anchor:middle;letter-spacing:var(--tracking-caps)}.calart .daynum{font-family:var(--font-family-mono);font-size:var(--text-figure-lg);font-weight:var(--weight-figure);fill:var(--accent-solid);text-anchor:middle;font-variant-numeric:tabular-nums}.calart .days{transform-box:view-box;transform:translateY(-540px)}@media(prefers-reduced-motion:no-preference){body:not(.no-js) .calart .days{transform:translateY(0)}body:not(.no-js) .calart .cal,body:not(.no-js) .calart .bar{stroke:var(--color-ink)}body:not(.no-js) .calart .daynum,body:not(.no-js) .calart .daylab{fill:var(--color-ink)}.calart.on .days{animation:caldays 2.8s var(--ease-out) .4s both}.calart.on .cal,.calart.on .bar{animation:calstroke 3.8s ease .4s both}.calart.on .daynum{animation:calfill 3.8s ease .4s both}.calart.on .daylab{animation:callab 3.8s ease .4s both}}@keyframes caldays{0.00%{transform:translateY(-0px)}5.00%{transform:translateY(-60px)}11.11%{transform:translateY(-60px)}11.11%{transform:translateY(-60px)}16.11%{transform:translateY(-120px)}22.22%{transform:translateY(-120px)}22.22%{transform:translateY(-120px)}27.22%{transform:translateY(-180px)}33.33%{transform:translateY(-180px)}33.33%{transform:translateY(-180px)}38.33%{transform:translateY(-240px)}44.44%{transform:translateY(-240px)}44.44%{transform:translateY(-240px)}49.44%{transform:translateY(-300px)}55.56%{transform:translateY(-300px)}55.56%{transform:translateY(-300px)}60.56%{transform:translateY(-360px)}66.67%{transform:translateY(-360px)}66.67%{transform:translateY(-360px)}71.67%{transform:translateY(-420px)}77.78%{transform:translateY(-420px)}77.78%{transform:translateY(-420px)}82.78%{transform:translateY(-480px)}88.89%{transform:translateY(-480px)}88.89%{transform:translateY(-480px)}93.89%{transform:translateY(-540px)}100%{transform:translateY(-540px)}}@keyframes calstroke{0%,74%{stroke:var(--color-ink)}100%{stroke:var(--accent-solid)}}@keyframes calfill{0%,74%{fill:var(--color-ink)}100%{fill:var(--accent-solid)}}@keyframes callab{0%,74%{fill:var(--color-ink)}100%{fill:var(--accent-text)}}@media(max-width:860px){.phases{grid-template-columns:1fr}.phase:first-child::after{content:none}}.chart{max-width:480px}.chart svg{width:100%;height:auto;display:block}.cgrid{stroke:var(--color-rule);stroke-width:1}.cideal{stroke:var(--color-faint);stroke-width:1;stroke-dasharray:4 4}.ccurve{stroke:var(--accent-solid);stroke-width:2}.cdot{fill:var(--accent-solid)}.clab{fill:var(--color-muted);font:var(--text-fine) var(--font-family-mono)}.chartnote{color:var(--color-muted);max-width:64ch;margin:0}.chartnotes{max-width:64ch}.chartnote+.chartnote{margin-top:var(--space-md)}