*{box-sizing:border-box}
:root{--serif:Georgia,'Times New Roman',serif;--sans:Inter,ui-sans-serif,system-ui,-apple-system,'Segoe UI',sans-serif;--mono:'Cascadia Mono','SFMono-Regular',Consolas,monospace;--measure:720px;--wide:980px;--header-h:64px;--source:#315f79;--derived:#66558d;--toy:#945a21;--boundary:#7a3434;--unresolved:#6c4e74;--sheet:#fbfaf7;--sheet-line:#e4dfd3;--student-fill:#9b442f;--fixed-fill:#727a84}
:root[data-theme="dark"]{--source:#8fc8e5;--derived:#b9a7df;--toy:#e4b478;--boundary:#ee9c9c;--unresolved:#d3a7dc;--sheet:#171a1d;--sheet-line:#30363d;--student-fill:#e6a18b;--fixed-fill:#a4aeba}
html{scroll-behavior:smooth;scroll-padding-top:calc(var(--header-h) + 18px)}
body{margin:0;min-width:0;background:var(--paper);color:var(--ink);font:17px/1.72 var(--serif);overflow-wrap:break-word}
a{color:var(--accent-text);text-underline-offset:3px;text-decoration-thickness:1px}a:hover{text-decoration-thickness:2px}
button,select,input{font:inherit}button,select{min-height:44px;border:1px solid var(--control-border);border-radius:2px;background:var(--paper);color:var(--ink)}button{padding:10px 14px;cursor:pointer}select{width:100%;padding:8px 34px 8px 10px;font-family:var(--sans);font-size:.88rem}
button:focus-visible,select:focus-visible,input:focus-visible,summary:focus-visible,a:focus-visible,[tabindex="0"]:focus-visible{outline:3px solid var(--accent);outline-offset:4px}
code{font:0.82em/1.5 var(--mono);overflow-wrap:anywhere}.sr-only{position:absolute!important;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.skip-link{position:fixed;z-index:100;left:12px;top:8px;transform:translateY(-160%);padding:10px 14px;background:var(--ink);color:var(--paper);font:700 13px var(--sans)}.skip-link:focus{transform:none}

.site-header{position:sticky;z-index:20;top:0;display:grid;grid-template-columns:minmax(180px,1fr) auto minmax(180px,1fr);align-items:center;min-height:var(--header-h);padding:8px 22px;border-bottom:1px solid var(--line);background:color-mix(in srgb,var(--paper) 94%,transparent);backdrop-filter:blur(10px);font-family:var(--sans)}
.brand{display:flex;align-items:center;gap:10px;justify-self:start;color:var(--ink);font-size:15px;font-weight:760;letter-spacing:.02em;text-decoration:none}.brand-mark{display:grid;place-items:center;width:30px;height:30px;border:1px solid var(--ink);border-radius:50%;font:italic 20px var(--serif)}
.header-progress{color:var(--quiet);font:600 11px/1.2 var(--sans);letter-spacing:.1em;text-align:center;text-transform:uppercase}.progress-lines{display:flex;gap:3px;margin-top:7px}.progress-lines i{display:block;width:24px;height:2px;background:var(--line)}.progress-lines i.active{background:var(--accent)}
.header-right{display:flex;align-items:center;justify-self:end}.header-right>a{color:var(--ink);font:650 12px var(--sans)}.book-menu{position:relative}.book-menu>summary{min-height:40px;padding:10px;border:1px solid transparent;list-style:none;cursor:pointer;font:650 12px var(--sans)}.book-menu>summary::-webkit-details-marker{display:none}.book-menu[open]>summary{border-color:var(--control-border)}.book-menu nav{position:absolute;right:0;top:calc(100% + 8px);width:min(360px,calc(100vw - 24px));padding:10px;border:1px solid var(--line);background:var(--paper)}.book-menu nav a{display:grid;grid-template-columns:35px 1fr;gap:8px;padding:10px;color:var(--ink);font:600 13px/1.3 var(--sans);text-decoration:none}.book-menu nav a:hover,.book-menu nav a[aria-current="page"]{background:var(--wash)}.book-menu nav a span{color:var(--quiet);font-family:var(--mono)}

.side-nav{display:none}.reading{min-width:0}.article{width:min(var(--measure),calc(100% - 36px));min-width:0;margin:0 auto;padding:70px 0 90px}.article h1,.article h2,.article h3{font-family:var(--sans);line-height:1.08;letter-spacing:-.035em}.article>h1{max-width:780px;margin:4px 0 18px;font-size:clamp(2.7rem,7vw,5.5rem);font-weight:760}.article h2{margin:92px 0 22px;padding-top:8px;font-size:clamp(1.75rem,4vw,2.5rem);font-weight:735}.article h3{font-size:1.15rem;letter-spacing:-.018em}.article p,.article li{max-width:68ch}.article p{margin:0 0 1.25em}.article ul,.article ol{padding-left:1.35em}.article li+li{margin-top:.65em}.lede{font-size:1.25em;line-height:1.58}.dek{max-width:650px!important;margin:0 0 32px!important;color:var(--quiet);font-size:1.25rem;line-height:1.5}.chapter-number{margin:0!important;color:var(--accent-text);font:700 12px/1 var(--mono);letter-spacing:.16em}.breadcrumb{display:flex;gap:8px;margin-bottom:38px;color:var(--quiet);font:600 12px var(--sans)}.breadcrumb a{color:inherit}.eyebrow,.sheet-kicker{display:block;color:var(--accent-text);font:750 11px/1.3 var(--sans);letter-spacing:.14em;text-transform:uppercase}
.chapter-toc{display:grid;grid-template-columns:130px 1fr;gap:7px 20px;margin:44px 0 74px;padding:20px 0;border-top:1px solid var(--ink);border-bottom:1px solid var(--line);font:600 12px/1.4 var(--sans)}.chapter-toc>span{grid-row:1/span 10;color:var(--quiet);letter-spacing:.08em;text-transform:uppercase}.chapter-toc a{color:var(--ink);text-decoration:none}.chapter-toc a:hover{text-decoration:underline}
.chapter-nav{display:grid;grid-template-columns:1fr 1fr;gap:16px;margin:100px 0 52px;padding-top:24px;border-top:1px solid var(--line);font-family:var(--sans)}.chapter-nav a{display:flex;flex-direction:column;min-height:100px;padding:16px;border:1px solid var(--line);color:var(--ink);font-weight:680;text-decoration:none}.chapter-nav a:last-child{text-align:right}.chapter-nav a:hover{border-color:var(--ink)}.chapter-nav span{margin-bottom:14px;color:var(--quiet);font:700 10px var(--mono);letter-spacing:.12em}
.footer{margin-top:70px;padding:25px 0;border-top:1px solid var(--ink);color:var(--quiet);font:12px/1.6 var(--sans)}.footer>span{font-weight:700;letter-spacing:.06em;text-transform:uppercase}.footer p{margin:6px 0 0}

.home{width:min(1160px,calc(100% - 44px));margin:0 auto;padding:76px 0 70px}.home-hero{display:grid;grid-template-columns:minmax(0,1.25fr) minmax(280px,.75fr);gap:clamp(36px,7vw,110px);align-items:end;min-height:570px}.home-copy h1{max-width:760px;margin:18px 0 26px;font:760 clamp(3.8rem,9.5vw,8.2rem)/.88 var(--sans);letter-spacing:-.075em}.home-copy h1 em{font-family:var(--serif);font-weight:400}.home-copy>p{max-width:660px;font-size:1.25rem;line-height:1.6}.home-actions{display:flex;flex-wrap:wrap;gap:20px;align-items:center;margin-top:34px}.button-link{display:inline-flex;align-items:center;justify-content:center;min-height:46px;padding:11px 16px;background:var(--ink);color:var(--paper);font:700 13px var(--sans);text-decoration:none}.button-link:hover{outline:2px solid var(--accent);outline-offset:3px}.text-link{font:700 13px var(--sans)}
.home-equation{position:relative;display:grid;grid-template-columns:1fr auto 1fr;gap:10px 14px;align-items:center;padding:30px 0;border-top:1px solid var(--ink);border-bottom:1px solid var(--ink);font-family:var(--sans)}.home-equation span{grid-row:1;color:var(--quiet);font:700 10px var(--mono);letter-spacing:.12em}.home-equation span:nth-of-type(2){grid-column:3}.home-equation strong{font-size:1.08rem}.home-equation strong:nth-of-type(2){grid-column:3}.home-equation i{grid-column:2;grid-row:1/span 2;font:italic 36px var(--serif)}.home-equation p{grid-column:1/-1;margin:10px 0 0;color:var(--accent-text);font:700 11px var(--mono);text-align:center;text-transform:uppercase}
.hypothesis{display:grid;grid-template-columns:260px 1fr;gap:28px;margin:90px 0;padding:24px 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.hypothesis span{color:var(--accent-text);font:750 11px var(--sans);letter-spacing:.11em}.hypothesis p{max-width:760px;margin:0}
.home-path{border-top:1px solid var(--ink)}.home-path>a{display:grid;grid-template-columns:60px 1fr auto;gap:28px;align-items:start;padding:24px 0;border-bottom:1px solid var(--line);color:var(--ink);text-decoration:none}.home-path>a>span{padding-top:4px;color:var(--accent-text);font:700 12px var(--mono)}.home-path h2{margin:0;font:720 clamp(1.4rem,3vw,2.2rem)/1.1 var(--sans);letter-spacing:-.03em}.home-path p{max-width:680px;margin:7px 0 0;color:var(--quiet)}.home-path b{font:400 26px var(--sans)}.home-path>a:hover h2{text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:4px}
.home-contract{display:grid;grid-template-columns:1fr 1fr;gap:50px;margin-top:80px;padding:28px;border:1px solid var(--line);background:var(--wash)}.home-contract span{display:block;color:var(--quiet);font:700 10px var(--sans);letter-spacing:.12em}.home-contract strong{display:block;margin:8px 0;font:740 1.25rem var(--sans)}.home-contract code{display:block}.home-contract p{margin:0}

.status{display:inline-block;margin-right:5px;padding:3px 7px;border:1px solid currentColor;border-radius:999px;font:750 9px/1.1 var(--sans);letter-spacing:.08em;text-transform:uppercase}.status.sourced{color:var(--source)}.status.derived{color:var(--derived)}.status.toy{color:var(--toy)}.status.boundary{color:var(--boundary)}.status.unresolved{color:var(--unresolved)}.status.measured{color:var(--source)}
.thesis-note,.advanced-note,.verification-note{margin:32px 0;padding:22px 24px;border-left:3px solid var(--accent);background:var(--wash)}.thesis-note p,.verification-note p{margin:10px 0 0}.boundary{margin:28px 0!important;padding:16px 0 16px 18px;border-left:2px solid var(--boundary);color:var(--quiet)}.closing{font-size:1.35em;line-height:1.55}

.equation-block{max-width:100%;margin:30px 0;padding:18px 20px;border-top:1px solid var(--line);border-bottom:1px solid var(--line);background:color-mix(in srgb,var(--wash) 55%,var(--paper))}.equation-block.derivation{border-left:3px solid var(--derived)}.equation-block h3{margin:10px 0 0}.equation-label{color:var(--quiet);font:700 9px/1.2 var(--mono);letter-spacing:.1em;text-transform:uppercase}.math-display{max-width:100%;margin:16px 0;overflow-x:auto;overflow-y:hidden;padding:4px 2px 10px}.math-display>.katex-display{margin:.35em 0;text-align:left}.math-display .katex-display>.katex{white-space:nowrap}.equation-reading{margin:8px 0 0!important;color:var(--quiet);font-size:.94em}.equation-pair{display:grid;grid-template-columns:1fr 1fr;gap:14px}.equation-pair .equation-block{margin:0}.equation-pair .math-display{font-size:.92em}

.axis-map{display:grid;grid-template-columns:1fr 70px 1fr;grid-template-rows:auto 1fr auto;gap:15px;margin:40px 0;padding:26px;border:1px solid var(--line)}.axis-map h3{grid-column:1/-1;margin:0 0 8px}.axis-map>div{min-width:0}.axis-map>div:not(.axis-cross){padding:20px;border-top:4px solid var(--ink);background:var(--wash)}.axis-map span{display:block;margin-bottom:10px;color:var(--quiet);font:700 10px var(--mono);letter-spacing:.1em}.axis-map strong{font:720 1.05rem/1.35 var(--sans)}.axis-map p{margin:15px 0 0;font-size:.92em}.axis-cross{display:grid;place-items:center;text-align:center}.axis-cross>span{margin:0;color:var(--accent-text);font:italic 40px var(--serif)}.axis-caption{grid-column:1/-1;text-align:center}.paired-cases{display:grid;grid-template-columns:1fr 1fr;gap:18px;padding:0!important;counter-reset:case}.paired-cases li{list-style:none;padding:22px;border:1px solid var(--line);counter-increment:case}.paired-cases li:before{display:block;margin-bottom:10px;content:'CASE ' counter(case);color:var(--quiet);font:700 10px var(--mono)}
.fixed-moving{display:grid;grid-template-columns:1fr 1fr;gap:0;margin:34px 0;border:1px solid var(--line)}.fixed-moving>div{padding:22px}.fixed-moving>div+div{border-left:1px dashed var(--ink)}.fixed-moving span{color:var(--quiet);font:750 10px var(--mono);letter-spacing:.1em}.fixed-moving p{margin:10px 0 0}

.teaching-figure,.inspector{max-width:var(--wide);margin:40px min(0px,calc((var(--measure) - var(--wide))/2));padding:24px;border:1px solid var(--line);background:var(--paper)}.figure-head{display:flex;gap:14px;justify-content:space-between;padding-bottom:14px;border-bottom:1px solid var(--line);font-family:var(--sans)}.figure-head>span{color:var(--quiet);font:700 9px var(--mono);letter-spacing:.08em;text-transform:uppercase}.figure-head>strong{font-size:.95rem}.teaching-figure figcaption{margin-top:20px;color:var(--quiet);font-size:.93em;line-height:1.55}
.mechanism-steps{display:grid;grid-template-columns:repeat(5,1fr);gap:28px;margin:34px 0;padding:0!important}.mechanism-steps li{position:relative;display:flex;gap:10px;min-width:0;list-style:none}.mechanism-steps li:not(:last-child):after{position:absolute;top:15px;left:calc(100% + 5px);width:18px;border-top:2px solid var(--diagram-flow);content:''}.mechanism-steps li.gradient-step:before{position:absolute;top:15px;left:-23px;width:18px;border-top:2px dashed var(--accent);content:''}.mechanism-steps b{display:grid;place-items:center;flex:0 0 32px;height:32px;border:1px solid var(--ink);border-radius:50%;font:700 9px var(--mono)}.mechanism-steps strong{display:block;font:720 14px var(--sans)}.mechanism-steps small{display:block;margin-top:6px;color:var(--quiet);font:12px/1.45 var(--sans)}.teacher-step b{border-style:double;border-width:3px}.gradient-step b{border-color:var(--accent);color:var(--accent-text)}.arrow-key{display:flex;gap:10px;align-items:center;padding-top:14px;border-top:1px solid var(--line);color:var(--quiet);font:11px var(--sans)}.solid-key,.dash-key{display:inline-block;padding-top:4px;border-top:2px solid var(--diagram-flow);font:700 9px var(--mono)}.dash-key{margin-left:10px;border-top-style:dashed;border-color:var(--accent)}
.prefix-tree{margin:34px auto;max-width:700px}.tree-root{width:190px;margin:auto;padding:14px;border:1px solid var(--ink);text-align:center}.tree-root span,.tree-root small,.tree-leaf small{display:block;color:var(--quiet);font:10px var(--mono)}.tree-root strong,.tree-leaf strong{display:block;margin:4px;font:720 1.35rem var(--sans)}.tree-branches{display:grid;grid-template-columns:1fr 1fr;width:50%;height:45px;margin:auto}.tree-branches i{border-bottom:1px solid var(--diagram-flow)}.tree-branches i:first-child{border-right:1px solid var(--diagram-flow);transform:skewX(-35deg);transform-origin:bottom right}.tree-branches i:last-child{border-left:1px solid var(--diagram-flow);transform:skewX(35deg);transform-origin:bottom left}.tree-leaves{display:grid;grid-template-columns:1fr 1fr;gap:22px}.tree-leaf{padding:17px;border:1px dashed var(--fixed-fill);text-align:center}.tree-leaf.selected-leaf{border:2px solid var(--student-fill)}.tree-leaf em{display:block;margin-top:10px;color:var(--quiet);font-size:.8em}.branch-token{font:700 11px var(--sans)}

.table-scroll{max-width:100%;margin:28px 0;overflow-x:auto;border:1px solid var(--line)}table{width:100%;border-collapse:collapse;font:13px/1.45 var(--sans)}caption{padding:10px 12px;border-bottom:1px solid var(--line);color:var(--quiet);font:700 10px var(--mono);letter-spacing:.08em;text-align:left;text-transform:uppercase}th,td{padding:11px 12px;border-bottom:1px solid var(--line);text-align:left;vertical-align:top}thead th{background:var(--wash);font-size:11px;letter-spacing:.03em}tbody th{font-weight:720}.compact-data{margin-top:20px}.compact-data caption{border:1px solid var(--line)}.compact-data th,.compact-data td{border:1px solid var(--line)}.number-table{min-width:660px;font-variant-numeric:tabular-nums}.axis-matrix{min-width:780px;font-variant-numeric:tabular-nums}.axis-matrix tbody th span{display:block;color:var(--accent-text);font:700 10px var(--mono)}.axis-matrix td b{display:block;font-family:var(--mono)}.axis-matrix td small{display:block;color:var(--quiet)}.matrix-note{max-width:none!important;font-size:.88em}.method-table{min-width:1100px}.method-table .focus-row{background:var(--wash)}

.derivation-sheet{max-width:900px;margin:35px min(0px,calc((var(--measure) - 900px)/2));padding:28px;border:1px solid var(--sheet-line);background:var(--sheet);box-shadow:0 8px 30px var(--shadow-color)}.derivation-sheet.ruled{background-image:linear-gradient(to bottom,transparent 31px,var(--sheet-line) 32px);background-size:100% 32px}.symbol-table{min-width:720px}.assumption-list{margin:25px 0 0}.derivation-step{position:relative;margin:0 0 35px;padding:20px;background:color-mix(in srgb,var(--sheet) 92%,transparent);border-left:2px solid var(--derived)}.derivation-step>span{display:block;color:var(--quiet);font:700 10px var(--mono);letter-spacing:.1em;text-transform:uppercase}.derivation-step p{font-size:.9em}.total-step{border-left-color:var(--accent);border-left-width:4px}

.no-js-inspector-note{max-width:none!important;margin:18px 0!important;padding:16px;border:1px solid var(--line);background:var(--wash)}.js .no-js-inspector-note{display:none}html:not(.js) .prediction,html:not(.js) .inspector-grid,html:not(.js) .implementation-note{display:none}
.inspector{margin-top:40px}.truth-line{max-width:none!important;margin:15px 0 26px!important;color:var(--quiet);font-size:.88em}.prediction{padding:18px;border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.prediction fieldset{display:flex;flex-wrap:wrap;gap:10px 22px;margin:0 0 14px;padding:0;border:0}.prediction legend{width:100%;margin-bottom:10px;font-weight:700}.prediction label{font-family:var(--sans)}.prediction input{width:18px;height:18px;margin-right:7px;vertical-align:-3px;accent-color:var(--accent)}.prediction-feedback{min-height:1.7em;margin:12px 0 0!important;color:var(--accent-text);font-weight:700}.inspector-grid{display:grid;grid-template-columns:minmax(230px,.72fr) minmax(0,1.28fr);gap:26px;margin-top:26px}.inspector-controls{min-width:0;padding-right:25px;border-right:1px solid var(--line)}.control-block{margin-bottom:28px}.control-block label,.control-block small{display:block;font-family:var(--sans)}.control-block small{margin-top:7px;color:var(--quiet);font-size:11px}.control-block input[type="range"]{width:100%;margin:16px 0;accent-color:var(--accent)}.control-block output{display:block;font:700 12px var(--mono)}.inspector-results{min-width:0}.inspector-results.changed{animation:result-flash .28s ease-out}.source-result,.formula-result{padding:14px 0;border-bottom:1px solid var(--line)}.source-result>span,.formula-result>span{display:block;color:var(--quiet);font:700 9px var(--mono);letter-spacing:.1em;text-transform:uppercase}.source-result>output{display:block;margin:6px 0;font:720 1rem/1.35 var(--sans)}.source-result p{margin:5px 0!important;font:11px var(--mono)}.source-strip{display:flex;width:100%;height:9px;border:1px solid var(--ink)}.source-strip i{display:block;background:repeating-linear-gradient(135deg,var(--fixed-fill),var(--fixed-fill) 3px,transparent 3px,transparent 6px)}.source-strip b{display:block;background:var(--student-fill)}.formula-result .math-display{font-size:.88em}.formula-result p{margin:0!important;color:var(--quiet);font-size:.86em}.result-ledger{margin:0}.result-ledger>div{display:grid;grid-template-columns:1fr 1fr;gap:12px;padding:12px 0;border-bottom:1px solid var(--line)}.result-ledger dt{font:650 12px var(--sans)}.result-ledger dd{margin:0;text-align:right;font:700 12px var(--mono)}.result-ledger small{display:block;color:var(--quiet);font-size:9px}.mixture-row{color:var(--accent-text)}.expansion{max-width:none!important;margin:13px 0!important;padding:10px;background:var(--wash);font:11px/1.5 var(--mono)}.invariants{max-width:none!important;font-size:.9em}.invariants strong{display:block}.static-matrix-details,.implementation-note{margin-top:24px;border-top:1px solid var(--line)}details summary{cursor:pointer}.static-matrix-details>summary,.implementation-note>summary{padding:14px 0;font:700 12px var(--sans)}.static-matrix-details .table-scroll{margin-top:5px}
@keyframes result-flash{from{background:color-mix(in srgb,var(--accent) 13%,transparent)}to{background:transparent}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}.inspector-results.changed{animation:none}}

.advanced-note{border-left-color:var(--derived)}.advanced-note h3{margin:13px 0}.advanced-note .equation-block{background:var(--paper)}.boundary-ledger,.artifact-ledger,.glossary{display:grid;grid-template-columns:1fr 1fr;gap:0;margin:25px 0;border-top:1px solid var(--line)}.boundary-ledger>div,.artifact-ledger>div,.glossary>div{padding:17px 14px;border-bottom:1px solid var(--line)}.boundary-ledger>div:nth-child(odd),.artifact-ledger>div:nth-child(odd),.glossary>div:nth-child(odd){border-right:1px solid var(--line)}.boundary-ledger dt,.artifact-ledger dt,.glossary dt{font:720 13px var(--sans)}.boundary-ledger dd,.artifact-ledger dd,.glossary dd{margin:7px 0 0;color:var(--quiet);font-size:.92em}.transfer-card{margin:30px 0;padding:25px;border:1px solid var(--line)}.transfer-card>span{color:var(--quiet);font:700 9px var(--mono);letter-spacing:.1em}.transfer-card>p{font-size:1.1em}.transfer-card details{padding-top:13px;border-top:1px solid var(--line)}.transfer-card summary{font:700 12px var(--sans)}.transfer-card details p{margin:14px 0 0;font-size:.95em}.inspection-rule{counter-reset:inspect;margin:35px 0!important;padding:0!important}.inspection-rule li{display:grid;grid-template-columns:42px 1fr;gap:5px 12px;padding:16px 0;border-top:1px solid var(--line);list-style:none;counter-increment:inspect}.inspection-rule li:before{grid-row:1/span 2;content:'0' counter(inspect);color:var(--accent-text);font:700 11px var(--mono)}.inspection-rule li>span{grid-column:2;color:var(--quiet)}

.companion,.print-book{min-width:0}.companion .article{width:min(850px,calc(100% - 36px))}.companion .article>h1{font-size:clamp(2.8rem,7vw,5.2rem)}.epistemic-key{display:grid;grid-template-columns:1fr 1fr;gap:10px 20px}.epistemic-key p{margin:0;padding:12px 0;border-bottom:1px solid var(--line);font-size:.9em}.source-list{padding:0!important;border-top:1px solid var(--ink)}.source-list li{display:grid;grid-template-columns:220px 1fr;gap:8px 24px;padding:20px 0;border-bottom:1px solid var(--line);list-style:none}.source-list li>span{grid-row:1/span 2;color:var(--quiet);font:700 9px/1.5 var(--mono);letter-spacing:.07em;text-transform:uppercase}.source-list a{font:700 15px/1.35 var(--sans)}.source-list p{margin:0;color:var(--quiet);font-size:.9em}

.print-book .article{width:min(820px,calc(100% - 36px));padding-top:55px}.print-cover{min-height:600px;padding:60px 0;border-top:6px solid var(--ink)}.print-cover>span{font:700 11px var(--mono);letter-spacing:.13em}.print-cover h1{max-width:780px!important;margin:50px 0 30px!important;font-size:5.4rem!important}.print-cover>p{font-size:1.2em}.print-cover dl{display:flex;gap:40px;margin-top:70px}.print-cover dt{color:var(--quiet);font:700 9px var(--mono);text-transform:uppercase}.print-cover dd{margin:4px 0;font:700 12px var(--sans)}.print-chapter{padding-top:30px}.print-chapter>h1{font-size:3.6rem!important}.print-inspector{margin:25px 0}.print-inspector h3{margin-bottom:10px}

@media(min-width:1230px){.side-nav{position:fixed;z-index:5;left:24px;top:100px;display:flex;flex-direction:column;width:210px;max-height:calc(100vh - 125px);overflow:auto;font-family:var(--sans)}.side-nav>p{margin:0 0 11px;color:var(--quiet);font:700 9px var(--mono);letter-spacing:.11em}.side-nav>a{display:grid;grid-template-columns:30px 1fr;gap:6px;padding:7px 4px;color:var(--quiet);font-size:11px;line-height:1.25;text-decoration:none}.side-nav>a span{font-family:var(--mono)}.side-nav>a:hover,.side-nav>a[aria-current="page"]{color:var(--ink)}.side-nav>a[aria-current="page"]{font-weight:760}.article{width:min(var(--measure),calc(100% - 510px))}.teaching-figure,.inspector{width:var(--wide);margin-left:max(calc((var(--measure) - var(--wide))/2),calc(250px - ((100vw - var(--measure))/2)))}.derivation-sheet{width:900px;margin-left:max(calc((var(--measure) - 900px)/2),calc(250px - ((100vw - var(--measure))/2)))}}

@media(max-width:800px){.site-header{grid-template-columns:1fr auto}.header-progress{display:none}.home-hero{grid-template-columns:1fr;min-height:0}.home-equation{max-width:500px}.hypothesis,.home-contract{grid-template-columns:1fr}.equation-pair{grid-template-columns:1fr}.axis-map{grid-template-columns:1fr;grid-template-rows:auto}.axis-cross{padding:5px}.axis-cross>span{transform:rotate(90deg)}.axis-caption{grid-column:1}.paired-cases,.fixed-moving,.boundary-ledger,.artifact-ledger,.glossary{grid-template-columns:1fr}.fixed-moving>div+div{border-top:1px dashed var(--ink);border-left:0}.boundary-ledger>div:nth-child(odd),.artifact-ledger>div:nth-child(odd),.glossary>div:nth-child(odd){border-right:0}.teaching-figure,.inspector,.derivation-sheet{width:100%;margin-left:0;margin-right:0}.mechanism-steps{grid-template-columns:1fr;gap:17px}.mechanism-steps li:not(:last-child):after{top:36px;left:15px;width:0;height:14px;border-top:0;border-left:2px solid var(--diagram-flow)}.mechanism-steps li.gradient-step:before{top:-15px;left:15px;width:0;height:14px;border-top:0;border-left:2px dashed var(--accent)}.inspector-grid{grid-template-columns:1fr}.inspector-controls{padding:0 0 22px;border-right:0;border-bottom:1px solid var(--line)}.source-list li{grid-template-columns:1fr}.source-list li>span{grid-row:auto}.epistemic-key{grid-template-columns:1fr}}

@media(max-width:520px){:root{--header-h:58px}.site-header{padding:7px 12px}.header-right>a{display:none}.book-menu>summary{padding:9px 5px}.article{width:min(100% - 28px,var(--measure));padding:46px 0 65px}.article>h1{font-size:2.65rem}.article h2{margin-top:70px;font-size:1.75rem}.dek{font-size:1.08rem}.chapter-toc{grid-template-columns:1fr}.chapter-toc>span{grid-row:auto}.chapter-nav{grid-template-columns:1fr}.chapter-nav a:last-child{text-align:left}.home{width:calc(100% - 28px);padding-top:45px}.home-copy h1{font-size:3.55rem}.home-copy>p{font-size:1.05rem}.home-actions{align-items:flex-start;flex-direction:column}.home-equation{grid-template-columns:1fr;gap:8px}.home-equation span:nth-of-type(2),.home-equation strong:nth-of-type(2),.home-equation p,.home-equation i{grid-column:1;grid-row:auto}.home-equation i{transform:rotate(90deg);text-align:center}.hypothesis{margin:62px 0}.home-path>a{grid-template-columns:38px 1fr;gap:12px}.home-path>a>b{display:none}.home-contract{padding:18px}.equation-block{padding:15px 10px}.math-display{font-size:.88em}.teaching-figure,.inspector,.derivation-sheet{width:100%;margin:32px 0;padding:16px}.figure-head{align-items:flex-start;flex-direction:column}.tree-branches{display:none}.tree-leaves{grid-template-columns:1fr;margin-top:16px}.tree-leaf{position:relative}.tree-leaf:before{content:'↓ from x';display:block;margin-bottom:5px;color:var(--quiet);font:700 9px var(--mono)}.prediction{padding:16px 0}.prediction fieldset{flex-direction:column}.control-block select{font-size:13px}.result-ledger>div{grid-template-columns:1fr}.result-ledger dd{text-align:left}.source-result>output{font-size:.9rem}.static-matrix-details{margin-left:-5px;margin-right:-5px}.advanced-note,.thesis-note,.verification-note{padding:18px 15px}.print-cover h1{font-size:3.6rem!important}.print-cover dl{flex-direction:column;gap:12px}.print-chapter>h1{font-size:2.7rem!important}}

@media print{@page{size:A4;margin:15mm 14mm 17mm}html{scroll-behavior:auto}.site-header,.side-nav,.skip-link,.chapter-toc,.chapter-nav,.footer,.theme-toggle,.home{display:none!important}body{font-size:10.2pt;line-height:1.48}.print-book .article{width:100%;padding:0}.print-cover{min-height:0;height:250mm;break-after:page}.print-cover h1{font-size:43pt!important}.print-chapter{break-before:page;padding:0}.print-chapter>h1{font-size:29pt!important}.article h2{margin:13mm 0 4mm;padding:0;font-size:18pt}.article h3{font-size:13pt}.dek{font-size:12pt}.equation-block,.derivation-step,.teaching-figure,.advanced-note,.verification-note,.transfer-card,.axis-map,.inspection-rule li{break-inside:avoid;box-shadow:none}.equation-block{margin:5mm 0;padding:4mm}.math-display{overflow:visible;font-size:8.8pt}.math-display>.katex-display{text-align:left}.teaching-figure,.inspector,.derivation-sheet{width:100%;margin:6mm 0;padding:4mm;box-shadow:none}.derivation-sheet.ruled{background-image:none}.table-scroll{overflow:visible;border:0;break-inside:auto}.axis-matrix,.number-table,.method-table,.symbol-table{min-width:0;font-size:7.4pt;table-layout:fixed}.method-table{font-size:6.6pt}.method-table th,.method-table td,.axis-matrix th,.axis-matrix td{padding:2mm;overflow-wrap:anywhere}.source-list li{grid-template-columns:42mm 1fr;break-inside:avoid}.static-matrix-details>summary,.implementation-note>summary,.transfer-card summary{display:none}details[open]>*:not(summary){display:block}.status{font-size:6.5pt}.print-inspector{break-before:page}.prefix-tree{break-inside:avoid}.tree-branches{display:grid}.tree-leaves{grid-template-columns:1fr 1fr}.mechanism-steps{grid-template-columns:repeat(5,1fr);gap:4mm}.mechanism-steps li{display:block}.mechanism-steps li:not(:last-child):after,.mechanism-steps li.gradient-step:before{display:none}.home-contract{background:#fff}}