:root{color:#17231d;font-synthesis:none;--paper:#f1eee6;--card:#fbfaf5;--ink:#17231d;--muted:#667069;--green:#1f6b53;--green-dark:#123e31;--gold:#c07a2b;--blue:#20495f;--red:#9d493d;--line:#cac4b7;background:#f1eee6;font-family:system-ui,Noto Sans CJK SC,sans-serif}.theorem-verdicts,.theorem-chart-grid{grid-template-columns:repeat(3,minmax(0,1fr));gap:1rem;margin-top:1.25rem;display:grid}.theorem-verdicts .claim-card{min-height:0}.theorem-verdicts .claim-card>p:last-child{color:var(--muted,#59645f)}.theorem-chart-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.theorem-chart-grid .distribution-chart{min-width:0;margin:0}.version-comparison{border:1px solid var(--line,#d7d8d2);background:#f3efe5;padding:1.5rem}.version-comparison h3{margin:.2rem 0 1rem;font-size:1.65rem}.version-comparison dl{grid-template-columns:1fr 1fr;gap:.75rem;display:grid}.version-comparison dl div{background:#ffffff9e;padding:.8rem}.version-comparison dt{color:#68716c;text-transform:uppercase;letter-spacing:.08em;font-size:.72rem}.version-comparison dd{margin:.3rem 0 0}.theorem-tests>.paper-scope-note{margin-top:1rem}@media (max-width:900px){.theorem-verdicts,.theorem-chart-grid{grid-template-columns:1fr}}*{box-sizing:border-box}html{scroll-behavior:smooth}body{background:var(--paper);min-width:320px;margin:0;font-size:16px;line-height:1.6}button,input,select{font:inherit}button{color:inherit}a{color:var(--green);text-underline-offset:3px;text-decoration-thickness:1px}.site-header{z-index:20;-webkit-backdrop-filter:blur(14px);backdrop-filter:blur(14px);background:#f1eee6eb;border-bottom:1px solid #cac4b7d9;position:sticky;top:0}.site-header nav{justify-content:space-between;align-items:center;gap:24px;max-width:1440px;margin:auto;padding:14px 32px;display:flex}.site-header nav div{gap:22px;font-size:14px;display:flex}.wordmark{color:var(--ink);letter-spacing:.12em;font:500 14px/1 DM Mono,monospace;text-decoration:none}.report-switch{border:1px solid var(--green);padding:3px 9px;text-decoration:none}main,footer{max-width:1440px;margin:auto;padding-inline:32px}.hero{grid-template-columns:1.4fr .6fr;align-items:center;gap:50px;min-height:590px;padding:86px 0 52px;display:grid}.hero h1{letter-spacing:-.06em;margin:.18em 0 .28em;font:800 clamp(62px,8.2vw,124px)/.92 Noto Serif SC,serif}.eyebrow{color:var(--green);letter-spacing:.16em;margin:0 0 12px;font:500 13px/1.4 DM Mono,monospace}.hero-dek{max-width:780px;color:var(--muted);font:600 clamp(19px,2vw,28px)/1.55 Noto Serif SC,serif}.concept-card{background:var(--green-dark);color:#fff;border:1px solid var(--green-dark);align-self:end;margin-bottom:28px;padding:28px}.concept-card>b,.concept-card>span{font:700 18px/1.4 Noto Serif SC,serif;display:block}.concept-card>span{color:#78c7a4;margin:8px 0;font-size:25px}.concept-card>p:last-child{color:#c9ded4;margin:22px 0 0;font-size:14px;line-height:1.7}.concept-card code{color:#fff;font-size:13px}.software-hero h1{font-size:clamp(58px,7.2vw,108px)}.metric-grid{border:solid var(--ink);border-width:1px 0;grid-template-columns:repeat(6,1fr);display:grid}.metric-card{border:0;border-right:1px solid var(--line);text-align:left;cursor:pointer;background:0 0;min-width:0;padding:26px 18px 24px;transition:background .2s,transform .2s;overflow:hidden}.metric-card:last-child{border-right:0}.metric-card:hover{background:var(--card);transform:translateY(-4px)}.metric-card strong{font-variant-numeric:tabular-nums;letter-spacing:-.04em;white-space:nowrap;max-width:100%;margin:16px 0 2px;font:800 clamp(24px,2vw,34px)/1 Noto Serif SC,serif;display:block}.metric-card strong.compact{letter-spacing:-.03em;font-size:clamp(25px,2vw,34px)}.metric-card b,.metric-card small{display:block}.metric-card small{color:var(--muted);margin-top:7px;font-size:13px;line-height:1.55}.metric-link{color:var(--green);letter-spacing:.06em;font:500 13px/1 DM Mono,monospace}.path-indegree-summary{border-bottom:1px solid var(--line);background:var(--card);grid-template-columns:minmax(0,.85fr) minmax(0,1.15fr);gap:32px 48px;padding:30px 22px;display:grid}.path-indegree-summary h2{margin:0;font:750 clamp(28px,3.5vw,46px)/1.15 Noto Serif SC,serif}.path-indegree-summary>div>p:last-child{color:var(--muted);margin:14px 0 0;font-size:16px;line-height:1.75}.path-indegree-summary dl{min-width:0;margin:0}.path-indegree-summary dl div{border-top:1px solid var(--line);grid-template-columns:minmax(9rem,.45fr) minmax(0,1fr);gap:20px;min-width:0;padding:11px 0;display:grid}.path-indegree-summary dt{color:var(--muted);font-size:14px}.path-indegree-summary dd{overflow-wrap:anywhere;min-width:0;margin:0;font:700 15px/1.65 DM Mono,monospace}.path-indegree-summary .path-maximum dd{color:var(--green-dark);font-size:clamp(15px,1.45vw,20px)}.path-indegree-summary>aside{border-left:4px solid var(--gold);background:#f5e8d6;grid-column:1/-1;padding:15px 18px;font-size:15px;line-height:1.75}.attribution-boundary{border-bottom:1px solid var(--line);background:#f5e8d6;grid-template-columns:260px 1fr;gap:24px;padding:20px 22px;display:grid}.attribution-boundary b{color:var(--green-dark);font:700 16px Noto Serif SC,serif}.attribution-boundary p{color:var(--muted);margin:0;font-size:14px;line-height:1.75}.section-block{padding:100px 0 30px}.section-heading{grid-template-columns:1.2fr .8fr;align-items:end;gap:80px;margin-bottom:34px;display:grid}.section-heading h2{letter-spacing:-.04em;max-width:900px;margin:0;font:800 clamp(34px,5vw,68px)/1.05 Noto Serif SC,serif}.section-heading>p{color:var(--muted);margin:0;font-size:17px;line-height:1.7}.section-heading.compact h2{font-size:clamp(32px,4vw,52px)}.claim-grid{grid-template-columns:repeat(12,1fr);gap:14px;display:grid}.claim-card{border:1px solid var(--line);border-top:5px solid var(--green);background:var(--card);flex-direction:column;grid-column:span 4;min-height:250px;padding:21px;display:flex}.claim-card:first-child,.claim-card:nth-child(2){grid-column:span 6}.claim-card.exploratory{border-top-color:var(--gold)}.claim-card.inconclusive{border-top-color:var(--red)}.claim-card header{text-transform:uppercase;justify-content:space-between;gap:8px;font:500 13px/1.3 DM Mono,monospace;display:flex}.claim-card header span{color:var(--green)}.claim-card code{color:var(--muted);overflow-wrap:anywhere}.claim-text{font:600 18px/1.6 Noto Serif SC,serif}.claim-card details{color:var(--muted);margin-top:auto;font-size:14px}.claim-detail{color:var(--muted);margin-top:auto;font-size:14px;line-height:1.7}.software-claims .claim-card{grid-column:span 4}.claim-card summary{cursor:pointer;color:var(--green)}.chart-grid{grid-template-columns:1fr 1fr;gap:18px;display:grid}.chart-grid figure{border:1px solid var(--line);background:var(--card);min-width:0;margin:0;padding:20px 12px 4px}.chart-grid figcaption{justify-content:space-between;padding:0 12px 14px;display:flex}.chart-grid figcaption span{color:var(--muted);font:13px DM Mono,monospace}.distribution-workbench{border:1px solid var(--line);background:var(--card)}.distribution-tabs{border-bottom:1px solid var(--line);display:flex}.distribution-tabs button{border:0;border-right:1px solid var(--line);cursor:pointer;background:0 0;min-width:180px;padding:15px 20px;font-weight:700}.distribution-tabs button.active{color:#fff;background:var(--green-dark)}.distribution-summary{border-bottom:1px solid var(--line);grid-template-columns:repeat(4,1fr);display:grid}.distribution-summary article{border-right:1px solid var(--line);min-width:0;padding:20px}.distribution-summary article:last-child{border-right:0}.distribution-summary span{color:var(--green);font:500 13px DM Mono,monospace}.distribution-summary strong{margin-top:9px;font:800 34px/1.1 Noto Serif SC,serif;display:block}.distribution-summary p{color:var(--muted);margin:8px 0 0;font-size:13px;line-height:1.55}.distribution-chart{margin:0;padding:25px 20px 16px}.distribution-chart figcaption{justify-content:space-between;gap:20px;padding:0 16px 16px;display:flex}.distribution-chart figcaption b{font-size:18px}.distribution-chart figcaption span{color:var(--muted);font-size:14px}.chart-method{color:var(--muted);background:#f1eee6;margin:4px 16px 0;padding:14px 16px;font-size:13px;line-height:1.65}.distribution-reading{border-top:1px solid var(--line);background:#e4eee8;grid-template-columns:180px 1fr;gap:24px;padding:22px 36px;display:grid}.distribution-reading p{margin:0;line-height:1.7}.path-rank-workbench{border:1px solid var(--line);background:var(--card)}.path-rank-summary span,.path-rank-summary p{font-size:14px}.paper-method-map{background:var(--line);border-bottom:1px solid var(--line);grid-template-columns:repeat(4,1fr);gap:1px;display:grid}.paper-method-map article{background:#f8f6ef;min-width:0;padding:20px}.paper-method-map span{color:var(--green);letter-spacing:.04em;font:700 13px DM Mono,monospace}.paper-method-map p{color:var(--muted);margin:10px 0 0;font-size:14px;line-height:1.7}.paper-method-map code{color:var(--blue);font-size:13px}.paper-scope-note{border-top:1px solid var(--line);background:#f5e8d6;grid-template-columns:180px 1fr;gap:24px;padding:22px 36px;display:grid}.paper-scope-note b{color:var(--green-dark);font:750 17px Noto Serif SC,serif}.paper-scope-note p{color:var(--muted);margin:0;font-size:15px;line-height:1.8}.paper-prime-conclusion{border-top:1px solid var(--line);background:#f8f6ef}.paper-prime-conclusion>header{border-bottom:1px solid var(--line);grid-template-columns:1fr 1fr;align-items:end;gap:42px;padding:28px 36px;display:grid}.paper-prime-conclusion h3{letter-spacing:-.025em;max-width:760px;margin:0;font:750 clamp(25px,3.2vw,42px)/1.22 Noto Serif SC,serif}.paper-prime-conclusion>header>p{color:var(--muted);margin:0;font-size:15px;line-height:1.8}.prime-analogy-grid{grid-template-columns:1fr 1fr;display:grid}.prime-analogy-grid article{border-bottom:1px solid var(--line);grid-template-columns:38px 1fr;gap:14px;min-width:0;padding:22px 28px;display:grid}.prime-analogy-grid article:nth-child(odd){border-right:1px solid var(--line)}.prime-analogy-grid article>span{color:var(--gold);font:700 13px DM Mono,monospace}.prime-analogy-grid p{color:var(--muted);margin:0;font-size:15px;line-height:1.7}.prime-analogy-grid b{color:var(--ink);font-weight:700;display:block}.prime-analogy-grid i{color:var(--green);margin:4px 0;font-style:normal;display:block}.paper-prime-conclusion>aside{background:var(--green-dark);color:#fff;grid-template-columns:minmax(220px,.8fr) minmax(180px,.45fr) minmax(0,1.5fr);align-items:center;gap:24px;padding:26px 36px;display:grid}.paper-prime-conclusion>aside span{color:#c9ded4;font-size:14px}.paper-prime-conclusion>aside strong{color:#fff1bb;white-space:nowrap;font:750 clamp(26px,3vw,40px) DM Mono,monospace}.paper-prime-conclusion>aside p{color:#dce9e2;margin:0;font-size:14px;line-height:1.75}.paper-prime-conclusion>aside code{color:#fff1bb}.paper-conclusion-comparison{border-top:1px solid var(--line);background:var(--card)}.paper-conclusion-comparison>header{border-bottom:1px solid var(--line);grid-template-columns:1fr 1fr;align-items:end;gap:42px;padding:30px 36px;display:grid}.paper-conclusion-comparison h3{letter-spacing:-.025em;margin:0;font:750 clamp(25px,3.2vw,42px)/1.2 Noto Serif SC,serif}.paper-conclusion-comparison>header>p{color:var(--muted);margin:0;font-size:15px;line-height:1.8}.paper-conclusion-comparison table{min-width:900px}.paper-conclusion-comparison th:first-child{width:37%}.paper-conclusion-comparison th:nth-child(2){width:48%}.paper-conclusion-comparison td{vertical-align:top;line-height:1.75}.paper-conclusion-comparison code{color:var(--blue)}.evidence-status{white-space:nowrap;border:1px solid;padding:4px 8px;font:700 12px/1.35 DM Mono,monospace;display:inline-block}.evidence-status.supported{color:var(--green);background:#e4eee8}.evidence-status.bounded{color:#8b5a18;white-space:normal;background:#f5e8d6}.evidence-status.untested{color:var(--muted);background:#f1eee6}.paper-conclusion-comparison>aside{border-top:1px solid var(--line);background:#e4eee8;grid-template-columns:180px 1fr;gap:24px;padding:24px 36px;display:grid}.paper-conclusion-comparison>aside b{color:var(--green-dark);font:750 17px Noto Serif SC,serif}.paper-conclusion-comparison>aside p{margin:0;font-size:15px;line-height:1.8}.parameter-guide{border-bottom:1px solid var(--line);background:#f8f6ef}.parameter-guide>header{border-bottom:1px solid var(--line);grid-template-columns:1fr 1fr;align-items:end;gap:42px;padding:24px;display:grid}.parameter-guide h3{margin:0;font:750 clamp(24px,3vw,38px)/1.2 Noto Serif SC,serif}.parameter-guide>header>p{color:var(--muted);margin:0;font-size:15px;line-height:1.7}.parameter-grid{grid-template-columns:1fr 1fr;display:grid}.parameter-grid article{border-bottom:1px solid var(--line);min-width:0;padding:22px 24px}.parameter-grid article:nth-child(odd){border-right:1px solid var(--line)}.parameter-grid span{color:var(--green-dark);font:700 15px DM Mono,monospace}.parameter-grid p{color:var(--muted);margin:12px 0 0;font-size:15px;line-height:1.75}.parameter-grid b{color:var(--ink)}.parameter-grid code{color:var(--blue);font-size:15px}.parameter-guide>aside{background:#e4eee8;grid-template-columns:180px 1fr;gap:24px;padding:22px 24px;display:grid}.parameter-guide>aside b{color:var(--green-dark);font:750 17px Noto Serif SC,serif}.parameter-guide>aside p{margin:0;font-size:15px;line-height:1.8}.path-rank-chart{border-top:1px solid var(--line)}.path-rank-chart .chart-method{font-size:14px}.path-rank-methods{background:var(--line);border-top:1px solid var(--line);grid-template-columns:repeat(3,1fr);gap:1px;display:grid}.path-rank-methods article{background:var(--card);min-width:0;padding:22px}.path-rank-methods span{color:var(--green);letter-spacing:.05em;font:700 14px DM Mono,monospace}.path-rank-methods p{color:var(--muted);margin:12px 0 0;font-size:15px;line-height:1.75}.path-rank-methods code{color:var(--blue);font-size:15px}.path-rank-conclusion{border-top:1px solid var(--line);background:#e4eee8;grid-template-columns:180px 1fr;gap:24px;padding:24px 36px;display:grid}.path-rank-conclusion b{color:var(--green-dark);font:750 18px Noto Serif SC,serif}.path-rank-conclusion p{margin:0;font-size:16px;line-height:1.8}.path-rank-references{border-top:1px solid var(--line);color:var(--muted);margin:0;padding:16px 36px;font-size:14px}.method-ledger{border:1px solid var(--line);background:var(--card);max-height:720px}.method-ledger code{color:var(--blue);font-size:13px}.method-observation{border:1px solid var(--line);border-top:0}.extraction-grid{grid-template-columns:1fr 1fr;gap:18px;display:grid}.extraction-case{border:1px solid var(--line);background:var(--card);min-width:0}.extraction-case>header{justify-content:space-between;gap:24px;padding:22px;display:flex}.extraction-case h3,.invocation-examples h3{margin:0;font:750 clamp(22px,2.5vw,34px)/1.2 Noto Serif SC,serif}.extraction-case header small{max-width:44%;color:var(--muted);text-align:right;overflow-wrap:anywhere;font:12px/1.6 DM Mono,monospace}.extraction-case pre{background:var(--green-dark);color:#e5eee8;min-height:240px;margin:0;padding:16px 0;font:13px/1.7 DM Mono,monospace;overflow:auto}.source-code>span{grid-template-columns:58px minmax(max-content,1fr);min-width:max-content;padding:1px 20px 1px 0;display:grid}.source-code>span i{color:#7fa292;text-align:right;-webkit-user-select:none;user-select:none;padding-right:14px;font-style:normal}.source-code>span code{color:inherit;font:inherit;white-space:pre}.source-code>span.highlight{color:#10271e;background:#d7a64a;font-weight:700;box-shadow:inset 4px 0 #fff1bb}.source-code>span.highlight i{color:#5d481d}.extraction-fields{margin:0;padding:16px 22px}.extraction-fields div{border-bottom:1px solid #ded8ca;grid-template-columns:130px minmax(0,1fr);gap:14px;padding:8px 0;display:grid}.extraction-fields dt{color:var(--muted);font-size:13px}.extraction-fields dd{overflow-wrap:anywhere;color:var(--blue);margin:0;font:13px/1.6 DM Mono,monospace}.extraction-output{border-top:1px solid var(--line);background:#e4eee8;min-height:142px;padding:18px 22px}.extraction-output span,.extraction-output small{color:var(--muted);font-size:13px;display:block}.extraction-output code{overflow-wrap:anywhere;color:var(--green-dark);margin:8px 0;line-height:1.7;display:block}.extraction-output code b{color:var(--gold)}.invocation-examples{border:1px solid var(--line);background:var(--card);margin-top:18px}.invocation-examples>header{border-bottom:1px solid var(--line);grid-template-columns:1fr 1fr;gap:42px;padding:22px;display:grid}.invocation-examples>header>p{color:var(--muted);margin:0}.invocation-examples code,.sample-explorer code{color:var(--blue);font-size:13px}.sample-explorer{max-width:1180px}.sample-explorer>.sample-contract{display:block}.algorithm-grid{background:var(--line);border:1px solid var(--line);grid-template-columns:repeat(4,1fr);gap:1px;display:grid}.algorithm-grid article{background:var(--card);min-height:154px;padding:19px}.algorithm-grid span,.method-grid span{color:var(--green);letter-spacing:.06em;text-transform:uppercase;font:500 13px/1.3 DM Mono,monospace}.algorithm-grid p,.method-grid p{margin:12px 0 0;line-height:1.6}.algorithm-grid .algorithm-boundary{background:#f5e8d6}.domain-workbench{border:1px solid var(--line);background:var(--card);grid-template-columns:330px 1fr;min-height:620px;margin-top:28px;display:grid}.domain-workbench aside{border-right:1px solid var(--line);padding:24px}.domain-workbench label span{color:var(--muted);margin-bottom:8px;font-size:13px;display:block}.domain-workbench select{border:1px solid var(--line);background:#fff;width:100%;padding:12px}.segmented{grid-template-columns:1fr 1fr;margin-top:14px;display:grid}.segmented button{border:1px solid var(--line);cursor:pointer;background:0 0;padding:8px}.segmented button+button{border-left:0}.segmented .active{color:#fff;background:var(--green)}.domain-facts{background:var(--line);border:1px solid var(--line);grid-template-columns:1fr 1fr;gap:1px;margin:24px 0;display:grid}.domain-facts div{background:#fff;padding:13px}.domain-facts dt{color:var(--muted);font-size:13px}.domain-facts dd{margin:4px 0 0;font:700 20px DM Mono,monospace}.microcopy{color:var(--muted);font-size:13px;line-height:1.7}.flow-list{padding:20px;overflow:auto}.flow-list button{text-align:left;cursor:pointer;background:0 0;border:0;border-bottom:1px solid #ddd8cc;grid-template-columns:62px 1fr auto;gap:12px;width:100%;padding:12px 10px 17px;display:grid;position:relative;overflow:hidden}.flow-list button:hover{background:#f5f2e9}.flow-list i{background:var(--green);height:3px;position:absolute;bottom:7px;left:10px}.flow-rank{color:var(--gold);font:13px DM Mono,monospace}.flow-value{color:var(--muted);font:13px DM Mono,monospace}.matrix-ledger{border:1px solid var(--line);background:var(--card);margin-top:20px;padding:22px}.matrix-ledger>div:first-child{display:inline-block}.matrix-ledger h3{margin:0;font:700 24px Noto Serif SC,serif}.matrix-ledger p{color:var(--muted);margin:3px 0 15px}.matrix-ledger>input{float:right;border:1px solid var(--line);background:#fff;width:min(320px,100%);padding:10px 12px}.method-grid{grid-template-columns:repeat(4,1fr);gap:14px;display:grid}.method-grid article{background:var(--card);border:1px solid var(--line);min-height:170px;padding:20px}.scope-equation{background:var(--green-dark);color:#fff;flex-wrap:wrap;justify-content:center;align-items:center;gap:18px;margin-top:26px;padding:24px;font:500 14px DM Mono,monospace;display:flex}.scope-equation b{color:#78c7a4}.construction-pipeline{border:1px solid var(--line);background:var(--line);grid-template-columns:repeat(5,1fr);gap:1px;display:grid}.construction-pipeline article{background:var(--card);min-height:190px;padding:20px;position:relative}.construction-pipeline article:not(:last-child):after{content:"→";z-index:2;width:25px;color:var(--green);text-align:center;font-size:24px;position:absolute;top:76px;right:-13px}.construction-pipeline span{color:var(--gold);font:13px DM Mono,monospace}.construction-pipeline b{margin-top:22px;font:700 17px Noto Serif SC,serif;display:block}.construction-pipeline p{color:var(--muted);font-size:14px;line-height:1.65}.expr-mechanism{border:1px solid var(--line);background:var(--card);margin-top:18px}.expr-mechanism>header{justify-content:space-between;align-items:start;gap:24px;padding:22px;display:flex}.expr-mechanism>header h3{margin:0;font:750 clamp(24px,3vw,38px)/1.2 Noto Serif SC,serif}.expr-mechanism>header a{flex:none;font-size:14px}.expr-mechanism>p{border-top:1px solid var(--line);color:var(--muted);background:#edf3ef;margin:0;padding:15px 22px;font-size:14px;line-height:1.7}.expr-mechanism-grid{border-top:1px solid var(--line);grid-template-columns:repeat(4,1fr);display:grid}.expr-mechanism-grid article{border-right:1px solid var(--line);min-width:0;padding:19px}.expr-mechanism-grid article:last-child{border-right:0}.expr-mechanism-grid article>span{color:var(--gold);font:700 13px DM Mono,monospace}.expr-mechanism-grid h4{margin:12px 0 9px;font-size:17px}.expr-mechanism-grid code{overflow-wrap:anywhere;min-height:52px;color:var(--blue);font-size:13px;line-height:1.55;display:block}.expr-mechanism-grid p{color:var(--muted);font-size:13px;line-height:1.65}.expr-mechanism-grid a{overflow-wrap:anywhere;font-size:13px;display:block}.expr-mechanism>aside{border-top:1px solid var(--line);background:#f5e8d6;grid-template-columns:220px 1fr;gap:20px;padding:17px 22px;display:grid}.expr-mechanism>aside p{margin:0;font-size:14px;line-height:1.7}.attribution-method{border:1px solid var(--line);background:var(--card);margin-top:18px}.attribution-method>header{border-bottom:1px solid var(--line);grid-template-columns:1.15fr .85fr;align-items:end;gap:42px;padding:24px;display:grid}.attribution-method>header h3{margin:0;font:750 clamp(25px,3vw,40px)/1.2 Noto Serif SC,serif}.attribution-method>header>p{color:var(--muted);margin:0;font-size:16px;line-height:1.75}.endpoint-flow{border-bottom:1px solid var(--line);grid-template-columns:1fr 38px 1fr 38px 1fr;align-items:stretch;display:grid}.endpoint-flow article{min-width:0;padding:22px}.endpoint-flow article.edge-contract{background:#e4eee8}.endpoint-flow>i{color:var(--green);place-items:center;font:700 28px DM Mono,monospace;display:grid}.endpoint-flow span,.attribution-ledger header span,.exception-cases>article>span{color:var(--green);letter-spacing:.04em;text-transform:uppercase;font:700 14px/1.4 DM Mono,monospace;display:block}.endpoint-flow b{overflow-wrap:anywhere;margin-top:12px;font-size:16px;line-height:1.55;display:block}.endpoint-flow p{color:var(--muted);margin:12px 0 0;font-size:15px;line-height:1.7}.attribution-ledger{grid-template-columns:1fr 1fr;display:grid}.attribution-ledger>article{border-bottom:1px solid var(--line);min-width:0;padding:24px}.attribution-ledger>article+article{border-left:1px solid var(--line)}.attribution-ledger header{justify-content:space-between;align-items:baseline;gap:20px;display:flex}.attribution-ledger strong{font:800 32px/1 Noto Serif SC,serif}.attribution-ledger dl{margin:20px 0 0}.attribution-ledger dl div{border-top:1px solid #ded8ca;grid-template-columns:minmax(0,1fr) minmax(7.5rem,auto);gap:18px;min-width:0;padding:10px 0;display:grid}.attribution-ledger dt{overflow-wrap:anywhere;min-width:0;font-size:15px}.attribution-ledger dd{text-align:right;text-overflow:ellipsis;white-space:nowrap;min-width:0;margin:0;font:700 clamp(14px,1.25vw,16px) DM Mono,monospace;overflow:hidden}.attribution-ledger>article>p{color:var(--muted);margin:17px 0 0;font-size:15px;line-height:1.75}.parent-module-mismatch{border-bottom:1px solid var(--line);background:#f5e8d6;grid-template-columns:260px 1fr;gap:24px;padding:18px 24px;display:grid}.parent-module-mismatch b{color:var(--green-dark);font:700 16px Noto Serif SC,serif}.parent-module-mismatch p{color:var(--muted);margin:0;font-size:15px;line-height:1.75}.outside-profile{border-bottom:1px solid var(--line);background:#edf3ef;padding:24px}.outside-profile>header{justify-content:space-between;align-items:end;gap:28px;display:flex}.outside-profile>header span{color:var(--green);letter-spacing:.05em;font:700 14px DM Mono,monospace}.outside-profile h4{margin:6px 0 0;font:750 clamp(22px,2.5vw,32px)/1.3 Noto Serif SC,serif}.outside-profile>header>strong{text-align:right;flex:none;font:800 clamp(30px,4vw,48px)/1 Noto Serif SC,serif}.outside-profile>header small{color:var(--green);margin-top:8px;font:700 15px DM Mono,monospace;display:block}.outside-profile>p{max-width:980px;color:var(--muted);margin:18px 0;font-size:16px;line-height:1.8}.outside-profile-bars{border:1px solid var(--line);background:var(--card);gap:9px;padding:18px;display:grid}.outside-profile-bars>div{grid-template-columns:minmax(190px,280px) minmax(80px,1fr) minmax(7.5rem,auto);align-items:center;gap:16px;min-width:0;display:grid}.outside-profile-bars span{overflow-wrap:anywhere;min-width:0;font-size:15px}.outside-profile-bars i{background:#ddd8cc;height:9px;overflow:hidden}.outside-profile-bars i b{background:var(--green);height:100%;display:block}.outside-profile-bars strong{text-align:right;text-overflow:ellipsis;white-space:nowrap;min-width:0;font:700 15px DM Mono,monospace;overflow:hidden}.outside-profile>small{color:var(--muted);margin-top:13px;font-size:14px;line-height:1.7;display:block}.context-policy{border-bottom:1px solid var(--line);background:#f5e8d6;grid-template-columns:180px 1fr;gap:24px;padding:19px 24px;display:grid}.context-policy b{color:var(--green-dark);font:700 16px Noto Serif SC,serif}.context-policy p{margin:0;font-size:15px;line-height:1.75}.exception-cases{background:var(--line);grid-template-columns:repeat(2,1fr);gap:1px;display:grid}.exception-cases article{background:var(--card);min-width:0;padding:22px}.exception-cases h4{margin:10px 0 13px;font:700 18px/1.5 Noto Serif SC,serif}.exception-cases code{overflow-wrap:anywhere;color:var(--blue);background:#f1eee6;padding:11px 12px;font-size:14px;line-height:1.65;display:block}.exception-cases p{color:var(--muted);font-size:15px;line-height:1.75}.exception-cases a{font-size:14px}.construction-note{background:#e4eee8;grid-template-columns:auto 1fr auto 1fr;gap:12px 18px;margin:16px 0 28px;padding:17px 20px;font-size:13px;display:grid}.construction-note b{color:var(--green-dark)}.construction-note span{font-family:DM Mono,monospace}.case-workbench{border:1px solid var(--line);background:var(--card);grid-template-columns:310px 1fr;min-height:720px;display:grid}.case-workbench>aside{border-right:1px solid var(--line)}.case-mode{grid-template-columns:1fr 1fr;display:grid}.case-mode button{border:0;border-bottom:1px solid var(--line);cursor:pointer;background:#e8e3d7;padding:15px 8px;font:13px DM Mono,monospace}.case-mode button+button{border-left:1px solid var(--line)}.case-mode button.active{background:var(--green-dark);color:#fff}.case-index button{border:0;border-bottom:1px solid var(--line);text-align:left;cursor:pointer;background:0 0;width:100%;padding:19px}.case-index button:hover,.case-index button.active{background:#edf3ef}.case-index button.active{box-shadow:inset 4px 0 var(--green)}.case-index small,.case-index b{display:block}.case-index small{color:var(--gold);margin-bottom:7px;font:13px DM Mono,monospace}.case-index b{line-height:1.45}.case-detail{min-width:0;padding:28px}.case-detail>header{justify-content:space-between;align-items:start;gap:30px;display:flex}.case-detail h3{margin:0;font:750 clamp(26px,3vw,42px)/1.15 Noto Serif SC,serif}.case-detail header p:last-child{max-width:760px;color:var(--muted);line-height:1.7}.case-detail header a{flex:none;font-size:14px}.case-evidence-grid{grid-template-columns:minmax(0,1.05fr) minmax(380px,.95fr);align-items:start;gap:16px;margin-top:28px;display:grid}.source-panel,.graph-panel{border:1px solid var(--line);background:#f6f3eb;min-width:0;min-height:430px}.source-panel>div{border-bottom:1px solid var(--line);color:var(--muted);justify-content:space-between;gap:15px;padding:11px 14px;font:13px DM Mono,monospace;display:flex}.source-panel pre{color:#e5eee8;white-space:pre;background:#17231d;min-height:385px;margin:0;padding:22px;font:14px/1.75 DM Mono,monospace;overflow:auto}.graph-panel{place-items:stretch stretch;padding:16px;display:grid}.node-output,.edge-output{width:100%}.diagram-label{color:var(--green);letter-spacing:.08em;font:13px DM Mono,monospace}.node-output>article{border:1px solid var(--line);background:#fff;margin-top:12px;padding:18px}.node-output h4{overflow-wrap:anywhere;margin:10px 0 16px;font:700 20px Noto Serif SC,serif}.kind-badge{color:#fff;background:var(--blue);text-transform:uppercase;padding:4px 7px;font:13px DM Mono,monospace;display:inline-block}.kind-badge.theorem{background:var(--green)}.kind-badge.constructor{background:var(--gold)}.node-output dl{grid-template-columns:repeat(3,1fr);gap:8px;margin:0;display:grid}.node-output dl div{background:#f1eee6;padding:8px}.node-output dt{color:var(--muted);font-size:13px}.node-output dd{margin:4px 0 0;font:700 14px DM Mono,monospace}.expr-breakdown{border:1px solid var(--line);background:#fff;margin-top:16px}.expr-breakdown>header{border-bottom:1px solid var(--line);justify-content:space-between;gap:18px;padding:16px 18px;display:flex}.expr-breakdown>header span,.expr-layer-grid>article>span{color:var(--green);letter-spacing:.06em;font:700 13px DM Mono,monospace}.expr-breakdown h5{margin:5px 0 0;font:700 18px Noto Serif SC,serif}.expr-breakdown>header small{max-width:250px;color:var(--muted);text-align:right;font:13px/1.5 DM Mono,monospace}.expr-layer-grid{grid-template-columns:1fr;display:grid}.expr-layer-grid>article{min-width:0;padding:18px}.expr-layer-grid>article+article{border-top:1px solid var(--line)}.expr-layer-grid>article>b{margin:9px 0;font-size:15px;display:block}.expr-layer-grid>article>code{overflow-wrap:anywhere;color:var(--blue);font-size:13px;line-height:1.6;display:block}.expr-layer-grid ol{margin:16px 0 0;padding:0;list-style:none}.expr-layer-grid li{border-top:1px solid #e3ded3;grid-template-columns:28px minmax(105px,.55fr) 1.45fr;align-items:start;gap:10px;min-width:0;padding:10px 0;display:grid}.expr-layer-grid li i{color:#fff;background:var(--green);border-radius:50%;place-items:center;width:24px;height:24px;font:700 13px DM Mono,monospace;display:grid}.expr-layer-grid li code{min-width:0;color:var(--blue);overflow-wrap:anywhere;font-size:13px}.expr-layer-grid li p{color:var(--muted);margin:0;font-size:13px;line-height:1.55}.expr-layer-grid li.expr-depth-1 code:before,.expr-layer-grid li.expr-depth-2 code:before{color:var(--gold)}.expr-layer-grid li.expr-depth-1 code:before{content:"↳ "}.expr-layer-grid li.expr-depth-2 code:before{content:"↳↳ "}.expr-breakdown>p{border-top:1px solid var(--line);color:var(--muted);background:#edf3ef;margin:0;padding:13px 18px;font-size:13px}.expr-evidence-chain{border-top:1px solid var(--line);background:#f8f6ef}.expr-evidence-chain>header{padding:17px 18px}.expr-evidence-chain>header span,.expr-evidence-chain li span{color:var(--green);letter-spacing:.05em;font:700 13px DM Mono,monospace}.expr-evidence-chain h6{margin:5px 0 0;font:700 17px Noto Serif SC,serif}.expr-evidence-chain ol{margin:0;padding:0 18px;list-style:none}.expr-evidence-chain li{border-top:1px solid #ded8ca;grid-template-columns:30px 1fr;gap:11px;padding:14px 0;display:grid}.expr-evidence-chain li i{color:#fff;background:var(--blue);border-radius:50%;place-items:center;width:26px;height:26px;font:700 13px DM Mono,monospace;display:grid}.expr-evidence-chain li div{min-width:0}.expr-evidence-chain li a,.expr-evidence-chain li b{overflow-wrap:anywhere;margin-top:4px;font-size:14px;display:block}.expr-evidence-chain li p{color:var(--muted);margin:7px 0;font-size:13px;line-height:1.65}.expr-evidence-chain li code{overflow-wrap:anywhere;color:var(--blue);white-space:pre-line;background:#fff;padding:9px 11px;font-size:13px;line-height:1.55;display:block}.expr-evidence-chain .observed-evidence i{background:var(--gold)}.expr-evidence-chain>p{border-top:1px solid var(--line);background:#e4eee8;margin:0;padding:15px 18px;font-size:13px;line-height:1.7}.node-schema-guide{border-left:4px solid var(--gold);background:#f5e8d6;margin-top:16px;padding:18px}.node-schema-guide h5{margin:0 0 14px;font:700 18px Noto Serif SC,serif}.node-schema-guide dl{display:block}.node-schema-guide dl div{background:0 0;border-top:1px solid #b4772540;grid-template-columns:92px 1fr;gap:14px;padding:9px 0;display:grid}.node-schema-guide dt{color:var(--green-dark);font:700 13px DM Mono,monospace}.node-schema-guide dd{margin:0;font:14px/1.65 system-ui,Noto Sans CJK SC,sans-serif}.node-schema-guide p{color:var(--muted);margin:14px 0 0;font-size:14px;line-height:1.7}.edge-output svg{width:100%;height:auto}.graph-node{fill:#fff;stroke:#17231d;stroke-width:1.5px}.graph-node.source{fill:#edf3ef}.graph-node.target{fill:#f5e8d6}.node-name{fill:#17231d;font:700 18px DM Mono,monospace}.node-kind{fill:#667069;font:500 16px DM Mono,monospace}.edge-type,.edge-value,.edge-source{fill:none;stroke-width:3px}.edge-type{stroke:var(--blue)}.edge-value{stroke:var(--gold)}.edge-source{stroke:var(--green)}.edge-label{fill:var(--ink);font:700 15px DM Mono,monospace}.edge-label.type{fill:var(--blue)}.edge-label.value{fill:#9b5b16}.edge-label.source{fill:var(--green-dark)}.edge-ledger{flex-wrap:wrap;justify-content:center;gap:10px;display:flex}.edge-ledger span{border:1px solid;padding:8px 10px;font:13px DM Mono,monospace}.edge-ledger .type{color:var(--blue)}.edge-ledger .value{color:#9b5b16}.edge-ledger .source{color:var(--green-dark)}.source-locations{border:1px solid var(--line);background:#fff;margin-top:18px}.source-locations header{border-bottom:1px solid var(--line);justify-content:space-between;gap:16px;padding:11px 13px;font:13px DM Mono,monospace;display:flex}.source-locations header span{color:var(--muted)}.source-locations ol{max-height:180px;margin:0;padding:10px 14px 10px 40px;overflow:auto}.source-locations li{padding:4px 0;font-size:14px}.target-aggregate{background:var(--line);border:1px solid var(--line);grid-template-columns:1fr 1fr;gap:1px;margin:16px 0 0;display:grid}.target-aggregate div{background:#edf3ef;padding:12px}.target-aggregate dt{color:var(--muted);font-size:13px}.target-aggregate dd{margin:4px 0 0;font:700 18px DM Mono,monospace}.case-interpretation{border-left:4px solid var(--gold);background:#f5e8d6;margin:18px 0 0;padding:16px 18px;line-height:1.75}.table-scroll{width:100%;overflow:auto}table{border-collapse:collapse;width:100%;font-size:14px}th,td{text-align:left;vertical-align:top;overflow-wrap:anywhere;border-bottom:1px solid #ddd8cc;max-width:360px;padding:10px 12px}th{z-index:2;white-space:nowrap;background:#e8e3d7;position:sticky;top:0}th button{cursor:pointer;background:0 0;border:0;padding:0;font-weight:700}td.numeric,th.numeric{text-align:right;font-family:DM Mono,monospace}.table-link{color:var(--green);cursor:pointer;background:0 0;border:0;padding:0;text-decoration:underline}.data-table-shell{flex-direction:column;flex:1;min-height:0;display:flex}.table-tools{color:var(--muted);justify-content:space-between;gap:20px;padding:12px 0;font-size:13px;display:flex}.table-tools input{border:1px solid var(--line);width:min(420px,70vw);padding:9px 12px}.data-table-shell .table-scroll{flex:1}.pagination{justify-content:center;align-items:center;gap:16px;padding:12px;display:flex}.pagination button{border:1px solid var(--line);background:var(--card);cursor:pointer;padding:7px 12px}.pagination button:disabled{opacity:.35;cursor:default}.explorer-backdrop{z-index:100;-webkit-backdrop-filter:blur(5px);backdrop-filter:blur(5px);background:#0a140f7a;justify-content:flex-end;display:flex;position:fixed;inset:0}.explorer-panel{background:var(--paper);flex-direction:column;width:min(1260px,96vw);height:100%;padding:26px;display:flex;box-shadow:-20px 0 60px #0000002e}.explorer-panel>header{justify-content:space-between;align-items:start;gap:20px;display:flex}.explorer-panel h2{margin:0;font:800 clamp(28px,4vw,54px) Noto Serif SC,serif}.close-button{border:1px solid var(--ink);cursor:pointer;background:0 0;width:46px;height:46px;font-size:30px}.sample-contract{border-left:4px solid var(--gold);background:#f5e8d6;flex-wrap:wrap;gap:18px;margin:20px 0 4px;padding:12px 15px;font-size:13px;display:flex}.degree-guide{border:1px solid var(--line);background:#f8f6ef;margin:16px 0 4px}.degree-guide>header{border-bottom:1px solid var(--line);padding:15px 17px 13px}.degree-guide h3{margin:4px 0 0;font:700 18px/1.45 Noto Serif SC,serif}.degree-guide-grid{grid-template-columns:repeat(4,1fr);display:grid}.degree-guide-grid article{border-right:1px solid var(--line);min-width:0;padding:14px 17px}.degree-guide-grid article:last-child{border-right:0}.degree-guide-grid b{color:var(--green-dark);font:700 14px DM Mono,monospace}.degree-guide-grid p{color:var(--muted);margin:8px 0 0;font-size:14px;line-height:1.65}.degree-example{border-top:1px solid var(--line);background:#e4eee8;margin:0;padding:13px 17px;font-size:14px;line-height:1.65}.degree-example b{color:var(--green-dark)}.active-filter{color:var(--green);font-weight:600}.loading,.error,.fatal{padding:80px 32px}.error{color:var(--red)}footer{border-top:1px solid var(--line);color:var(--muted);justify-content:space-between;margin-top:80px;padding-block:30px 60px;font:13px DM Mono,monospace;display:flex}.sr-only{clip:rect(0,0,0,0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}@media (max-width:1200px){.metric-grid{grid-template-columns:repeat(3,minmax(0,1fr))}.metric-card:nth-child(3n){border-right:0}}@media (max-width:1000px){.hero,.section-heading,.extraction-grid,.path-indegree-summary{grid-template-columns:1fr}.path-indegree-summary>aside{grid-column:auto}.hero{min-height:auto}.concept-card{align-self:auto;margin:0}.claim-card,.claim-card:first-child,.claim-card:nth-child(2),.software-claims .claim-card{grid-column:span 6}.algorithm-grid,.method-grid,.construction-pipeline,.expr-mechanism-grid{grid-template-columns:1fr 1fr}.expr-mechanism-grid article:nth-child(2){border-right:0}.expr-mechanism-grid article:nth-child(-n+2){border-bottom:1px solid var(--line)}.endpoint-flow{grid-template-columns:1fr}.endpoint-flow>i{min-height:38px;transform:rotate(90deg)}.distribution-summary{grid-template-columns:1fr 1fr}.distribution-summary article:nth-child(2){border-right:0}.distribution-summary article:nth-child(-n+2){border-bottom:1px solid var(--line)}.path-rank-methods{grid-template-columns:1fr}.paper-method-map{grid-template-columns:1fr 1fr}.paper-prime-conclusion>header{grid-template-columns:1fr;gap:14px}.paper-prime-conclusion>aside{grid-template-columns:1fr;gap:10px}.paper-conclusion-comparison>header,.parameter-guide>header{grid-template-columns:1fr;gap:14px}.construction-pipeline article:after{display:none}.case-workbench{grid-template-columns:250px 1fr}.case-evidence-grid{grid-template-columns:1fr}.domain-workbench{grid-template-columns:280px 1fr}.degree-guide-grid{grid-template-columns:1fr 1fr}}@media (max-width:720px){.site-header nav,main,footer{padding-inline:16px}.site-header nav div{display:none}.hero{padding-top:60px}.hero h1{font-size:54px}.metric-grid,.chart-grid,.algorithm-grid,.method-grid{grid-template-columns:1fr}.path-indegree-summary dl div{grid-template-columns:1fr;gap:4px}.attribution-boundary{grid-template-columns:1fr}.distribution-tabs{overflow-x:auto}.distribution-tabs button{min-width:150px}.distribution-summary,.paper-method-map{grid-template-columns:1fr}.distribution-summary article{border-right:0;border-bottom:1px solid var(--line)}.distribution-chart{padding-inline:4px}.distribution-chart figcaption,.distribution-reading{display:block}.distribution-chart figcaption span{margin-top:6px;display:block}.distribution-reading p{margin-top:8px}.path-rank-conclusion,.paper-scope-note{padding:20px;display:block}.paper-scope-note p{margin-top:8px}.paper-prime-conclusion>header{padding:22px 20px}.prime-analogy-grid{grid-template-columns:1fr}.prime-analogy-grid article:nth-child(odd){border-right:0}.paper-prime-conclusion>aside,.paper-conclusion-comparison>header{padding:22px 20px}.paper-conclusion-comparison>aside{padding:22px 20px;display:block}.paper-conclusion-comparison>aside p{margin-top:8px}.parameter-grid{grid-template-columns:1fr}.parameter-grid article:nth-child(odd){border-right:0}.parameter-guide>aside{display:block}.parameter-guide>aside p,.path-rank-conclusion p{margin-top:8px}.path-rank-references{padding-inline:20px}.metric-card{border-right:0;border-bottom:1px solid var(--line)}.claim-card,.claim-card:first-child,.claim-card:nth-child(2),.software-claims .claim-card{grid-column:1/-1}.section-block{padding-top:72px}.section-heading{gap:18px}.domain-workbench,.construction-pipeline,.case-workbench{grid-template-columns:1fr}.expr-mechanism>header,.expr-mechanism>aside{display:block}.expr-mechanism>header a{margin-top:12px;display:inline-block}.expr-mechanism-grid{grid-template-columns:1fr}.expr-mechanism-grid article{border-right:0;border-bottom:1px solid var(--line)}.expr-mechanism>aside p{margin-top:8px}.attribution-method>header,.attribution-ledger,.context-policy,.exception-cases,.parent-module-mismatch{grid-template-columns:1fr}.invocation-examples>header{grid-template-columns:1fr;gap:12px}.extraction-case>header{display:block}.extraction-case header small{text-align:left;max-width:none;margin-top:10px;display:block}.attribution-method>header{gap:16px}.attribution-ledger>article+article{border-left:0}.outside-profile>header{flex-direction:column;align-items:start}.outside-profile>header>strong{text-align:left}.outside-profile-bars>div{grid-template-columns:minmax(0,1fr) minmax(6.5rem,auto)}.outside-profile-bars i{grid-area:2/1/auto/-1}.construction-note{grid-template-columns:1fr}.case-workbench>aside{border-right:0;border-bottom:1px solid var(--line)}.case-detail{padding:18px}.case-detail>header{display:block}.node-output dl{grid-template-columns:1fr}.expr-breakdown>header{display:block}.expr-breakdown>header small{text-align:left;margin-top:8px;display:block}.expr-layer-grid li{grid-template-columns:28px 1fr}.expr-layer-grid li p{grid-column:2}.domain-workbench aside{border-right:0;border-bottom:1px solid var(--line)}.flow-list button{grid-template-columns:54px 1fr}.flow-value{grid-column:2}.matrix-ledger>input{float:none;width:100%;margin-bottom:10px}.explorer-panel{width:100vw;padding:15px}.degree-guide-grid{grid-template-columns:1fr}.degree-guide-grid article{border-right:0;border-bottom:1px solid var(--line)}.degree-guide-grid article:last-child{border-bottom:0}.table-tools{flex-direction:column;align-items:start}footer{flex-direction:column}}