.demo{--surface: color-mix(in srgb, var(--ink) 4%, var(--paper))}.demo .demo-nav{position:sticky;top:0;z-index:2;display:flex;flex-wrap:wrap;gap:.25rem 1.25rem;padding:.6rem 0;margin:-1rem 0 0;font-size:.85rem;background:color-mix(in srgb,var(--paper) 92%,transparent);backdrop-filter:blur(6px);border-bottom:1px solid var(--rule)}.demo .demo-nav a{color:var(--muted);text-decoration:none;white-space:nowrap}.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{font-size:1.35rem;margin:0 0 .6rem}.demo h3{font-size:1rem;margin:0 0 .5rem}.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 .diagram{margin:1.5rem 0;max-width:40rem;overflow-x:auto}.demo .diagram svg{width:100%;min-width:32rem;height:auto;display:block}.demo .outcomes{margin-top:1.5rem}.demo .outcomes dl{display:grid;grid-template-columns:max-content 1fr;gap:.5rem 1.25rem;margin:0;max-width:46rem}.demo .outcomes dt{font-weight:600}.demo .outcomes dd{margin:0;color:var(--ink)}.demo .status{font-size:.8rem;white-space:nowrap;margin-left:.35em}.demo .status.shown{color:var(--patent)}.demo .status.open{color:var(--conflict)}@media(max-width:700px){.demo .outcomes dl{grid-template-columns:1fr;gap:.15rem}.demo .outcomes dd{margin-bottom:.75rem}}.demo .presets{display:flex;flex-wrap:wrap;gap:.5rem;margin:0 0 .75rem}.demo .presets button{font:inherit;font-size:.92rem;padding:.45rem .85rem;background:var(--surface);color:var(--ink);border:1px solid var(--rule);border-radius:999px;cursor:pointer}.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{max-width:42rem;min-height:3.2em;margin:0;padding:.75rem 1rem;border-left:3px solid var(--patent);background:var(--surface)}.demo .state-grid{display:grid;grid-template-columns:3fr 2fr;gap:2rem;align-items:start}@media(max-width:760px){.demo .state-grid{grid-template-columns:1fr}}.demo .control{display:block;margin:0 0 .75rem;font-size:.85rem;color:var(--muted)}.demo .control select,.demo .control input{display:block;width:100%;max-width:26rem;margin-top:.25rem;font:inherit;font-size:.95rem;color:var(--ink);background:var(--paper);border:1px solid var(--rule);border-radius:3px;padding:.4rem .55rem}.demo .control input.mono{font-family:ui-monospace,SFMono-Regular,Menlo,monospace}.demo .state-output{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:1.15rem;line-height:1.4;margin:.5rem 0 1rem;padding:1rem 1.1rem;background:var(--surface);border-radius:3px;overflow-wrap:anywhere}.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{list-style:none;margin:0;padding:0;font-size:.9rem}.demo .state-breakdown li{display:grid;grid-template-columns:1fr auto;gap:0 1rem;padding:.45rem 0;border-top:1px solid var(--rule)}.demo .state-breakdown li:last-child{border-bottom:1px solid var(--rule)}.demo .state-name{grid-column:1;grid-row:1;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.88em}.demo .state-rule{grid-column:1;grid-row:2;color:var(--muted)}.demo .state-verdict{grid-column:2;grid-row:1 / 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{display:grid;grid-template-columns:9rem 1fr;gap:.5rem;align-items:center;margin:0 0 .4rem;font-size:.85rem}.demo .state-editor .field span{color:var(--muted);overflow-wrap:anywhere}.demo .state-editor .field input{font:inherit;font-size:.9rem;color:var(--ink);background:var(--paper);border:1px solid var(--rule);border-radius:3px;padding:.3rem .5rem;min-width:0}.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{font-size:.85rem;color:var(--muted);padding:0 .3rem}.demo .check{display:block;margin:.35rem 0;font-size:.88rem}.demo .check.inline{display:block;margin:.35rem 0 0}.demo .check input{margin-right:.4rem}.demo .warn{border-left:3px solid var(--conflict);padding:.7rem 1rem;margin:1rem 0;background:color-mix(in srgb,var(--conflict) 7%,transparent);font-size:.92rem}.demo .warn p{margin:0 0 .5rem}.demo .controls{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:.25rem 1.5rem;margin:0 0 1.25rem}@media(max-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{padding:1rem 1.2rem;border-left:4px solid var(--muted);background:var(--surface);margin:0 0 1.25rem}.demo .verdict-head{font-size:1.15rem;font-weight:600;margin:0 0 .35rem}.demo .verdict-gloss{margin:0 0 .5rem;max-width:42rem}.demo .verdict-meta{margin:0;color:var(--muted);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{list-style:none;display:flex;flex-wrap:wrap;gap:.4rem;margin:0 0 1rem;padding:0;counter-reset:none}.demo .chip{display:grid;grid-template-columns:auto 1fr;grid-template-rows:auto auto;column-gap:.45rem;align-items:baseline;padding:.45rem .7rem .4rem;min-width:6.5rem;border:1px solid var(--rule);border-radius:3px;text-decoration:none;color:var(--ink);background:var(--paper);transition:transform .12s ease}.demo .chip:hover{transform:translateY(-1px)}.demo .chip-n{grid-row:1 / span 2;font-size:.75rem;color:var(--muted);font-variant-numeric:tabular-nums}.demo .chip-name{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.78rem;letter-spacing:.02em}.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]{border-style:dashed;color:var(--muted)}.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{display:grid;grid-template-columns:8.5rem 1fr auto;gap:1rem;align-items:baseline;padding:.6rem .25rem;cursor:pointer;list-style:none}.demo .step summary::-webkit-details-marker{display:none}.demo .step-purpose{color:var(--muted);font-size:.9rem}.demo .step-verdict{font-size:.85rem;font-family:ui-monospace,SFMono-Regular,Menlo,monospace}.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{color:var(--muted)}.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{list-style:none;margin:0 .25rem .75rem 8.5rem;padding:0 0 0 1rem}.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);font-size:.8rem;margin-left:.5em;font-family:inherit}@media(max-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{font-size:.9rem;margin:0 0 .75rem}.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;padding:.6rem .8rem;border:1px solid var(--rule);border-radius:3px;background:var(--surface)}.demo .model-details[open]>summary{margin-bottom:1rem}.demo .model-details h3{margin:1.5rem 0 .5rem}.demo .uncertain,.demo .reconstructed{font-size:.78rem;padding:.05em .4em;border-radius:2px;margin-left:.4em;white-space:nowrap}.demo .uncertain{color:var(--conflict);border:1px solid currentColor}.demo .reconstructed{color:var(--design);border:1px solid currentColor}