:root{color-scheme:dark;--ink:#101622;--paper:#f2f0eb;--paper-deep:#dcd8ce;--slate:#43515c;--fog:#aeb5b7;--amber:#d79d44;--amber-pale:#f0d9a9;--line:#d9dcd83d;--shell:74rem;background:var(--ink);color:var(--paper);font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif}*{box-sizing:border-box}html{scroll-behavior:smooth}body{background:var(--ink);min-width:20rem;color:var(--paper);margin:0;line-height:1.55}a{color:inherit;text-underline-offset:.16em;text-decoration-thickness:.08em}a:hover{color:var(--amber-pale)}button,input,textarea,select{font:inherit}button{cursor:pointer}:focus-visible{outline:3px solid var(--amber);outline-offset:3px}.shell{width:min(calc(100% - 2.5rem), var(--shell));margin-inline:auto}.section{padding-block:clamp(4rem,9vw,8rem)}.section--paper{color:var(--ink);background:var(--paper)}.section--slate{background:#1b2530}.section__heading{max-width:46rem;margin-bottom:2.5rem}.section__heading h2,.prose h2,.status-panel h2,.video-placeholder h2{letter-spacing:-.035em;margin:.2rem 0 .8rem;font-family:Georgia,Times New Roman,serif;font-size:clamp(2rem,4.4vw,3.45rem);line-height:1.05}.section__heading p{max-width:42rem;font-size:1.1rem}.eyebrow{color:var(--amber);letter-spacing:.13em;text-transform:uppercase;font-size:.75rem;font-weight:750;line-height:1.3}.section--paper .eyebrow{color:#83540e}.visually-hidden{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.skip-link{z-index:100;background:var(--paper);color:var(--ink);padding:.7rem 1rem;position:fixed;top:1rem;left:1rem;transform:translateY(-180%)}.skip-link:focus{transform:translateY(0)}.site-header{z-index:5;border-bottom:1px solid var(--line);background:#101622f0;position:relative}.site-header__inner{justify-content:space-between;align-items:center;gap:1.5rem;min-height:4.5rem;display:flex}.brand{color:var(--paper);letter-spacing:.16em;white-space:nowrap;font-size:.84rem;font-weight:800;text-decoration:none}.brand span{color:var(--amber)}.primary-nav ul,.mobile-nav ul,.fallback-nav ul{margin:0;padding:0;list-style:none;display:flex}.primary-nav ul{align-items:center;gap:1.4rem}.primary-nav a{color:var(--fog);font-size:.85rem;font-weight:700;text-decoration:none}.primary-nav a[aria-current=page]{color:var(--paper);text-decoration:underline;text-decoration-color:var(--amber)}.mobile-nav,.fallback-nav{display:none}.hero{background:radial-gradient(circle at 88% 15%,#d79d443d,#0000 25rem),linear-gradient(135deg,#101622 0%,#172434 57%,#101622 100%);padding-block:clamp(4.5rem,11vw,9rem);position:relative;overflow:hidden}.hero:after{content:"";aspect-ratio:1;border:1px solid #f0d9a940;border-radius:50%;width:34rem;position:absolute;inset:auto -12rem -14rem auto;box-shadow:0 0 0 2.7rem #f0d9a90a,0 0 0 5.4rem #f0d9a909}.hero__content{z-index:1;max-width:55rem;position:relative}.hero h1{letter-spacing:-.055em;max-width:55rem;margin:.25rem 0 1.35rem;font-family:Georgia,Times New Roman,serif;font-size:clamp(3rem,8vw,6.7rem);line-height:.93}.hero h1 span{color:var(--amber-pale)}.hero__lede{color:#e2e5e2;max-width:44rem;font-size:clamp(1.1rem,2.1vw,1.4rem)}.hero__actions{flex-wrap:wrap;gap:.8rem;margin-top:2rem;display:flex}.button{background:var(--amber);min-height:2.9rem;color:var(--ink);border:1px solid #0000;justify-content:center;align-items:center;padding:.6rem 1rem;font-size:.9rem;font-weight:800;text-decoration:none;display:inline-flex}.button:hover{background:var(--amber-pale);color:var(--ink)}.button--secondary{border-color:var(--line);color:var(--paper);background:0 0}.button--secondary:hover{border-color:var(--amber);color:var(--paper)}.hero__status{max-width:41rem;color:var(--fog);margin-top:2.4rem;font-size:.93rem}.card-grid{grid-template-columns:repeat(3,1fr);gap:1rem;display:grid}.card{border:1px solid var(--line);padding:1.5rem}.section--paper .card{border-color:#c9c4b8}.card h3{margin:.2rem 0 .65rem;font-family:Georgia,Times New Roman,serif;font-size:1.5rem;line-height:1.12}.card p{margin-bottom:0}.metric-grid{border-top:1px solid var(--line);border-left:1px solid var(--line);grid-template-columns:repeat(3,1fr);display:grid}.metric{border-right:1px solid var(--line);border-bottom:1px solid var(--line);padding:1.5rem}.metric strong{color:var(--amber-pale);font-family:Georgia,Times New Roman,serif;font-size:clamp(2rem,4vw,3.4rem);line-height:1;display:block}.metric span{margin-top:.55rem;font-weight:650;display:block}.metric small{color:var(--fog);margin-top:.45rem;display:block}.status-panel,.video-placeholder{border-left:3px solid var(--amber);background:#263444;padding:clamp(1.5rem,4vw,2.5rem)}.section--paper .status-panel,.section--paper .video-placeholder{background:#e4e0d5}.status-panel p:last-child,.video-placeholder p:last-child{margin-bottom:0}.status-panel__gates{border-top:1px solid color-mix(in srgb, currentColor 22%, transparent);margin-top:1.25rem;padding-top:1rem}.status-panel__gates h3{margin:0 0 .65rem;font-size:1rem}.status-panel__gates ul{margin:0;padding-left:1.15rem}.status-panel__gates li+li{margin-top:.35rem}.split{grid-template-columns:minmax(0,1.4fr) minmax(18rem,.8fr);align-items:start;gap:clamp(2rem,6vw,6rem);display:grid}.prose{max-width:47rem}.prose h2{margin-top:2.8rem}.prose h3{margin-top:2rem;font-size:1.28rem}.prose li+li{margin-top:.6rem}.prose a,.section--paper a:not(.button){color:#68420a}.evidence-filter__bar{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:1rem;display:flex}.evidence-filter__bar h2{margin:0;font-family:Georgia,Times New Roman,serif;font-size:2rem}.evidence-filter__controls{flex-wrap:wrap;gap:.5rem;display:flex}.evidence-filter__controls button{border:1px solid var(--line);color:var(--paper);background:0 0;padding:.4rem .65rem;font-size:.82rem}.evidence-filter__controls button[aria-pressed=true]{background:var(--amber);border-color:var(--amber);color:var(--ink)}.evidence-filter__summary{color:var(--fog);font-size:.9rem}.evidence-list{grid-template-columns:repeat(2,1fr);gap:1rem;padding:0;list-style:none;display:grid}.evidence-list__item{border-top:1px solid var(--line);padding:1.3rem 0}.evidence-list__item h3{margin:.25rem 0 .4rem;font-family:Georgia,Times New Roman,serif;font-size:1.45rem}.evidence-list__source{color:var(--fog);font-size:.86rem}.evidence-list__source span{color:var(--paper);font-weight:700}.video-placeholder__frame{aspect-ratio:16/9;border:0;width:100%;display:block}.source-list{gap:2rem;max-width:52rem;padding-left:1.5rem;display:grid}.source-list li{padding-left:.7rem}.source-list article{border-top:1px solid var(--line);padding-top:1.25rem}.source-list h2{margin:.35rem 0 .5rem;font-family:Georgia,Times New Roman,serif;font-size:1.55rem;line-height:1.15}.source-list__date{color:var(--fog);font-size:.88rem}.faq-list{gap:.75rem;max-width:58rem;display:grid}.faq-list details{border-bottom:1px solid #c9c4b8;padding:0 0 1rem}.faq-list summary{color:var(--ink);cursor:pointer;font-family:Georgia,Times New Roman,serif;font-size:clamp(1.3rem,3vw,1.7rem);font-weight:700;line-height:1.2}.faq-list details p{max-width:48rem;margin:1rem 1.5rem .2rem 0}.case-hero .hero__content,.case-hero h1{max-width:62rem}.case-facts{padding-block:0}.case-facts .metric-grid{transform:translateY(-1px)}.case-reading-grid{grid-template-columns:minmax(0,1.35fr) minmax(18rem,.75fr);align-items:start;gap:clamp(2rem,6vw,6rem);display:grid}.case-reading-grid--reverse{grid-template-columns:minmax(18rem,.75fr) minmax(0,1.35fr)}.case-narrative>h2:first-of-type{margin-top:.2rem}.case-narrative>p{font-size:1.04rem}.case-boxout{border-top:4px solid var(--amber);color:var(--paper);background:#263444;padding:clamp(1.5rem,4vw,2.25rem)}.case-boxout .eyebrow{color:var(--amber)}.case-boxout h2{letter-spacing:-.025em;margin:.25rem 0 1rem;font-family:Georgia,Times New Roman,serif;font-size:clamp(1.7rem,3.4vw,2.45rem);line-height:1.04}.case-boxout p:last-child{margin-bottom:0}.case-boxout--paper{color:var(--ink);background:#e4e0d5}.case-boxout--paper .eyebrow{color:#83540e}.case-timeline{border-top:1px solid var(--line);margin:0;padding:0;list-style:none}.case-timeline li{border-bottom:1px solid var(--line);grid-template-columns:9rem minmax(0,1fr);gap:2rem;padding:1.7rem 0;display:grid}.case-timeline li>span{color:var(--amber);letter-spacing:.12em;text-transform:uppercase;font-size:.78rem;font-weight:800}.case-timeline h3{margin:0 0 .45rem;font-family:Georgia,Times New Roman,serif;font-size:clamp(1.35rem,3vw,1.8rem);line-height:1.12}.case-timeline p{max-width:48rem;color:var(--fog);margin:0}.case-success-list{margin:2rem 0 0;padding:0;list-style:none}.case-success-list li{border-top:1px solid #c9c4b8;padding:1rem 0}.case-success-list strong{margin-bottom:.25rem;display:block}.case-principles{grid-template-columns:repeat(2,1fr)}.case-callout{border-left:3px solid var(--amber);background:#e4e0d5;padding:clamp(1.5rem,4vw,2.5rem)}.case-callout blockquote{letter-spacing:-.025em;margin:.5rem 0 1.5rem;font-family:Georgia,Times New Roman,serif;font-size:clamp(1.7rem,3.4vw,2.5rem);line-height:1.12}.section--paper .source-list__date{color:#4f5961}.porting-definition{max-width:58rem;margin-top:2.5rem}.case-subheading{max-width:48rem;margin:clamp(3.5rem,7vw,6rem) 0 2rem}.case-subheading h3{letter-spacing:-.025em;margin:.25rem 0 .75rem;font-family:Georgia,Times New Roman,serif;font-size:clamp(1.8rem,4vw,2.8rem);line-height:1.05}.porting-flow{border-top:1px solid #c9c4b8;border-left:1px solid #c9c4b8;grid-template-columns:repeat(6,minmax(0,1fr));margin:0;padding:0;list-style:none;display:grid}.porting-flow li{border-bottom:1px solid #c9c4b8;border-right:1px solid #c9c4b8;min-height:11rem;padding:1.2rem;position:relative}.porting-flow li:not(:last-child):after{content:"→";z-index:1;background:var(--amber);width:1.4rem;height:1.4rem;color:var(--ink);border-radius:50%;place-items:center;font-weight:900;display:grid;position:absolute;top:50%;right:-.72rem;transform:translateY(-50%)}.porting-flow span,.porting-flow strong,.porting-flow small{display:block}.porting-flow span{color:#83540e;letter-spacing:.12em;font-size:.72rem;font-weight:800}.porting-flow strong{margin-top:1rem;font-family:Georgia,Times New Roman,serif;font-size:1.25rem;line-height:1.1}.porting-flow small{color:#4f5961;margin-top:.7rem}.case-visual-grid{grid-template-columns:repeat(2,1fr);gap:1rem;margin-top:2rem;display:grid}.case-visual-grid figure{background:#e4e0d5;border:1px solid #c9c4b8;margin:0}.case-visual-grid img{aspect-ratio:16/10;object-fit:cover;width:100%;display:block}.case-visual-grid figcaption{color:#4f5961;padding:1rem;font-size:.85rem}.specification-flow{grid-template-columns:1fr auto 1fr auto 1fr auto 1fr;align-items:stretch;gap:.8rem;margin-top:clamp(3rem,6vw,5rem);display:grid}.specification-flow>div{border:1px solid var(--line);padding:1.25rem}.specification-flow>b{color:var(--amber);place-items:center;font-size:1.5rem;display:grid}.specification-flow span,.specification-flow small{display:block}.specification-flow span{font-weight:800}.specification-flow small{color:var(--fog);margin-top:.55rem}.specification-grid{border-top:1px solid var(--line);border-left:1px solid var(--line);grid-template-columns:repeat(3,1fr);display:grid}.specification-grid article{border-right:1px solid var(--line);border-bottom:1px solid var(--line);padding:1.5rem}.specification-grid h3{margin:.25rem 0 .7rem;font-family:Georgia,Times New Roman,serif;font-size:1.45rem;line-height:1.12}.specification-grid p:last-child{color:var(--fog)}.case-safety-note{max-width:58rem;color:var(--fog);margin-top:1.5rem;font-size:.9rem}.developer-blueprint{border-top:3px solid var(--amber);margin-top:clamp(4rem,8vw,7rem);padding-top:clamp(2.5rem,5vw,4rem)}.developer-blueprint__heading{max-width:56rem}.developer-blueprint__heading h2{letter-spacing:-.035em;margin:.2rem 0 .8rem;font-family:Georgia,Times New Roman,serif;font-size:clamp(2rem,4.4vw,3.45rem);line-height:1.05}.runtime-operation-flow{counter-reset:operation;grid-template-columns:repeat(6,minmax(0,1fr));margin:2.5rem 0 0;padding:0;list-style:none;display:grid}.runtime-operation-flow li{border:1px solid var(--line);counter-increment:operation;border-right:0;min-height:18rem;padding:1.2rem;position:relative}.runtime-operation-flow li:last-child{border-right:1px solid var(--line)}.runtime-operation-flow li:before{content:counter(operation, decimal-leading-zero);color:var(--amber);letter-spacing:.12em;font-size:.72rem;font-weight:800;display:block}.runtime-operation-flow li:not(:last-child):after{content:"→";z-index:2;background:var(--amber);width:1.4rem;height:1.4rem;color:var(--ink);border-radius:50%;place-items:center;font-weight:900;display:grid;position:absolute;top:2.6rem;right:-.72rem}.runtime-operation-flow .flow-code{min-height:2.7rem;color:var(--amber-pale);overflow-wrap:anywhere;margin-top:.9rem;font:700 .73rem/1.35 ui-monospace,SFMono-Regular,Consolas,monospace;display:block}.runtime-operation-flow strong{font-family:Georgia,Times New Roman,serif;font-size:1.2rem;line-height:1.1;display:block}.runtime-operation-flow p{color:var(--fog);font-size:.86rem}.runtime-operation-flow small{color:var(--paper);font:600 .72rem/1.4 ui-monospace,SFMono-Regular,Consolas,monospace;display:block}.developer-detail-grid{grid-template-columns:minmax(0,1.05fr) minmax(20rem,.95fr);gap:1rem;margin-top:1rem;display:grid}.developer-contract,.acceptance-example{border:1px solid var(--line);background:#121b26;padding:clamp(1.3rem,3vw,2rem)}.developer-contract h3,.acceptance-example h3{margin:.3rem 0 1.2rem;font-family:Georgia,Times New Roman,serif;font-size:clamp(1.5rem,3vw,2rem);line-height:1.1}.developer-contract pre{border-left:3px solid var(--amber);color:#e9e4d9;background:#080d13;max-width:100%;margin:0;padding:1.2rem;font:.8rem/1.6 ui-monospace,SFMono-Regular,Consolas,monospace;overflow-x:auto}.developer-contract__note{color:var(--fog);font-size:.8rem}.acceptance-example ol{margin:0;padding:0;list-style:none}.acceptance-example li{border-top:1px solid var(--line);grid-template-columns:7rem 1fr;gap:1rem;padding:.8rem 0;display:grid}.acceptance-example li span{color:var(--amber);text-transform:uppercase;font:800 .72rem/1.4 ui-monospace,SFMono-Regular,Consolas,monospace}.acceptance-example li p{color:var(--fog);margin:0;font-size:.86rem}.blueprint-hero .hero__content{max-width:66rem}.blueprint-hero h1{max-width:64rem}.blueprint-toc{border-block:1px solid var(--line);padding-block:1.5rem}.blueprint-toc .shell,.blueprint-toc ol{flex-wrap:wrap;align-items:center;gap:.55rem 1.25rem;display:flex}.blueprint-toc .eyebrow{margin:0}.blueprint-toc ol{margin:0;padding:0;list-style-position:inside}.blueprint-toc a{color:var(--paper);font-size:.84rem;font-weight:700}.blueprint-programme-flow,.runtime-sequence,.transaction-flow,.delivery-roadmap{margin:0;padding:0;list-style:none}.blueprint-programme-flow{border-top:1px solid var(--line)}.blueprint-programme-flow li{border-bottom:1px solid var(--line);grid-template-columns:7rem minmax(0,1fr);gap:1.5rem;padding:1.5rem 0;display:grid}.blueprint-programme-flow li>span,.understanding-grid article>span,.operations-grid article>span{color:var(--amber);letter-spacing:.12em;text-transform:uppercase;font-size:.72rem;font-weight:800}.blueprint-programme-flow h3,.understanding-grid h3,.operations-grid h3,.implementation-paths h3{margin:0 0 .45rem;font-family:Georgia,Times New Roman,serif;font-size:1.45rem;line-height:1.12}.blueprint-programme-flow p{max-width:48rem;color:var(--fog);margin:0}.blueprint-programme-flow small{color:var(--amber-pale);margin-top:.5rem;display:block}.understanding-grid{border-top:1px solid #c9c4b8;border-left:1px solid #c9c4b8;grid-template-columns:repeat(5,1fr);display:grid}.understanding-grid article{border-bottom:1px solid #c9c4b8;border-right:1px solid #c9c4b8;padding:1.25rem}.understanding-grid article>span{color:#83540e}.understanding-grid h3{margin-top:.8rem}.understanding-grid ul{padding-left:1.1rem}.architecture-stack{gap:.7rem;max-width:62rem;display:grid}.architecture-stack>b{color:var(--amber);text-align:center;font-weight:700}.architecture-layer{border:1px solid var(--line);grid-template-columns:10rem minmax(0,1fr) minmax(13rem,.7fr);align-items:center;gap:1rem;padding:1.25rem;display:grid}.architecture-layer span,.architecture-crosscut span{color:var(--amber);letter-spacing:.1em;text-transform:uppercase;font-size:.72rem;font-weight:800}.architecture-layer small{color:var(--fog)}.architecture-layer--edge{background:#263444}.architecture-layer--core{border:2px solid var(--amber);background:#101822}.architecture-crosscut{background:var(--amber);color:var(--ink);text-align:center;justify-content:center;gap:1.25rem;padding:1rem;display:flex}.architecture-crosscut span{color:var(--ink)}.dependency-rules{grid-template-columns:repeat(2,1fr);gap:1rem;margin-top:1rem;display:grid}.dependency-rules article{border-left:3px solid var(--amber);background:#263444;padding:1rem 1.25rem}.dependency-rules h3{margin:0 0 .7rem}.dependency-rules p{color:var(--fog);margin:.35rem 0;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:.82rem}.runtime-sequence{counter-reset:runtime}.runtime-sequence li{counter-increment:runtime;border-top:1px solid #c9c4b8;grid-template-columns:7rem 14rem minmax(0,1fr);align-items:baseline;gap:1rem;padding:1rem 0;display:grid}.runtime-sequence li>span{color:#83540e;font-weight:800}.runtime-sequence code,.transaction-flow code{overflow-wrap:anywhere;font-weight:750}.runtime-sequence p{margin:0}.code-example{border:1px solid color-mix(in srgb, currentColor 22%, transparent);min-width:0;color:var(--paper);background:#101822;margin-top:2rem;padding:1.25rem}.code-example pre{color:#e9e4d9;background:#080d13;max-width:100%;margin:.8rem 0;padding:1rem;font:.8rem/1.6 ui-monospace,SFMono-Regular,Consolas,monospace;overflow-x:auto}.code-example>p:last-child{color:var(--fog);font-size:.82rem}.section--paper .code-example .eyebrow,.section--paper .possibility-boxout .eyebrow{color:var(--amber)}.contract-code-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:1rem;display:grid}.contract-code-grid .code-example{margin-top:0}.contract-invariants{border-left:3px solid var(--amber);color:var(--ink);background:#e4e0d5;margin-top:1rem;padding:1.5rem}.contract-invariants h3{margin-top:0}.contract-invariants ul{columns:2}.table-scroll{border:1px solid var(--line);max-width:100%;overflow-x:auto}.blueprint-table{border-collapse:collapse;width:100%;min-width:70rem;font-size:.83rem}.blueprint-table th,.blueprint-table td{border-right:1px solid var(--line);border-bottom:1px solid var(--line);vertical-align:top;text-align:left;padding:.85rem}.blueprint-table thead{color:var(--amber-pale);background:#101822}.blueprint-table tbody th{color:var(--amber-pale)}.blueprint-table td{color:#d2d7d6}.transaction-flow{grid-template-columns:repeat(3,1fr);gap:1rem;display:grid}.transaction-flow li{border:1px solid #c9c4b8;grid-template-columns:2.4rem 1fr;gap:.8rem;padding:1.2rem;display:grid}.transaction-flow li>span{background:var(--amber);border-radius:50%;place-items:center;width:2rem;height:2rem;font-weight:900;display:grid}.transaction-flow p{margin-bottom:0}.transaction-failure{max-width:52rem;margin-top:1rem}.verification-ladder{border-top:1px solid var(--line);border-left:1px solid var(--line);grid-template-columns:repeat(5,1fr);display:grid}.verification-ladder article{border-right:1px solid var(--line);border-bottom:1px solid var(--line);padding:1.2rem}.verification-ladder span{color:var(--amber);text-transform:uppercase;font-size:.72rem;font-weight:800}.verification-ladder h3{font-family:Georgia,Times New Roman,serif;font-size:1.3rem;line-height:1.1}.verification-ladder p{color:var(--fog);font-size:.86rem}.acceptance-record{border-top:1px solid var(--line);border-left:1px solid var(--line);grid-template-columns:repeat(3,1fr);margin-top:1rem;display:grid}.acceptance-record>div{border-right:1px solid var(--line);border-bottom:1px solid var(--line);padding:1.1rem}.acceptance-record span{color:var(--amber);text-transform:uppercase;font-size:.7rem;font-weight:800;display:block}.acceptance-record p{color:var(--fog);margin-bottom:0}.implementation-paths{grid-template-columns:repeat(2,minmax(0,1fr));gap:1rem;display:grid}.implementation-paths article{background:#e4e0d5;border:1px solid #c9c4b8;padding:clamp(1.3rem,3vw,2rem)}.implementation-paths h3{font-size:1.7rem}.implementation-paths h4{letter-spacing:.08em;text-transform:uppercase;margin:1.4rem 0 .4rem;font-size:.85rem}.implementation-paths li+li{margin-top:.35rem}.possibility-boxout{border-left:4px solid var(--amber);color:var(--paper);background:#263444;margin-top:1rem;padding:clamp(1.5rem,4vw,2.5rem)}.possibility-boxout h3{max-width:50rem;margin:.2rem 0 .8rem;font:700 clamp(1.7rem,4vw,2.8rem)/1.08 Georgia,Times New Roman,serif}.possibility-boxout p:last-child{color:#d7dcdb;max-width:62rem}.operations-grid{border-top:1px solid var(--line);border-left:1px solid var(--line);grid-template-columns:repeat(3,1fr);display:grid}.operations-grid article{border-right:1px solid var(--line);border-bottom:1px solid var(--line);padding:1.25rem}.operations-grid h3{margin-top:.7rem}.operations-grid p{color:var(--fog)}.budget-example{border-top:1px solid var(--line);border-left:1px solid var(--line);grid-template-columns:repeat(5,1fr);margin-top:1.5rem;display:grid}.budget-example>div{border-right:1px solid var(--line);border-bottom:1px solid var(--line);padding:1rem}.budget-example span,.budget-example strong,.budget-example small{display:block}.budget-example span{color:var(--amber);text-transform:uppercase;font-size:.7rem;font-weight:800}.budget-example strong{margin-top:.55rem;font-family:Georgia,Times New Roman,serif;font-size:1.35rem}.budget-example small{color:var(--fog);margin-top:.35rem}.delivery-roadmap{border-top:1px solid var(--line);border-left:1px solid var(--line);grid-template-columns:repeat(3,1fr);display:grid}.delivery-roadmap li{border-right:1px solid var(--line);border-bottom:1px solid var(--line);padding:1.25rem}.delivery-roadmap span{color:var(--amber);text-transform:uppercase;font-size:.72rem;font-weight:800}.delivery-roadmap h3{font-family:Georgia,Times New Roman,serif;font-size:1.35rem;line-height:1.12}.delivery-roadmap p{color:var(--fog)}.delivery-roadmap small{color:var(--amber-pale)}.definition-checklist{padding-left:0;list-style:none}.definition-checklist li{border-top:1px solid #c9c4b8;padding:.75rem 0 .75rem 2rem;position:relative}.definition-checklist li:before{content:"✓";color:#83540e;font-weight:900;position:absolute;left:.2rem}.site-footer{border-top:1px solid var(--line);color:var(--fog);padding-top:3rem}.site-footer__grid{grid-template-columns:1.3fr 1fr;gap:2rem;padding-bottom:2.5rem;display:grid}.site-footer .brand,.site-footer a{color:var(--paper)}.site-footer__fine{max-width:24rem;font-size:.88rem}.site-footer__bottom{border-top:1px solid var(--line);color:#879094;padding-block:1rem}@media (width<=48rem){.shell{width:min(calc(100% - 2rem), var(--shell))}.primary-nav{display:none}.mobile-nav{display:block;position:relative}.fallback-nav{width:100%;padding-bottom:.75rem;display:block}.fallback-nav ul{flex-wrap:wrap;gap:.35rem .9rem}.fallback-nav a{color:var(--paper);font-size:.8rem;font-weight:700;text-decoration:none}.site-header__inner:has(.fallback-nav){flex-wrap:wrap}.mobile-nav__toggle{border:1px solid var(--line);color:var(--paper);background:0 0;padding:.4rem .7rem;font-size:.82rem;font-weight:700}.mobile-nav__panel{border:1px solid var(--line);background:#172434;min-width:15rem;padding:.6rem;position:absolute;top:calc(100% + .55rem);right:0;box-shadow:0 1rem 2rem #00000040}.mobile-nav__panel ul{display:block}.mobile-nav__panel a{color:var(--paper);padding:.75rem;text-decoration:none;display:block}.card-grid,.metric-grid,.evidence-list,.split,.site-footer__grid,.case-reading-grid,.case-reading-grid--reverse,.case-principles{grid-template-columns:1fr}.case-timeline li{grid-template-columns:1fr;gap:.5rem}.porting-flow{grid-template-columns:1fr}.porting-flow li{min-height:0}.porting-flow li:not(:last-child):after{content:"↓";top:auto;bottom:-.72rem;right:1rem;transform:none}.case-visual-grid,.specification-grid,.specification-flow{grid-template-columns:1fr}.specification-flow>b{transform:rotate(90deg)}.runtime-operation-flow{grid-template-columns:1fr}.runtime-operation-flow li{border-right:1px solid var(--line);border-bottom:0;min-height:0}.runtime-operation-flow li:last-child{border-bottom:1px solid var(--line)}.runtime-operation-flow li:not(:last-child):after{content:"↓";top:auto;bottom:-.72rem;right:1rem}.developer-detail-grid{grid-template-columns:1fr}.acceptance-example li{grid-template-columns:1fr;gap:.3rem}.blueprint-toc .shell{display:block}.blueprint-toc ol{margin-top:.7rem}.blueprint-programme-flow li,.runtime-sequence li{grid-template-columns:1fr;gap:.35rem}.understanding-grid,.verification-ladder,.acceptance-record,.delivery-roadmap,.operations-grid,.budget-example{grid-template-columns:1fr}.architecture-layer{grid-template-columns:1fr;gap:.35rem}.architecture-crosscut{display:block}.dependency-rules,.contract-code-grid,.transaction-flow,.implementation-paths{grid-template-columns:1fr}.contract-invariants ul{columns:1}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}
