/*! tailwindcss v4.2.1 | MIT License | https://tailwindcss.com */
@layer theme{:root,:host{--font-sans:ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--font-mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--spacing:.25rem;--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono)}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring{outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab, red, red)){::placeholder{color:color-mix(in oklab, currentcolor 50%, transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.invisible{visibility:hidden}.visible{visibility:visible}.fixed{position:fixed}.relative{position:relative}.start{inset-inline-start:var(--spacing)}.block{display:block}.hidden{display:none}.table{display:table}}:root{--paper:#f0ecdf;--paper-bright:#faf8f1;--paper-deep:#ded8c8;--carbon:#0c0d0d;--carbon-soft:#17191a;--carbon-raised:#202324;--ink:#121414;--muted:#636765;--silver:#aeb4b3;--silver-dark:#626a6b;--cobalt:#2458d3;--cobalt-dark:#153b98;--vermilion:#b6402e;--vermilion-dark:#7e291f;--amber:#b7791f;--amber-light:#e9bd72;--green:#277451;--green-light:#91c4a9;--rule:#12141433;--rule-light:#f0ecdf33;--serif:Georgia, "Times New Roman", serif;--sans:Arial, Helvetica, sans-serif;--mono:"SFMono-Regular", Consolas, "Liberation Mono", monospace}*{box-sizing:border-box}html{scroll-behavior:smooth;background:var(--carbon)}body{background:var(--paper);color:var(--ink);font-family:var(--sans);text-rendering:optimizelegibility;margin:0;overflow-x:clip}button,a,summary{-webkit-tap-highlight-color:transparent}button,a{font:inherit}button{color:inherit}a{color:inherit;text-decoration:none}button:focus-visible,a:focus-visible,summary:focus-visible{outline:3px solid var(--amber-light);outline-offset:4px}button:disabled{cursor:not-allowed;opacity:.5}::selection{background:var(--cobalt);color:#fff}main{overflow:clip}.site-header{z-index:3;justify-content:space-between;align-items:center;max-width:1520px;margin:0 auto;padding:28px 42px;display:flex;position:relative}.brand{letter-spacing:-.02em;align-items:center;gap:12px;font-size:17px;font-weight:700;display:inline-flex}.brand-mark{background:var(--carbon);border:2px solid var(--paper);box-shadow:0 0 0 2px var(--carbon), 0 0 0 3px #f0ecdf59;border-radius:50%;justify-content:center;align-items:center;width:38px;height:38px;display:inline-flex}.brand-mark span{color:#fff;letter-spacing:-.08em;font-size:15px;font-weight:800;transform:translate(-1px)}.header-status{color:var(--silver);font-family:var(--mono);letter-spacing:.13em;align-items:center;gap:14px;font-size:10px;display:flex}.header-status i{background:var(--green-light);border-radius:50%;width:6px;height:6px;box-shadow:0 0 0 4px #91c4a91a}.hero{background:linear-gradient(90deg, transparent 49.95%, #ffffff09 50%, transparent 50.05%), linear-gradient(#ffffff06 1px, transparent 1px), var(--carbon);color:var(--paper);background-size:100% 100%,100% 104px,auto;min-height:min(1000px,100svh);position:relative}.hero:before{background:var(--cobalt);content:"";height:5px;position:absolute;top:0;left:0;right:72%}.hero-layout{grid-template-columns:minmax(0,1.1fr) minmax(360px,.7fr);align-items:center;gap:clamp(40px,7vw,120px);max-width:1520px;min-height:700px;margin:0 auto;padding:70px 42px 110px;display:grid}.eyebrow{color:var(--silver);font-family:var(--mono);letter-spacing:.16em;text-transform:uppercase;align-items:center;gap:14px;margin:0 0 26px;font-size:10px;font-weight:700;line-height:1.5;display:flex}.eyebrow i{opacity:.6;background:currentColor;width:38px;height:1px;display:inline-block}.eyebrow.dark{color:var(--muted)}.hero h1{letter-spacing:-.07em;max-width:960px;margin:0;font-size:clamp(58px,8vw,124px);font-weight:700;line-height:.82}.hero h1 span,.hero h1 em{display:block}.hero h1 span{color:#fff}.hero h1 em{color:var(--paper);font-family:var(--serif);letter-spacing:-.055em;margin-top:.16em;font-size:.82em;font-weight:400}.hero-support{color:#c8c6bc;font-family:var(--serif);max-width:760px;margin:42px 0 0;font-size:clamp(19px,2vw,28px);line-height:1.45}.hero-actions{flex-wrap:wrap;align-items:center;gap:26px;margin-top:40px;display:flex}.button{cursor:pointer;font-family:var(--mono);letter-spacing:.08em;text-transform:uppercase;border:1px solid;justify-content:space-between;align-items:center;gap:28px;min-height:54px;padding:0 21px;font-size:11px;font-weight:800;transition:background-color .16s,border-color .16s,color .16s,transform .16s;display:inline-flex}.button:not(:disabled):hover{transform:translateY(-2px)}.button-primary{background:var(--cobalt);border-color:var(--cobalt);color:#fff}.button-primary:hover{background:#2d65ea;border-color:#2d65ea}.button-dark{background:var(--carbon);border-color:var(--carbon);color:var(--paper)}.button-dark:hover{background:var(--cobalt);border-color:var(--cobalt)}.button-outline{color:inherit;background:0 0}.button-outline:hover{background:var(--carbon);border-color:var(--carbon);color:var(--paper)}.duration{color:var(--silver);align-items:center;gap:10px;font-size:12px;display:flex}.duration i{border:1px solid var(--silver-dark);border-radius:50%;width:11px;height:11px;position:relative}.duration i:after{background:var(--silver);content:"";transform-origin:bottom;width:1px;height:3px;position:absolute;top:1px;left:4px;transform:rotate(35deg)}.disclosure{color:#858b8b;font-family:var(--mono);letter-spacing:.07em;text-transform:uppercase;margin:22px 0 0;font-size:9px;line-height:1.6}.hero-tape{background:var(--paper-bright);color:var(--ink);border:1px solid #f0ecdf66;padding:18px;position:relative;box-shadow:26px 30px #2458d338}.hero-tape:before,.hero-tape:after{content:"";pointer-events:none;z-index:-1;border:1px solid #f0ecdf38;position:absolute;inset:12px -13px -13px 12px}.hero-tape:after{inset:24px -25px -25px 24px}.tape-header{border-bottom:1px solid var(--rule);font-family:var(--mono);letter-spacing:.08em;justify-content:space-between;align-items:center;padding:0 0 14px;font-size:9px;font-weight:700;display:flex}.tape-header span:last-child{color:var(--vermilion)}.hero-wall{grid-template-columns:repeat(8,minmax(0,1fr));gap:5px;padding:20px 0;display:grid}.hero-cell{aspect-ratio:1;font-family:var(--mono);background:#e0ddd3;justify-content:space-between;align-items:flex-end;min-width:0;padding:5px;display:flex;position:relative}.hero-cell i{background:currentColor;height:4px;position:absolute;top:5px;left:5px;right:5px}.hero-cell b{font-size:clamp(7px,.75vw,10px);font-weight:700}.hero-cell.is-match{color:var(--green);background:#27745129}.hero-cell.is-primary{background:var(--vermilion);box-shadow:0 0 0 3px var(--paper-bright), 0 0 0 5px var(--vermilion);color:#fff;z-index:2}.hero-cell.is-propagated{color:var(--amber);background:#b7791f2e}.tape-boundary{border-bottom:1px solid var(--rule);border-top:1px solid var(--rule);grid-template-columns:1fr auto 1fr;align-items:center;gap:14px;padding:16px 0;display:grid}.tape-boundary>i{background:var(--vermilion);width:2px;height:42px}.tape-boundary div{flex-direction:column;gap:5px;display:flex}.tape-boundary div:last-child{text-align:right}.tape-boundary span{color:var(--muted);font-family:var(--mono);letter-spacing:.1em;font-size:8px}.tape-boundary strong{font-family:var(--serif);font-size:32px;font-weight:400}.hero-tape>p{color:var(--muted);margin:16px 0 2px;font-size:12px;line-height:1.55}.hero-index{grid-template-columns:repeat(4,1fr);display:grid;position:absolute;bottom:0;left:0;right:0}.hero-index span{color:var(--silver-dark);font-family:var(--mono);letter-spacing:.12em;border-top:1px solid #f0ecdf21;border-left:1px solid #f0ecdf21;padding:17px 28px;font-size:8px}.runtime-shell,.inspection-section,.case-library,.control-path{padding:110px max(42px,50vw - 718px)}.runtime-shell{background:var(--paper)}.section-heading{grid-template-columns:minmax(0,1.15fr) minmax(280px,.55fr);align-items:end;gap:60px;max-width:1436px;margin:0 auto 60px;display:grid}.section-heading h2,.record-heading h2,.why-heading h2,.control-path-heading h2{font-family:var(--serif);letter-spacing:-.045em;margin:0;font-size:clamp(38px,4.4vw,70px);font-weight:400;line-height:.98}.section-heading>p,.record-heading>p{color:var(--muted);max-width:500px;margin:0;font-size:15px;line-height:1.65}.guide-progress{grid-template-columns:repeat(5,1fr);max-width:1436px;margin:0 auto 24px;display:grid}.guide-progress>div{border-bottom:2px solid var(--paper-deep);flex-direction:column;gap:6px;min-height:58px;padding:0 14px 14px 0;display:flex;position:relative}.guide-progress>div:not(:last-child){margin-right:9px}.guide-progress span{color:var(--silver-dark);font-family:var(--mono);font-size:9px}.guide-progress strong{font-family:var(--mono);letter-spacing:.06em;font-size:9px;font-weight:700}.guide-progress .is-current{border-color:var(--cobalt)}.guide-progress .is-current span,.guide-progress .is-current strong{color:var(--cobalt)}.guide-progress .is-done{border-color:var(--green)}.guide-progress .is-done:after{color:var(--green);content:"✓";font-family:var(--mono);position:absolute;top:0;right:4px}.contract-frame{background:var(--carbon);color:var(--paper);border:1px solid #303333;max-width:1436px;margin:0 auto;padding:22px}.contract-topline{border-bottom:1px solid var(--rule-light);font-family:var(--mono);letter-spacing:.1em;justify-content:space-between;align-items:center;padding-bottom:18px;font-size:10px;font-weight:700;display:flex}.contract-lock{border:1px solid var(--vermilion);color:var(--vermilion);padding:7px 12px}.contract-lock.is-locked{border-color:var(--green-light);color:var(--green-light)}.contract-grid{grid-template-columns:repeat(4,minmax(0,1fr));display:grid}.contract-grid>div{border-bottom:1px solid var(--rule-light);border-right:1px solid var(--rule-light);min-width:0;padding:19px 16px 20px 0}.contract-grid>div:nth-child(4n){border-right:0;padding-left:16px}.contract-grid>div:nth-child(4n+2),.contract-grid>div:nth-child(4n+3){padding-left:16px}.contract-grid span,.contract-boundaries span,.lab-toolbar span,.wall-header,.wall-summary span{color:var(--silver);font-family:var(--mono);letter-spacing:.09em;text-transform:uppercase;font-size:8px;display:block}.contract-grid strong{font-family:var(--mono);overflow-wrap:anywhere;margin-top:7px;font-size:11px;font-weight:500;line-height:1.45;display:block}.contract-boundaries{justify-content:center;align-items:center;gap:13px;padding-top:20px;display:flex}.contract-boundaries i{background:var(--cobalt);width:26px;height:1px}.lab-toolbar{background:var(--paper-bright);border:1px solid var(--rule);border-top:0;justify-content:space-between;align-items:center;max-width:1436px;margin:0 auto;padding:20px 22px;display:flex}.lab-toolbar strong,.lab-toolbar small{display:block}.lab-toolbar strong{font-family:var(--serif);margin-top:4px;font-size:25px;font-weight:400}.lab-toolbar small{color:var(--muted);margin-top:5px;font-size:11px}.toolbar-actions{align-items:center;gap:18px;display:flex}.text-button{cursor:pointer;font-family:var(--mono);letter-spacing:.08em;text-decoration:underline;-webkit-text-decoration-color:var(--silver);-webkit-text-decoration-color:var(--silver);-webkit-text-decoration-color:var(--silver);text-decoration-color:var(--silver);text-underline-offset:5px;background:0 0;border:0;padding:15px 5px;font-size:9px;font-weight:700}.text-button:hover{color:var(--cobalt)}.text-button.light{color:var(--paper)}.wall-frame{background:var(--paper-bright);border:1px solid var(--rule);border-top:0;max-width:1436px;margin:0 auto;padding:22px}.wall-header{justify-content:space-between;align-items:center;display:flex}.wall-header>div:first-child{gap:22px;display:flex}.wall-header>div:first-child span:first-child{color:var(--ink);font-weight:700}.wall-legend{gap:18px;display:flex}.wall-legend span{align-items:center;gap:7px;display:flex}.wall-legend span:before{content:"";background:currentColor;width:7px;height:7px}.legend-match{color:var(--green)}.legend-primary{color:var(--vermilion)}.legend-propagated{color:var(--amber)}.checkpoint-wall{grid-template-columns:repeat(16,minmax(0,1fr));gap:8px;padding:28px 0 36px;display:grid}.checkpoint{aspect-ratio:.95;cursor:pointer;background:#e2dfd6;border:1px solid #0000;grid-template-rows:1fr auto;grid-template-columns:1fr 1fr;gap:3px;min-width:0;min-height:54px;padding:7px;transition:transform .15s,box-shadow .15s,background .15s;display:grid;position:relative}.checkpoint:not(:disabled):hover{z-index:4;transform:translateY(-3px);box-shadow:0 6px 18px #0c0d0d1f}.checkpoint.is-selected{box-shadow:0 0 0 2px var(--carbon), 0 6px 18px #0c0d0d1f}.checkpoint .rail{background:var(--silver);min-height:24px;display:block}.checkpoint .rail.is-ready{background:var(--cobalt)}.checkpoint b{color:var(--silver-dark);font-family:var(--mono);text-align:center;grid-column:1/-1;font-size:9px;font-weight:700}.checkpoint.is-match{background:#2774511f}.checkpoint.is-match .rail{background:var(--green)}.checkpoint.is-primary{background:#b6402e21}.checkpoint.is-primary .rail.baseline{background:var(--green)}.checkpoint.is-primary .rail.replay{background:var(--vermilion)}.checkpoint.is-propagated{background:#b7791f21}.checkpoint.is-propagated .rail.baseline{background:var(--green)}.checkpoint.is-propagated .rail.replay{background:var(--amber)}.checkpoint.is-unavailable .rail{background:repeating-linear-gradient(135deg, var(--silver-dark), var(--silver-dark) 3px, transparent 3px, transparent 6px)}.checkpoint.is-armed{box-shadow:0 0 0 2px var(--vermilion);animation:1.3s ease-in-out infinite armed-pulse}.checkpoint-wall.stage-5 .checkpoint:nth-child(17),.checkpoint-wall.stage-5 .checkpoint:nth-child(18){z-index:3;transform:scale(1.08)}.checkpoint-wall.stage-5 .checkpoint:nth-child(17){box-shadow:0 0 0 2px var(--green)}.checkpoint-wall.stage-5 .checkpoint:nth-child(18){box-shadow:0 0 0 3px var(--vermilion)}.good-marker,.fault-marker{font-family:var(--mono);letter-spacing:.05em;white-space:nowrap;font-size:7px;font-style:normal;position:absolute;bottom:-24px;left:0}.good-marker{color:var(--green)}.fault-marker{color:var(--vermilion)}.wall-summary{border-top:1px solid var(--rule);grid-template-columns:repeat(5,minmax(0,1fr));display:grid}.wall-summary>div{border-right:1px solid var(--rule);min-width:0;padding:18px 16px 4px 0}.wall-summary>div:not(:first-child){padding-left:16px}.wall-summary>div:last-child{border-right:0}.wall-summary strong{font-family:var(--serif);overflow-wrap:anywhere;margin-top:7px;font-size:32px;font-weight:400;display:block}.signature-moment{background:var(--carbon);color:var(--paper);max-width:1436px;margin:26px auto 0;padding:54px;position:relative;overflow:hidden}.signature-moment:before{background:var(--vermilion);content:"";width:8px;position:absolute;top:0;bottom:0;left:0}.signature-moment.tone-proved:before{background:var(--green)}.signature-moment.tone-narrowed:before,.signature-moment.tone-unresolved:before{background:var(--amber)}.signature-moment.tone-blocked:before{background:var(--cobalt)}.signature-moment>span{color:var(--silver);font-family:var(--mono);letter-spacing:.1em;font-size:9px}.signature-moment h3{letter-spacing:-.055em;margin:24px 0 30px;font-size:clamp(36px,5.6vw,86px);line-height:.94}.signature-moment h3 em{color:var(--amber-light);font-family:var(--serif);font-weight:400;display:block}.signature-moment p{border-top:1px solid var(--rule-light);color:#c8c6bc;font-family:var(--serif);max-width:920px;margin:0;padding-top:25px;font-size:19px;line-height:1.5}.inspection-section{background:var(--carbon);color:var(--paper)}.inspection-section .section-heading h2{max-width:860px}.inspection-heading h2 span{color:var(--amber-light);font-family:var(--mono);letter-spacing:.09em;margin-top:17px;font-size:11px;font-weight:500;display:block}.checkpoint-jump{justify-content:flex-end;gap:8px;display:flex}.checkpoint-jump button{border:1px solid var(--silver-dark);color:var(--silver);cursor:pointer;font-family:var(--mono);background:0 0;min-height:44px;padding:0 13px;font-size:9px}.checkpoint-jump button[aria-pressed=true]{border-color:var(--paper);color:var(--paper)}.inspection-grid{grid-template-columns:minmax(0,1fr) 76px minmax(0,1fr);gap:20px;max-width:1436px;margin:0 auto;display:grid}.side-record{background:var(--paper-bright);color:var(--ink);min-width:0;padding:22px}.side-record-header{border-bottom:1px solid var(--rule);font-family:var(--mono);letter-spacing:.08em;justify-content:space-between;align-items:center;padding-bottom:17px;font-size:9px;font-weight:700;display:flex}.side-record-header span:last-child{color:var(--muted)}.side-record dl{margin:0}.side-record dl>div{border-bottom:1px solid var(--rule);padding:17px 0}.side-record dt{color:var(--muted);font-family:var(--mono);letter-spacing:.08em;font-size:8px}.side-record dd{font-family:var(--mono);overflow-wrap:anywhere;word-break:break-word;margin:8px 0 0;font-size:10px;line-height:1.55}.side-record dd.raw-object{border-left:3px solid var(--cobalt);white-space:pre-wrap;background:#eeeadf;max-height:150px;padding:10px;overflow:auto}.replay-record{box-shadow:inset 4px 0 var(--vermilion)}.inspection-spine{flex-direction:column;justify-content:center;align-self:stretch;align-items:center;min-height:300px;display:flex}.inspection-spine span{color:var(--silver-dark);font-family:var(--mono);font-size:9px}.inspection-spine i{background:var(--silver-dark);flex:1;width:1px;max-height:90px;margin:9px 0}.inspection-spine strong{background:var(--vermilion);font-family:var(--serif);border-radius:50%;justify-content:center;align-items:center;width:54px;height:54px;font-size:24px;font-weight:400;display:flex}.inspection-spine.is-match strong{background:var(--green)}.inspection-spine.is-propagated strong{background:var(--amber)}.inspection-spine.is-unavailable strong{background:var(--silver-dark)}.inspection-spine b{color:var(--silver);font-family:var(--mono);text-align:center;margin-top:14px;font-size:8px;font-weight:500;line-height:1.5}.exact-object{background:var(--carbon-raised);grid-column:1/-1}.exact-object summary{cursor:pointer;font-family:var(--mono);letter-spacing:.08em;padding:18px 22px;font-size:9px;font-weight:700}.exact-object>div{border-top:1px solid var(--rule-light);grid-template-columns:1fr 1fr;display:grid}.exact-object section{min-width:0;padding:22px}.exact-object section+section{border-left:1px solid var(--rule-light)}.exact-object section>span,.excluded-difference>span{color:var(--silver);font-family:var(--mono);letter-spacing:.08em;font-size:8px}pre,code{font-family:var(--mono)}.exact-object pre,.digest-box pre{color:var(--green-light);overflow-wrap:anywhere;white-space:pre-wrap;word-break:break-word;margin:12px 0 0;font-size:10px;line-height:1.55}.excluded-difference{background:#b7791f29;border:1px solid #e9bd728c;grid-column:1/-1;padding:22px}.excluded-difference>div{grid-template-columns:1fr 1fr;gap:12px;margin-top:14px;display:grid}.excluded-difference code{color:var(--amber-light);overflow-wrap:anywhere;background:#0c0d0d80;padding:14px;font-size:10px;line-height:1.5}.inspection-placeholder,.record-placeholder{border:1px dashed var(--silver-dark);text-align:center;flex-direction:column;justify-content:center;align-items:center;max-width:1436px;min-height:300px;margin:0 auto;padding:42px;display:flex}.inspection-placeholder>span,.record-placeholder>span{color:var(--silver);font-family:var(--mono);letter-spacing:.1em;font-size:9px}.inspection-placeholder p,.record-placeholder p{color:var(--silver);font-family:var(--serif);max-width:600px;font-size:20px;line-height:1.5}.exploration-section{background:linear-gradient(135deg, #ffffff0a, transparent 55%), var(--cobalt-dark);color:var(--paper);padding:110px max(42px,50vw - 718px)}.exploration-section .section-heading>p{color:#b8c4e4}.preset-grid{grid-template-columns:repeat(5,1fr);gap:1px;max-width:1436px;margin:0 auto;display:grid}.preset-grid button{color:var(--paper);cursor:pointer;text-align:left;background:#1a409e;border:1px solid #ffffff29;min-height:210px;padding:20px;transition:background .16s,transform .16s;position:relative}.preset-grid button:hover,.preset-grid button.is-active{background:var(--paper-bright);color:var(--ink);z-index:2;transform:translateY(-3px)}.preset-grid button>span{color:var(--amber-light);font-family:var(--mono);letter-spacing:.09em;font-size:9px;font-weight:700;display:block}.preset-grid button strong{font-family:var(--serif);margin-top:24px;font-size:25px;font-weight:400;line-height:1.1;display:block}.preset-grid button small{opacity:.72;margin-top:13px;font-size:11px;line-height:1.5;display:block}.preset-grid button i{font-family:var(--mono);letter-spacing:.09em;font-size:8px;font-style:normal;font-weight:700;position:absolute;bottom:18px}.exploration-actions{justify-content:flex-end;align-items:center;gap:24px;max-width:1436px;margin:28px auto 0;display:flex}.case-library{background:var(--paper-bright)}.case-grid{border-left:1px solid var(--rule);border-top:1px solid var(--rule);grid-template-columns:repeat(2,minmax(0,1fr));max-width:1436px;margin:0 auto;display:grid}.case-grid article{border-bottom:1px solid var(--rule);border-right:1px solid var(--rule);grid-template-columns:74px 1fr;gap:22px;min-height:310px;padding:30px;display:grid}.case-grid article:last-child{grid-column:1/-1}.case-number{color:var(--paper-deep);font-family:var(--serif);font-size:58px;line-height:.9}.case-grid article>div:last-child>span{color:var(--muted);font-family:var(--mono);letter-spacing:.1em;font-size:8px}.case-grid h3{font-family:var(--serif);letter-spacing:-.035em;margin:17px 0;font-size:36px;font-weight:400;line-height:1}.case-grid p{color:var(--muted);max-width:520px;margin:0;font-size:13px;line-height:1.6}.case-disposition{border-top:1px solid var(--rule);font-family:var(--mono);letter-spacing:.08em;justify-content:space-between;align-items:center;margin-top:28px;padding-top:14px;font-size:8px;display:flex}.tone-proved{color:var(--green)}.tone-review{color:var(--vermilion)}.tone-unresolved,.tone-narrowed{color:var(--amber)}.tone-blocked{color:var(--cobalt)}.case-grid article button{border:0;border-bottom:1px solid var(--ink);cursor:pointer;font-family:var(--mono);letter-spacing:.08em;background:0 0;justify-content:space-between;width:100%;margin-top:30px;padding:0 0 8px;font-size:9px;font-weight:700;display:flex}.record-section{background:var(--cobalt);color:var(--paper);padding:110px max(42px,50vw - 718px)}.record-heading{grid-template-columns:minmax(0,1.15fr) minmax(280px,.55fr);align-items:end;gap:60px;max-width:1436px;margin:0 auto 60px;display:grid}.record-heading>p{color:#c8d3f0}.final-record{background:var(--paper-bright);box-shadow:22px 22px 0 var(--cobalt-dark);color:var(--ink);max-width:1436px;margin:0 auto;padding:28px}.record-topline{border-bottom:3px solid var(--ink);justify-content:space-between;align-items:stretch;padding-bottom:20px;display:flex}.record-topline>div:first-child{flex-direction:column;justify-content:space-between;display:flex}.record-topline span{color:var(--muted);font-family:var(--mono);letter-spacing:.1em;font-size:8px}.record-topline>div:first-child strong{font-family:var(--serif);margin-top:9px;font-size:34px;font-weight:400}.record-outcome{border-left:1px solid var(--rule);text-align:right;min-width:180px;padding-left:22px}.record-outcome strong{font-family:var(--serif);margin-top:8px;font-size:33px;font-weight:400;display:block}.record-layout{grid-template-columns:minmax(0,1.15fr) minmax(330px,.65fr);gap:32px;padding:30px 0;display:grid}.record-fields{grid-template-columns:1fr 1fr;display:grid}.record-fields>div{border-bottom:1px solid var(--rule);min-width:0;padding:14px 20px 14px 0}.record-fields>div:nth-child(2n){border-left:1px solid var(--rule);padding-left:20px}.record-fields span,.digest-box span,.record-technical dt{color:var(--muted);font-family:var(--mono);letter-spacing:.07em;font-size:8px}.record-fields p{overflow-wrap:anywhere;margin:7px 0 0;font-size:11px;line-height:1.5}.record-fields .record-surviving{border-left:4px solid var(--green);background:#27745117;grid-column:1/-1;padding:20px}.record-surviving p{font-family:var(--serif);font-size:19px}.record-technical{border-left:1px solid var(--rule);min-width:0;padding-left:30px}.technical-seal{border:2px solid var(--ink);text-align:center;flex-direction:column;padding:18px;display:flex}.technical-seal span,.technical-seal small{color:var(--muted);font-family:var(--mono);letter-spacing:.08em;font-size:8px}.technical-seal strong{font-family:var(--serif);margin:7px 0;font-size:28px;font-weight:400}.digest-box{background:var(--carbon);color:var(--paper);margin-top:18px;padding:19px}.digest-box>div:first-child{justify-content:space-between;display:flex}.digest-box>p:first-of-type{color:var(--green-light);font-family:var(--mono);overflow-wrap:anywhere;word-break:break-all;font-size:10px;line-height:1.6}.digest-box>p.is-unavailable{color:var(--amber-light)}.digest-box dl{border-top:1px solid var(--rule-light);margin:17px 0 0}.digest-box dl>div{border-bottom:1px solid var(--rule-light);justify-content:space-between;align-items:start;gap:15px;padding:10px 0;display:flex}.digest-box dd{font-family:var(--mono);text-align:right;margin:0;font-size:8px}.digest-box details{border-bottom:1px solid var(--rule-light)}.digest-box summary{cursor:pointer;font-family:var(--mono);padding:13px 0;font-size:8px}.digest-box>p:last-child{color:var(--silver);font-size:9px;line-height:1.55}.record-actions{gap:9px;margin-top:18px;display:grid}.record-actions .button{width:100%}.record-footer{border-top:3px solid var(--ink);font-family:var(--mono);letter-spacing:.08em;justify-content:space-between;padding-top:17px;font-size:8px;display:flex}.record-placeholder{border-color:#f0ecdf80}.why-section{background:var(--carbon);color:var(--paper);padding:110px max(42px,50vw - 718px)}.why-heading{max-width:1436px;margin:0 auto 60px}.why-grid{border-left:1px solid var(--rule-light);grid-template-columns:repeat(5,1fr);max-width:1436px;margin:0 auto;display:grid}.why-grid article{border-bottom:1px solid var(--rule-light);border-right:1px solid var(--rule-light);border-top:1px solid var(--rule-light);min-height:260px;padding:24px}.why-grid article>span{color:var(--silver-dark);font-family:var(--mono);font-size:9px}.why-grid h3{font-family:var(--serif);margin:55px 0 15px;font-size:26px;font-weight:400;line-height:1.1}.why-grid p{color:var(--silver);margin:0;font-size:12px;line-height:1.55}.positioning{border-left:5px solid var(--cobalt);font-family:var(--serif);max-width:1100px;margin:70px auto 0;padding-left:30px;font-size:clamp(24px,3vw,42px);line-height:1.3}.control-path{background:var(--paper)}.control-path-heading{max-width:1436px;margin:0 auto 58px}.path-grid{grid-template-columns:repeat(3,1fr);max-width:1436px;margin:0 auto;display:grid}.path-grid>*{border:1px solid var(--rule);min-height:240px;padding:26px;position:relative}.path-grid>*+*{border-left:0}.path-grid>*>span{color:var(--silver-dark);font-family:var(--mono);font-size:9px}.path-grid strong{font-family:var(--serif);margin-top:48px;font-size:30px;font-weight:400;display:block}.path-grid p{color:var(--muted);font-size:12px}.path-grid i{font-family:var(--mono);font-size:8px;font-style:normal;position:absolute;bottom:24px}.path-grid a:hover{background:var(--paper-bright)}.path-grid .is-current{background:var(--cobalt);color:#fff;transform:translateY(-12px)}.path-grid .is-current p,.path-grid .is-current>span{color:#c8d3f0}.actiongate-transition{background:var(--paper-bright);grid-template-columns:160px minmax(0,1.1fr) minmax(330px,.65fr);align-items:stretch;min-height:650px;display:grid}.transition-index{border-right:1px solid var(--rule);writing-mode:vertical-rl;justify-content:space-between;padding:36px 20px;display:flex}.transition-index span{color:var(--muted);font-family:var(--mono);letter-spacing:.1em;font-size:8px}.transition-copy{align-self:center;padding:70px 7vw}.transition-copy h2{font-family:var(--serif);letter-spacing:-.055em;margin:0;font-size:clamp(45px,5.7vw,88px);font-weight:400;line-height:.95}.transition-copy h2 span{color:var(--cobalt);display:block}.transition-copy>p:not(.eyebrow):not(.pilot-placeholder){color:var(--muted);max-width:650px;font-size:15px;line-height:1.65}.transition-actions{flex-wrap:wrap;align-items:center;gap:12px;margin-top:34px;display:flex}.pilot-link{font-family:var(--mono);text-underline-offset:5px;margin-left:10px;font-size:9px;font-weight:700;text-decoration:underline}.pilot-placeholder{color:var(--muted);max-width:600px;margin-top:18px;font-size:9px;line-height:1.5}.transition-graphic{background:var(--carbon);color:var(--paper);flex-direction:column;justify-content:center;align-items:center;padding:50px;display:flex;position:relative}.transition-graphic div{border:1px solid var(--rule-light);flex-direction:column;justify-content:center;align-items:center;width:190px;height:190px;display:flex}.transition-graphic div:first-child{border-color:var(--green)}.transition-graphic div:last-of-type{border-color:var(--cobalt)}.transition-graphic span{color:var(--silver);font-family:var(--mono);letter-spacing:.1em;font-size:8px}.transition-graphic strong{font-family:var(--serif);font-size:52px;font-weight:400}.transition-graphic>i{background:var(--silver-dark);width:1px;height:50px}.transition-graphic>b{background:var(--vermilion);font-family:var(--mono);letter-spacing:.08em;margin-top:24px;padding:9px 11px;font-size:8px}footer{background:var(--carbon);color:var(--paper);grid-template-columns:1fr 2fr 1fr;align-items:start;gap:42px;padding:70px max(42px,50vw - 718px);display:grid}.footer-copy{color:var(--silver);font-size:10px;line-height:1.6}.footer-copy p{margin:0 0 9px}.back-top{font-family:var(--mono);letter-spacing:.08em;text-underline-offset:5px;justify-self:end;padding:12px 0;font-size:9px;text-decoration:underline}@keyframes armed-pulse{0%,to{box-shadow:0 0 0 2px var(--vermilion)}50%{box-shadow:0 0 0 5px #b6402e40}}@media (width<=1100px){.hero{min-height:auto}.hero-layout{grid-template-columns:minmax(0,1fr) minmax(320px,.62fr);min-height:750px}.checkpoint-wall{grid-template-columns:repeat(8,minmax(0,1fr))}.preset-grid{grid-template-columns:repeat(2,1fr)}.why-grid{grid-template-columns:repeat(3,1fr)}.why-grid article:last-child{grid-column:span 2}.record-layout{grid-template-columns:minmax(0,1fr) minmax(300px,.72fr)}.actiongate-transition{grid-template-columns:70px 1fr 330px}}@media (width<=800px){.site-header{padding:20px}.header-status span:first-child{display:none}.hero-layout{flex-direction:column;gap:58px;min-height:auto;padding:75px 20px 105px;display:flex}.hero-copy,.hero-tape{width:100%}.hero-tape{max-width:540px;box-shadow:12px 14px #2458d340}.hero-index span{text-align:center;padding:13px 10px}.runtime-shell,.inspection-section,.case-library,.control-path,.exploration-section,.record-section,.why-section{padding:78px 20px}.section-heading,.record-heading{grid-template-columns:1fr;align-items:start;gap:25px;margin-bottom:42px}.guide-progress{overflow:hidden}.guide-progress strong{overflow-wrap:anywhere;font-size:7px}.contract-grid{grid-template-columns:repeat(2,1fr)}.contract-grid>div:nth-child(4n),.contract-grid>div:nth-child(4n+2),.contract-grid>div:nth-child(4n+3){padding-left:0}.contract-grid>div:nth-child(2n){border-right:0;padding-left:14px}.contract-boundaries{flex-direction:column;align-items:stretch;gap:7px}.contract-boundaries i{width:1px}.lab-toolbar{flex-direction:column;align-items:stretch;gap:20px}.toolbar-actions{justify-content:space-between}.wall-header{flex-direction:column;align-items:flex-start;gap:15px}.checkpoint-wall{grid-template-columns:repeat(8,minmax(0,1fr))}.checkpoint{min-height:46px;padding:5px}.checkpoint .rail{min-height:20px}.wall-summary{grid-template-columns:repeat(2,1fr)}.wall-summary>div{border-bottom:1px solid var(--rule)}.wall-summary>div:nth-child(2n){border-right:0}.wall-summary>div:last-child{grid-column:1/-1}.signature-moment{padding:38px 26px}.inspection-heading .checkpoint-jump{justify-content:flex-start}.inspection-grid{grid-template-columns:1fr}.inspection-spine{flex-direction:row;min-height:auto}.inspection-spine i{width:auto;max-width:80px;height:1px;max-height:none;margin:0 9px}.inspection-spine b{display:none}.exact-object{grid-column:auto}.exact-object>div,.excluded-difference>div{grid-template-columns:1fr}.exact-object section+section{border-left:0;border-top:1px solid var(--rule-light)}.excluded-difference{grid-column:auto}.case-grid{grid-template-columns:1fr}.case-grid article:last-child{grid-column:auto}.record-layout{grid-template-columns:1fr}.record-technical{border-left:0;border-top:1px solid var(--rule);padding:26px 0 0}.why-grid{grid-template-columns:repeat(2,1fr)}.why-grid article:last-child{grid-column:1/-1}.path-grid{grid-template-columns:1fr}.path-grid>*+*{border-left:1px solid var(--rule);border-top:0}.path-grid .is-current{transform:none}.actiongate-transition{grid-template-columns:1fr}.transition-index{border-bottom:1px solid var(--rule);writing-mode:initial;border-right:0}.transition-copy{padding:78px 20px}.transition-graphic{min-height:570px}footer{grid-template-columns:1fr;padding:60px 20px}.back-top{justify-self:start}}@media (width<=520px){.brand{font-size:15px}.brand-mark{width:34px;height:34px}.hero h1{font-size:clamp(49px,15vw,68px)}.hero-support{font-size:19px}.hero-actions{flex-direction:column;align-items:stretch}.button{width:100%;min-height:56px}.hero-index span:nth-child(2),.hero-index span:nth-child(4){display:none}.hero-index{grid-template-columns:1fr 1fr}.hero-cell{padding:4px}.contract-frame,.wall-frame,.final-record{padding:14px}.guide-progress strong{display:none}.guide-progress>div{min-height:32px;padding-bottom:8px}.contract-grid{grid-template-columns:1fr}.contract-grid>div,.contract-grid>div:nth-child(2n){border-right:0;padding:14px 0}.toolbar-actions{flex-direction:column-reverse;align-items:stretch}.checkpoint-wall{gap:5px;padding-bottom:35px}.checkpoint{min-height:38px;padding:3px}.checkpoint .rail{min-height:15px}.checkpoint b{font-size:7px}.good-marker,.fault-marker{font-size:6px;bottom:-21px}.wall-legend{flex-wrap:wrap;gap:8px 13px}.checkpoint-jump{grid-template-columns:1fr 1fr;display:grid}.checkpoint-jump button{padding:0 7px}.preset-grid{grid-template-columns:1fr}.preset-grid button{min-height:180px}.exploration-actions{flex-direction:column;align-items:stretch}.case-grid article{grid-template-columns:45px 1fr;gap:13px;padding:24px 16px}.case-number{font-size:38px}.record-topline{flex-direction:column;align-items:start;gap:22px}.record-outcome{border-left:0;border-top:1px solid var(--rule);text-align:left;width:100%;padding:16px 0 0}.record-fields{grid-template-columns:1fr}.record-fields>div:nth-child(2n){border-left:0;padding-left:0}.record-footer{flex-direction:column;gap:8px}.why-grid{grid-template-columns:1fr}.why-grid article:last-child{grid-column:auto}.why-grid article{min-height:210px}.transition-actions{flex-direction:column;align-items:stretch}.pilot-link{margin:12px 0 0}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{scroll-behavior:auto!important;transition-duration:.001ms!important;animation-duration:.001ms!important;animation-iteration-count:1!important}}