:root {
  color-scheme: dark;
  --ink: #f6f4eb;
  --muted: #a6a59e;
  --line: #30312e;
  --panel: #171816;
  --panel-2: #1e201d;
  --honey: #f5c84c;
  --honey-soft: #ffe49a;
  --black: #0d0e0c;
  font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}
* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body { margin: 0; color: var(--ink); background: var(--black); min-width: 320px; }
button, input, textarea, select { font: inherit; }
a { color: inherit; }
.site-header { height: 72px; padding: 0 clamp(20px, 5vw, 72px); display: flex; align-items: center; justify-content: space-between; border-bottom: 1px solid var(--line); position: sticky; top: 0; z-index: 10; background: color-mix(in srgb, var(--black) 92%, transparent); backdrop-filter: blur(12px); }
.brand { display: flex; gap: 10px; align-items: center; font-size: 13px; font-weight: 800; letter-spacing: .15em; text-decoration: none; }
.brand-mark { display: grid; place-items: center; width: 30px; height: 30px; color: var(--black); background: var(--honey); clip-path: polygon(25% 7%,75% 7%,100% 50%,75% 93%,25% 93%,0 50%); }
nav { display: flex; gap: 24px; }
nav a { color: var(--muted); font-size: 13px; text-decoration: none; }
nav a:hover { color: var(--ink); }
main { overflow: hidden; }
.hero { max-width: 1000px; margin: 0 auto; padding: clamp(76px, 11vw, 142px) 24px 70px; text-align: center; position: relative; }
.hero::before { content: ""; position: absolute; width: 480px; height: 480px; top: -240px; left: 50%; transform: translateX(-50%); background: radial-gradient(circle, rgba(245,200,76,.15), transparent 68%); pointer-events: none; }
.eyebrow { color: var(--honey); font-size: 11px; font-weight: 800; letter-spacing: .22em; }
h1 { margin: 20px 0 24px; font-size: clamp(44px, 8vw, 88px); line-height: .98; letter-spacing: -.055em; }
h1 span { color: var(--honey); }
.lede { max-width: 720px; margin: 0 auto; color: var(--muted); font-size: clamp(17px, 2vw, 21px); line-height: 1.65; }
.runtime-pill { display: inline-flex; align-items: center; gap: 9px; margin-top: 28px; padding: 9px 14px; border: 1px solid var(--line); border-radius: 999px; color: var(--muted); font-size: 12px; background: rgba(23,24,22,.8); }
#runtime-dot { width: 8px; height: 8px; border-radius: 50%; background: #d79921; box-shadow: 0 0 14px rgba(215,153,33,.55); }
#runtime-dot.ready { background: #72d572; box-shadow: 0 0 14px rgba(114,213,114,.65); }
#runtime-dot.error { background: #f36d6d; }
.proof-strip { width: min(1180px, calc(100% - 32px)); margin: 0 auto 24px; display: grid; grid-template-columns: 1fr auto 1fr auto 1fr; gap: 18px; align-items: center; }
.proof-strip > div { color: var(--honey); font-size: 24px; }
.proof-strip article { min-height: 154px; padding: 22px; border: 1px solid var(--line); background: #121310; }
.proof-strip article span { display: block; margin-bottom: 12px; color: var(--honey); font: 10px ui-monospace, SFMono-Regular, Consolas, monospace; letter-spacing: .16em; }
.proof-strip article strong { display: block; font-size: 17px; }
.proof-strip article p { margin: 9px 0 0; color: var(--muted); font-size: 12px; line-height: 1.55; }
.workspace { width: min(1180px, calc(100% - 32px)); margin: 0 auto 92px; display: grid; gap: 24px; }
.mission-panel, .results { padding: clamp(22px, 4vw, 42px); border: 1px solid var(--line); background: linear-gradient(145deg, rgba(30,32,29,.94), rgba(20,21,19,.98)); box-shadow: 0 24px 90px rgba(0,0,0,.28); }
.section-heading { display: flex; justify-content: space-between; align-items: flex-start; gap: 24px; margin-bottom: 30px; }
.section-heading > div { display: flex; align-items: center; gap: 14px; }
.section-heading h2 { margin: 0; font-size: clamp(23px, 3vw, 32px); letter-spacing: -.035em; }
.section-heading p { margin: 4px 0 0; color: var(--muted); font-size: 12px; }
.step { color: var(--honey); font-family: ui-monospace, SFMono-Regular, Consolas, monospace; font-size: 12px; }
.field { display: flex; flex-direction: column; gap: 8px; min-width: 0; }
.field > span { font-size: 12px; font-weight: 750; letter-spacing: .04em; }
.field small { color: var(--muted); font-size: 11px; }
textarea, input, select { width: 100%; color: var(--ink); background: #10110f; border: 1px solid #393a36; border-radius: 4px; outline: none; }
textarea, input[type="number"], select { padding: 13px 14px; }
textarea { resize: vertical; line-height: 1.5; }
textarea:focus, input:focus, select:focus { border-color: var(--honey); box-shadow: 0 0 0 3px rgba(245,200,76,.10); }
.three-column { display: grid; grid-template-columns: repeat(3, 1fr); gap: 14px; margin-top: 14px; }
.controls-grid { display: grid; grid-template-columns: 1.2fr 1fr 1fr 1fr 1fr; gap: 14px; margin-top: 22px; padding-top: 22px; border-top: 1px solid var(--line); }
.range-row { min-height: 45px; display: flex; align-items: center; gap: 12px; }
input[type="range"] { accent-color: var(--honey); }
output { min-width: 36px; color: var(--honey-soft); font-size: 12px; text-align: right; }
.examples { display: flex; gap: 8px; align-items: center; flex-wrap: wrap; margin-top: 22px; }
.examples span { color: var(--muted); margin-right: 4px; font-size: 11px; text-transform: uppercase; letter-spacing: .12em; }
.examples button, .code-heading button { border: 1px solid var(--line); color: var(--muted); background: transparent; padding: 7px 10px; border-radius: 3px; cursor: pointer; }
.examples button:hover, .code-heading button:hover { border-color: var(--honey); color: var(--ink); }
.primary-button { width: 100%; margin-top: 24px; padding: 16px 20px; display: flex; justify-content: center; gap: 12px; border: 0; border-radius: 4px; color: #17130a; background: var(--honey); font-weight: 850; cursor: pointer; }
.primary-button:hover:not(:disabled) { background: #ffd866; transform: translateY(-1px); }
.primary-button:disabled { opacity: .45; cursor: wait; }
.error { min-height: 20px; margin: 10px 0 -10px; color: #ff9090; font-size: 13px; }
.queen-card { padding: clamp(22px, 4vw, 34px); border: 1px solid rgba(245,200,76,.48); background: radial-gradient(circle at top right, rgba(245,200,76,.12), transparent 38%), #11120f; }
.queen-card-heading { display: flex; align-items: center; gap: 14px; }
.queen-card-heading small { color: var(--honey); font: 9px ui-monospace, SFMono-Regular, Consolas, monospace; letter-spacing: .14em; }
.queen-card-heading h3 { margin: 3px 0 0; font-size: 22px; }
.queen-mark { display: grid; place-items: center; width: 48px; height: 48px; flex: 0 0 auto; color: #17130a; background: var(--honey); font-weight: 900; clip-path: polygon(25% 7%,75% 7%,100% 50%,75% 93%,25% 93%,0 50%); }
.queen-card blockquote { margin: 24px 0 10px; padding: 0; border: 0; color: var(--ink); font-size: clamp(21px, 3vw, 30px); font-weight: 760; line-height: 1.25; }
.queen-rule { margin: 0; color: var(--muted); font-size: 12px; }
.queen-constraints { display: grid; grid-template-columns: repeat(3, 1fr); gap: 12px; margin-top: 24px; }
.queen-constraints > div { padding: 15px; border: 1px solid var(--line); background: rgba(0,0,0,.22); }
.queen-constraints span, .contract-label { color: var(--honey); font: 9px ui-monospace, SFMono-Regular, Consolas, monospace; letter-spacing: .14em; }
.queen-constraints ul { margin: 10px 0 0; padding-left: 17px; color: #d8d7cf; font-size: 12px; line-height: 1.55; }
.queen-constraints li + li { margin-top: 5px; }
.queen-constraints .empty { color: var(--muted); font-style: italic; }
.decomposition-label { display: flex; align-items: baseline; gap: 14px; margin: 30px 0 14px; }
.decomposition-label span { color: var(--honey); font: 10px ui-monospace, SFMono-Regular, Consolas, monospace; letter-spacing: .14em; }
.decomposition-label strong { font-size: 13px; font-weight: 600; }
.assignment-grid { display: grid; grid-template-columns: repeat(2, 1fr); gap: 14px; margin-bottom: 26px; }
.assignment-card { display: flex; flex-direction: column; min-width: 0; padding: 22px; border: 1px solid var(--line); border-top: 3px solid #777; background: #11120f; }
.assignment-card[data-role="scout"], .assignment-card[data-role="forager"] { border-top-color: #63b3ed; }
.assignment-card[data-role="architect"] { border-top-color: #b794f4; }
.assignment-card[data-role="builder"] { border-top-color: var(--honey); }
.assignment-card[data-role="guard"] { border-top-color: #68d391; }
.assignment-card[data-role="keeper"] { border-top-color: #a0aec0; }
.assignment-head { display: flex; justify-content: space-between; align-items: flex-start; gap: 12px; }
.assignment-wave { color: var(--muted); font: 9px ui-monospace, SFMono-Regular, Consolas, monospace; letter-spacing: .14em; }
.assignment-head h3 { margin: 5px 0 0; font-size: 21px; }
.role-pill { padding: 5px 7px; border: 1px solid var(--line); color: var(--muted); font: 8px ui-monospace, SFMono-Regular, Consolas, monospace; letter-spacing: .1em; }
.assignment-task { min-height: 48px; margin: 18px 0 7px; color: var(--honey-soft); font-weight: 760; line-height: 1.45; }
.assignment-purpose { min-height: 54px; margin: 0; color: var(--muted); font-size: 12px; line-height: 1.55; }
.worker-contract { margin-top: 17px; padding: 15px; border-left: 2px solid var(--honey); background: rgba(245,200,76,.045); }
.worker-contract ol { margin: 10px 0 0; padding-left: 19px; color: #deddd5; font-size: 12px; line-height: 1.55; }
.worker-contract li + li { margin-top: 6px; }
.deliverable { margin: 16px 0; }
.deliverable p { margin: 7px 0 0; color: #d8d7cf; font-size: 12px; line-height: 1.5; }
.assignment-meta { display: flex; gap: 7px; flex-wrap: wrap; margin-top: auto; padding-top: 14px; border-top: 1px solid var(--line); }
.assignment-meta span { padding: 5px 7px; border-radius: 2px; background: #1d1f1b; color: var(--muted); font: 9px ui-monospace, SFMono-Regular, Consolas, monospace; }
.assignment-meta .tier { color: var(--honey-soft); }
.metrics { display: grid; grid-template-columns: repeat(4, 1fr); gap: 12px; }
.metrics article { border: 1px solid var(--line); background: #11120f; padding: 18px; }
.metrics strong { display: block; color: var(--honey); font-family: ui-monospace, SFMono-Regular, Consolas, monospace; font-size: clamp(22px, 3vw, 32px); }
.metrics span { color: var(--muted); font-size: 11px; text-transform: uppercase; letter-spacing: .1em; }
.wave-card { display: flex; align-items: center; gap: 24px; margin: 16px 0 24px; padding: 17px 19px; border-left: 3px solid var(--honey); background: rgba(245,200,76,.06); }
.wave-card span { color: var(--muted); font-size: 10px; letter-spacing: .14em; }
.wave-card strong { font-family: ui-monospace, SFMono-Regular, Consolas, monospace; font-size: 13px; overflow-wrap: anywhere; }
.output-proof { display: grid; grid-template-columns: .7fr 1.3fr; gap: 20px; margin: 0 0 24px; padding: 18px; border: 1px dashed #4b4d47; color: var(--muted); font-size: 12px; line-height: 1.55; }
.output-proof strong { color: var(--ink); }
.tabs { display: flex; gap: 4px; overflow-x: auto; border-bottom: 1px solid var(--line); }
.tab { white-space: nowrap; padding: 12px 14px; border: 0; border-bottom: 2px solid transparent; color: var(--muted); background: transparent; cursor: pointer; }
.tab.active { color: var(--honey); border-bottom-color: var(--honey); }
.tab-panel { display: none; padding-top: 18px; }
.tab-panel.active { display: block; }
.table-wrap { overflow-x: auto; }
table { width: 100%; border-collapse: collapse; font-size: 13px; }
th { color: var(--muted); text-align: left; text-transform: uppercase; font-size: 9px; letter-spacing: .14em; }
th, td { padding: 13px 12px; border-bottom: 1px solid var(--line); }
td:first-child, td:nth-child(3), td:nth-child(4) { font-family: ui-monospace, SFMono-Regular, Consolas, monospace; }
.tier { color: var(--honey-soft); }
.code-heading { display: flex; align-items: center; justify-content: space-between; margin: 18px 0 8px; color: var(--muted); font-size: 11px; text-transform: uppercase; letter-spacing: .1em; }
pre { max-height: 480px; overflow: auto; margin: 0; padding: 18px; border: 1px solid var(--line); background: #0b0c0a; color: #d9d8d0; font: 12px/1.6 ui-monospace, SFMono-Regular, Consolas, monospace; white-space: pre-wrap; word-break: break-word; }
.fine-print { color: var(--muted); font-size: 11px; }
.security-section { width: min(1180px, calc(100% - 32px)); margin: 0 auto 100px; padding: clamp(28px, 5vw, 54px); border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); display: grid; grid-template-columns: 1fr 1fr; gap: 70px; }
.security-section h2 { margin: 12px 0; font-size: clamp(30px, 4vw, 50px); line-height: 1.05; letter-spacing: -.045em; }
.security-section ul { margin: 0; padding: 0; list-style: none; }
.security-section li { display: flex; gap: 15px; padding: 15px 0; border-bottom: 1px solid var(--line); color: #d2d1ca; }
.security-section li span { color: var(--honey); font: 11px ui-monospace, SFMono-Regular, Consolas, monospace; }
footer { padding: 26px clamp(20px, 5vw, 72px); border-top: 1px solid var(--line); display: flex; justify-content: space-between; color: var(--muted); font-size: 12px; }
footer a { text-decoration: none; }
@media (max-width: 860px) { .proof-strip { grid-template-columns: 1fr; } .proof-strip > div { display: none; } .three-column, .controls-grid, .queen-constraints { grid-template-columns: 1fr 1fr; } .assignment-grid { grid-template-columns: 1fr; } .security-section { grid-template-columns: 1fr; gap: 24px; } }
@media (max-width: 600px) { nav { display: none; } .hero { text-align: left; } .three-column, .controls-grid, .queen-constraints, .metrics, .output-proof { grid-template-columns: 1fr; } .section-heading, .decomposition-label { flex-direction: column; } .wave-card { align-items: flex-start; flex-direction: column; gap: 8px; } footer { flex-direction: column; gap: 10px; } }