.demo{--surface:color-mix(in srgb, var(--ink) 4%, var(--paper))}.demo .demo-nav{z-index:2;background:color-mix(in srgb, var(--paper) 92%, transparent);backdrop-filter:blur(6px);border-bottom:1px solid var(--rule);flex-wrap:wrap;gap:.25rem 1.25rem;margin:-1rem 0 0;padding:.6rem 0;font-size:.85rem;display:flex;position:sticky;top:0}.demo .demo-nav a{color:var(--muted);white-space:nowrap;text-decoration:none}.demo .demo-nav a:hover,.demo .demo-nav a:focus-visible{color:var(--ink);text-decoration:underline}.demo section{margin:2.75rem 0 0;scroll-margin-top:3.5rem}.demo h2{margin:0 0 .6rem;font-size:1.35rem}.demo h3{margin:0 0 .5rem;font-size:1rem}.demo section>p{max-width:42rem;margin:0 0 1rem}.demo .note{color:var(--muted);font-size:.85rem}.demo .mono{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.88em}.demo .explainer-text{max-width:42rem}.demo .explainer-text p{margin:0 0 .9rem}.demo .explanation-flow{grid-template-columns:repeat(4,minmax(0,1fr));gap:1rem 2rem;max-width:44rem;margin:1.5rem 0;padding-left:1.5rem;display:grid}.demo .explanation-flow li::marker{color:var(--patent);font-weight:600}.demo .explainer-terms{border-block:1px solid var(--rule);max-width:46rem}.demo .explainer-terms summary{cursor:pointer;padding:.75rem 0}.demo .explainer-terms dl{grid-template-columns:max-content 1fr;gap:.5rem 1.25rem;margin:0 0 1rem;display:grid}.demo .explainer-terms dt{font-weight:600}.demo .explainer-terms dd{margin:0}.demo .explainer-limit{max-width:46rem;color:var(--muted);font-size:.9rem}@media (width<=700px){.demo .explanation-flow{grid-template-columns:repeat(2,minmax(0,1fr))}.demo .explainer-terms dl{grid-template-columns:1fr;gap:.15rem}.demo .explainer-terms dd{margin-bottom:.75rem}}.demo .presets{flex-wrap:wrap;gap:.5rem;margin:0 0 .75rem;display:flex}.demo .presets button{font:inherit;background:var(--surface);color:var(--ink);border:1px solid var(--rule);cursor:pointer;border-radius:999px;padding:.45rem .85rem;font-size:.92rem}.demo .presets button:hover{border-color:var(--muted)}.demo .presets button[aria-pressed=true]{background:var(--ink);color:var(--paper);border-color:var(--ink)}.demo .presets button:focus-visible,.demo .chip:focus-visible,.demo summary:focus-visible{outline:2px solid var(--patent);outline-offset:2px}.demo .watch{border-left:3px solid var(--patent);background:var(--surface);max-width:42rem;min-height:3.2em;margin:0;padding:.75rem 1rem}.demo .state-grid{grid-template-columns:3fr 2fr;align-items:start;gap:2rem;display:grid}@media (width<=760px){.demo .state-grid{grid-template-columns:1fr}}.demo .control{color:var(--muted);margin:0 0 .75rem;font-size:.85rem;display:block}.demo .control select,.demo .control input{width:100%;max-width:26rem;font:inherit;color:var(--ink);background:var(--paper);border:1px solid var(--rule);border-radius:3px;margin-top:.25rem;padding:.4rem .55rem;font-size:.95rem;display:block}.demo .control input.mono{font-family:ui-monospace,SFMono-Regular,Menlo,monospace}.demo .state-output{background:var(--surface);overflow-wrap:anywhere;border-radius:3px;margin:.5rem 0 1rem;padding:1rem 1.1rem;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:1.15rem;line-height:1.4}.demo .state-output .fn{color:var(--muted)}.demo .state-output b{color:var(--patent);font-weight:600}.demo .state-output[data-count="2"] b,.demo .state-output[data-count="3"] b{color:var(--conflict)}.demo .state-output i{color:var(--muted)}.demo .state-breakdown{margin:0;padding:0;font-size:.9rem;list-style:none}.demo .state-breakdown li{border-top:1px solid var(--rule);grid-template-columns:1fr auto;gap:0 1rem;padding:.45rem 0;display:grid}.demo .state-breakdown li:last-child{border-bottom:1px solid var(--rule)}.demo .state-name{grid-area:1/1;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.88em}.demo .state-rule{color:var(--muted);grid-area:2/1}.demo .state-verdict{grid-area:1/2/span 2;align-self:center;font-size:.8rem}.demo li[data-holds=true] .state-verdict{color:var(--patent)}.demo li[data-holds=false],.demo li[data-holds=false] .state-name{color:var(--muted)}.demo .state-editor .field{grid-template-columns:9rem 1fr;align-items:center;gap:.5rem;margin:0 0 .4rem;font-size:.85rem;display:grid}.demo .state-editor .field span{color:var(--muted);overflow-wrap:anywhere}.demo .state-editor .field input{font:inherit;color:var(--ink);background:var(--paper);border:1px solid var(--rule);border-radius:3px;min-width:0;padding:.3rem .5rem;font-size:.9rem}.demo .state-editor .field input::placeholder{color:var(--rule);font-style:italic}.demo .state-editor .field input.mono{font-family:ui-monospace,SFMono-Regular,Menlo,monospace}.demo fieldset{border:1px solid var(--rule);border-radius:3px;margin:1rem 0 0;padding:.5rem .85rem .75rem}.demo legend{color:var(--muted);padding:0 .3rem;font-size:.85rem}.demo .check{margin:.35rem 0;font-size:.88rem;display:block}.demo .check.inline{margin:.35rem 0 0;display:block}.demo .check input{margin-right:.4rem}.demo .warn{border-left:3px solid var(--conflict);background:color-mix(in srgb, var(--conflict) 7%, transparent);margin:1rem 0;padding:.7rem 1rem;font-size:.92rem}.demo .warn p{margin:0 0 .5rem}.demo .controls{grid-template-columns:repeat(2,minmax(0,1fr));gap:.25rem 1.5rem;margin:0 0 1.25rem;display:grid}@media (width<=700px){.demo .controls{grid-template-columns:1fr}}.demo .controls .control select,.demo .controls .control input{max-width:none}.demo .controls .note{margin-left:.35em}.demo .verdict{border-left:4px solid var(--muted);background:var(--surface);margin:0 0 1.25rem;padding:1rem 1.2rem}.demo .verdict-head{margin:0 0 .35rem;font-size:1.15rem;font-weight:600}.demo .verdict-gloss{max-width:42rem;margin:0 0 .5rem}.demo .verdict-meta{color:var(--muted);margin:0;font-size:.8rem}.demo .verdict[data-outcome=valid]{border-color:var(--patent)}.demo .verdict[data-outcome=valid] .verdict-head{color:var(--patent)}.demo .verdict[data-outcome=condition-failed],.demo .verdict[data-outcome=not-applicable],.demo .verdict[data-outcome=guarantee-violated]{border-color:var(--conflict)}.demo .verdict[data-outcome=condition-failed] .verdict-head,.demo .verdict[data-outcome=not-applicable] .verdict-head,.demo .verdict[data-outcome=guarantee-violated] .verdict-head{color:var(--conflict)}.demo .gate{counter-reset:none;flex-wrap:wrap;gap:.4rem;margin:0 0 1rem;padding:0;list-style:none;display:flex}.demo .chip{border:1px solid var(--rule);min-width:6.5rem;color:var(--ink);background:var(--paper);border-radius:3px;grid-template-rows:auto auto;grid-template-columns:auto 1fr;align-items:baseline;column-gap:.45rem;padding:.45rem .7rem .4rem;text-decoration:none;transition:transform .12s;display:grid}.demo .chip:hover{transform:translateY(-1px)}.demo .chip-n{color:var(--muted);font-variant-numeric:tabular-nums;grid-row:1/span 2;font-size:.75rem}.demo .chip-name{letter-spacing:.02em;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.78rem}.demo .chip-verdict{font-size:.78rem}.demo .chip[data-verdict=pass]{border-color:color-mix(in srgb, var(--patent) 55%, var(--rule))}.demo .chip[data-verdict=pass] .chip-verdict{color:var(--patent)}.demo .chip[data-verdict=fail]{border-color:var(--conflict);background:color-mix(in srgb, var(--conflict) 8%, var(--paper))}.demo .chip[data-verdict=fail] .chip-verdict{color:var(--conflict);font-weight:600}.demo .chip[data-verdict=skipped] .chip-verdict,.demo .chip[data-verdict=unreached] .chip-verdict{color:var(--muted)}.demo .chip[data-verdict=unreached]{color:var(--muted);border-style:dashed}.demo .chip[data-warnings=true] .chip-verdict:after{content:" ·";color:var(--conflict)}@media (prefers-reduced-motion:reduce){.demo .chip{transition:none}.demo .chip:hover{transform:none}}.demo .steps{border-top:1px solid var(--rule);margin:0 0 1rem}.demo .step{border-bottom:1px solid var(--rule)}.demo .step summary{cursor:pointer;grid-template-columns:8.5rem 1fr auto;align-items:baseline;gap:1rem;padding:.6rem .25rem;list-style:none;display:grid}.demo .step summary::-webkit-details-marker{display:none}.demo .step-purpose{color:var(--muted);font-size:.9rem}.demo .step-verdict{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.85rem}.demo .step[data-verdict=pass] .step-verdict{color:var(--patent)}.demo .step[data-verdict=fail] .step-verdict{color:var(--conflict);font-weight:600}.demo .step[data-verdict=skipped] .step-verdict,.demo .step[data-verdict=unreached] .step-verdict,.demo .step[data-verdict=unreached] summary{color:var(--muted)}.demo .step-detail{margin:0 .25rem .75rem 8.5rem;padding-left:1rem;font-size:.92rem}.demo .step-warnings{margin:0 .25rem .75rem 8.5rem;padding:0 0 0 1rem;list-style:none}.demo .step-warnings .warn{margin:.4rem 0}.demo .step[data-verdict=pass] .step-warnings .warn,.demo .step[data-verdict=skipped] .step-warnings .warn{border-left-color:var(--design);background:color-mix(in srgb, var(--design) 7%, transparent);font-size:.85rem}.demo .step-notes{color:var(--design);margin-left:.5em;font-family:inherit;font-size:.8rem}@media (width<=700px){.demo .step summary{grid-template-columns:1fr auto}.demo .step-purpose{grid-column:1/-1}.demo .step-detail,.demo .step-warnings{margin-left:.25rem;padding-left:0}}.demo .aside{margin:0 0 .75rem;font-size:.9rem}.demo .aside p{margin:0 0 .25rem}.demo .aside ul{margin:0;padding-left:1.2rem}.demo .aside .src{color:var(--muted);font-size:.85em}.demo .open-list{max-width:46rem;padding-left:1.2rem}.demo .open-list li{margin:0 0 .75rem}.demo .model-details>summary{cursor:pointer;border:1px solid var(--rule);background:var(--surface);border-radius:3px;padding:.6rem .8rem}.demo .model-details[open]>summary{margin-bottom:1rem}.demo .model-details h3{margin:1.5rem 0 .5rem}.demo .uncertain,.demo .reconstructed{white-space:nowrap;border-radius:2px;margin-left:.4em;padding:.05em .4em;font-size:.78rem}.demo .uncertain{color:var(--conflict);border:1px solid}.demo .reconstructed{color:var(--design);border:1px solid}