@import "https://fonts.googleapis.com/css2?family=DM+Mono:wght@400;500&family=Inter:wght@400;500;600;700;800;900&display=swap";.implementation-section{background:var(--soft)}.implementation-layout{grid-template-columns:minmax(310px,.8fr) minmax(520px,1.2fr);align-items:center;gap:9vw;min-height:calc(100vh - 130px);display:grid}.large-note{letter-spacing:-.04em;margin:32px 0 48px;font-size:22px}.mode-switch,.verify-tabs,.composition-switch{border-bottom:1px solid var(--ink);width:fit-content;display:flex}.mode-switch button,.verify-tabs button,.composition-switch button{color:var(--muted);cursor:pointer;background:0 0;border:0;padding:12px 18px;font-family:DM Mono,monospace;font-size:11px}.mode-switch button.active,.composition-switch button.active{color:#fff;background:var(--blue)}.implementation-visual{padding:52px 0;position:relative}.interface-block{border:2px solid var(--blue);min-height:180px;color:var(--blue);background:#fff;padding:26px 30px;position:relative}.interface-block>span,.micro-header,.launch-box span,.scratch-bus,.composition-facts span{letter-spacing:.07em;font-family:DM Mono,monospace;font-size:10px}.interface-block strong{letter-spacing:-.08em;margin-top:18px;font-size:clamp(48px,5vw,78px);line-height:.8;display:block}.interface-block code{color:var(--ink);font-family:DM Mono,monospace;position:absolute;top:28px;right:28px}.type-row{color:var(--ink);gap:16px;margin-top:25px;font-family:DM Mono,monospace;font-size:11px;display:flex}.type-row i{color:#fff;background:var(--blue);margin-right:4px;padding:2px 4px;font-size:8px;font-style:normal}.vertical-arrow{color:var(--blue);margin:18px auto;display:block;transform:rotate(90deg)}.micro-program{border:2px solid var(--ink);background:#fff;min-height:230px;padding:25px 28px 32px;transition:border-color .16s}.micro-program.decode{border-color:var(--blue)}.micro-header{border-bottom:1px solid var(--line);justify-content:space-between;padding-bottom:20px;display:flex}.launch-flow{justify-content:center;align-items:center;gap:18px;min-height:145px;display:flex}.launch-box{border:1px solid var(--ink);min-width:178px;padding:18px}.launch-box strong{margin-top:24px;font-family:DM Mono,monospace;font-size:12px;font-weight:500;display:block}.accent-launch{color:#fff;border-color:var(--blue);background:var(--blue)}.scratch-bus{width:150px;color:var(--blue);text-align:center;position:relative}.scratch-bus svg{width:100%;height:48px;display:block}.visual-caption{color:var(--muted);text-align:right;margin-top:18px}.verifier-section{background:var(--ink);color:#fff}.verifier-section .section-number{color:var(--green);border-color:var(--green)}.verifier-header{justify-content:space-between;align-items:end;margin-top:7vh;display:flex}.verifier-header h2{font-size:clamp(58px,7.3vw,118px)}.verifier-header h2 span{color:var(--green)}.verifier-header p{margin:0 0 8px;font-size:20px}.verifier-console{background:#3a3f45;border:1px solid #3a3f45;grid-template-columns:1.4fr .8fr;gap:2px;margin-top:8vh;display:grid;position:relative}.verify-tabs{z-index:2;border-color:#545a61;position:absolute;top:16px;left:18px}.verify-tabs button.active{color:var(--ink);background:var(--green)}.broken-wire{background:#111419;grid-template-columns:1fr 1.5fr 1fr;align-items:center;min-height:300px;padding:70px 34px 30px;display:grid}.broken-wire svg{width:100%}.wire-left,.wire-right{fill:none;stroke:#fff;stroke-width:3px;stroke-linecap:round}.wire-break{fill:none;stroke:var(--red);stroke-width:5px;stroke-linecap:round}.wire-end{flex-direction:column;gap:13px;display:flex}.wire-end span{color:#7f8993;font-family:DM Mono,monospace;font-size:9px}.wire-end strong{font-family:DM Mono,monospace;font-size:12px;font-weight:400}.wire-target{text-align:right}.diagnostic{background:#171b20;flex-direction:column;justify-content:center;min-height:300px;padding:38px;display:flex}.diagnostic>span{color:var(--green);font-family:DM Mono,monospace;font-size:10px}.diagnostic pre{white-space:pre-wrap;color:#fff;margin:28px 0 35px;font-family:DM Mono,monospace;font-size:clamp(13px,1.2vw,17px);line-height:1.6}.diagnostic b{color:#fff;background:var(--red);width:fit-content;padding:8px;font-family:DM Mono,monospace;font-size:9px}.trust-boundary{color:#a6afb8;justify-content:flex-end;align-items:center;gap:12px;margin-top:24px;font-family:DM Mono,monospace;font-size:10px;display:flex}.trust-boundary span{color:var(--green)}.trust-boundary i{background:#4c535b;width:40px;height:1px}.composition-section{background:#fff}.composition-title{justify-content:space-between;align-items:end;margin-top:6vh;display:flex}.composition-title>div{align-items:end;gap:18px;display:flex}.giant-count{letter-spacing:-.11em;color:var(--blue);font-size:clamp(116px,16vw,260px);font-weight:900;line-height:.7}.composition-title p{margin:0;font-family:DM Mono,monospace;font-size:13px}.composition-title h2{text-align:right;font-size:clamp(48px,5.5vw,90px)}.composition-switch{margin:5vh auto 0}.program-graph{max-width:980px;height:360px;margin:3vh auto 0;position:relative}.graph-lines{width:100%;height:100%;color:var(--ink);position:absolute;inset:0}.graph-lines path{stroke-width:2.3px}.graph-lines .graph-arrow-head{fill:#fff;stroke:var(--ink);stroke-width:2px}.graph-node{border:2px solid var(--ink);text-align:center;background:#fff;min-width:125px;padding:17px 20px;font-family:DM Mono,monospace;font-size:12px;position:absolute}.speculative .graph-node:nth-of-type(2n){transform:rotate(1deg)}.n-prefill{top:13%;left:2%}.n-decode-spec{border-color:var(--blue);color:var(--blue);top:13%;left:37%}.n-draft{background:var(--green);top:10%;right:1%}.n-verify{color:#fff;background:var(--blue);border-color:var(--blue);top:55%;left:52%}.n-precompute{bottom:1%;left:22%}.n-decode{top:44%;left:7%}.n-standard-prefill{top:42%;left:14%}.n-standard-decode{color:#fff;background:var(--blue);border-color:var(--blue);top:42%;right:14%}.schema-diff{border-top:1px solid var(--ink);border-bottom:1px solid var(--ink);grid-template-columns:minmax(230px,.65fr) minmax(520px,1.35fr);max-width:1100px;margin:2vh auto 6vh;display:grid}.schema-contract{border-right:1px solid var(--ink);flex-direction:column;justify-content:center;gap:13px;padding:34px 30px;display:flex}.schema-contract span,.diff-header,.schema-payoff{letter-spacing:.07em;font-family:DM Mono,monospace;font-size:10px}.schema-contract span{color:var(--blue)}.schema-contract strong{letter-spacing:-.07em;font-size:clamp(32px,4vw,58px);line-height:.9}.schema-contract code{max-width:260px;color:var(--muted);font-family:DM Mono,monospace;font-size:10px;line-height:1.7}.diff-window{color:#fff;background:var(--ink);padding:25px 0;overflow:hidden}.diff-header{color:#aab1b8;align-items:center;gap:14px;padding:0 25px 18px;display:flex}.diff-header span:last-child{color:var(--green)}.diff-header svg{width:80px;color:var(--green)}.diff-header path{fill:none;stroke:currentColor;stroke-width:1.5px;stroke-linecap:round;stroke-linejoin:round}.diff-line{grid-template-columns:31px 1fr;align-items:center;min-height:28px;padding:3px 25px;font-size:11px;display:grid}.diff-line b,.diff-line code{font-family:DM Mono,monospace;font-weight:400}.diff-line.context{color:#aab1b8}.diff-line.added{color:var(--green);background:#b8ff2c17}.diff-line.reused{color:#fff;border-block:1px solid #30353a}.diff-line.reused b{color:var(--blue);font-weight:700}.schema-payoff{grid-column:1/-1;align-items:center;gap:14px;min-height:58px;padding-left:30px;display:flex}.schema-payoff i{color:var(--blue);font-size:18px;font-style:normal}.schema-payoff strong{color:var(--ink);background:var(--green);align-self:stretch;align-items:center;margin-left:auto;padding:0 26px;font-size:12px;display:flex}.composition-facts{border-top:1px solid var(--ink);grid-template-columns:repeat(4,1fr);display:grid}.composition-facts div{border-right:1px solid var(--line);align-items:end;gap:10px;min-height:115px;padding:21px 18px;display:flex}.composition-facts strong{letter-spacing:-.08em;font-size:52px;line-height:.8}.green-fact{background:var(--green)}.proof-section{color:#fff;background:var(--blue)}.proof-section .section-number{color:#fff;border-color:var(--green)}.proof-section>h2{margin-top:7vh}.benchmark{max-width:1000px;margin:7vh 0 0 auto}.benchmark-label{justify-content:space-between;margin-bottom:20px;font-family:DM Mono,monospace;font-size:11px;display:flex}.bar-row{grid-template-columns:70px 1fr 90px;align-items:center;gap:18px;margin:13px 0;font-family:DM Mono,monospace;font-size:11px;display:grid}.bar-row strong{letter-spacing:-.08em;font-family:Inter,sans-serif;font-size:45px}.bar-track{background:#ffffff2e;height:34px}.bar-track i{background:var(--green);height:100%;display:block}.bar-row.baseline .bar-track i{background:#fff}.proof-pair{background:#ffffff6b;border:1px solid #ffffff6b;grid-template-columns:1fr 1fr;gap:1px;max-width:1000px;margin:6vh 0 0 auto;display:grid}.proof-stat{background:var(--blue);min-height:210px;padding:24px 28px}.proof-stat>span,.proof-stat small{font-family:DM Mono,monospace;font-size:10px}.proof-stat strong{color:var(--green);letter-spacing:-.09em;margin-top:28px;font-size:clamp(68px,7vw,112px);line-height:.75;display:block}.proof-stat p{margin:23px 0 8px}.proof-stat small{color:#ffffffb3}.benchmark-footnote{color:#ffffffb3;text-align:right;max-width:1000px;margin:28px 0 0 auto}.lifecycle-heading{justify-content:space-between;align-items:end;margin-top:6vh;display:flex}.lifecycle-heading h2{font-size:clamp(70px,9vw,145px)}.lifecycle-heading h2 span{color:var(--blue)}.lifecycle-heading p{letter-spacing:-.04em;max-width:320px;margin:0 0 9px;font-size:22px;line-height:1.25}.lifecycle-flow{grid-template-columns:1fr 100px .75fr 100px 1fr;align-items:center;gap:14px;margin-top:8vh;display:grid}.lifecycle-stage{border:2px solid var(--ink);flex-direction:column;min-height:245px;padding:24px;display:flex}.lifecycle-stage>span,.lifecycle-stage em{font-family:DM Mono,monospace;font-size:10px;font-style:normal}.lifecycle-stage strong{margin-top:45px;font-size:20px}.lifecycle-stage p{line-height:1.5}.lifecycle-stage em{color:var(--muted);margin-top:auto}.package-stage{color:#fff;border-color:var(--blue);background:var(--blue);transform:rotate(-1deg)}.package-stage em{color:#fff}.run-stage{box-shadow:10px 10px 0 var(--green)}.integration-note{color:var(--muted);text-align:right;margin-top:28px}footer{color:#fff;background:var(--ink);justify-content:space-between;align-items:end;min-height:76vh;padding:72px clamp(24px,5vw,88px);display:flex}.footer-mark{color:var(--green);margin-bottom:8vh;display:inline-block}footer h2{font-size:clamp(64px,8vw,128px)}.footer-links{flex-direction:column;align-items:flex-end;gap:20px;font-family:DM Mono,monospace;font-size:11px;display:flex}.footer-links a{border-bottom:1px solid #fff;padding-bottom:5px}.swap-section{background:var(--soft)}.swap-header{justify-content:space-between;align-items:flex-end;gap:48px;margin:6vh 0 8vh;display:flex}.swap-header h2{font-size:clamp(56px,6.6vw,104px)}.loop-header h2{font-size:clamp(64px,8vw,126px)}.swap-header-side{max-width:420px;padding-bottom:8px}.swap-note{letter-spacing:-.04em;margin:0 0 14px;font-size:22px;font-weight:700}.swap-story{max-width:46ch;color:var(--muted);margin:0 0 22px;font-size:14.5px;line-height:1.65}.swap-schema-link{color:var(--blue);border-bottom:1px solid;padding-bottom:5px;font-family:DM Mono,monospace;font-size:11px}.swap-stage{grid-template-columns:minmax(380px,1fr) 250px minmax(300px,.85fr);align-items:start;display:grid}.swap-diff{font-size:13px}.swap-diff .diff-line{min-height:30px;font-size:12.5px}.swap-flight{height:400px;position:relative}.flight-paths{width:250px;height:400px;position:absolute;inset:0;overflow:visible}.flight-paths path{fill:none;stroke-width:2px;stroke-linecap:round;stroke-linejoin:round}.flight-erase{stroke:var(--red);stroke-dasharray:7 6}.flight-ship{stroke:var(--blue);stroke-width:2.5px;stroke-dasharray:none}.flight-block{border:2px solid var(--ink);background:var(--green);width:242px;box-shadow:7px 7px 0 var(--ink);flex-direction:column;gap:6px;padding:15px 17px;display:flex;position:absolute;top:138px;left:-34px;transform:rotate(-2deg)}.flight-kicker{letter-spacing:.12em;font-family:DM Mono,monospace;font-size:9px}.flight-block strong{white-space:nowrap;font-family:DM Mono,monospace;font-size:10.5px;font-weight:500}.flight-block small{color:#080a0d99;font-family:DM Mono,monospace;font-size:9px}.flight-verified{border:2px solid var(--ink);background:#fff;padding:5px 9px;font-family:DM Mono,monospace;font-size:9px;font-style:normal;font-weight:500;position:absolute;top:-14px;right:-12px;transform:rotate(3deg)}.flight-label{letter-spacing:.1em;font-family:DM Mono,monospace;font-size:9px;position:absolute}.label-erase{color:var(--red);top:330px;left:74px;transform:rotate(-9deg)}.label-ship{color:var(--blue);top:246px;left:138px;transform:rotate(6deg)}.swap-pipeline{flex-direction:column;gap:10px;display:flex}.pipeline-title{letter-spacing:.08em;color:var(--muted);margin-bottom:2px;font-family:DM Mono,monospace;font-size:10px}.pipe-block{border:2px solid var(--ink);background:#fff;justify-content:space-between;align-items:center;min-height:54px;padding:0 18px;font-family:DM Mono,monospace;font-size:12.5px;display:flex}.pipe-block>i{color:var(--muted);opacity:.55;font-style:normal}.swap-slot{border-color:var(--blue);border-width:2.5px;flex-direction:column;justify-content:center;align-items:flex-start;gap:6px;min-height:66px;position:relative}.swap-slot>code{font-weight:500}.old-impl{color:var(--red);font-family:DM Mono,monospace;font-size:10.5px;-webkit-text-decoration:line-through #ff3b3099;text-decoration:line-through #ff3b3099;-webkit-mask-image:linear-gradient(90deg,#000 30%,#00000040 65%,#0000 92%);mask-image:linear-gradient(90deg,#000 30%,#00000040 65%,#0000 92%)}.eraser{border:2px solid var(--ink);background:#fff;width:86px;height:30px;position:absolute;top:18px;left:152px;transform:rotate(-18deg)}.eraser:before{content:"";background:var(--blue);border-right:2px solid var(--ink);width:28px;position:absolute;inset:0 auto 0 0}.shaving{background:#080a0d59;border-radius:2px;width:9px;height:3px;position:absolute}.shaving-a{top:55px;left:168px;transform:rotate(24deg)}.shaving-b{top:59px;left:198px;transform:rotate(-32deg)}.shaving-c{top:60px;left:142px;transform:rotate(64deg)}.pipeline-foot{border-top:2px solid var(--ink);align-items:center;gap:14px;margin-top:8px;padding-top:14px;display:flex}.pipeline-foot b{letter-spacing:-.06em;color:var(--blue);font-size:44px;font-weight:900;line-height:.8}.pipeline-foot span{letter-spacing:.08em;color:var(--muted);font-family:DM Mono,monospace;font-size:10px;line-height:1.5}.swap-diff-title{letter-spacing:.07em;color:#aab1b8;border-bottom:1px solid #30353a;margin-bottom:12px;padding:0 25px 16px;font-family:DM Mono,monospace;font-size:11px}.diff-line.removed{color:#ff8983;background:#ff3b301a;-webkit-text-decoration:line-through #ff89838c;text-decoration:line-through #ff89838c}.swap-stamps{gap:22px;margin-top:40px;display:flex}.swap-stamp{border:2.5px solid var(--ink);letter-spacing:.06em;background:#fff;padding:13px 20px;font-family:DM Mono,monospace;font-size:13px;font-weight:500}.swap-stamp:first-child{transform:rotate(-2deg)}.swap-stamp:nth-child(2){transform:rotate(1.5deg)}.swap-stamp:nth-child(3){transform:rotate(-1deg)}.stamp-green{background:var(--green)}.loop-header{margin-top:6vh}.loop-header h2 span{background:var(--green);margin-top:.1em;padding:.04em .14em .09em;display:inline-block;transform:rotate(-1deg)}.lanes{margin-top:9vh}.lane{border-top:1px solid var(--line);grid-template-columns:170px minmax(0,1fr) auto;align-items:center;gap:28px;padding:34px 0;display:grid}.lane-label{letter-spacing:.1em;color:var(--muted);font-family:DM Mono,monospace;font-size:11px}.lane-kern .lane-label{color:var(--blue)}.lane-steps{flex-wrap:wrap;align-items:center;gap:12px;display:flex}.lane-steps i{color:var(--muted);background:#fff;border:1.5px solid #65707b8c;padding:11px 16px;font-family:DM Mono,monospace;font-size:12.5px;font-style:normal}.lane-steps em{color:var(--muted);font-family:DM Mono,monospace;font-style:normal}.lane-kern .lane-steps i{border:2px solid var(--ink);color:var(--ink);font-weight:500}.lane-steps i b{color:var(--blue);margin-left:6px;font-weight:500}.lane-cost{letter-spacing:-.06em;color:#aab1b8;font-size:clamp(30px,3.6vw,58px);font-weight:900}.cost-green{color:var(--ink);background:var(--green);padding:.02em .18em .08em;transform:rotate(-2deg)}.loop-thesis{max-width:66ch;margin-top:9vh}.loop-thesis p{letter-spacing:-.015em;margin:0;font-size:clamp(17px,1.7vw,21px);line-height:1.55}.loop-thesis b{background:var(--green);padding:0 .2em;font-weight:600}.loop-punch{font-weight:800;letter-spacing:-.045em!important;margin-top:26px!important;font-size:clamp(26px,2.8vw,44px)!important;line-height:1.05!important}.proof-pair{grid-template-columns:repeat(3,1fr)}.evidence-section{background:var(--soft)}.evidence-header{justify-content:space-between;align-items:flex-end;gap:48px;margin:6vh 0 7vh;display:flex}.evidence-hero{align-items:flex-end;gap:clamp(20px,2.5vw,40px);display:flex}.evidence-header h2{font-size:clamp(48px,5.4vw,84px)}.evidence-time{letter-spacing:-.1em;background:var(--green);padding:.02em .12em .08em;font-size:clamp(120px,15vw,260px);font-weight:900;line-height:.74;display:block;transform:rotate(-2deg)}.evidence-time i{letter-spacing:-.04em;margin-left:.06em;font-size:.42em;font-style:normal}.ev-timeline{margin-top:2vh}.ev-bar{border:2px solid var(--ink);background:#fff;height:44px;display:flex}.ev-seg{border-right:2px solid var(--ink);min-width:3px;display:block}.ev-seg:last-child{border-right:0}.ev-seg-muted{background:repeating-linear-gradient(-45deg, #fff 0 6px, var(--line) 6px 8px)}.ev-seg-blue{background:var(--blue)}.ev-seg-faint{background:#fff}.ev-ticks{grid-template-columns:repeat(6,minmax(0,1fr));gap:16px;margin-top:14px;font-family:DM Mono,monospace;display:grid}.ev-tick b{letter-spacing:.1em;color:var(--muted);font-size:10px;font-weight:500;display:block}.ev-tick-blue b{color:var(--blue)}.ev-tick span{letter-spacing:-.06em;margin-top:6px;font-family:Inter,sans-serif;font-size:30px;font-weight:800;line-height:1;display:block}.ev-tick small{color:var(--muted);margin-top:6px;font-size:10.5px;display:block}.ev-tick-total{border-left:2px solid var(--ink);padding-left:16px}.ev-tick-total b{color:var(--ink)}.ev-timeline-why{max-width:62ch;margin:26px 0 8vh;font-size:17px;line-height:1.5}.ev-timeline-why b{color:var(--blue)}.evidence-header-side{max-width:460px;padding-bottom:10px}.evidence-header-side p{color:var(--muted);margin:14px 0 0;font-size:15px}.evidence-cmd{border:2px solid var(--ink);white-space:pre;background:#fff;margin:0;padding:16px 20px;font-family:DM Mono,monospace;font-size:12.5px;line-height:1.6;overflow-x:auto}.evidence-cmd b{color:var(--blue);font-weight:500}.evidence-stage{grid-template-columns:minmax(0,1.55fr) minmax(280px,.7fr);align-items:start;gap:clamp(32px,5vw,96px);display:grid}.evidence-diagram{width:100%;height:auto;font-family:DM Mono,monospace;overflow:visible}.evidence-diagram text{fill:var(--ink);font-size:11px}.ev-block path{fill:#fff;stroke:var(--ink);stroke-width:1.8px;stroke-linejoin:round}.ev-block text{text-anchor:middle;font-size:11.5px}.ev-cut path{stroke:var(--blue);stroke-width:2.6px}.ev-row-a .ev-cut path{fill:#0647ff14}.ev-row-b .ev-cut path{fill:var(--green)}.ev-cut text{font-weight:500}.ev-label,.ev-tag{letter-spacing:.08em;fill:var(--muted);font-size:10px}.ev-tag-blue{fill:var(--blue);font-weight:500}.ev-wire{fill:none;stroke:var(--muted);stroke-width:1.6px;stroke-linecap:round;stroke-linejoin:round}.ev-wire-blue{stroke:var(--blue);stroke-width:2px}.ev-snapshot path{fill:#fff;stroke:var(--ink);stroke-width:2.2px;stroke-linejoin:round}.ev-snapshot text{text-anchor:middle;letter-spacing:.1em;font-size:12px;font-weight:500}.ev-snapshot .ev-snapshot-sub{letter-spacing:.06em;fill:var(--muted);font-size:10px;font-weight:400}.ev-check-name{letter-spacing:.08em;font-weight:500}.ev-check-what{fill:var(--muted)}.ev-check-result{fill:#3f8f00;font-weight:500}.evidence-verdict{padding-top:8px}.verdict-kicker{letter-spacing:.1em;color:var(--muted);font-family:DM Mono,monospace;font-size:11px}.evidence-verdict strong{letter-spacing:-.08em;background:var(--green);width:fit-content;margin:22px 0 26px;padding:.02em .14em .1em;font-size:clamp(84px,9vw,150px);font-weight:900;line-height:.8;display:block;transform:rotate(-2deg)}.evidence-verdict p{letter-spacing:-.02em;margin:0;font-size:22px;font-weight:600}.evidence-verdict small{color:var(--muted);margin-top:8px;font-family:DM Mono,monospace;font-size:11px;display:block}.verdict-ladder{border-top:1px solid var(--ink);letter-spacing:.04em;margin:40px 0 0;padding:0;font-family:DM Mono,monospace;font-size:11.5px;list-style:none}.verdict-ladder li{border-bottom:1px solid var(--line);color:var(--muted);gap:14px;padding:11px 0;display:flex}.verdict-ladder li:first-child{color:var(--ink)}.verdict-ladder b{min-width:14px;color:var(--blue);font-weight:500}.evidence-metrics{border-top:1px solid var(--ink);grid-template-columns:repeat(4,minmax(0,1fr));gap:32px;margin-top:9vh;padding-top:26px;display:grid}.evidence-metrics strong{letter-spacing:-.08em;font-size:clamp(48px,5vw,84px);font-weight:900;line-height:.8;display:block}.evidence-metrics strong i{letter-spacing:-.02em;color:var(--blue);margin-left:.15em;font-size:.4em;font-style:normal}.evidence-metrics div:nth-child(2) strong,.evidence-metrics div:nth-child(3) strong{color:var(--blue)}.evidence-metrics span{letter-spacing:.1em;margin-top:18px;font-family:DM Mono,monospace;font-size:10px;display:block}.evidence-metrics small{color:var(--muted);margin-top:6px;font-family:DM Mono,monospace;font-size:11px;display:block}@media (width<=1100px){.hero{grid-template-rows:auto auto auto auto;grid-template-columns:1fr}.hero-copy{grid-area:1/1}.hero-diagram{grid-area:2/1;width:min(620px,100%);margin:40px auto 0}.hero-proof,.hero-scale{grid-column:1;width:min(620px,100%);margin-left:auto}.hero-scale{grid-row:3;margin-top:38px}.hero-proof{grid-row:4;margin-top:26px}.program-blueprint{grid-template-columns:1fr;max-width:720px;margin-left:auto;margin-right:auto}.program-blueprint>.arrow{margin:0 auto;transform:rotate(90deg)}.implementation-layout{grid-template-columns:1fr;padding-top:8vh}.implementation-visual{width:min(760px,100%);margin-left:auto}.lifecycle-flow{grid-template-columns:1fr;max-width:720px;margin-left:auto;margin-right:auto}.lifecycle-flow>.arrow{margin:0 auto;transform:rotate(90deg)}.evidence-header{flex-direction:column;align-items:flex-start;gap:28px}.evidence-stage{grid-template-columns:1fr;gap:40px}.evidence-metrics{grid-template-columns:repeat(2,minmax(0,1fr));gap:40px 32px}.ev-ticks{grid-template-columns:repeat(3,minmax(0,1fr));gap:24px 16px}.ev-tick-total{border-left:0;padding-left:0}}@media (width<=760px){.site-header{height:68px}.site-header nav a:not(.github-link){display:none}.hero{padding-top:112px}.hero-copy h1{font-size:clamp(52px,16vw,82px)}.hero-bottomline{flex-direction:column;align-items:flex-start;gap:18px}.hero-proof,.hero-scale{display:block}.hero-proof strong,.hero-scale strong{font-size:72px;display:block}.hero-proof span,.hero-scale span{margin-top:14px;display:block}.hero-proof small,.hero-scale small{margin-top:7px;line-height:1.5;display:block}.hero-diagram{min-height:540px}.artifact-stack{left:0}.verify-stamp{right:0}.runtime-chip{right:4%}.artifact-title,.verifier-header,.composition-title,.lifecycle-heading{flex-direction:column;align-items:flex-start;gap:34px}.verifier-header h2{font-size:46px}.composition-title h2{text-align:left}.manifest-body{grid-template-columns:1fr}.interface-block code{margin-top:20px;display:block;position:static}.type-row{flex-direction:column}.launch-flow{flex-direction:column;padding-top:24px}.scratch-bus{margin:28px 0;transform:rotate(90deg)}.verifier-console{grid-template-columns:1fr}.verify-tabs{background:#111419;width:100%;padding:12px;position:static}.broken-wire{grid-template-columns:1fr;gap:18px;padding-top:30px}.broken-wire svg{max-height:90px;transform:rotate(90deg)}.wire-target{text-align:left}.composition-title>div{flex-direction:column;align-items:flex-start}.program-graph{transform-origin:50%;margin-left:-9%;margin-right:-9%;transform:scale(.85)}.composition-facts{grid-template-columns:1fr 1fr}.schema-diff{grid-template-columns:1fr}.schema-contract{border-right:0;border-bottom:1px solid var(--ink)}.schema-payoff{flex-wrap:wrap;align-items:flex-start;padding:20px 0 0 20px}.schema-payoff strong{width:100%;min-height:54px;margin:4px 0 0 -20px;padding-left:20px}.proof-pair{grid-template-columns:1fr}.bar-row{grid-template-columns:52px 1fr 66px}.bar-row strong{font-size:32px}footer{flex-direction:column;align-items:flex-start;min-height:90vh}.evidence-metrics{grid-template-columns:1fr}.evidence-verdict strong{font-size:clamp(72px,22vw,110px)}.evidence-hero{flex-direction:column;align-items:flex-start}.evidence-time{font-size:clamp(110px,34vw,160px)}.ev-ticks{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*{transition:none!important}}@media (width<=1100px){.swap-header{flex-direction:column;align-items:flex-start;gap:28px}.swap-stage{grid-template-columns:1fr;max-width:560px;margin:0 auto}.swap-flight{text-align:center;height:auto;padding:26px 0 34px}.flight-paths,.flight-label{display:none}.flight-block{text-align:left;width:min(320px,92%);margin:0 auto;position:relative;top:0;left:0}.swap-flight:after{content:"↓";color:var(--blue);margin-top:22px;font-size:24px;font-weight:900;display:block}.swap-stamps{justify-content:center}.lane{grid-template-columns:1fr;gap:18px}}@media (width<=760px){.swap-stamps{flex-wrap:wrap;gap:14px}.swap-diff .diff-line{font-size:10.5px}.agent-node{padding:11px 13px}.loop-return-label{display:none}.lane-cost{font-size:34px}}:root{--ink:#080a0d;--muted:#65707b;--line:#dce1e5;--paper:#fff;--soft:#f3f5f6;--blue:#0647ff;--green:#b8ff2c;--red:#ff3b30;color:var(--ink);background:var(--paper);font-synthesis:none;text-rendering:optimizelegibility;font-family:Inter,Arial,sans-serif}*{box-sizing:border-box}html{scroll-behavior:smooth}body{background:var(--paper);min-width:320px;margin:0}button,a{font:inherit}a{color:inherit;text-decoration:none}button:focus-visible,a:focus-visible{outline:3px solid var(--green);outline-offset:4px}.site-header{z-index:10;border-bottom:1px solid #080a0d24;justify-content:space-between;align-items:center;height:88px;padding:0 clamp(24px,4vw,72px);display:flex;position:absolute;inset:0 0 auto}.wordmark,.footer-mark{letter-spacing:-.05em;font-size:19px;font-weight:900}.wordmark-dot{color:var(--blue);margin-left:5px;font-size:12px}.site-header nav{letter-spacing:.06em;align-items:center;gap:32px;font-family:DM Mono,monospace;font-size:11px;display:flex}.site-header nav a:hover{color:var(--blue)}.github-link{color:#fff;background:var(--ink);padding:11px 14px}.hero{grid-template-rows:auto 1fr;grid-template-columns:minmax(0,1.2fr) minmax(360px,.8fr);column-gap:5vw;min-height:100vh;padding:152px clamp(24px,4vw,72px) 48px;display:grid;position:relative;overflow:hidden}.hero:before{content:"";border:2px solid var(--blue);opacity:.16;width:29vw;height:29vw;position:absolute;top:9vh;right:-12vw;transform:rotate(-7deg)}.eyebrow,.section-number,.node-kicker,.visual-caption,.benchmark-footnote,.integration-note{letter-spacing:.08em;font-family:DM Mono,monospace;font-size:11px}.eyebrow{color:var(--blue);margin:0 0 24px}.hero-copy h1,.section h2,footer h2{letter-spacing:-.075em;margin:0;font-weight:900;line-height:.85}.hero-copy h1{max-width:850px;font-size:clamp(64px,8.4vw,146px)}.hero-copy h1 span{color:#fff;background:var(--blue);width:fit-content;margin:.08em 0;padding:.05em .08em .1em;display:block;transform:rotate(-1deg)}.hero-bottomline{align-items:baseline;gap:48px;margin-top:34px;font-size:17px;display:flex}.hero-bottomline p{margin:0;font-weight:600}.hero-bottomline a{color:var(--blue);border-bottom:1px solid;padding-bottom:5px;font-family:DM Mono,monospace;font-size:11px}.hero-diagram{align-self:center;min-height:510px;position:relative}.artifact-stack{width:220px;height:255px;position:absolute;top:2%;left:4%}.file-sheet{border:2px solid var(--ink);background:#fff;padding:18px;font-family:DM Mono,monospace;font-size:11px;position:absolute;inset:0}.file-sheet-back{background:var(--green);transform:translate(34px,31px)rotate(4deg)}.file-sheet-mid{color:#fff;background:var(--blue);transform:translate(18px,17px)rotate(1deg)}.file-sheet-front{flex-direction:column;gap:13px;display:flex;transform:rotate(-2deg)}.file-sheet-front>span:first-child{margin-bottom:19px;font-size:14px;font-weight:500}.file-code{border-bottom:1px solid var(--line);color:var(--muted);padding-bottom:9px}.arrow{width:120px;height:34px;overflow:visible}.arrow path,.scratch-bus path,.graph-lines path{fill:none;stroke:currentColor;stroke-width:2px;stroke-linecap:round;stroke-linejoin:round}.hero-arrow-one{width:88px;color:var(--blue);position:absolute;top:26%;left:49%;transform:rotate(16deg)}.verify-stamp{border:3px solid var(--ink);background:var(--green);border-radius:50%;align-content:center;place-items:center;gap:4px;width:124px;height:124px;font-family:DM Mono,monospace;font-size:11px;font-weight:500;display:grid;position:absolute;top:19%;right:0;transform:rotate(8deg)}.verify-stamp:after{content:"";border:1px dashed var(--ink);border-radius:50%;position:absolute;inset:7px}.verify-check{font-family:Arial,sans-serif;font-size:36px;line-height:.9}.hero-arrow-two{color:var(--blue);position:absolute;top:51%;right:10%;transform:rotate(92deg)}.runtime-chip{border:3px solid var(--ink);background:var(--ink);color:#fff;flex-direction:column;justify-content:center;align-items:center;width:218px;height:145px;font-family:DM Mono,monospace;display:flex;position:absolute;bottom:4%;right:5%}.runtime-chip strong{letter-spacing:-.04em;font-family:Inter,sans-serif;font-size:27px}.chip-pins:before,.chip-pins:after{content:"";background:repeating-linear-gradient(90deg, transparent 0 18px, var(--ink) 18px 24px);height:18px;position:absolute;left:-13px;right:-13px}.chip-pins:before{top:-11px}.chip-pins:after{bottom:-11px}.hero-proof,.hero-scale{border-top:1px solid var(--ink);grid-template-columns:auto 1fr;align-self:end;column-gap:16px;padding-top:26px;display:grid}.hero-scale{grid-column:1;width:min(620px,100%)}.hero-proof{grid-column:2}.hero-proof strong,.hero-scale strong{letter-spacing:-.08em;grid-row:span 2;font-size:clamp(58px,6vw,98px);line-height:.78}.hero-scale strong{color:var(--blue)}.hero-proof span,.hero-scale span{align-self:end;font-weight:700}.hero-proof small,.hero-scale small{color:var(--muted);margin-top:7px;font-family:DM Mono,monospace;font-size:9px}.section{border-top:1px solid var(--ink);min-height:100vh;padding:48px clamp(24px,5vw,88px) 72px;position:relative;overflow:hidden}.section-number{border-bottom:2px solid var(--blue);color:var(--blue);padding-bottom:10px;display:inline-block}.artifact-title{justify-content:space-between;align-items:end;margin-top:8vh;display:flex}.artifact-title h2,.implementation-copy h2,.proof-section>h2{font-size:clamp(64px,8vw,126px)}.artifact-title p{letter-spacing:-.04em;max-width:360px;margin:0 0 6px;font-size:clamp(18px,1.8vw,28px);line-height:1.25}.program-blueprint{grid-template-columns:minmax(180px,.7fr) 100px minmax(420px,1.4fr) 100px minmax(190px,.7fr);align-items:center;gap:14px;margin-top:9vh;display:grid}.blueprint-node{border:2px solid var(--ink);flex-direction:column;justify-content:center;gap:13px;min-height:230px;padding:24px;display:flex}.blueprint-node strong{font-family:DM Mono,monospace;font-size:clamp(13px,1.3vw,18px);font-weight:500}.source-node{box-shadow:9px 9px 0 var(--green);transform:rotate(-1deg)}.executor-node{color:#fff;background:var(--ink);transform:rotate(1deg)}.executor-no{width:fit-content;color:var(--ink);background:var(--green);margin-top:8px;padding:7px;font-family:DM Mono,monospace;font-size:9px}.manifest-window{border:2px solid var(--blue);min-height:315px;color:var(--blue);background:#fff;grid-template-columns:54px 1fr;display:grid}.manifest-rail{color:#fff;background:var(--blue);writing-mode:vertical-rl;flex-direction:column;justify-content:space-between;align-items:center;padding:18px 0;font-family:DM Mono,monospace;font-size:10px;display:flex;transform:rotate(180deg)}.manifest-body{grid-template-columns:repeat(2,1fr);padding:22px;display:grid}.manifest-body div{border-bottom:1px solid #0647ff38;flex-direction:column;justify-content:center;padding:11px 18px;display:flex}.manifest-body b{letter-spacing:-.08em;font-size:clamp(32px,4vw,68px);line-height:.9}.manifest-body span{color:var(--ink);margin-top:7px;font-family:DM Mono,monospace;font-size:10px}.manifest-programs{color:var(--ink);background:var(--green)}.agent-node{border:2px solid var(--ink);background:var(--ink);color:#fff;z-index:2;flex-direction:column;gap:5px;padding:15px 19px;font-family:DM Mono,monospace;display:flex;position:absolute;top:0;left:0;transform:rotate(-2deg)}.agent-node strong{letter-spacing:.05em;font-size:15px;font-weight:500}.agent-node small{color:#ffffff9e;font-size:9px}.hero-arrow-zero{width:66px;color:var(--ink);position:absolute;top:8%;left:30%;transform:rotate(36deg)}.hero-diagram .artifact-stack{top:21%}.hero-diagram .hero-arrow-one{top:38%;transform:rotate(-9deg)}.reject-tag{border:2px dashed var(--red);color:var(--red);background:#fff;flex-direction:column;gap:3px;padding:10px 13px;font-family:DM Mono,monospace;font-size:12px;font-weight:500;display:flex;position:absolute;top:45%;right:1%;transform:rotate(4deg)}.reject-tag small{letter-spacing:.06em;font-size:8.5px}.hero-diagram .hero-arrow-two{width:96px;top:47%;right:32%;transform:rotate(118deg)}.hero-diagram .runtime-chip{bottom:7%;right:26%}.loop-return{width:52%;position:absolute;bottom:-1%;left:-4%;overflow:visible}.loop-return path{fill:none;stroke:var(--muted);stroke-width:1.6px;stroke-dasharray:6 6;stroke-linecap:round}.loop-return-label{letter-spacing:.07em;color:var(--muted);font-family:DM Mono,monospace;font-size:10px;position:absolute;bottom:14%;left:3%}