:root{
  font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;
  color:#18313a;
  background:#f7f9f7;
  font-synthesis:none;
}
*{box-sizing:border-box}
html{scroll-behavior:smooth}
body{margin:0}
button,input,textarea{font:inherit}
button{cursor:pointer}
a{color:#126b6b;text-underline-offset:3px}
a:hover{color:#084f50}
.shell{max-width:1520px;margin:auto;padding:0 clamp(18px,4vw,64px)}
.site-header{display:flex;align-items:center;justify-content:space-between;gap:20px;padding:22px 0;border-bottom:1px solid #dbe5e1}
.brand{display:inline-flex;gap:12px;align-items:center;color:#18313a;text-decoration:none}
.brand:hover{color:#18313a}
.brand-mark{display:grid;place-items:center;width:40px;height:40px;border-radius:12px;background:#0c5d61;color:#fff;font-size:22px;font-weight:900;letter-spacing:-.08em}
.brand strong,.brand small{display:block}
.brand strong{font-size:15px;letter-spacing:-.02em}
.brand small{font-size:11px;color:#677d7e;margin-top:2px}
.page-label{font-size:11px;font-weight:800;letter-spacing:.12em;text-transform:uppercase;color:#496665}
.eyebrow{display:inline-block;color:#126b6b;font-size:11px;font-weight:850;letter-spacing:.16em;text-transform:uppercase}
h1,h2,h3,p{margin-top:0}
h1,h2,h3{letter-spacing:-.04em}
p{line-height:1.55;color:#5b7073}
h2{font-size:clamp(27px,3vw,36px);line-height:1.15;margin-bottom:10px}
h3{font-size:17px;line-height:1.2}
.hero{display:grid;grid-template-columns:minmax(0,1.25fr) minmax(350px,.75fr);gap:clamp(32px,6vw,90px);align-items:center;padding:20px 0}
.hero-simple{grid-template-columns:minmax(0,1fr);padding:38px 0 30px}
.hero h1{font-size:clamp(44px,4.8vw,68px);line-height:1.02;max-width:820px;margin:16px 0 20px;color:#142d36}
.hero-simple h1{max-width:980px;font-size:clamp(38px,4.2vw,60px)}
.hero-lead{max-width:680px;font-size:clamp(17px,1.5vw,20px);line-height:1.5;color:#465f63}
.hero-actions{display:flex;align-items:center;flex-wrap:wrap;gap:18px;margin:20px 0 16px}
.primary-link{display:inline-flex;align-items:center;gap:22px;padding:14px 19px;border-radius:9px;background:#0d6465;color:#fff;text-decoration:none;font-size:14px;font-weight:750}
.primary-link:hover{color:#fff;background:#084e50}
.text-link{font-size:14px;font-weight:750;text-decoration:none}
.hero-context{max-width:670px;border-left:3px solid #74c9bd;padding:0 0 0 14px;font-size:13px;color:#607777}
.hero-context strong{color:#234449}
.scenario-card{background:#18343f;color:#fff;border-radius:20px;padding:26px;box-shadow:0 26px 55px #16313b1c}
.scenario-top{display:flex;align-items:center;gap:9px;color:#c9e6df;font-size:12px;font-weight:750}
.scenario-icon{display:grid;place-items:center;width:27px;height:27px;border-radius:7px;background:#6ed5c2;color:#10343b;font-size:20px;line-height:1}
.scenario-type{margin-left:auto;border:1px solid #52747a;border-radius:999px;padding:5px 8px;font-size:10px;font-weight:650}
.scenario-request{font-size:clamp(22px,2.3vw,31px);line-height:1.3;letter-spacing:-.025em;font-weight:700;color:#fff;margin:22px 0 22px}
.scenario-divider{height:1px;background:#557078}
.scenario-outcome{display:flex;gap:11px;padding-top:22px}
.scenario-dot{flex:none;width:9px;height:9px;background:#89e2c8;border-radius:50%;margin-top:6px;box-shadow:0 0 0 5px #89e2c820}
.scenario-outcome strong,.scenario-outcome span{display:block}
.scenario-outcome strong{font-size:14px}
.scenario-outcome span{font-size:12px;color:#bdd2d1;margin-top:5px;line-height:1.45}
.scenario-footnote{color:#93b0b3;font-size:11px;margin:20px 0 0}
.recorded-example,.judge-board,.sandbox-section{scroll-margin-top:25px}
.recorded-example{padding:14px 0 68px}
.section-heading,.judge-heading{display:flex;justify-content:space-between;align-items:flex-end;gap:26px;margin-bottom:24px}
.recorded-example .section-heading{margin-bottom:16px}
.section-heading h2,.judge-heading h2{margin:8px 0}
.section-heading p,.judge-heading p{max-width:760px;margin-bottom:0}
.section-aside{white-space:nowrap;color:#6b8181;font-size:11px;font-weight:800;letter-spacing:.06em;text-transform:uppercase;margin-bottom:5px}
.role-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:14px}
.role-card{display:flex;flex-direction:column;background:#fff;border:1px solid #dbe6e3;border-radius:15px;padding:22px;min-height:295px;box-shadow:0 7px 24px #1f423906}
.role-top{display:flex;align-items:center;justify-content:space-between;gap:8px}
.role-number{font-size:12px;font-weight:850;color:#4d8c87}
.role-status{background:#e6f3ed;color:#1b6356;border-radius:999px;padding:5px 9px;font-size:10px;font-weight:800;white-space:nowrap}
.role-card.events .role-status{background:#e9f0f6;color:#35637d}
.role-card.buyer .role-status{background:#f1ecf7;color:#6b5188}
.role-card.treasurer .role-status{background:#f9efe4;color:#835c2b}
.role-card h3{font-size:23px;margin:24px 0 12px}
.role-card p{font-size:13px;line-height:1.55;margin-bottom:22px}
.role-card a{font-weight:650}
.role-result{display:flex;flex-direction:column;gap:5px;border-top:1px solid #e4ece8;padding-top:14px;margin-top:auto}
.role-result span{font-size:10px;letter-spacing:.08em;text-transform:uppercase;font-weight:800;color:#718886}
.role-result strong{font-size:12px;line-height:1.4}
.flow-boundary{background:#eef5f1;border-left:3px solid #6dbd9b;border-radius:0 8px 8px 0;padding:14px 18px;margin:16px 0 0;font-size:13px}
.flow-boundary strong{color:#244c45}
.judge-board{background:#edf3f0;border:1px solid #e0eae4;border-radius:22px;padding:clamp(22px,3vw,36px);margin-bottom:64px}
.activity-connection{display:inline-flex;align-items:center;border:1px solid #c7ddd3;background:#e1f0e9;color:#28634c;border-radius:999px;padding:8px 11px;font-size:11px;white-space:nowrap}
.project-memory{background:#fff;border:1px solid #cbded6;border-radius:16px;padding:22px;margin-bottom:16px}
.project-memory-head{display:flex;align-items:center;justify-content:space-between;gap:14px;font-size:22px;font-weight:800;letter-spacing:-.03em}
.project-memory-meta{font-size:12px;margin:7px 0 16px;color:#6b8081}
.project-facts{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:10px}
.project-fact{border:1px solid #e1eae5;border-radius:10px;background:#f8fbf9;padding:15px;min-height:150px}
.project-fact .fact-label{display:block;color:#32736b;text-transform:uppercase;letter-spacing:.08em;font-size:10px;font-weight:850;margin-bottom:8px}
.project-fact strong{display:block;font-size:15px;line-height:1.3}
.project-fact p{font-size:12px;margin:9px 0 5px}
.memory-boundary{font-size:11px;margin:14px 0 0;color:#697f7e}
.judge-grid{display:grid;grid-template-columns:minmax(0,1.3fr) minmax(310px,.7fr);gap:16px}
.judge-stack{display:grid;gap:16px;align-content:start}
.card{background:#fff;border:1px solid #dbe6e3;border-radius:14px;padding:22px}
.card h3{margin:0 0 14px}
.card-head{display:flex;justify-content:space-between;align-items:center;gap:12px}
.card-head span{color:#718587;font-size:11px}
.judge-timeline{max-height:700px;overflow:auto;padding-right:5px}
.empty-view{color:#697f82;font-size:13px}
.judge-event{padding:14px 0 15px 14px;border-left:2px solid #4fb8a4;border-bottom:1px solid #e3ece8}
.judge-event:last-child{border-bottom:0}
.judge-event.queued,.judge-event.proposed,.judge-event.reserved{border-left-color:#99aab6}
.judge-event.blocked,.judge-event.failed,.judge-event.held{border-left-color:#c99165}
.judge-event.contained{border-left-color:#aa8bc3}
.judge-event-top,.judge-event-title,.judge-run-head{display:flex;justify-content:space-between;align-items:center;gap:10px}
.judge-event-top strong{font-size:11px;color:#277268;text-transform:uppercase;letter-spacing:.04em}
.judge-event time,.judge-run time{font-size:11px;color:#809194}
.judge-event-title{font-size:14px;font-weight:700;margin-top:6px}
.judge-proof{font-size:12px;margin:5px 0 0;color:#687d80}
.proof-status{display:inline-flex;align-items:center;border:1px solid #bbdac7;background:#e9f4eb;color:#306548;border-radius:999px;font-size:10px;font-weight:800;padding:4px 8px;white-space:nowrap}
.proof-status.queued,.proof-status.proposed,.proof-status.reserved,.proof-status.running{background:#ecf1f5;border-color:#c7d5e0;color:#4e6e7c}
.proof-status.waiting_approval,.proof-status.held,.proof-status.blocked,.proof-status.failed,.proof-status.rejected{background:#faf0e8;border-color:#ebc5aa;color:#8c5734}
.proof-status.contained{background:#f3ecf9;border-color:#d9c5e9;color:#79568e}
.proof-status.simulated{background:#fbf4e5;border-color:#e9d6aa;color:#80692d}
.proof-status.submitted{background:#e8f0f7;border-color:#bcd1e3;color:#37617e}
.judge-run{border-bottom:1px solid #e1eae6;padding:10px 0 13px}
.judge-run:last-child{border-bottom:0}
.judge-run-head strong{font-size:13px}
.judge-steps{display:flex;flex-wrap:wrap;gap:5px;margin-top:8px}
.judge-step{background:#eef4f2;border:1px solid #dce9e5;border-radius:6px;padding:5px 7px;color:#587073;font-size:10px}
.spend-row{display:grid;gap:4px;padding:12px 0;border-bottom:1px solid #e1eae6}
.spend-row:last-child{border-bottom:0}
.spend-row strong{font-size:12px}
.spend-value{font-size:16px;font-weight:750;color:#244d4a}
.spend-row small{color:#6d8081;line-height:1.45}
.estimate-row .spend-value{color:#655181}
.real-spend .spend-value{color:#866442}
.source-link{color:#326c77;font-size:11px;font-weight:750}
.budget-decision-amount{font-size:26px;font-weight:850;letter-spacing:-.04em;color:#234e4b}
.budget-decision-label{font-size:12px;margin:6px 0 12px}
.budget-decision-next{font-size:13px;color:#2e4f51;font-weight:650;margin:0 0 12px}
.budget-decision-status{font-size:11px;color:#708486;border-top:1px solid #e4ece8;padding-top:10px;margin:0}
.model-count{font-size:28px;font-weight:850;color:#246962;letter-spacing:-.04em}
.judge-model p{font-size:12px;margin:6px 0 0}
.judge-model .model-cost{color:#846637}
.technical-archive{margin-top:18px;border-top:1px solid #d3e2da;padding-top:16px}
.technical-archive summary{cursor:pointer;color:#355e5c;font-size:13px;font-weight:750}
.technical-archive>p{font-size:12px;margin:10px 0}
.archive-grid{display:grid;grid-template-columns:minmax(0,1.3fr) minmax(310px,.7fr);gap:16px;margin-top:14px}
.sandbox-section{background:#eaf0f2;border:1px solid #d6e2e5;border-radius:22px;padding:clamp(22px,3vw,36px);margin-bottom:40px}
.historical-containment{margin-bottom:16px;border-color:#d8dce7;background:#fafbfe}
.historical-containment .card-head{margin-bottom:8px}
.historical-proof-head{display:flex;align-items:center;gap:10px;flex-wrap:wrap;margin-bottom:7px}
.historical-proof-head strong{font-size:17px}
.historical-containment time{color:#74848e;font-size:11px}
.historical-source{font-size:11px;color:#829096;margin:8px 0 0;overflow-wrap:anywhere}
.historical-load{border:1px solid #c5b5d1;background:#f3edf8;color:#694d7f;border-radius:8px;padding:9px 12px;margin-top:12px;font-size:12px;font-weight:750}
.historical-load:hover{background:#e9def2}
.sandbox-grid{display:grid;grid-template-columns:minmax(280px,.8fr) minmax(0,1.2fr);gap:16px;align-items:start}
.sandbox-grid h3{font-size:19px}
.controls,.lab{display:grid;gap:16px;align-content:start}
.controls p,.lab p{font-size:13px}
.auth{display:grid;gap:9px}
.auth label,.lab label,.code-label{font-size:12px;font-weight:750;color:#526d72}
.auth input,.lab textarea{width:100%;border:1px solid #bfcfcc;border-radius:8px;background:#fbfdfc;color:#1b3239;padding:12px;outline:none}
.auth input:focus,.lab textarea:focus{border-color:#2a8d80;box-shadow:0 0 0 3px #7bccb330}
.auth button,.actions button{border:1px solid #92aaa5;border-radius:8px;background:#fff;color:#21494b;padding:10px 13px;font-weight:750}
.auth button:hover,.actions button:hover{background:#eef7f3}
.lab textarea{min-height:116px;resize:vertical}
.lab>button{justify-self:start;border:1px solid #0d6465;border-radius:8px;background:#0d6465;color:#fff;padding:11px 16px;font-weight:750}
.lab>button:hover{background:#084e50}
.lab-examples{display:flex;gap:8px;align-items:center;flex-wrap:wrap;color:#75898b;font-size:12px}
.lab-examples button{border:1px solid #bfd4d0;border-radius:999px;background:#f3f8f6;color:#2c6260;padding:6px 10px;font-size:11px;font-weight:750}
.lab-examples button:hover{background:#e8f5ef}
#feedback,#code-status{font-size:12px;min-height:16px;margin:0}
.mode{justify-self:start;display:inline-flex;border:1px solid #cadbd5;background:#edf5f0;color:#3b6f5d;border-radius:999px;padding:7px 10px;font-size:11px;font-weight:750}
.actions{display:flex;gap:8px;flex-wrap:wrap}
.actions .attack{background:#fff0df;color:#76502a;border-color:#e9caaa}
.code-attempt{border:1px solid #d8e3e1;border-radius:10px;padding:15px;margin-top:12px;background:#f9fcfb}
.code-attempt h3{font-size:13px;margin-bottom:12px}
.code-attempt pre{white-space:pre-wrap;overflow-wrap:anywhere;max-height:300px;overflow:auto;background:#142c36;color:#e6f3f0;border-radius:8px;padding:12px;font-size:12px}
.code-attempt .error-output{color:#ffe0cf}
.operator-grid{display:grid;grid-template-columns:minmax(0,1.3fr) minmax(350px,.9fr);gap:20px}
.stack{display:grid;gap:20px;align-content:start}
.timeline{max-height:680px;overflow:auto;padding-top:6px}
.event{border-left:2px solid #61b6a5;padding:4px 0 17px 15px;margin-left:4px}
.event.error{border-color:#cb6f6f}
.event.warning{border-color:#c49356}
.event .row{display:flex;justify-content:space-between;gap:10px}
.event strong{font-size:13px}
.event time{font-size:11px;color:#788a8c}
.event .action{font-size:14px;margin-top:4px}
.event .detail{font-size:12px;color:#6d8183;overflow-wrap:anywhere;margin-top:3px}
.budget{padding:12px 0;border-bottom:1px solid #e1eae6}
.budget:last-child,.payment:last-child{border-bottom:0}
.budget .label,.payment{display:flex;justify-content:space-between;gap:10px}
.budget small{color:#78908f}
.bar{height:7px;border-radius:7px;background:#e1eae6;margin:9px 0 4px;overflow:hidden}
.bar span{display:block;height:100%;background:#69bcaa;border-radius:7px}
.budget .numbers{font-size:12px;color:#607779}
.permission{display:grid;grid-template-columns:90px repeat(4,1fr);gap:5px;padding:8px 0;border-bottom:1px solid #e1eae6;font-size:11px}
.permission span:not(:first-child){text-align:center}
.permission.head{color:#718787;font-weight:700}
.yes{color:#2b9879}
.no{color:#92a3a2}
.payment{width:100%;background:transparent;color:#254047;border:0;border-bottom:1px solid #e1eae6;padding:10px 0;text-align:left}
.payment:hover{color:#176d62}
.payment small{display:block;color:#819393}
.status{font-size:11px;font-weight:700}
.status.blocked{color:#bd6961}
.status.simulated{color:#ba8040}
.status.submitted{color:#318a79}
.invite-link{color:#126b6b;text-decoration:underline}
.demo-only .actions,.demo-only .operator-grid{display:none}
dialog{background:#fff;color:#18313a;border:1px solid #a6bab7;border-radius:14px;max-width:560px;width:90%;padding:24px}
dialog::backdrop{background:#0a222bc7}
.close{float:right;background:transparent;border:0;color:#24454c;font-size:26px}
#receipt-body dl{display:grid;grid-template-columns:145px 1fr;gap:10px;font-size:13px}
#receipt-body dt{color:#718787}
#receipt-body dd{margin:0;overflow-wrap:anywhere}
footer{border-top:1px solid #dce6e1;padding:28px 0 36px;color:#77908d;font-size:12px}
@media(max-width:1150px){.role-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.role-card{min-height:250px}}
@media(max-width:900px){
  .hero{grid-template-columns:1fr;padding:52px 0;gap:28px}
  .scenario-card{max-width:660px}
  .judge-grid,.archive-grid,.sandbox-grid,.operator-grid{grid-template-columns:1fr}
  .project-facts{grid-template-columns:repeat(2,minmax(0,1fr))}
  .section-heading,.judge-heading{align-items:flex-start}
  .section-aside{display:none}
}
@media(max-width:600px){
  .shell{padding:0 16px}
  .site-header{padding:16px 0}
  .page-label{font-size:9px}
  .brand small{display:none}
  .hero{padding:45px 0}
  .hero h1{font-size:44px}
  .hero-actions{align-items:flex-start;flex-direction:column;gap:18px}
  .scenario-card{padding:21px}
  .role-grid{grid-template-columns:1fr}
  .role-card{min-height:0}
  .recorded-example{padding-bottom:48px}
  .judge-board,.sandbox-section{padding:18px;margin-left:-4px;margin-right:-4px}
  .project-facts{grid-template-columns:1fr}
  .project-memory-head{align-items:flex-start;flex-direction:column}
  .judge-event-title,.judge-event-top,.judge-run-head{align-items:flex-start;flex-direction:column;gap:6px}
  .judge-event .proof-status{align-self:flex-start}
  .activity-connection{white-space:normal;margin-top:12px}
  .section-heading,.judge-heading{display:block}
  .permission{grid-template-columns:68px repeat(4,1fr);font-size:10px}
}