:root{--paper:#f7f6ef;--panel:#eeeee5;--ink:#23382f;--muted:#657168;--accent:#2b6454;--line:#d8dcd0;--gold:#94753b;--sidebar:238px;--serif:Georgia,'Times New Roman',serif;--sans:Arial,Helvetica,sans-serif}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:25px}body{margin:0;background:var(--paper);color:var(--ink);font:15px/1.65 var(--sans)}a{color:inherit;text-decoration:none}a:hover{color:var(--accent)}button,input,select{font:inherit}button{cursor:pointer}button:disabled{cursor:default;opacity:.5}a:focus-visible,button:focus-visible,input:focus-visible,select:focus-visible{outline:3px solid #ad8d4c;outline-offset:4px}.skip{position:fixed;z-index:10;left:260px;top:-100px;background:#fff;padding:10px}.skip:focus{top:10px}.sidebar{width:var(--sidebar);position:fixed;inset:0 auto 0 0;padding:34px 25px 22px;border-right:1px solid var(--line);display:flex;flex-direction:column;background:#f0f1e8;overflow-y:auto}.brand{display:flex;gap:13px;align-items:flex-start;margin-bottom:38px}.brand svg{width:42px;height:46px;fill:none;stroke:var(--ink);stroke-width:1.4;flex:none}.brand div{font-family:var(--serif);font-size:24px;line-height:1.05;letter-spacing:-.7px}.brand small{font:8px/1.5 var(--sans);display:block;letter-spacing:1.7px;margin-top:14px;color:var(--muted);white-space:nowrap}nav{display:grid;gap:3px}nav a{padding:8px 10px;margin-left:-10px;font-size:13px;border-radius:3px;display:flex;gap:14px;align-items:center}nav a span{font:10px monospace;color:#949e90}nav a:hover{background:#e3e9df}nav a[aria-current]{background:#dce7dd;font-weight:600;color:#1b523e}nav a[aria-current] span{color:#477357}.sidebar-bottom{margin-top:auto;padding-top:28px;font-size:11px;line-height:1.8;color:var(--muted)}.sidebar-bottom b{float:right;color:var(--ink)}.sidebar-bottom a{display:block;margin-top:16px;text-decoration:underline;text-underline-offset:4px}.status-dot{display:inline-block;width:6px;height:6px;background:#477157;border-radius:50%;margin-right:5px;vertical-align:middle}.page-shell{margin-left:var(--sidebar)}.topbar{display:flex;justify-content:space-between;align-items:center;padding:23px 42px;border-bottom:1px solid var(--line);font-size:9px;letter-spacing:1.5px;color:var(--muted)}.topbar a{font-size:11px;letter-spacing:0}.topbar a span{margin-left:10px;font-size:17px}main{max-width:1360px;margin:auto;padding:58px 55px 72px}.eyebrow{font:10px/1.5 var(--sans);letter-spacing:1.8px;text-transform:uppercase;color:var(--accent);margin-bottom:18px}h1,h2,h3{font-family:var(--serif);font-weight:400;line-height:1.15}h1{font-size:clamp(42px,4.8vw,70px);letter-spacing:-2px;margin:0 0 26px}h1 em{font-weight:400;color:#63775f}h2{font-size:32px;letter-spacing:-.7px;margin:0 0 24px}h3{font-size:23px;margin:15px 0}p{margin:0 0 18px;max-width:83ch}.lede{font-size:19px;line-height:1.65;color:#53645a;max-width:62ch}.hero{display:grid;grid-template-columns:1.15fr .9fr;gap:38px;align-items:center;margin-bottom:38px}.hero p:not(.lede){font-size:13px;color:var(--muted);max-width:55ch}.hero h1{font-size:clamp(43px,4.3vw,64px);max-width:13ch}.hero figure{margin:0;background:var(--panel);border:1px solid var(--line);padding:15px}.tetra{display:block;width:100%;height:auto}.hero figcaption{padding:8px 10px 16px;font:16px/1.4 var(--serif)}.hero figcaption span{font:10px var(--sans);color:var(--muted);display:inline-block;margin-top:7px;letter-spacing:.4px}.actions{display:flex;gap:25px;flex-wrap:wrap;align-items:center;margin:24px 0 8px}.button{display:inline-flex;justify-content:space-between;gap:28px;align-items:center;border:1px solid var(--accent);background:var(--accent);color:#fff;padding:12px 18px;font-size:12px;line-height:1.3;border-radius:2px}.button:hover{color:white;background:#224f41}.button.secondary{background:transparent;color:var(--accent);border-color:#9bad9b}.button.secondary:hover{background:#e5ecdf}.text-link{font-size:12px;text-decoration:underline;text-underline-offset:5px}.status-strip{border-top:1px solid var(--line);border-bottom:1px solid var(--line);display:grid;grid-template-columns:1.35fr 1fr .7fr;gap:25px;padding:20px 0;margin:30px 0 60px;font-size:10px;color:var(--muted)}.status-strip b{display:block;margin-top:3px;font-weight:500;color:var(--ink);font-size:13px}.chapter{display:grid;grid-template-columns:45px 1fr;gap:25px;border-top:1px solid var(--line);padding-top:30px;margin-top:48px}.chapter-label{font:11px monospace;color:var(--gold);padding-top:6px}.chapter>div:last-child{min-width:0}.chapter p{font-size:14px}.route-grid{display:grid;grid-template-columns:repeat(3,1fr);margin-top:30px;border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.route-grid>a{padding:26px 20px 27px 0;border-right:1px solid var(--line);margin-right:20px;display:flex;flex-direction:column}.route-grid>a:last-child{border-right:none;margin-right:0}.route-grid span{font:9px var(--sans);letter-spacing:1.3px;color:var(--muted)}.route-grid p{font-size:12px;color:var(--muted);line-height:1.7;flex:1}.route-grid b{font-size:11px;font-weight:500}.discipline-list a{display:flex;justify-content:space-between;gap:15px;padding:17px 0;border-bottom:1px solid var(--line);font-family:var(--serif);font-size:20px}.discipline-list span{font:12px/1.6 var(--sans);color:var(--muted)}.page-intro{max-width:840px;margin-bottom:50px}.page-intro h1{font-size:clamp(40px,4.5vw,64px)}.page-intro .lede{font-size:18px}.citation{display:inline-block;margin:4px 9px 4px 0;font:10px/1.7 monospace;text-decoration:underline;text-underline-offset:4px;color:var(--accent)}.equation{background:#eeeee4;border-left:2px solid #7a9775;padding:20px 24px;margin:25px 0;font-family:var(--serif);font-size:21px;line-height:1.6;overflow-wrap:anywhere}.callout{border-left:2px solid var(--gold);background:#efeee2;padding:22px 25px;margin:30px 0}.callout strong{font-size:12px;color:#725d34}.callout p{font-size:13px;margin:8px 0 0;color:#5f6659}.explorer{display:grid;grid-template-columns:1fr 1fr;gap:30px;padding:25px;border:1px solid var(--line);background:#f0f1e7;margin:25px 0}.degree-controls{display:flex;gap:7px;flex-wrap:wrap}.degree-controls button{border:1px solid #a7b6a4;background:transparent;color:var(--ink);padding:7px 13px;border-radius:2px}.degree-controls button.selected{background:#2b6454;color:white}.degree-controls+p{margin-top:22px}.big-number{font:50px/1 var(--serif)}.big-number small{font:12px var(--sans);display:block;margin-top:12px;color:var(--muted)}.claims-grid{display:grid;grid-template-columns:1fr 1fr;border-top:1px solid var(--line);column-gap:32px}.claim{padding:28px 0;border-bottom:1px solid var(--line)}.claim-top{display:flex;justify-content:space-between;gap:14px;align-items:center}.mono{font:10px monospace;color:var(--muted)}.tag{display:inline-block;font:8px/1.4 var(--sans);letter-spacing:.7px;color:#655f4e;background:#e7e6d9;padding:5px 8px;border:1px solid #dedccc;max-width:100%;overflow-wrap:anywhere}.tag.exact{background:#e3ebdf;color:#31563d;border-color:#d4e0d1}.tag.open{background:#eee7d7;color:#84692c;border-color:#e2d7bc}.claim .premise{font-size:12px;color:var(--muted)}.claim-result{font:18px/1.6 var(--serif);margin-bottom:18px}.muted{color:var(--muted);font-size:12px}.claim .muted{font-size:12px}.comparison{display:grid;grid-template-columns:repeat(3,1fr);gap:1px;background:var(--line);border:1px solid var(--line);margin:25px 0}.comparison>div{background:var(--paper);padding:25px}.comparison span{font:12px monospace}.comparison b{display:block;font:30px var(--serif);margin:15px 0}.comparison small{font-size:11px;color:var(--muted)}.table-wrap{overflow-x:auto;margin:25px 0}table{border-collapse:collapse;width:100%;font-size:12px;min-width:550px}th{text-align:left;text-transform:uppercase;letter-spacing:1px;font-size:9px;color:var(--muted);padding:12px 15px;border-top:1px solid var(--line);border-bottom:1px solid var(--line)}td{vertical-align:top;padding:18px 15px;border-bottom:1px solid var(--line);min-width:130px;line-height:1.7}td:first-child{font-weight:600;color:#42574a}.ladder{display:grid;grid-template-columns:repeat(4,1fr);gap:18px;margin:25px 0}.ladder>div{border-top:2px solid #91a285;padding-top:15px}.ladder b{font:18px/1.2 var(--serif)}.ladder p{font-size:11px;color:var(--muted);margin-top:12px}.checklist{padding-left:20px;margin:24px 0;font-size:14px}.checklist li{padding:5px 0 5px 5px}.paper-row{display:grid;grid-template-columns:80px 1fr;gap:25px;border-top:1px solid var(--line);padding:38px 0}.paper-number{font:49px var(--serif);color:#7a8c6c}.paper-row .eyebrow{margin-bottom:12px}.paper-row h2{margin-bottom:15px}.paper-row p{font-size:14px}.timeline{border-left:1px solid #9aab90;padding-left:28px}.timeline>div{position:relative;padding:0 0 30px 10px}.timeline>div:before{content:'';position:absolute;left:-33px;top:5px;width:9px;height:9px;border-radius:50%;background:#73916d}.timeline span{font:10px monospace;color:var(--muted)}.timeline h3{margin:10px 0}.timeline p{font-size:13px}.contribution-grid{display:grid;grid-template-columns:1fr 1fr;gap:30px}.contribution-grid article{border-top:1px solid var(--line);padding:22px 0}.contribution-grid .eyebrow{font-size:9px}.contribution-grid p{font-size:13px;color:var(--muted)}.task-list>div{display:flex;gap:25px;border-bottom:1px solid var(--line);padding:15px 0}.task-list b{font:13px monospace;color:var(--gold)}.task-list p{margin:0;font-size:13px}.release-note{border:1px solid var(--line);padding:30px;background:#edeee4}.release-note h2{font-size:29px}.release-note p{font-size:13px}.news-list article{padding:25px 0;border-bottom:1px solid var(--line)}.news-list time{font:10px monospace;color:var(--muted)}.news-list h3{margin:10px 0}.news-list p{font-size:13px}.inventory-banner{display:grid;grid-template-columns:repeat(4,1fr);gap:20px;border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding:22px 0;margin-bottom:32px}.inventory-banner b{font:32px var(--serif);display:block}.inventory-banner span{font-size:10px;color:var(--muted)}.search-tools{display:grid;grid-template-columns:2fr 1fr;gap:20px;margin:25px 0}.search-tools label{font-size:10px;color:var(--muted);letter-spacing:.5px}.search-tools input,.search-tools select{display:block;width:100%;padding:13px;margin-top:7px;border:1px solid #b6c3ad;background:transparent;border-radius:2px;font-size:12px;color:var(--ink);min-height:46px}.source-item{display:grid;grid-template-columns:66px 1fr;gap:16px;padding:20px 0;border-bottom:1px solid var(--line)}.source-item h3{font:18px/1.4 var(--serif);margin:0 0 8px;overflow-wrap:anywhere}.source-item p{font-size:11px;color:var(--muted);margin:0 0 9px}.source-item .mono{padding-top:5px}.source-item .source-open{padding:0;background:transparent;border:none;color:var(--accent);font-size:11px;text-decoration:underline;text-underline-offset:4px}.source-detail{padding:25px;background:#edeee4;border:1px solid #b8c7ae;margin:25px 0;position:relative}.source-detail h2{font-size:26px;overflow-wrap:anywhere;max-width:90%;}.source-detail>p{font-size:12px}.source-detail .close-detail{position:absolute;right:16px;top:16px;background:transparent;border:none;font-size:20px}.source-detail pre{white-space:pre-wrap;overflow-wrap:anywhere;font:12px/1.85 monospace;max-height:680px;overflow-y:auto;background:#f8f8f0;padding:22px;margin-top:25px;tab-size:2}.source-detail details{margin-top:15px}.source-detail summary{cursor:pointer;font-size:12px}.source-meta{font:10px/1.8 monospace;color:var(--muted);overflow-wrap:anywhere}.ledger-row{border-top:1px solid var(--line);padding:22px 0;display:grid;grid-template-columns:70px 1fr;gap:15px}.ledger-row h3{font:18px/1.4 monospace;overflow-wrap:anywhere;margin:0 0 10px}.ledger-row .form{font:14px/1.7 monospace;overflow-wrap:anywhere;margin-bottom:12px}.ledger-row p{font-size:12px;margin-bottom:8px}.ledger-row .tag{margin:0 0 13px}footer{border-top:1px solid var(--line);padding:35px 55px 26px;display:grid;grid-template-columns:2fr 1fr;gap:20px;font-size:11px;color:var(--muted);max-width:1360px;margin:auto}footer>div:first-child>a{font:22px var(--serif);color:var(--ink)}footer p{font-size:10px;margin-top:10px}footer>div:nth-child(2){display:flex;flex-direction:column;gap:9px}.footer-rule{grid-column:1/-1;border-top:1px solid var(--line);padding-top:18px;margin:0;font-size:9px}.menu-toggle{display:none}
@media(min-width:1600px){main{padding-top:70px}.hero h1{font-size:70px}}
@media(max-width:1150px){:root{--sidebar:205px}.sidebar{padding:27px 21px}.brand div{font-size:22px}.brand small{font-size:7px}.topbar{padding:20px 32px}main{padding:43px 32px 55px}.hero{gap:25px}.hero h1{font-size:43px;letter-spacing:-1.2px}.hero .lede{font-size:17px}.ladder{grid-template-columns:1fr 1fr}.route-grid h3{font-size:21px}footer{padding-left:32px;padding-right:32px}}
@media(max-width:800px){:root{--sidebar:0px}.sidebar{position:sticky;top:0;z-index:5;width:100%;padding:14px 22px;display:grid;grid-template-columns:1fr auto;border-right:none;border-bottom:1px solid var(--line);overflow:visible}.brand{margin:0;gap:9px;align-items:center}.brand svg{width:27px;height:30px}.brand div{font:20px var(--serif)}.brand br{display:none}.brand small{display:none}.menu-toggle{display:flex;align-items:center;gap:15px;background:transparent;border:none;font-size:12px;padding:8px}.sidebar nav{display:none;grid-column:1/-1;grid-template-columns:1fr 1fr;padding-top:15px;padding-bottom:8px}.sidebar.menu-open nav{display:grid}.sidebar-bottom{display:none}.topbar{padding:16px 22px;font-size:8px;letter-spacing:1px}main{padding:37px 24px 50px}.hero{grid-template-columns:1fr 1fr;gap:20px}.hero h1{font-size:39px}.hero .lede{font-size:16px}.hero figure{padding:4px}.hero figcaption{font-size:13px;padding:8px}.hero figcaption span{font-size:8px}.status-strip{gap:12px;margin-bottom:35px}.status-strip b{font-size:11px}.chapter{gap:12px;grid-template-columns:30px 1fr}.page-intro h1{font-size:42px}.explorer{padding:15px;gap:15px}.explorer h3{font-size:20px}.source-item{grid-template-columns:55px 1fr}.paper-row{grid-template-columns:55px 1fr;gap:18px}footer{padding:30px 24px}.claims-grid{column-gap:25px}}
@media(max-width:560px){.hero{grid-template-columns:1fr}.hero h1{font-size:46px;max-width:15ch}.hero figure{max-width:340px;margin:10px auto 0;width:100%;padding:12px}.hero .lede{font-size:18px}.hero figure .tetra{max-height:260px}.status-strip{grid-template-columns:1fr;gap:13px;padding:18px 0}.status-strip>div{display:flex;justify-content:space-between;gap:10px}.status-strip b{margin:0;font-size:12px}.route-grid{grid-template-columns:1fr}.route-grid>a{border-right:none;border-bottom:1px solid var(--line);margin:0;padding:22px 0}.route-grid>a:last-child{border-bottom:none}.route-grid h3{font-size:25px}.discipline-list a{display:block}.discipline-list span{display:block;margin-top:5px}.claims-grid{grid-template-columns:1fr}.explorer{grid-template-columns:1fr}.explorer .tetra{max-height:240px}.comparison{grid-template-columns:1fr}.comparison>div{padding:18px}.comparison b{margin:7px 0}.contribution-grid{grid-template-columns:1fr;gap:8px}.inventory-banner{grid-template-columns:1fr 1fr;gap:18px}.search-tools{grid-template-columns:1fr;gap:12px}.source-item{grid-template-columns:1fr;gap:6px}.source-item .mono{padding:0}.source-detail{padding:18px}.source-detail pre{padding:14px;font-size:10px}.source-detail h2{font-size:23px}.ledger-row{grid-template-columns:1fr;gap:7px}h2{font-size:27px}.equation{font-size:18px;padding:18px}.chapter{margin-top:35px;padding-top:25px}.page-intro{margin-bottom:32px}footer{grid-template-columns:1fr}.page-intro h1{font-size:39px}.actions{gap:18px}.topbar>span{font-size:7px}.paper-row{grid-template-columns:35px 1fr;gap:12px}.paper-number{font-size:33px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}@media print{.sidebar,.topbar{display:none}.page-shell{margin:0}main{padding:0}footer{padding:20px 0}.hero{grid-template-columns:1fr 1fr}a{text-decoration:underline}.claim,.chapter,.paper-row{break-inside:avoid}.source-detail pre{max-height:none}.actions button{display:none}}

/* Scoped dependency explorer, reading edition 0.3. */
.dependency-neighborhood{display:grid;grid-template-columns:minmax(0,1fr) minmax(120px,.55fr) minmax(0,1fr);gap:18px;margin:28px 0;align-items:start}.dependency-column h3{font-size:15px;color:var(--muted)}.dependency-edge{padding:14px 0;border-bottom:1px solid var(--line)}.dependency-edge p{font-size:13px;margin:9px 0}.dependency-node-link{display:block;border:0;background:none;padding:0;color:var(--ink);font:inherit;font-weight:600;text-align:left;text-decoration:underline;text-underline-offset:4px;cursor:pointer}.dependency-node-link:focus-visible{outline:2px solid #2f6857;outline-offset:5px}.dependency-edge .tag{display:inline-block;font-size:10px;margin-top:10px}.dependency-selected{border:1px solid var(--line);background:#edf2e9;padding:18px;margin-top:44px}.dependency-selected strong{display:block;margin-top:12px}.dependency-label{display:block;margin:20px 0}.dependency-label select{display:block;width:100%;max-width:600px;padding:12px;margin-top:8px;background:white;border:1px solid var(--line);font:inherit}.dependency-audit{padding:20px;background:#f1f0e9;margin:24px 0}.dependency-preserved{display:flex;gap:14px;flex-wrap:wrap;margin:18px 0}.dependency-preserved button{font-size:12px}.table-wrap{overflow-x:auto}.dependency-audit table{font-size:12px;width:100%;min-width:540px}.dependency-audit th,.dependency-audit td{padding:12px 8px;vertical-align:top;text-align:left;border-bottom:1px solid var(--line)}.dependency-audit th{font-weight:600}.dependency-audit .source-meta{overflow-wrap:anywhere}
@media(max-width:760px){.dependency-neighborhood{grid-template-columns:1fr}.dependency-selected{margin-top:0;order:-1}.dependency-audit{padding:14px}.dependency-column h3{margin-top:12px}}

/* RSP-1 paired candidate workbench. */
.rsp-comparison{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:22px;margin:24px 0}.rsp-card{min-width:0}.rsp-card h2{font-size:28px}.rsp-fields{margin:20px 0}.rsp-field{display:flex;justify-content:space-between;gap:12px;padding:9px 0;border-bottom:1px solid var(--line);font-size:13px}.rsp-field strong{overflow-wrap:anywhere;text-align:right}.rsp-card pre{max-height:420px;overflow:auto}.rsp-log{font-size:12px;padding-left:20px}.rsp-log li{margin:10px 0}
@media(max-width:900px){.rsp-comparison{grid-template-columns:1fr}}

/* Exact realization-contract witness. */
.hr-orbit{display:block;width:100%;max-width:560px;height:auto;margin:25px auto}.hr-orbit circle{fill:var(--paper);stroke:var(--line);stroke-width:1.5}.hr-orbit text{fill:var(--ink);text-anchor:middle;font:20px Georgia,serif}.hr-orbit .hr-center{font:12px Arial,sans-serif}.hr-orbit .selected circle{fill:#dce7dd;stroke:var(--accent);stroke-width:2.5}.hr-verdict{padding:12px 16px;border-left:4px solid var(--accent);font-weight:600}.hr-match{background:#edf2e9}.hr-mismatch{background:#f4e9e3;border-color:#a24438}

/* Joint carrier: retained resources and ordinal clock */
.jc-controls{display:flex;align-items:center;gap:1rem;margin:1.3rem 0}.jc-controls label{flex:1}.jc-controls input[type=range]{display:block;width:100%;accent-color:#2b6454;margin-top:.6rem}.jc-controls button{border:1px solid #afbeb3;background:#edf3ea;color:#23382f;border-radius:.3rem;padding:.6rem 1rem;font-size:1.15rem;cursor:pointer}.jc-controls button:disabled{opacity:.35;cursor:default}.jc-window-label{display:block;margin:1rem 0;font-size:.9rem}.jc-window-label input{accent-color:#2b6454}.jc-clock-strip{display:flex;gap:.25rem;flex-wrap:wrap;margin:.7rem 0 1.5rem}.jc-clock-cell{display:inline-flex;align-items:center;justify-content:center;width:2rem;height:2rem;border:1px solid #bfccbe;border-radius:.25rem;font-size:.8rem;background:#edf1e9}.jc-clock-cell.selected{color:white;background:#2b6454;border-color:#2b6454}.jc-table-wrap{overflow-x:auto;margin:1rem 0}.jc-table{width:100%;border-collapse:collapse;font-size:.9rem;text-align:left}.jc-table th,.jc-table td{padding:.8rem .7rem;border-bottom:1px solid #d5dfd0;vertical-align:top}.jc-table th{background:#eaf0e5;font-weight:600}.jc-table td:first-child{font-weight:600;min-width:9rem}.jc-table td:nth-child(2){min-width:10rem}.jc-table td:nth-child(3){min-width:12rem}@media(max-width:600px){.jc-controls{gap:.5rem}.jc-table{font-size:.82rem}.jc-table th,.jc-table td{padding:.65rem .5rem}}

.pc-clock-chart{height:190px;display:flex;gap:3px;align-items:stretch;margin:1.5rem 0;padding-top:6px;border-bottom:1px solid #9baa9b}.pc-bar-column{position:relative;flex:1;min-width:0;height:160px;display:flex;align-items:flex-end;justify-content:center}.pc-bar{width:86%;background:#85a892;min-height:1px;border-radius:3px 3px 0 0}.pc-bar.selected{background:#2b6454}.pc-bar-column span{position:absolute;top:165px;font-size:.65rem;color:#53695a}@media(max-width:600px){.pc-clock-chart{gap:1px}.pc-bar-column span{font-size:.5rem}}

#na-spectrum svg{width:100%;height:auto;margin:1.2rem 0}.jc-controls #na-best{font-size:.83rem;max-width:11rem;line-height:1.4}