
:root{--ink:#151716;--muted:#6b716d;--paper:#f4f1e8;--card:#fffdf7;--line:#d8d3c7;--red:#b64232;--amber:#c77b22;--green:#2b7254;--blue:#345f86;--black:#181a19}*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:var(--paper);color:var(--ink);font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;line-height:1.55}.topbar{height:72px;padding:0 clamp(20px,5vw,72px);display:flex;align-items:center;justify-content:space-between;border-bottom:1px solid var(--line);background:rgba(244,241,232,.94);backdrop-filter:blur(12px);position:sticky;top:0;z-index:20}.brand{display:flex;align-items:center;gap:11px;color:var(--ink);font-weight:760;text-decoration:none;letter-spacing:-.02em}.brand-mark{width:30px;height:30px;display:grid;place-items:center;background:var(--black);color:#fff;border-radius:50%;font-size:14px}.topbar nav{display:flex;gap:26px}.topbar nav a,footer a{color:var(--ink);text-decoration:none;font-size:14px}.topbar nav a:hover{text-decoration:underline}main{max-width:1440px;margin:auto}.hero{padding:clamp(74px,10vw,150px) clamp(20px,7vw,110px) 74px;border-bottom:1px solid var(--line);background:radial-gradient(circle at 82% 18%,rgba(198,123,34,.13),transparent 28%),linear-gradient(135deg,#f7f4eb 0,#eee9dc 100%)}.hero-kicker,.overline,.panel-label,.eyebrow{font-size:12px;text-transform:uppercase;letter-spacing:.12em;font-weight:750;color:var(--muted)}.live-dot,.pulse{width:8px;height:8px;border-radius:50%;display:inline-block;background:var(--green);margin-right:8px;box-shadow:0 0 0 5px rgba(43,114,84,.12)}.hero h1,.dossier-head h1,.attempt-head h1,.method-head h1{font-family:Georgia,"Times New Roman",serif;font-size:clamp(48px,8vw,112px);line-height:.93;letter-spacing:-.055em;font-weight:400;margin:23px 0 30px;max-width:1060px}.hero h1 em,.method-head h1 em{color:var(--red);font-weight:400}.hero-copy{max-width:770px;font-size:clamp(18px,2vw,25px);color:#444943}.hero-stats{display:grid;grid-template-columns:repeat(4,1fr);gap:1px;background:var(--line);border:1px solid var(--line);margin-top:62px;max-width:900px}.hero-stats div{background:rgba(255,253,247,.74);padding:22px}.hero-stats strong{font-family:Georgia,serif;font-size:36px;font-weight:400;display:block}.hero-stats span{font-size:12px;text-transform:uppercase;letter-spacing:.08em;color:var(--muted)}.candidate-alert{margin:28px clamp(20px,7vw,110px);padding:20px 24px;background:#fff3dc;border:1px solid #dca85d;display:flex;justify-content:space-between;align-items:center;gap:20px}.candidate-alert p{margin:3px 0 0;color:#6b512f}.candidate-alert a{color:var(--ink);font-weight:700}.pulse{background:var(--amber);margin-right:12px}.lanes{padding:55px clamp(20px,7vw,110px);display:grid;grid-template-columns:1fr 1fr;gap:24px}.lane-panel{min-height:280px;padding:34px;border:1px solid var(--line);background:var(--card);display:flex;flex-direction:column}.hard-panel{border-top:5px solid var(--red)}.easy-panel{border-top:5px solid var(--blue)}.lane-panel h2{font-family:Georgia,serif;font-size:36px;line-height:1.1;font-weight:400;margin:26px 0 12px}.lane-panel p{color:#545a55;max-width:650px}.panel-foot{margin-top:auto;padding-top:24px;border-top:1px solid var(--line);display:flex;justify-content:space-between;gap:20px;font-size:13px}.panel-foot a{color:var(--ink);font-weight:700}.healthline{margin:0 clamp(20px,7vw,110px) 35px;padding:14px 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line);display:flex;gap:24px;flex-wrap:wrap;font-size:13px;color:var(--muted)}.health{color:var(--ink);font-weight:750}.health:before{content:"";display:inline-block;width:7px;height:7px;border-radius:50%;background:var(--amber);margin-right:8px}.health-healthy:before{background:var(--green)}.health-degraded:before{background:var(--red)}.section-block{padding:72px clamp(20px,7vw,110px)}.section-heading{display:flex;align-items:end;justify-content:space-between;gap:30px;margin-bottom:30px}.section-heading h2{font-family:Georgia,serif;font-weight:400;font-size:clamp(35px,5vw,60px);line-height:1;margin:8px 0 0}.section-heading>a{color:var(--ink);font-weight:700}.filters{display:flex;gap:8px;flex-wrap:wrap}.filter{border:1px solid var(--line);background:transparent;padding:9px 14px;border-radius:100px;cursor:pointer}.filter.active{background:var(--black);color:#fff;border-color:var(--black)}.problem-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:18px}.problem-card{background:var(--card);border:1px solid var(--line);padding:25px;min-height:390px;display:flex;flex-direction:column}.problem-card.hidden{display:none}.card-top{display:flex;justify-content:space-between;gap:12px;align-items:center}.lane,.badge{display:inline-flex;align-items:center;border-radius:100px;padding:5px 10px;font-size:11px;text-transform:uppercase;letter-spacing:.07em;font-weight:800}.lane{background:#ece8dc}.lane-hard{color:var(--red);background:#f8e5df}.lane-easy{color:var(--blue);background:#e3edf5}.lane-calibration{color:#64548c;background:#ece7f5}.badge{border:1px solid var(--line);background:#fff}.badge-candidate{background:#fff0d2;border-color:#dea750;color:#7a4c0d}.badge-active,.badge-progress{background:#e3f1ea;border-color:#9bc4af;color:#1f6348}.badge-attempted,.badge-failed,.badge-no_progress,.badge-error{background:#f2e7e2;border-color:#d5ada1;color:#8b392d}.badge-verified,.badge-published{background:#e2eee7;border-color:#8bb89e;color:#235e45}.problem-card h3{font-family:Georgia,serif;font-size:28px;line-height:1.1;font-weight:400;margin:22px 0 14px}.problem-card h3 a,.attempt-row h3 a{color:var(--ink);text-decoration:none}.problem-card p{font-size:14px;color:#4f5551}.meter{height:4px;background:#e5e0d5;margin-top:auto}.meter span{display:block;height:100%;background:var(--red)}.card-meta,.card-actions{display:flex;justify-content:space-between;gap:12px;font-size:12px;color:var(--muted);margin-top:9px}.last-note{font-size:13px;padding:17px 0;margin-top:18px;border-top:1px solid var(--line);color:#555b57}.card-actions{margin-top:auto;padding-top:13px}.card-actions a{color:var(--ink);font-weight:700;text-decoration:none}.attempts-block{background:#ebe6da}.attempt-list{border-top:1px solid #c9c2b4}.attempt-row{display:grid;grid-template-columns:5px 1fr;border-bottom:1px solid #c9c2b4;background:rgba(255,253,247,.45)}.attempt-rail{background:var(--muted)}.outcome-candidate{background:var(--amber)}.outcome-progress,.outcome-verified,.outcome-published{background:var(--green)}.outcome-failed,.outcome-no_progress,.outcome-error{background:var(--red)}.attempt-copy{padding:24px 28px}.eyebrow{display:flex;gap:25px}.attempt-copy h3{font-family:Georgia,serif;font-size:26px;font-weight:400;margin:11px 0}.attempt-copy p{margin:6px 0;color:#515753}.attempt-copy .approach{color:var(--ink);font-weight:700}.row-end{display:flex;justify-content:space-between;align-items:center;margin-top:16px}.arrow{color:var(--ink);font-weight:700;text-decoration:none}.dossier-head,.attempt-head,.method-head{padding:70px clamp(20px,7vw,110px) 55px;border-bottom:1px solid var(--line)}.dossier-head h1,.attempt-head h1,.method-head h1{font-size:clamp(48px,7vw,90px);margin-top:30px}.back{color:var(--ink);text-decoration:none;font-size:14px}.statement,.lead{font-family:Georgia,serif;font-size:clamp(20px,2.2vw,30px);max-width:1000px}.source-line{display:flex;gap:22px;margin-top:28px;flex-wrap:wrap}.source-line a{color:var(--ink);font-weight:700}.dossier-grid,.attempt-detail,.method-grid{padding:44px clamp(20px,7vw,110px);display:grid;grid-template-columns:repeat(3,1fr);gap:18px}.dossier-grid article,.attempt-detail article,.method-grid article{background:var(--card);border:1px solid var(--line);padding:26px}.dossier-grid p,.attempt-detail p{color:#4d534e}.dossier-grid dl,.attempt-detail dl{display:grid;grid-template-columns:1fr 1fr;gap:8px;margin:14px 0 0}.dossier-grid dt,.attempt-detail dt{color:var(--muted)}.dossier-grid dd,.attempt-detail dd{margin:0;text-align:right}.techniques{margin:0 clamp(20px,7vw,110px);padding:26px;border:1px solid var(--line);background:var(--card)}.techniques>div{display:flex;gap:8px;flex-wrap:wrap;margin-top:13px}.techniques>div span{background:#ebe7dc;padding:7px 11px;border-radius:4px;font-size:13px}.empty{padding:34px;background:var(--card)}.attempt-detail{grid-template-columns:repeat(2,1fr)}.attempt-detail ul{padding-left:20px}.attempt-detail li{margin:8px 0}.attempt-detail a{overflow-wrap:anywhere;color:var(--blue)}code{font-size:11px;overflow-wrap:anywhere}.muted{color:var(--muted)}.method-head p{font-size:22px;max-width:750px}.method-grid{grid-template-columns:repeat(3,1fr)}.method-grid article strong{font-family:Georgia,serif;font-size:32px;color:var(--red);font-weight:400}.method-grid h2{font-family:Georgia,serif;font-size:32px;font-weight:400;margin:20px 0 10px}.principles{margin:20px clamp(20px,7vw,110px) 80px;background:var(--black);color:#fff;padding:clamp(30px,5vw,65px)}.principles h2{font-family:Georgia,serif;font-size:45px;font-weight:400}.principles p{max-width:900px;color:#d5d7d5;font-size:18px}.principles div{display:flex;flex-wrap:wrap;gap:20px;margin-top:30px}.principles a{color:#fff}footer{min-height:100px;border-top:1px solid var(--line);padding:28px clamp(20px,5vw,72px);display:flex;align-items:center;justify-content:space-between;gap:20px;color:var(--muted);font-size:12px}@media(max-width:980px){.problem-grid,.method-grid{grid-template-columns:repeat(2,1fr)}.hero-stats{grid-template-columns:repeat(2,1fr)}.dossier-grid{grid-template-columns:1fr 1fr}}@media(max-width:720px){.topbar nav a:not(:first-child){display:none}.lanes,.problem-grid,.dossier-grid,.attempt-detail,.method-grid{grid-template-columns:1fr}.section-heading{align-items:start;flex-direction:column}.hero{padding-top:70px}.hero-stats{grid-template-columns:1fr 1fr}.panel-foot,.card-actions,footer{align-items:flex-start;flex-direction:column}.eyebrow{flex-direction:column;gap:3px}.candidate-alert{align-items:flex-start;flex-direction:column}}

.research-map{padding:55px clamp(20px,7vw,110px)}.research-map>.section-heading>span{color:var(--muted);font-size:13px}.research-grid{display:grid;grid-template-columns:repeat(2,1fr);gap:18px}.research-grid article{background:var(--card);border:1px solid var(--line);padding:26px}.research-grid h3{font-family:Georgia,serif;font-size:28px;font-weight:400;line-height:1.15;margin:16px 0}.research-grid ul{padding-left:20px}.research-grid li{margin:11px 0}.research-grid em{color:var(--red)}
.strategy-library{padding:44px clamp(20px,7vw,110px);display:grid;grid-template-columns:repeat(2,1fr);gap:18px}.strategy-library article{background:var(--card);border:1px solid var(--line);padding:28px}.strategy-library h2{font-family:Georgia,serif;font-size:32px;font-weight:400;line-height:1.1}.strategy-sources{display:flex;gap:14px;flex-wrap:wrap}.strategy-sources a{color:var(--blue);font-weight:700}
.internal-alert{margin:28px clamp(20px,7vw,110px);padding:20px 24px;background:#f2e7e2;border:1px solid #d5ada1;color:#6f3126}.badge-internal_result{background:#f2e7e2;border-color:#d5ada1;color:#8b392d}.outcome-internal_result{background:var(--red)}
@media(max-width:720px){.research-grid,.strategy-library{grid-template-columns:1fr}}

/* Scientific instrument interface / v2 */
:root{
  --ink:#e8f1ed;--muted:#8fa39b;--paper:#07100e;--card:#0c1714;--card-2:#101d19;
  --line:#243832;--line-bright:#3d5d53;--red:#ff746c;--amber:#f0c36a;--green:#65e1b8;
  --blue:#79bfff;--violet:#b8a4ff;--black:#030806;--mono:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,"Liberation Mono",monospace;
  --serif:"Iowan Old Style","Palatino Linotype",Palatino,Georgia,serif;
}
html{background:var(--black);scroll-padding-top:72px}
body{
  min-height:100vh;background:
    linear-gradient(rgba(101,225,184,.025) 1px,transparent 1px),
    linear-gradient(90deg,rgba(101,225,184,.025) 1px,transparent 1px),
    var(--paper);
  background-size:32px 32px;color:var(--ink);font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;
  overflow-x:hidden;font-size:15px;line-height:1.55;
}
a{color:var(--green);text-underline-offset:3px}
a:focus-visible,button:focus-visible{outline:2px solid var(--green);outline-offset:3px}
.skip-link{position:fixed;left:16px;top:-60px;z-index:100;background:var(--green);color:var(--black);padding:9px 12px;font:700 12px var(--mono)}
.skip-link:focus{top:12px}
.topbar{
  height:62px;padding:0 clamp(18px,4vw,64px);border-bottom:1px solid var(--line);background:rgba(3,8,6,.92);
  backdrop-filter:blur(18px);box-shadow:0 10px 36px rgba(0,0,0,.18)
}
.brand{gap:10px;color:var(--ink);font-family:var(--mono);font-size:13px;font-weight:760;letter-spacing:.02em;text-transform:uppercase}
.brand-mark{width:30px;height:30px;border:1px solid var(--green);border-radius:2px;background:rgba(101,225,184,.08);color:var(--green);font-size:10px;letter-spacing:.05em}
.brand small{padding-left:10px;border-left:1px solid var(--line);color:var(--muted);font-size:9px;font-weight:500;letter-spacing:.12em}
.topbar nav{gap:clamp(12px,2vw,28px)}
.topbar nav a,footer a{color:var(--muted);font:600 10px var(--mono);letter-spacing:.1em;text-decoration:none;text-transform:uppercase}
.topbar nav a:hover,footer a:hover{color:var(--green);text-decoration:none}
main{max-width:1600px;margin:0 auto;border-left:1px solid rgba(36,56,50,.55);border-right:1px solid rgba(36,56,50,.55);background:rgba(7,16,14,.84)}
.hero{
  position:relative;overflow:hidden;padding:clamp(64px,8vw,116px) clamp(22px,6vw,92px) clamp(42px,5vw,72px);
  border-bottom:1px solid var(--line);background:
    radial-gradient(circle at 82% 25%,rgba(101,225,184,.09),transparent 22%),
    linear-gradient(140deg,rgba(12,28,23,.98),rgba(7,16,14,.96) 62%);
}
.hero:before{
  content:"R(5,5)   SAT / LEAN   Σ   GRAPH THEORY";position:absolute;right:-34px;top:76px;max-width:520px;
  color:rgba(101,225,184,.07);font:700 clamp(42px,6vw,90px)/.94 var(--mono);letter-spacing:-.08em;text-align:right;white-space:pre-wrap;transform:rotate(-2deg)
}
.hero>*{position:relative;z-index:1}
.hero-kicker,.overline,.panel-label,.eyebrow{color:var(--green);font:650 10px var(--mono);letter-spacing:.14em;text-transform:uppercase}
.live-dot,.pulse{width:7px;height:7px;background:var(--green);box-shadow:0 0 0 4px rgba(101,225,184,.1),0 0 18px rgba(101,225,184,.55)}
.hero h1,.dossier-head h1,.attempt-head h1,.method-head h1{
  max-width:980px;margin:20px 0 22px;color:var(--ink);font-family:var(--serif);font-size:clamp(48px,7vw,100px);font-weight:400;line-height:.92;letter-spacing:-.055em
}
.hero h1 em,.method-head h1 em{color:var(--green);font-weight:400}
.hero-copy{max-width:720px;color:#b7c8c1;font-size:clamp(16px,1.7vw,21px);line-height:1.55}
.hero-stats{max-width:920px;margin-top:44px;grid-template-columns:repeat(4,1fr);gap:0;background:transparent;border:1px solid var(--line)}
.hero-stats div{position:relative;padding:18px 20px;background:rgba(3,8,6,.42);border-right:1px solid var(--line)}
.hero-stats div:last-child{border-right:0}
.hero-stats strong{color:var(--ink);font:500 30px/1 var(--mono);font-variant-numeric:tabular-nums}
.hero-stats span{display:block;margin-top:9px;color:var(--muted);font:600 9px var(--mono);letter-spacing:.12em;text-transform:uppercase}
.candidate-alert,.internal-alert{margin:0;padding:17px clamp(22px,6vw,92px);border:0;border-bottom:1px solid var(--amber);background:rgba(240,195,106,.08);color:var(--ink)}
.candidate-alert p{color:#c8b98f}.candidate-alert a{color:var(--amber);font:700 10px var(--mono);letter-spacing:.1em;text-transform:uppercase}
.internal-alert{border-color:var(--red);background:rgba(255,116,108,.08);color:var(--ink)}
.lanes{padding:32px clamp(22px,6vw,92px);gap:14px;border-bottom:1px solid var(--line)}
.lane-panel{min-height:236px;padding:25px;border:1px solid var(--line);border-top:1px solid var(--line);background:linear-gradient(150deg,rgba(16,29,25,.98),rgba(8,18,15,.98));box-shadow:0 14px 40px rgba(0,0,0,.14)}
.lane-panel:before{content:"";display:block;width:42px;height:2px;margin-bottom:18px;background:var(--red)}
.easy-panel:before{background:var(--blue)}
.lane-panel h2{margin:14px 0 10px;color:var(--ink);font-family:var(--serif);font-size:clamp(27px,3vw,38px);font-weight:400;line-height:1.08}
.lane-panel p{margin:0;color:#9fb0aa;font-size:13px;line-height:1.55}
.panel-foot{padding-top:17px;border-color:var(--line);color:var(--muted);font:550 10px/1.5 var(--mono)}
.panel-foot a{color:var(--green);text-decoration:none}
.healthline{margin:0;padding:12px clamp(22px,6vw,92px);border:0;border-bottom:1px solid var(--line);background:rgba(3,8,6,.42);color:var(--muted);font:550 9px var(--mono);letter-spacing:.06em;text-transform:uppercase}
.health{color:var(--ink)}.health:before{background:var(--amber)}.health-healthy:before{background:var(--green)}.health-degraded:before{background:var(--red)}
.section-block{padding:clamp(46px,6vw,78px) clamp(22px,6vw,92px)}
.section-heading{margin-bottom:24px;padding-bottom:18px;border-bottom:1px solid var(--line)}
.section-heading h2{margin:6px 0 0;color:var(--ink);font-family:var(--serif);font-size:clamp(34px,4.5vw,58px);font-weight:400;line-height:1;letter-spacing:-.035em}
.section-heading>a{color:var(--green);font:650 10px var(--mono);letter-spacing:.08em;text-decoration:none;text-transform:uppercase}
.section-note{color:var(--muted);font:550 9px var(--mono);letter-spacing:.08em;text-transform:uppercase}
.planned-block{border-top:1px solid var(--line);background:rgba(8,19,16,.62)}
.filters{gap:6px}
.filter{padding:7px 11px;border:1px solid var(--line);border-radius:2px;background:transparent;color:var(--muted);font:650 9px var(--mono);letter-spacing:.08em;text-transform:uppercase}
.filter:hover{border-color:var(--line-bright);color:var(--ink)}
.filter.active{border-color:var(--green);background:rgba(101,225,184,.1);color:var(--green)}
.problem-grid{grid-template-columns:repeat(3,minmax(0,1fr));gap:10px}
.problem-card{min-width:0;min-height:342px;padding:20px;border:1px solid var(--line);background:linear-gradient(155deg,rgba(16,29,25,.96),rgba(9,19,16,.98));box-shadow:none}
.problem-card:hover{border-color:var(--line-bright);transform:translateY(-1px);transition:border-color .15s ease,transform .15s ease}
.card-top{align-items:flex-start}.lane,.badge{border-radius:2px;padding:5px 7px;font:700 8px var(--mono);letter-spacing:.09em}
.lane{border:1px solid var(--line);background:transparent;color:var(--muted)}
.lane-hard{border-color:rgba(255,116,108,.45);background:rgba(255,116,108,.07);color:var(--red)}
.lane-easy{border-color:rgba(121,191,255,.4);background:rgba(121,191,255,.07);color:var(--blue)}
.lane-calibration{border-color:rgba(184,164,255,.4);background:rgba(184,164,255,.07);color:var(--violet)}
.badge{border-color:var(--line);background:rgba(255,255,255,.025);color:var(--muted)}
.badge-candidate{border-color:rgba(240,195,106,.52);background:rgba(240,195,106,.08);color:var(--amber)}
.badge-active,.badge-progress,.badge-verified,.badge-published{border-color:rgba(101,225,184,.42);background:rgba(101,225,184,.08);color:var(--green)}
.badge-attempted,.badge-failed,.badge-no_progress,.badge-error,.badge-internal_result{border-color:rgba(255,116,108,.4);background:rgba(255,116,108,.07);color:var(--red)}
.problem-card h3{margin:18px 0 10px;font-family:var(--serif);font-size:25px;font-weight:400;line-height:1.08;overflow-wrap:anywhere}
.problem-card h3 a,.attempt-row h3 a{display:block;max-width:100%;color:var(--ink);text-decoration:none;overflow-wrap:anywhere}
.problem-card mjx-container{display:inline-block!important;width:100%!important;max-width:100%;overflow-x:auto;overflow-y:hidden}
.problem-card mjx-container>mjx-math{max-width:100%}
.problem-card p{margin:0;color:#9fb0aa;font-size:12.5px;line-height:1.55}
.meter{height:2px;margin-top:auto;background:var(--line)}.meter span{background:var(--green)}
.card-meta,.card-actions{color:var(--muted);font:500 9px/1.4 var(--mono)}
.last-note{max-height:74px;overflow:hidden;margin-top:14px;padding:13px 0 0;border-color:var(--line);color:#aebdb7;font-size:11.5px;line-height:1.5}
.card-actions{padding-top:13px;border-top:1px solid var(--line)}.card-actions a{color:var(--green);text-decoration:none}
.attempts-block{background:rgba(3,8,6,.48)}
.attempt-list{border-color:var(--line)}
.attempt-row{max-width:100%;grid-template-columns:3px minmax(0,1fr);border-color:var(--line);background:rgba(12,23,20,.72)}
.attempt-row:hover{background:rgba(16,31,26,.88)}
.attempt-rail{background:var(--muted)}.outcome-candidate{background:var(--amber)}.outcome-progress,.outcome-verified,.outcome-published{background:var(--green)}.outcome-failed,.outcome-no_progress,.outcome-error,.outcome-internal_result{background:var(--red)}
.attempt-copy{min-width:0;padding:19px 22px;overflow-wrap:anywhere}.eyebrow{gap:18px;color:var(--muted)}
.attempt-copy h3{margin:8px 0 6px;font-family:var(--serif);font-size:23px;font-weight:400}
.attempt-copy p{margin:4px 0;color:#9fb0aa;font-size:12.5px}.attempt-copy .approach{color:var(--ink);font-weight:620}
.row-end{margin-top:12px}.arrow{color:var(--green);font:650 9px var(--mono);letter-spacing:.08em;text-decoration:none;text-transform:uppercase}
.dossier-head,.attempt-head,.method-head{padding:clamp(52px,7vw,92px) clamp(22px,6vw,92px) 44px;border-color:var(--line);background:linear-gradient(145deg,rgba(13,28,23,.98),rgba(7,16,14,.96))}
.dossier-head h1,.attempt-head h1,.method-head h1{margin:22px 0 18px;font-size:clamp(45px,6vw,78px)}
.back{color:var(--muted);font:600 9px var(--mono);letter-spacing:.08em;text-transform:uppercase}
.statement,.lead{max-width:960px;color:#c3d0cb;font-family:var(--serif);font-size:clamp(18px,2vw,25px);line-height:1.45}
.source-line{gap:18px;margin-top:22px}.source-line a{color:var(--green);font:650 9px var(--mono);letter-spacing:.07em;text-decoration:none;text-transform:uppercase}
.dossier-grid,.attempt-detail,.method-grid{padding:30px clamp(22px,6vw,92px);gap:10px}
.dossier-grid article,.attempt-detail article,.method-grid article,.research-grid article,.strategy-library article{border:1px solid var(--line);background:rgba(12,23,20,.88);padding:21px}
.dossier-grid p,.attempt-detail p{color:#aab9b3;font-size:12.5px}
.dossier-grid dl,.attempt-detail dl{font:500 10px/1.5 var(--mono)}
.dossier-grid dt,.attempt-detail dt{color:var(--muted)}.dossier-grid dd,.attempt-detail dd{color:var(--ink)}
.techniques{margin:0 clamp(22px,6vw,92px);padding:19px;border-color:var(--line);background:rgba(12,23,20,.78)}
.techniques>div span{border:1px solid var(--line);border-radius:2px;background:transparent;color:var(--muted);font:550 9px var(--mono)}
.research-map{padding:38px clamp(22px,6vw,92px)}
.research-grid{gap:10px}.research-grid h3{color:var(--ink);font-family:var(--serif);font-size:25px;font-weight:400}.research-grid li,.attempt-detail li{margin:8px 0;color:#aab9b3;font-size:12px}
.strategy-library{padding:30px clamp(22px,6vw,92px);gap:10px}.strategy-library h2{color:var(--ink);font-family:var(--serif);font-size:28px}.strategy-library p,.strategy-library li{color:#aab9b3;font-size:12.5px}.strategy-sources a{color:var(--green)}
.method-grid article strong{color:var(--green);font:500 22px var(--mono)}.method-grid h2{color:var(--ink);font-family:var(--serif);font-size:27px;font-weight:400}.method-grid p{color:#aab9b3;font-size:12.5px}
.principles{margin:20px clamp(22px,6vw,92px) 58px;padding:clamp(26px,4vw,46px);border:1px solid var(--line);background:linear-gradient(145deg,#0b1b16,#06100d);color:var(--ink)}
.principles h2{margin-top:0;color:var(--ink);font-family:var(--serif);font-size:38px;font-weight:400}.principles p,.principles li{color:#aab9b3;font-size:13px}.principles a{color:var(--green)}
.about-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:10px;padding:30px clamp(22px,6vw,92px)}
.about-grid article{min-height:280px;padding:25px;border:1px solid var(--line);background:rgba(12,23,20,.88)}
.about-grid h2{margin:24px 0 12px;color:var(--ink);font-family:var(--serif);font-size:30px;font-weight:400;line-height:1.08}
.about-grid p,.about-source p{color:#aab9b3;font-size:13px;line-height:1.65}
.about-source{margin:0 clamp(22px,6vw,92px) 58px;padding:25px;border:1px solid var(--line);background:linear-gradient(145deg,#0b1b16,#06100d)}
.about-source p{max-width:820px}.about-source a{font:650 10px var(--mono);letter-spacing:.08em;text-decoration:none;text-transform:uppercase}
.empty{border:1px solid var(--line);background:var(--card);color:var(--muted)}
code{color:var(--green);font-family:var(--mono);font-size:10px}.muted{color:var(--muted)}
footer{min-height:78px;padding:22px clamp(22px,4vw,64px);border-color:var(--line);background:var(--black);color:var(--muted);font:500 9px var(--mono);letter-spacing:.06em;text-transform:uppercase}
@media(max-width:1080px){.problem-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.brand small{display:none}}
@media(max-width:760px){
  .topbar{height:56px}.topbar nav{gap:9px}.topbar nav a{display:inline!important;font-size:8px}.brand span:not(.brand-mark),.brand small{display:none}
  .hero{padding-top:58px}.hero:before{display:none}.hero-stats{grid-template-columns:repeat(2,1fr)}.hero-stats div:nth-child(2){border-right:0}.hero-stats div:nth-child(-n+2){border-bottom:1px solid var(--line)}
  .lanes,.problem-grid,.dossier-grid,.attempt-detail,.method-grid,.research-grid,.strategy-library,.about-grid{grid-template-columns:minmax(0,1fr)}
  .section-heading{align-items:flex-start}.section-heading h2{font-size:38px}.filters{margin-top:4px}
  .problem-card{min-height:315px}.card-meta,.card-actions{flex-wrap:wrap}footer{align-items:flex-start}
}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}.problem-card:hover{transform:none}}

/* Academic journal interface / v4 */
:root{
  --ink:#1d2625;--muted:#66706e;--paper:#f4f1e8;--card:#fbfaf5;--card-2:#eeeae0;
  --line:#cec8ba;--line-bright:#969c97;--red:#7c2f36;--amber:#96691e;--green:#315c4f;
  --blue:#2f4e67;--violet:#554b70;--black:#17211f;
  --mono:"Avenir Next",Avenir,"Helvetica Neue",Arial,sans-serif;
  --serif:Charter,"Iowan Old Style","Palatino Linotype",Palatino,Georgia,serif;
}
html{background:var(--paper);scroll-padding-top:70px}
body{background:var(--paper);color:var(--ink);font-family:var(--serif);font-size:16px;line-height:1.58}
a{color:var(--blue)}a:focus-visible,button:focus-visible{outline-color:var(--red)}
.skip-link{background:var(--ink);color:#fff;font-family:var(--mono)}
.topbar{height:68px;padding:0 clamp(20px,4.5vw,76px);border-color:var(--line);background:rgba(244,241,232,.96);box-shadow:none}
.brand{color:var(--ink);font-family:var(--serif);font-size:17px;font-weight:650;letter-spacing:.005em;text-transform:none}
.brand-mark{width:32px;height:32px;border:1px solid var(--ink);border-radius:50%;background:transparent;color:var(--ink);font:700 10px var(--mono)}
.brand small{border-color:var(--line);color:var(--muted);font:600 9px var(--mono);letter-spacing:.12em;text-transform:uppercase}
.topbar nav{gap:clamp(13px,2.1vw,30px)}
.topbar nav a,footer a{color:var(--muted);font:650 10px var(--mono);letter-spacing:.09em;text-transform:uppercase}
.topbar nav a:hover,footer a:hover{color:var(--red)}
main{max-width:1480px;border-color:var(--line);background:var(--paper)}
.hero{padding:clamp(70px,8.5vw,126px) clamp(24px,7vw,108px) clamp(60px,7vw,94px);border-color:var(--line);background:linear-gradient(120deg,#f7f4ec,#eee9de)}
.hero:before{content:"R(5,5)  ·  GRAPH THEORY  ·  FORMAL METHODS";right:5.5vw;top:48px;color:rgba(47,78,103,.065);font:650 clamp(28px,4vw,58px)/1.05 var(--mono);letter-spacing:-.045em;transform:none}
.hero-kicker,.overline,.panel-label,.eyebrow{color:var(--red);font:650 10px var(--mono);letter-spacing:.14em;text-transform:uppercase}
.hero h1,.dossier-head h1,.attempt-head h1,.method-head h1{max-width:1100px;margin:24px 0 26px;color:var(--ink);font-family:var(--serif);font-size:clamp(48px,7vw,96px);font-weight:400;line-height:1.01;letter-spacing:-.045em}
.hero h1 em,.method-head h1 em{color:var(--red);font-style:normal}
.hero-copy{max-width:800px;color:#48514f;font-family:var(--serif);font-size:clamp(18px,1.8vw,24px);line-height:1.55}
.candidate-alert,.internal-alert{border-color:#c9aa74;background:#f6ecd7;color:var(--ink)}.candidate-alert p{color:#66573f}.pulse{background:var(--amber);box-shadow:none}
.candidate-review{margin:28px clamp(20px,7vw,110px);padding:clamp(24px,4vw,42px);border:1px solid #c9aa74;background:#f6ecd7;display:grid;grid-template-columns:minmax(0,1fr) minmax(300px,.8fr);gap:clamp(28px,5vw,72px)}.candidate-review h2{margin:8px 0 12px;font:400 clamp(30px,4vw,48px)/1.05 var(--serif)}.candidate-review-copy p{max-width:680px;color:#66573f}.candidate-review-copy code{display:block;margin-top:18px}.candidate-review-form{display:grid;gap:15px}.candidate-review-form label{display:grid;gap:6px;color:var(--ink);font:700 10px var(--mono);letter-spacing:.08em;text-transform:uppercase}.candidate-review-form textarea,.candidate-review-form input{width:100%;border:1px solid #bca77f;background:#fffdf7;color:var(--ink);padding:12px;font:400 14px/1.45 var(--sans);text-transform:none;letter-spacing:0}.candidate-review-form textarea{min-height:96px;resize:vertical}.candidate-review-form button{justify-self:start;border:0;background:var(--ink);color:#fff;padding:12px 18px;font:700 10px var(--mono);letter-spacing:.08em;text-transform:uppercase;cursor:pointer}.candidate-review-form button:disabled{opacity:.55;cursor:wait}.candidate-review-status{min-height:1.4em;margin:0;color:#66573f;font-size:13px}.candidate-review-status.is-error{color:var(--red)}
.section-block{padding:clamp(48px,6vw,78px) clamp(24px,7vw,108px)}
.section-heading{margin-bottom:26px;padding-bottom:17px;border-color:var(--line)}
.section-heading h2{color:var(--ink);font-family:var(--serif);font-size:clamp(34px,4.3vw,56px);font-weight:400;letter-spacing:-.035em}
.section-note{color:var(--muted);font:600 9px var(--mono);letter-spacing:.09em}
.operations{border-bottom:1px solid var(--line);background:#f8f6f0}
.operations .section-heading{margin-bottom:0}.healthline{margin:0;padding:14px 0;border-top:0;border-color:var(--line);color:var(--muted);font:550 10px var(--mono);letter-spacing:.035em}
.health{color:var(--ink)}.health:before{background:var(--amber);box-shadow:none}.health-healthy:before{background:var(--green)}.health-degraded:before{background:var(--red)}
.operation-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:14px;margin-top:18px}
.operation-card{position:relative;min-width:0;padding:26px 28px 24px;border:1px solid var(--line);background:var(--card)}
.operation-card:before{content:"";position:absolute;left:-1px;top:-1px;bottom:-1px;width:4px;background:var(--blue)}.operation-hard:before{background:var(--red)}
.operation-head{display:flex;align-items:center;justify-content:space-between;gap:16px}.operation-status{color:var(--muted);font:650 10px var(--mono);letter-spacing:.07em;text-transform:uppercase}.operation-status.is-live{color:var(--green)}.operation-status.is-live:before{content:"";display:inline-block;width:7px;height:7px;margin-right:7px;border-radius:50%;background:var(--green)}
.operation-card h3{margin:24px 0 7px;color:var(--ink);font-size:clamp(24px,2.5vw,35px);font-weight:400;line-height:1.12}.operation-detail{margin:0;color:var(--muted);font-size:14px}
.operation-card dl{display:grid;grid-template-columns:.75fr 1.35fr 1fr;gap:0;margin:24px 0 0;border-top:1px solid var(--line)}.operation-card dl div{padding-top:14px}.operation-card dl div+div{padding-left:20px;border-left:1px solid var(--line)}.operation-card dt{color:var(--muted);font:650 9px var(--mono);letter-spacing:.1em;text-transform:uppercase}.operation-card dd{margin:4px 0 0;color:var(--ink);font:650 12px var(--mono)}
.problem-grid{grid-template-columns:repeat(3,minmax(0,1fr));gap:14px}.problem-card{min-height:350px;padding:24px;border-color:var(--line);background:var(--card)}.problem-card:hover{border-color:var(--line-bright)}
.lane,.badge{border-radius:0;font:700 8px var(--mono)}.lane{border-color:var(--line);background:transparent}.lane-hard{border-color:#b7898c;background:#f1e4e3;color:var(--red)}.lane-easy{border-color:#9eafbc;background:#e7edf0;color:var(--blue)}.lane-calibration{border-color:#aaa4b8;background:#ece9f0;color:var(--violet)}
.badge{border-color:var(--line);background:#f8f6f0;color:var(--muted)}.badge-candidate{border-color:#c9aa74;background:#f6ecd7;color:#76511a}.badge-active,.badge-progress,.badge-verified,.badge-published{border-color:#91aa9e;background:#e4ece7;color:var(--green)}.badge-attempted,.badge-failed,.badge-no_progress,.badge-error,.badge-internal_result{border-color:#bd9692;background:#f1e5e2;color:var(--red)}
.problem-card h3{font-size:26px}.problem-card p{color:#56605e;font-family:var(--serif);font-size:14px}.meter{background:#ddd7cb}.meter span{background:var(--red)}.card-meta,.card-actions{color:var(--muted);font:550 9px var(--mono)}.last-note{color:#525c59;font-family:var(--serif);font-size:13px}.card-actions{border-color:var(--line)}.card-actions a{color:var(--blue)}
.planned-block{border-color:var(--line);background:#eeeae0}.attempts-block{background:#e8e4da}.attempt-list{border-color:var(--line)}
.attempt-row{grid-template-columns:4px minmax(0,1fr);border-color:var(--line);background:rgba(251,250,245,.82)}.attempt-row:hover{background:var(--card)}.attempt-copy{padding:25px 28px}.eyebrow{color:var(--muted)}.attempt-copy h3{font-size:26px}.attempt-copy p{color:#56605e;font-family:var(--serif);font-size:14px}.attempt-copy .approach{color:var(--ink);font-weight:650}
.accomplishment{max-width:1020px;margin:15px 0 5px;padding:14px 17px;border-left:2px solid var(--blue);background:#f0eee7}.accomplishment>span{color:var(--blue);font:700 9px var(--mono);letter-spacing:.1em;text-transform:uppercase}.accomplishment p{margin:5px 0 0;color:#343d3b}.next-action{max-width:1020px}.arrow{color:var(--blue)}
.dossier-head,.attempt-head,.method-head{border-color:var(--line);background:linear-gradient(120deg,#f7f4ec,#eee9de)}.back{color:var(--muted)}.statement,.lead{color:#3f4947}.source-line a{color:var(--blue)}
.dossier-grid article,.attempt-detail article,.method-grid article,.research-grid article,.strategy-library article,.about-grid article{border-color:var(--line);background:var(--card)}.dossier-grid p,.attempt-detail p,.research-grid li,.attempt-detail li,.strategy-library p,.strategy-library li,.method-grid p,.about-grid p,.about-source p{color:#525c59;font-family:var(--serif);font-size:14px}.techniques{border-color:var(--line);background:var(--card)}.techniques>div span{border-color:var(--line);color:var(--muted)}
.research-grid h3,.strategy-library h2,.method-grid h2,.about-grid h2,.principles h2{color:var(--ink)}.strategy-sources a{color:var(--blue)}
.principles,.about-source{border-color:var(--line);background:var(--black);color:#f3f0e8}.principles h2,.about-source h2{color:#fff}.principles p,.principles li,.about-source p{color:#d3d7d2}.principles a,.about-source a{color:#e5d6b7}
.empty{border-color:var(--line);background:var(--card);color:var(--muted)}code{color:var(--red)}
footer{background:var(--black);color:#acb4b0;border-color:var(--black)}footer a{color:#d8ddd8}
@media(max-width:1080px){.problem-grid{grid-template-columns:repeat(2,minmax(0,1fr))}}
@media(max-width:760px){.hero:before{display:none}.operation-grid,.problem-grid{grid-template-columns:1fr}.operation-card dl{grid-template-columns:1fr}.operation-card dl div+div{margin-top:12px;padding-left:0;border-left:0}.topbar nav a{font-size:8px}.section-heading{align-items:flex-start}.attempt-copy{padding:20px}.accomplishment{padding:12px 14px}}

/* Proof engine architecture / about */
.about-head{position:relative;overflow:hidden;padding-bottom:52px}
.about-head:after{content:"SOURCE → STATE → TEST → EVIDENCE → REVIEW";position:absolute;right:5vw;bottom:28px;color:rgba(124,47,54,.09);font:700 clamp(18px,2.8vw,42px) var(--mono);letter-spacing:-.03em;white-space:nowrap}
.about-head>p{max-width:900px;color:#46514e;font-size:clamp(18px,2vw,25px)}
.about-jump{position:relative;z-index:1;display:flex;flex-wrap:wrap;gap:8px;margin-top:34px}
.about-jump a{padding:8px 11px;border:1px solid var(--line);background:rgba(251,250,245,.7);color:var(--ink);font:650 9px var(--mono);letter-spacing:.1em;text-decoration:none;text-transform:uppercase}
.about-jump a:hover{border-color:var(--red);color:var(--red)}
.about-section{padding:clamp(54px,7vw,92px) clamp(24px,7vw,108px);border-bottom:1px solid var(--line)}
.about-section:nth-of-type(odd){background:#eeeae0}
.about-section-head{display:grid;grid-template-columns:minmax(0,1.4fr) minmax(260px,.7fr);align-items:end;gap:50px;margin-bottom:36px}
.about-section-head h2{margin:8px 0 0;color:var(--ink);font:400 clamp(38px,5vw,64px)/.98 var(--serif);letter-spacing:-.04em}
.about-section-head>p{max-width:520px;margin:0;color:#525c59;font-size:15px}
.engine-inputs{display:grid;grid-template-columns:repeat(5,minmax(0,1fr));border:1px solid var(--line);border-bottom:0;background:#e5e0d5}
.engine-inputs span{padding:10px 12px;border-right:1px solid var(--line);color:var(--muted);font:650 9px var(--mono);letter-spacing:.09em;text-align:center;text-transform:uppercase}
.engine-inputs span:last-child{border-right:0}
.engine-flow{display:grid;grid-template-columns:repeat(6,minmax(0,1fr));margin:0;padding:0;border:1px solid var(--line);list-style:none;background:var(--card)}
.engine-flow li{position:relative;min-width:0;min-height:330px;padding:22px 18px 18px;border-right:1px solid var(--line)}
.engine-flow li:last-child{border-right:0}
.engine-flow li:not(:last-child):after{content:"→";position:absolute;z-index:2;right:-13px;top:52px;width:24px;height:24px;border:1px solid var(--line);background:var(--paper);color:var(--red);font:700 15px/22px var(--mono);text-align:center}
.step-no{display:block;margin-bottom:25px;color:var(--red);font:500 30px/1 var(--mono)}
.engine-flow h3{min-height:60px;margin:10px 0 12px;color:var(--ink);font:400 22px/1.08 var(--serif)}
.engine-flow p{margin:0;color:#56605e;font-size:13px;line-height:1.55}
.engine-flow strong{position:absolute;right:18px;bottom:18px;left:18px;padding-top:11px;border-top:1px solid var(--line);color:var(--blue);font:650 8px var(--mono);letter-spacing:.07em;text-transform:uppercase}
.engine-return{display:grid;grid-template-columns:auto 1fr;align-items:center;gap:16px;padding:15px 20px;border:1px solid var(--line);border-top:0;background:var(--black);color:#f3f0e8}
.engine-return>span{color:#d8c49e;font:400 32px var(--mono)}.engine-return p{margin:0;color:#d3d7d2;font-size:13px}.engine-return strong{color:#fff}
.pass-section{background:#f4f1e8!important}
.pass-map{display:grid;grid-template-columns:1fr 1.12fr 1.12fr 1fr 1fr;gap:0;border:1px solid var(--line);background:var(--card)}
.pass-column{position:relative;min-width:0;min-height:390px;padding:22px;border-right:1px solid var(--line)}.pass-column:last-child{border-right:0}
.pass-column:not(:last-child):after{content:"";position:absolute;z-index:2;right:-5px;top:49px;width:9px;height:9px;border-top:2px solid var(--red);border-right:2px solid var(--red);background:var(--card);transform:rotate(45deg)}
.pass-column h3{margin:24px 0 12px;color:var(--ink);font:400 26px/1.08 var(--serif)}.pass-column p,.pass-column li{color:#56605e;font-size:13px}.pass-column ul{padding-left:18px}
.pass-column>strong{display:block;margin-top:22px;color:var(--red);font:650 9px/1.5 var(--mono);letter-spacing:.07em;text-transform:uppercase}
.pass-start{background:#f0eee7}.pass-principal{background:#e8ece7}.pass-review{background:#f1e8e4}
.mini-role,.execution-route{margin-top:14px;padding:12px;border-left:2px solid var(--blue);background:#f0eee7}.mini-role strong,.mini-role span,.execution-route strong,.execution-route span{display:block}.mini-role strong,.execution-route strong{color:var(--ink);font-size:13px}.mini-role span,.execution-route span{margin-top:3px;color:#5c6663;font-size:11.5px;line-height:1.45}
.pass-delegates small{display:block;margin-top:15px;color:var(--muted);font:600 8px/1.5 var(--mono);letter-spacing:.06em;text-transform:uppercase}
.execution-route{border-color:var(--green)}.execution-route+ .execution-route{border-color:var(--red)}
.decision-tags{display:flex;flex-wrap:wrap;gap:5px;margin-top:22px}.decision-tags span{padding:5px 7px;border:1px solid #bd9692;color:var(--red);font:650 8px var(--mono);letter-spacing:.07em;text-transform:uppercase}
.memory-section{background:#e8e4da!important}
.memory-stack{max-width:1120px;margin:0 auto}.memory-stack article{display:grid;grid-template-columns:62px minmax(0,1fr) minmax(150px,.28fr);align-items:center;gap:24px;min-height:128px;padding:20px 24px;border:1px solid var(--line);border-bottom:0;background:var(--card)}.memory-stack article:last-child{border-bottom:1px solid var(--line)}
.memory-stack article:nth-child(2){margin:0 18px}.memory-stack article:nth-child(3){margin:0 36px}.memory-stack article:nth-child(4){margin:0 54px}.memory-stack article:nth-child(5){margin:0 72px}
.memory-index{display:grid;width:50px;height:50px;place-items:center;border:1px solid var(--red);border-radius:50%;color:var(--red);font:650 12px var(--mono)}
.memory-stack h3{margin:6px 0 4px;color:var(--ink);font:400 23px var(--serif)}.memory-stack p{margin:0;color:#56605e;font-size:13px}.memory-stack article>strong{color:var(--blue);font:650 8px/1.5 var(--mono);letter-spacing:.07em;text-align:right;text-transform:uppercase}
.roles-section{background:#f4f1e8!important}.role-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:12px}.role-grid article{position:relative;min-height:290px;padding:25px;border:1px solid var(--line);background:var(--card)}
.role-glyph{display:grid;width:42px;height:42px;margin-bottom:27px;place-items:center;border:1px solid var(--ink);border-radius:50%;color:var(--ink);font:650 11px var(--mono)}
.role-grid h3{margin:9px 0 11px;color:var(--ink);font:400 27px/1.08 var(--serif)}.role-grid p{color:#56605e;font-size:13px}.role-grid strong{position:absolute;right:25px;bottom:22px;left:25px;padding-top:11px;border-top:1px solid var(--line);color:var(--red);font:650 8px var(--mono);letter-spacing:.07em;text-transform:uppercase}
.gate-section{background:#eeeae0!important}.gate-flow{margin:0;padding:0;border-top:1px solid var(--line);list-style:none}.gate-flow li{display:grid;grid-template-columns:70px minmax(0,1fr);gap:22px;padding:22px 0;border-bottom:1px solid var(--line)}.gate-flow li>span{color:var(--red);font:500 24px var(--mono)}.gate-flow strong{color:var(--ink);font:400 24px var(--serif)}.gate-flow p{max-width:890px;margin:4px 0 0;color:#56605e;font-size:13px}
.status-legend{display:flex;flex-wrap:wrap;gap:18px;margin-top:24px;color:var(--muted);font:650 8px var(--mono);letter-spacing:.07em;text-transform:uppercase}.status-legend span{display:flex;align-items:center;gap:7px}.status-dot{width:8px;height:8px;border-radius:50%;background:var(--muted)}.status-dot.candidate{background:var(--amber)}.status-dot.verified{background:var(--blue)}.status-dot.reviewed{background:var(--violet)}.status-dot.published{background:var(--green)}
.about-source{margin:0;padding:clamp(48px,6vw,78px) clamp(24px,7vw,108px);border:0;background:var(--black)}.about-source h2{margin:10px 0 12px;font:400 clamp(36px,4vw,54px) var(--serif)}.about-source p{max-width:900px}.about-source a{display:inline-block;margin-top:12px;color:#e5d6b7}
@media(max-width:1180px){.engine-flow{grid-template-columns:repeat(3,minmax(0,1fr))}.engine-flow li{border-bottom:1px solid var(--line)}.engine-flow li:nth-child(3){border-right:0}.engine-flow li:nth-child(3):after{display:none}.engine-flow li:nth-child(n+4){border-bottom:0}.pass-map{grid-template-columns:repeat(2,minmax(0,1fr))}.pass-column{min-height:0;border-bottom:1px solid var(--line)}.pass-column:nth-child(2),.pass-column:nth-child(4){border-right:0}.pass-column:nth-child(2):after,.pass-column:nth-child(4):after{display:none}.pass-column:last-child{grid-column:1/-1;border-bottom:0}}
@media(max-width:820px){.about-section-head{grid-template-columns:1fr;gap:16px}.engine-inputs{grid-template-columns:1fr 1fr}.engine-inputs span{border-bottom:1px solid var(--line)}.engine-inputs span:last-child{grid-column:1/-1}.role-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.memory-stack article,.memory-stack article:nth-child(n){grid-template-columns:50px minmax(0,1fr);margin:0}.memory-stack article>strong{grid-column:2;text-align:left}}
@media(max-width:820px){.candidate-review{grid-template-columns:1fr}}
@media(max-width:620px){.topbar nav a:not(:last-child){display:none!important}.about-head:after{display:none}.result-collapse{font-size:19px}.about-head,.about-section,.about-source{max-width:100%;overflow:hidden}.about-head>*,.about-section *{min-width:0}.about-head p,.about-section p{overflow-wrap:anywhere}.about-section{padding-right:20px;padding-left:20px}.engine-inputs{grid-template-columns:minmax(0,1fr) minmax(0,1fr)}.engine-flow,.pass-map,.role-grid{grid-template-columns:minmax(0,1fr)}.engine-flow li{min-height:290px;border-right:0;border-bottom:1px solid var(--line)!important}.engine-flow li:last-child{border-bottom:0!important}.engine-flow li:not(:last-child):after,.pass-column:not(:last-child):after{content:"↓";right:auto;top:auto;bottom:-13px;left:24px;width:24px;height:24px;border:1px solid var(--line);background:var(--paper);transform:none;text-align:center}.pass-column,.pass-column:nth-child(n){grid-column:auto;border-right:0;border-bottom:1px solid var(--line)}.pass-column:last-child{border-bottom:0}.role-grid article{min-height:270px}.memory-stack article{grid-template-columns:42px minmax(0,1fr);gap:14px;padding:18px 14px}.memory-index{width:38px;height:38px}.gate-flow li{grid-template-columns:42px minmax(0,1fr);gap:10px}.status-legend{display:grid;grid-template-columns:1fr 1fr}}

/* Settled result / C(12,6,4) */
.featured-result{position:relative;overflow:hidden;margin:0;padding:clamp(34px,4.4vw,58px) clamp(24px,7vw,108px);border-bottom:1px solid var(--line);background:var(--black);color:#f3f0e8;display:grid;grid-template-columns:minmax(0,1.25fr) minmax(250px,.75fr);align-items:center;gap:clamp(24px,4vw,64px)}
.featured-result:before{content:"";position:absolute;inset:0;background:radial-gradient(circle at 88% 12%,rgba(213,178,120,.16),transparent 46%);pointer-events:none}
.featured-result>div{position:relative;min-width:0}
.featured-result .overline{color:#d8c49e}
.featured-result h2{margin:12px 0 10px;font:400 clamp(34px,5vw,60px)/1 var(--serif);letter-spacing:-.04em;color:#fff}
.featured-result h2 b{font-weight:400;color:#e7c98d}
.featured-result p{max-width:620px;margin:0;color:#cdd2cd;font-size:15px}
.featured-cta{position:relative;display:flex;flex-direction:column;align-items:flex-start;gap:12px}
.featured-cta a{padding:12px 18px;border:1px solid #6d6f68;color:#fff;font:650 10px var(--mono);letter-spacing:.1em;text-decoration:none;text-transform:uppercase}
.featured-cta a:hover{border-color:#e7c98d;color:#e7c98d}
.featured-cta small{color:#9aa19a;font:600 9px var(--mono);letter-spacing:.09em;text-transform:uppercase}
.settled-tag{display:inline-flex;align-items:center;gap:8px;padding:5px 10px;border:1px solid #4f7a63;background:rgba(49,92,79,.28);color:#9fd2b8;font:700 9px var(--mono);letter-spacing:.13em;text-transform:uppercase}
.settled-tag:before{content:"";width:7px;height:7px;border-radius:50%;background:#6fbf94}

.result-head{position:relative;overflow:hidden;padding:clamp(64px,8vw,116px) clamp(24px,7vw,108px) clamp(44px,5vw,70px);background:var(--black);color:#f3f0e8;border-bottom:1px solid var(--black)}
.result-head:before{content:"";position:absolute;inset:0;background:radial-gradient(circle at 78% 8%,rgba(213,178,120,.17),transparent 42%),radial-gradient(circle at 8% 92%,rgba(49,92,79,.22),transparent 46%);pointer-events:none}
.result-head>*{position:relative}
.result-head .back{color:#9aa19a;font:650 10px var(--mono);letter-spacing:.1em;text-decoration:none;text-transform:uppercase}
.result-head .back:hover{color:#e7c98d}
.result-badges{display:flex;flex-wrap:wrap;gap:10px;margin:26px 0 0}
.result-badges span{padding:5px 10px;border:1px solid #4b4e49;color:#c9cec9;font:650 9px var(--mono);letter-spacing:.12em;text-transform:uppercase}
.result-eq{margin:22px 0 0;font:400 clamp(52px,10.5vw,142px)/.92 var(--serif);letter-spacing:-.055em;color:#fff}
.result-eq b{font-weight:400;color:#e7c98d}
.result-lede{max-width:840px;margin:26px 0 0;color:#cdd2cd;font-size:clamp(17px,1.8vw,22px);line-height:1.5}
.result-collapse{display:flex;flex-wrap:wrap;align-items:center;gap:clamp(14px,2.4vw,30px);margin-top:38px;padding:22px clamp(16px,2.6vw,30px);border:1px solid #3c3f3a;background:rgba(255,255,255,.03);font:400 clamp(20px,2.5vw,30px) var(--serif);letter-spacing:-.02em}
.collapse-from{color:#9aa19a;text-decoration:line-through;text-decoration-color:rgba(214,110,96,.75);text-decoration-thickness:1px}
.collapse-arrow{color:#7c8079;font:400 22px var(--mono)}
.collapse-to{color:#fff}
.collapse-to b{font-weight:400;color:#e7c98d}
.collapse-note{flex:1 1 220px;min-width:0;color:#8f958e;font:600 9px/1.6 var(--mono);letter-spacing:.09em;text-align:right;text-transform:uppercase}

.result-stats{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:1px;margin:0;border-bottom:1px solid var(--line);background:var(--line)}
.result-stats div{padding:26px clamp(18px,3vw,34px);background:#eeeae0}
.result-stats strong{display:block;color:var(--ink);font:400 clamp(30px,3.6vw,46px)/1 var(--serif);letter-spacing:-.035em}
.result-stats span{display:block;margin-top:9px;color:var(--muted);font:650 9px/1.5 var(--mono);letter-spacing:.1em;text-transform:uppercase}

.result-section{padding:clamp(50px,6.5vw,88px) clamp(24px,7vw,108px);border-bottom:1px solid var(--line)}
.result-section:nth-of-type(even){background:#eeeae0}
.result-section>h2{margin:10px 0 14px;color:var(--ink);font:400 clamp(34px,4.6vw,58px)/1 var(--serif);letter-spacing:-.04em}
.result-section>p{max-width:880px;color:#525c59;font-size:15px}

.claim-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:14px;margin-top:32px}
.claim-card{position:relative;display:flex;flex-direction:column;min-height:340px;padding:26px 26px 24px;border:1px solid var(--line);background:var(--card)}
.claim-card:before{content:"";position:absolute;left:-1px;top:-1px;bottom:-1px;width:4px;background:var(--blue)}
.claim-card.is-hard:before{background:var(--red)}
.claim-card.is-done:before{background:var(--green)}
.claim-card h3{margin:22px 0 12px;color:var(--ink);font:400 clamp(24px,2.4vw,32px)/1.08 var(--serif)}
.claim-card p{margin:0 0 12px;color:#56605e;font-size:13.5px;line-height:1.6}
.claim-card .claim-kind{color:var(--red);font:650 9px var(--mono);letter-spacing:.12em;text-transform:uppercase}
.claim-card>strong{margin-top:auto;padding-top:14px;border-top:1px solid var(--line);color:var(--blue);font:650 8.5px/1.6 var(--mono);letter-spacing:.07em;text-transform:uppercase;overflow-wrap:anywhere}

.chain{margin:30px 0 0;padding:0;border-top:1px solid var(--line);list-style:none;counter-reset:chain}
.chain li{display:grid;grid-template-columns:56px minmax(0,1fr);gap:22px;padding:20px 0;border-bottom:1px solid var(--line)}
.chain li:before{counter-increment:chain;content:counter(chain,decimal-leading-zero);color:var(--red);font:500 20px var(--mono)}
.chain strong{grid-column:2;display:block;color:var(--ink);font:400 21px/1.2 var(--serif)}
.chain p{grid-column:2;max-width:880px;margin:6px 0 0;color:#56605e;font-size:13.5px;line-height:1.6}
.chain code{font-size:11.5px}

.cert-wrap{overflow-x:auto;margin-top:30px;border:1px solid var(--line);background:var(--card)}
.cert-table{width:100%;min-width:760px;border-collapse:collapse;font-family:var(--mono);font-size:11.5px}
.cert-table th{padding:12px 14px;border-bottom:1px solid var(--line);background:#eeeae0;color:var(--muted);font:650 9px var(--mono);letter-spacing:.1em;text-align:left;text-transform:uppercase;white-space:nowrap}
.cert-table td{padding:11px 14px;border-bottom:1px solid #e3ded2;color:#454f4d;vertical-align:top}
.cert-table tr:last-child td{border-bottom:0}
.cert-table td:first-child{color:var(--ink);font-weight:650;white-space:nowrap}
.cert-table .ok{color:var(--green);font-weight:650;white-space:nowrap}
.cert-table .hashcell{color:var(--muted);overflow-wrap:anywhere}
.cert-foot{margin:14px 0 0;color:var(--muted);font:600 9.5px/1.6 var(--mono);letter-spacing:.05em}

.trust-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:14px;margin-top:30px}
.trust-grid article{padding:26px;border:1px solid var(--line);background:var(--card)}
.trust-grid h3{margin:8px 0 14px;color:var(--ink);font:400 26px var(--serif)}
.trust-list{margin:0;padding-left:19px}
.trust-list li{margin:10px 0;color:#525c59;font-size:13.5px;line-height:1.55}
.trust-list li b{color:var(--ink);font-weight:650}
.trust-grid.is-open article{background:#f6ecd7;border-color:#c9aa74}
.trust-grid.is-open .trust-list li{color:#66573f}

.history-line{margin:30px 0 0;padding:0;border-top:1px solid var(--line);list-style:none}
.history-line li{display:grid;grid-template-columns:110px minmax(0,1fr);gap:24px;padding:18px 0;border-bottom:1px solid var(--line)}
.history-line li>span{color:var(--red);font:500 21px var(--mono)}
.history-line strong{display:block;color:var(--ink);font:400 21px var(--serif)}
.history-line p{max-width:880px;margin:5px 0 0;color:#56605e;font-size:13.5px}
.history-line cite{display:block;margin-top:7px;color:var(--muted);font:400 12.5px/1.5 var(--serif)}

.result-note{margin:0;padding:clamp(46px,6vw,80px) clamp(24px,7vw,108px);background:var(--black);color:#f3f0e8}
.result-note .overline{color:#d8c49e}
.result-note h2{margin:12px 0 14px;font:400 clamp(32px,4vw,52px) var(--serif);color:#fff;letter-spacing:-.035em}
.result-note p{max-width:900px;color:#d3d7d2;font-size:15.5px}
.result-note a{color:#e5d6b7}

@media(max-width:1080px){.claim-grid{grid-template-columns:1fr}.result-stats{grid-template-columns:repeat(2,minmax(0,1fr))}.featured-result{grid-template-columns:1fr}.featured-cta{flex-direction:row;align-items:center;justify-content:space-between;width:100%}}
@media(max-width:760px){.trust-grid{grid-template-columns:1fr}.result-collapse{font-size:19px}.collapse-note{text-align:left}.chain li,.history-line li{grid-template-columns:44px minmax(0,1fr);gap:14px}.history-line li{grid-template-columns:1fr}.result-stats{grid-template-columns:1fr}.featured-cta{flex-direction:column;align-items:flex-start}}
