:root {
  color-scheme: dark;
  --bg: #080b10;
  --panel: #0e131a;
  --line: #202a36;
  --line-bright: #334152;
  --text: #eef3f7;
  --muted: #98a5b3;
  --dim: #687583;
  --cyan: #52d6c7;
  --cyan-soft: rgba(82, 214, 199, .1);
  --green: #72df9b;
  --green-soft: rgba(114, 223, 155, .1);
  --red: #ff727f;
  --red-soft: rgba(255, 114, 127, .09);
  --amber: #f4bb64;
  --amber-soft: rgba(244, 187, 100, .09);
  --blue: #7aa8ff;
  --radius: 14px;
  --shell: 1180px;
  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;
  background: radial-gradient(circle at 68% -10%, rgba(82, 214, 199, .08), transparent 30%), linear-gradient(180deg, #090d13 0%, var(--bg) 38%, #090c11 100%);
  color: var(--text);
  line-height: 1.55;
}
a { color: inherit; }
button { font: inherit; }
.shell { width: min(var(--shell), calc(100% - 48px)); margin-inline: auto; }
.shell.narrow { max-width: 850px; }
.section { padding-block: 108px; }
.eyebrow { margin: 0 0 18px; color: var(--cyan); font-size: 11px; font-weight: 750; letter-spacing: .16em; text-transform: uppercase; }
h1, h2, h3, p { margin-top: 0; }
h1, h2 { letter-spacing: -.045em; line-height: 1.02; }
h2 { margin-bottom: 22px; font-size: clamp(38px, 5vw, 64px); }
.lead { margin-bottom: 0; color: var(--muted); font-size: clamp(19px, 2.2vw, 25px); line-height: 1.55; }

.site-header { display: flex; align-items: center; justify-content: space-between; width: min(var(--shell), calc(100% - 48px)); height: 76px; margin-inline: auto; border-bottom: 1px solid var(--line); }
.brand { display: flex; align-items: center; gap: 12px; color: var(--text); text-decoration: none; }
.brand > span:last-child { display: flex; align-items: baseline; gap: 9px; }
.brand b { font-size: 14px; letter-spacing: .08em; }
.brand strong { color: var(--muted); font-size: 12px; font-weight: 500; }
.brand-mark { position: relative; width: 27px; height: 27px; border: 1px solid var(--cyan); border-radius: 50%; }
.brand-mark i { position: absolute; left: 5px; right: 5px; height: 1px; background: var(--cyan); }
.brand-mark i:nth-child(1) { top: 7px; transform: rotate(25deg); }
.brand-mark i:nth-child(2) { top: 12px; }
.brand-mark i:nth-child(3) { top: 17px; transform: rotate(-25deg); }
.oc-labs-link { color: var(--muted); font-size: 11px; letter-spacing: .1em; text-decoration: none; text-transform: uppercase; }
.oc-labs-link:hover { color: var(--text); }
.header-links { display: flex; align-items: center; gap: 20px; }

.hero { display: grid; grid-template-columns: minmax(0, 1.3fr) minmax(340px, .7fr); align-items: center; gap: 72px; min-height: calc(100vh - 76px); padding-block: 86px; }
.hero h1 { margin-bottom: 34px; }
.hero h1 > span { display: block; color: var(--cyan); font-size: clamp(84px, 11vw, 144px); line-height: .8; }
.hero h1 small { display: block; margin-top: 25px; font-size: clamp(34px, 4.2vw, 60px); font-weight: 650; }
.hero-message { max-width: 760px; margin-bottom: 18px; font-size: clamp(22px, 2.5vw, 31px); line-height: 1.35; letter-spacing: -.02em; }
.hero-support { max-width: 720px; margin-bottom: 0; color: var(--muted); font-size: 17px; }
.hero-actions { display: flex; flex-wrap: wrap; gap: 12px; margin-top: 38px; }
.button { display: inline-flex; align-items: center; justify-content: center; gap: 12px; min-height: 48px; padding: 0 20px; border: 1px solid var(--line-bright); border-radius: 7px; color: var(--text); font-size: 12px; font-weight: 750; letter-spacing: .03em; text-decoration: none; }
.button.primary { border-color: var(--cyan); background: var(--cyan); color: #07110f; box-shadow: 0 15px 40px rgba(82, 214, 199, .1); }
.button.secondary { background: rgba(255,255,255,.025); }
.button:hover { transform: translateY(-1px); }
.button.primary:hover { background: #6be0d3; }
.button.secondary:hover { border-color: var(--cyan); }
.button:focus-visible, .brand:focus-visible, .oc-labs-link:focus-visible, .evidence-tabs button:focus-visible { outline: 2px solid var(--cyan); outline-offset: 4px; }

.hero-diagram { position: relative; width: 100%; max-width: 470px; aspect-ratio: 1; margin: auto; }
.orbit { position: absolute; inset: 12%; border: 1px solid var(--line); border-radius: 50%; }
.orbit-two { inset: 27%; border-style: dashed; border-color: var(--line-bright); }
.core-status { position: absolute; inset: 34%; display: flex; flex-direction: column; align-items: center; justify-content: center; border: 1px solid rgba(82,214,199,.42); border-radius: 50%; background: radial-gradient(circle, rgba(82,214,199,.13), var(--panel) 70%); text-align: center; box-shadow: 0 0 70px rgba(82,214,199,.07); }
.core-status small { color: var(--muted); font-size: 9px; letter-spacing: .09em; text-transform: uppercase; }
.core-status strong { margin: 6px 0 2px; color: var(--green); font-size: clamp(17px, 2vw, 24px); letter-spacing: .06em; }
.core-status em { max-width: 110px; color: var(--dim); font-size: 8px; font-style: normal; line-height: 1.3; }
.status-dot { width: 6px; height: 6px; margin-bottom: 8px; border-radius: 50%; background: var(--green); box-shadow: 0 0 12px var(--green); }
.orbit-node { position: absolute; min-width: 88px; padding: 8px 11px; border: 1px solid var(--line-bright); border-radius: 5px; background: rgba(14,19,26,.94); color: var(--muted); font-size: 10px; font-weight: 650; text-align: center; box-shadow: 0 8px 30px rgba(0,0,0,.25); }
.node-objective { top: 4%; left: 38%; }
.node-solution { top: 32%; right: 0; }
.node-verify { right: 7%; bottom: 12%; }
.node-evidence { bottom: 6%; left: 12%; }

.problem-section, .behavior-section { border-block: 1px solid var(--line); background: rgba(14,19,26,.58); text-align: center; }
.section-heading { margin-bottom: 46px; }
.section-heading > p:last-child { max-width: 760px; color: var(--muted); font-size: 18px; }
.split-heading { display: flex; align-items: end; justify-content: space-between; gap: 60px; }
.section-note { max-width: 360px !important; margin-bottom: 8px; font-size: 15px !important; }

.workflow { display: grid; grid-template-columns: repeat(5, 1fr); margin: 0; padding: 0; list-style: none; }
.workflow li { position: relative; min-height: 225px; padding: 28px 22px; border: 1px solid var(--line); border-right: 0; background: linear-gradient(145deg, rgba(255,255,255,.025), transparent); }
.workflow li:first-child { border-radius: var(--radius) 0 0 var(--radius); }
.workflow li:last-child { border-right: 1px solid var(--line); border-radius: 0 var(--radius) var(--radius) 0; }
.workflow li:not(:last-child)::after { content: "→"; position: absolute; z-index: 1; top: 25px; right: -8px; color: var(--cyan); }
.workflow span { display: block; margin-bottom: 48px; color: var(--dim); font-size: 11px; letter-spacing: .12em; }
.workflow strong { display: block; min-height: 48px; margin-bottom: 10px; font-size: 17px; line-height: 1.35; }
.workflow p { margin: 0; color: var(--muted); font-size: 13px; }

.assurance-section { border-block: 1px solid var(--line); background: linear-gradient(180deg, rgba(14,19,26,.86), rgba(8,11,16,.72)); }
.status-grid { display: grid; grid-template-columns: repeat(4, 1fr); gap: 12px; }
.status-grid article { min-height: 190px; padding: 26px; border: 1px solid var(--line); border-radius: var(--radius); background: var(--panel); }
.status-grid article > span { display: grid; place-items: center; width: 31px; height: 31px; margin-bottom: 35px; border: 1px solid currentColor; border-radius: 50%; }
.status-grid strong { display: block; margin-bottom: 9px; font-size: 13px; letter-spacing: .04em; }
.status-grid p { margin: 0; color: var(--muted); font-size: 13px; }
.status-grid .verified { color: var(--green); background: linear-gradient(145deg, var(--green-soft), var(--panel) 55%); }
.status-grid .challenge { color: var(--red); background: linear-gradient(145deg, var(--red-soft), var(--panel) 55%); }
.status-grid .repair { color: var(--amber); background: linear-gradient(145deg, var(--amber-soft), var(--panel) 55%); }
.status-grid .uncertain { color: var(--blue); background: linear-gradient(145deg, rgba(122,168,255,.09), var(--panel) 55%); }

.result-card { display: grid; grid-template-columns: .7fr 1.3fr; overflow: hidden; border: 1px solid rgba(114,223,155,.28); border-radius: var(--radius); background: linear-gradient(145deg, rgba(114,223,155,.08), var(--panel) 48%); }
.result-head { display: flex; flex-direction: column; justify-content: center; padding: 42px; border-right: 1px solid var(--line); }
.result-head small { margin-bottom: 12px; color: var(--muted); font-size: 10px; letter-spacing: .12em; text-transform: uppercase; }
.result-head strong { color: var(--green); font-size: clamp(30px, 4vw, 48px); letter-spacing: -.02em; }
.result-head strong span { display: inline-grid; place-items: center; width: 33px; height: 33px; border: 1px solid var(--green); border-radius: 50%; font-size: 18px; vertical-align: 6px; }
.result-card dl { margin: 0; padding: 25px 38px; }
.result-card dl div { display: flex; align-items: center; justify-content: space-between; gap: 20px; padding: 13px 0; border-bottom: 1px solid var(--line); }
.result-card dl div:last-child { border-bottom: 0; }
.result-card dt { color: var(--muted); font-size: 13px; }
.result-card dd { margin: 0; font-size: 13px; font-weight: 750; }
.evidence-tabs { display: flex; gap: 4px; margin-top: 28px; border-bottom: 1px solid var(--line); }
.evidence-tabs button { padding: 14px 17px; border: 0; border-bottom: 2px solid transparent; background: none; color: var(--muted); cursor: pointer; font-size: 12px; }
.evidence-tabs button[aria-selected="true"] { border-color: var(--cyan); color: var(--text); }
.evidence-panel { min-height: 160px; padding: 30px; border: 1px solid var(--line); border-top: 0; border-radius: 0 0 var(--radius) var(--radius); background: rgba(14,19,26,.6); }
.layer-flow { display: flex; flex-wrap: wrap; align-items: center; gap: 10px; }
.layer-flow span { padding: 9px 12px; border: 1px solid var(--line-bright); border-radius: 5px; color: var(--muted); font-size: 11px; }
.layer-flow i { color: var(--dim); font-style: normal; }
.panel-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 12px; }
.panel-grid div { padding: 16px; border: 1px solid var(--line); border-radius: 7px; }
.panel-grid small { display: block; margin-bottom: 7px; color: var(--dim); text-transform: uppercase; }
.panel-grid strong { font-size: 13px; }
.audit-list { display: grid; gap: 10px; margin: 0; padding: 0; list-style: none; }
.audit-list li { display: grid; grid-template-columns: 100px 1fr auto; gap: 18px; padding-bottom: 10px; border-bottom: 1px solid var(--line); color: var(--muted); font-size: 12px; }
.audit-list li:last-child { border: 0; }
.audit-list b { color: var(--text); }
.audit-list em { color: var(--green); font-style: normal; font-weight: 700; }

.verified-case-section { border-block: 1px solid var(--line); background: linear-gradient(180deg, rgba(14,19,26,.72), rgba(8,11,16,.9)); }
.verified-case-heading { display: grid; grid-template-columns: minmax(0, 1.35fr) minmax(280px, .65fr); align-items: end; gap: 70px; margin-bottom: 46px; }
.verified-case-heading h2 { max-width: 830px; margin-bottom: 0; font-size: clamp(38px, 4.5vw, 60px); }
.case-lead { margin: 0 0 7px; padding-left: 22px; border-left: 1px solid var(--cyan); color: var(--text); font-size: 17px; line-height: 1.55; }
.case-story { display: grid; grid-template-columns: repeat(5, 1fr); gap: 10px; margin: 0; padding: 0; list-style: none; }
.case-story li { position: relative; min-height: 250px; padding: 25px 21px; border: 1px solid var(--line); border-radius: 10px; background: linear-gradient(145deg, rgba(255,255,255,.025), rgba(14,19,26,.68)); }
.case-story li::after { content: "→"; position: absolute; z-index: 1; top: 27px; right: -10px; color: var(--cyan); font-size: 12px; }
.case-story li:last-child::after { display: none; }
.case-story span { display: block; margin-bottom: 42px; color: var(--dim); font-size: 10px; font-weight: 700; letter-spacing: .14em; }
.case-story h3 { min-height: 44px; margin-bottom: 12px; font-size: 16px; line-height: 1.35; }
.case-story p { margin: 0; color: var(--muted); font-size: 12px; line-height: 1.6; }
.case-story code { color: var(--text); font-family: ui-monospace, SFMono-Regular, Consolas, monospace; font-size: .94em; }
.case-story li:nth-child(4), .case-story li:nth-child(5) { border-color: rgba(82,214,199,.28); background: linear-gradient(145deg, rgba(82,214,199,.07), rgba(14,19,26,.76) 60%); }
.case-summary-grid { display: grid; grid-template-columns: 1.15fr .85fr; gap: 16px; margin-top: 16px; }
.case-result-card, .case-integrity { padding: 28px; border: 1px solid var(--line); border-radius: var(--radius); background: rgba(14,19,26,.72); }
.case-result-card { border-color: rgba(82,214,199,.23); }
.case-kicker { margin-bottom: 19px; color: var(--cyan); font-size: 10px; font-weight: 750; letter-spacing: .14em; text-transform: uppercase; }
.case-result-card dl { margin: 0; }
.case-result-card dl div { display: grid; grid-template-columns: 145px 1fr; gap: 20px; padding: 11px 0; border-bottom: 1px solid var(--line); }
.case-result-card dl div:last-child { border-bottom: 0; }
.case-result-card dt { color: var(--muted); font-size: 12px; }
.case-result-card dd { margin: 0; font-size: 12px; font-weight: 680; }
.case-result-card .case-classification { color: var(--cyan); }
.case-result-card .case-fail { color: var(--red); }
.case-result-card .case-pass { color: var(--green); }
.case-integrity ul { display: grid; gap: 11px; margin: 0; padding: 0; list-style: none; }
.case-integrity li { color: var(--muted); font-size: 13px; }
.case-integrity li::before { content: "✓"; margin-right: 10px; color: var(--cyan); font-weight: 750; }
.case-limitation { max-width: 950px; margin: 26px 0 22px; padding-left: 18px; border-left: 1px solid var(--line-bright); color: var(--muted); font-size: 12px; line-height: 1.65; }
.case-limitation strong { font-weight: 560; }
.case-evidence-link { width: auto; }
.behavior-section p { max-width: 800px; margin-inline: auto; color: var(--muted); font-size: 19px; }
blockquote { margin: 40px 0 0; padding: 28px 30px; border: 1px solid rgba(82,214,199,.25); border-radius: var(--radius); background: var(--cyan-soft); color: var(--text); font-size: clamp(20px, 2.5vw, 28px); font-weight: 620; letter-spacing: -.02em; }

.pilot { display: grid; grid-template-columns: 1fr 1fr; gap: 100px; }
.pilot-copy h2 { font-size: clamp(48px, 6vw, 76px); }
.pilot-copy > p:last-child, .pilot-deliverables > p { color: var(--muted); }
.pilot-deliverables ul { display: grid; grid-template-columns: 1fr 1fr; gap: 0 24px; margin: 0 0 30px; padding: 0; list-style: none; }
.pilot-deliverables li { padding: 9px 0; border-bottom: 1px solid var(--line); color: var(--muted); font-size: 13px; }
.pilot-deliverables li::before { content: "✓"; margin-right: 9px; color: var(--cyan); }
.defence-note { margin-bottom: 90px; padding: 26px 28px; border: 1px solid var(--line); border-radius: var(--radius); background: rgba(14,19,26,.55); }
.defence-note p, .defence-note strong { margin: 0; color: var(--muted); font-size: 11px; line-height: 1.6; }
.defence-note strong { display: block; margin-top: 8px; color: var(--dim); font-weight: 550; }
footer { border-top: 1px solid var(--line); }
footer .shell { display: flex; justify-content: space-between; gap: 20px; padding-block: 28px; color: var(--dim); font-size: 10px; letter-spacing: .08em; text-transform: uppercase; }

@media (max-width: 940px) {
  .hero { grid-template-columns: 1fr; min-height: auto; }
  .hero-diagram { max-width: 430px; }
  .workflow { grid-template-columns: 1fr 1fr; gap: 10px; }
  .workflow li, .workflow li:first-child, .workflow li:last-child { min-height: 190px; border: 1px solid var(--line); border-radius: var(--radius); }
  .workflow li:not(:last-child)::after { display: none; }
  .workflow span { margin-bottom: 28px; }
  .status-grid { grid-template-columns: 1fr 1fr; }
  .verified-case-heading, .case-summary-grid { grid-template-columns: 1fr; gap: 26px; }
  .case-lead { max-width: 620px; }
  .case-story { grid-template-columns: repeat(2, 1fr); }
  .case-story li:last-child { grid-column: 1 / -1; }
  .case-story li::after { display: none; }
  .pilot { gap: 55px; }
}

@media (max-width: 640px) {
  .shell, .site-header { width: min(100% - 28px, var(--shell)); }
  .site-header { height: 64px; }
  .brand strong { display: none; }
  .section { padding-block: 76px; }
  h2 { font-size: clamp(36px, 11vw, 48px); }
  .hero { padding-block: 58px 75px; gap: 48px; }
  .hero h1 > span { font-size: clamp(76px, 27vw, 108px); }
  .hero h1 small { margin-top: 19px; font-size: clamp(31px, 10vw, 43px); }
  .hero-message { font-size: 21px; }
  .hero-support { font-size: 15px; }
  .hero-actions { align-items: stretch; flex-direction: column; }
  .button { width: 100%; }
  .hero-diagram { max-width: 360px; }
  .orbit-node { min-width: 76px; padding-inline: 8px; font-size: 9px; }
  .split-heading { align-items: start; flex-direction: column; gap: 10px; }
  .workflow, .status-grid, .pilot, .result-card, .panel-grid { grid-template-columns: 1fr; }
  .result-head { padding: 30px 24px; border-right: 0; border-bottom: 1px solid var(--line); }
  .result-card dl { padding: 18px 24px; }
  .result-head strong { font-size: 31px; }
  .evidence-tabs { overflow-x: auto; }
  .evidence-tabs button { flex: 0 0 auto; }
  .evidence-panel { padding: 22px 18px; }
  .layer-flow i { transform: rotate(90deg); }
  .audit-list li { grid-template-columns: 1fr; gap: 3px; }
  .case-story { grid-template-columns: 1fr; }
  .case-story li, .case-story li:last-child { grid-column: auto; min-height: auto; }
  .case-story span { margin-bottom: 24px; }
  .case-story h3 { min-height: 0; }
  .case-result-card, .case-integrity { padding: 24px 20px; }
  .case-result-card dl div { grid-template-columns: 1fr; gap: 4px; }
  .case-evidence-link { width: 100%; }
  .pilot { gap: 36px; }
  .pilot-deliverables ul { grid-template-columns: 1fr; }
  .defence-note { margin-bottom: 60px; }
  footer .shell { flex-direction: column; gap: 6px; }
}

@media (prefers-reduced-motion: no-preference) {
  .button { transition: transform .18s ease, background .18s ease, border-color .18s ease; }
  .hero-diagram { animation: appear .8s ease both; }
  @keyframes appear { from { opacity: 0; transform: translateY(12px); } }
}