@layer reset, base, layout, components, responsive;
@layer reset {
  *, *::before, *::after { box-sizing: border-box; }
  body, h1, h2, h3, p, figure { margin: 0; }
  button, input { font: inherit; }
  button, a { -webkit-tap-highlight-color: transparent; }
  img { max-width: 100%; height: auto; display: block; }
  [hidden] { display: none !important; }
}
@layer base {
  :root { color-scheme: dark; --bg: #0b1015; --panel: #10171e; --elevated: #151e26; --line: #29343e; --text: #e4eaf0; --muted: #a0adba; --green: #a4ebbc; --cyan: #9ad6e6; --amber: #f0ca84; --red: #ffa0a7; --mono: 'SFMono-Regular', Consolas, 'Liberation Mono', monospace; }
  html { scroll-behavior: smooth; scroll-padding-top: 100px; }
  body { background: var(--bg); color: var(--text); font: 15px/1.65 -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif; -webkit-font-smoothing: antialiased; }
  ::selection { background: #3c6759; color: #fff; }
  a { color: inherit; text-decoration: none; text-underline-offset: 4px; }
  a:hover { color: var(--green); }
  button { color: inherit; cursor: pointer; }
  :focus-visible { outline: 2px solid var(--cyan); outline-offset: 5px; border-radius: 3px; }
  h1, h2, h3 { font-weight: 570; line-height: 1.13; letter-spacing: -.045em; }
  h1 { font-size: clamp(48px, 5.5vw, 78px); font-weight: 610; }
  h2 { font-size: clamp(32px, 3.5vw, 46px); }
  h3 { font-size: 23px; letter-spacing: -.028em; }
  p { text-wrap: pretty; }
  code { font-family: var(--mono); font-size: .9em; }
  pre { font: 12px/1.8 var(--mono); }
  summary { cursor: pointer; }
  .mono { font-family: var(--mono); }
  .small { font-size: 12px; line-height: 1.6; }
  .muted { color: var(--muted); }
  .green { color: var(--green); }.cyan { color: var(--cyan); }.amber { color: var(--amber); }.red { color: var(--red); }
  .sr-only { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip: rect(0,0,0,0); white-space: nowrap; border: 0; }
  .skip-link { position: fixed; top: -80px; left: 16px; z-index: 100; background: var(--green); color: var(--bg); padding: 10px 18px; }
  .skip-link:focus { top: 12px; }
  .eyebrow { font: 11px/1.6 var(--mono); letter-spacing: .13em; color: var(--cyan); display: flex; align-items: center; gap: 10px; margin-bottom: 22px; }
  .text-link { font-size: 13px; font-weight: 550; color: var(--cyan); display: inline-flex; align-items: center; gap: 12px; }
  .text-link:hover { text-decoration: underline; }
}
@layer layout {
  .section-wrap { width: min(1184px, calc(100% - 96px)); margin-inline: auto; padding-block: 88px; }
  .section-heading { display: flex; justify-content: space-between; align-items: end; gap: 48px; margin-bottom: 36px; }
  .section-heading > p { color: var(--muted); max-width: 350px; font-size: 14px; }
  .section-heading.compact { margin-bottom: 40px; }
  .hero-grid { display: grid; grid-template-columns: 1.16fr 1fr; align-items: center; gap: 62px; }
  .hero-grid > *, .architecture-body > *, .comparison-grid > *, .bob-grid > *, .explorer-content > * { min-width: 0; }
  .question-grid { display: grid; grid-template-columns: repeat(3, 1fr); }
  .architecture-body { display: grid; grid-template-columns: 1.3fr 1fr; }
  .case-one { display: grid; grid-template-columns: .85fr 1.15fr; gap: 64px; align-items: center; }
  .comparison-grid { display: grid; grid-template-columns: .9fr 1.1fr; gap: 72px; }
  .bob-grid { display: grid; grid-template-columns: 1.25fr 1fr; gap: 80px; }
}
@layer components {
  .site-header { position: sticky; top: 0; z-index: 20; background: #0b1015f2; border-bottom: 1px solid #222c35; backdrop-filter: blur(14px); }
  .nav-wrap { max-width: 1280px; padding: 19px 48px; margin-inline: auto; display: flex; align-items: center; justify-content: space-between; gap: 30px; }
  .brand { display: inline-flex; align-items: center; gap: 10px; font-size: 19px; font-weight: 650; letter-spacing: -.6px; }
  .brand-mark { display: inline-flex; align-items: center; justify-content: center; width: 31px; height: 31px; border: 1px solid #426251; border-radius: 7px; color: var(--green); background: #14251d; font: 600 20px/1 var(--mono); letter-spacing: -5px; padding-right: 5px; }
  .brand-mark span { font-size: 17px; transform: translateY(-1px); }
  .prototype-label { font: 9px var(--mono); letter-spacing: .09em; margin-left: 3px; color: var(--muted); border-left: 1px solid var(--line); padding-left: 12px; }
  nav { display: flex; gap: 26px; align-items: center; font-size: 12px; color: var(--muted); }
  nav a[aria-current] { color: var(--green); }
  .nav-source { color: var(--text); padding-left: 24px; border-left: 1px solid var(--line); }
  .hero { position: relative; padding-top: 92px; padding-bottom: 40px; }
  .hero::before { content: ''; position: absolute; inset: 0 -32px 0; pointer-events: none; z-index: -1; background-image: linear-gradient(#28394138 1px, transparent 1px), linear-gradient(90deg,#28394138 1px,transparent 1px); background-size: 54px 54px; mask-image: radial-gradient(ellipse at 80% 33%,#000 0%,transparent 66%); }
  h1 > span { color: var(--green); }
  .status-dot { width: 6px; height: 6px; background: var(--green); border-radius: 50%; box-shadow: 0 0 0 4px #a4ebbc10; flex: none; }
  .hero-subtitle { font-size: 18px; line-height: 1.5; margin-top: 26px; }
  .hero-description { color: var(--muted); margin-top: 12px; max-width: 475px; font-size: 15px; }
  .button-row { display: flex; align-items: center; flex-wrap: wrap; gap: 10px; }
  .hero .button-row { margin-top: 30px; }
  .button { display: inline-flex; justify-content: center; align-items: center; gap: 24px; border: 1px solid var(--line); border-radius: 6px; padding: 12px 19px; font-size: 13px; font-weight: 550; transition: background .18s, border-color .18s; }
  .button.primary { background: var(--green); color: #102318; border-color: var(--green); }
  .button.primary:hover { background: #c4f9d5; border-color: #c4f9d5; }
  .button.secondary { background: #111922; }
  .button.secondary:hover { background: #1a2830; border-color: #506367; }
  .hero-footnote { margin-top: 20px; font-size: 12px; color: var(--muted); }
  .proof-window { position: relative; border: 1px solid #3b494f; border-radius: 11px; background: linear-gradient(155deg,#19242a 0%,#111920 52%); box-shadow: 0 30px 80px #0005, 0 0 100px #a4ebbc06; transform: rotate(1deg); }
  .window-top { display: flex; justify-content: space-between; align-items: center; padding: 13px 18px; border-bottom: 1px solid var(--line); font: 10px var(--mono); color: var(--muted); }
  .window-top > span:first-child { display: flex; gap: 5px; }
  .window-top i { width: 5px; height: 5px; border-radius: 50%; background: #64747d; }
  .window-index { color: var(--green); }
  .receipt-heading { padding: 25px 28px 19px; }
  .receipt-heading h2 { margin-top: 10px; font-size: 25px; line-height: 1.22; letter-spacing: -.7px; }
  .identifier-demo { border: 1px solid #34434b; background: #0b1117; margin: 0 28px; padding: 16px 18px; border-radius: 6px; }
  .identifier-demo > div { display: flex; justify-content: space-between; align-items: center; gap: 14px; margin: 8px 0 13px; }
  .identifier-demo code { font-size: clamp(20px,2vw,28px); }
  .zero { color: var(--amber); background: #f0ca841a; border-bottom: 1px solid var(--amber); }
  .identifier-arrow { color: #7e909d; }
  .lost { color: var(--red); }
  .status { display: inline-flex; align-items: center; gap: 6px; font: 11px/1.6 var(--mono); white-space: normal; }
  .status.fail { color: var(--red); }.status.pass { color: var(--green); }.status.guard { color: var(--cyan); }.status.neutral { color: var(--muted); }
  .receipt-trace { list-style: none; padding: 6px 28px; margin-block: 12px; }
  .receipt-trace li { display: flex; align-items: center; gap: 10px; padding: 10px 0; font-size: 12px; }
  .trace-marker { display: inline-grid; place-items: center; border: 1px solid currentColor; border-radius: 50%; width: 20px; height: 20px; font: 10px var(--mono); flex: none; }
  .trace-end { margin-left: auto; font: 9px var(--mono); letter-spacing: .04em; }
  .receipt-bottom { padding: 17px 20px; border-top: 1px solid var(--line); display: flex; align-items: center; justify-content: space-between; gap: 15px; font-size: 10px; }
  .receipt-bottom .status { font-size: 9px; }
  .receipt-bottom a { color: var(--cyan); white-space: nowrap; }
  .hosted-notice { display: flex; align-items: center; gap: 18px; border-block: 1px solid var(--line); padding: 20px 0; margin-top: 65px; }
  .notice-symbol { display: grid; place-items: center; width: 23px; height: 23px; border: 1px solid #5a6c78; color: var(--cyan); font: 12px var(--mono); border-radius: 50%; flex: none; }
  .hosted-notice p { max-width: 770px; font-size: 12px; line-height: 1.7; color: var(--muted); }
  .hosted-notice strong { color: var(--text); font-weight: 500; }
  .notice-tag { margin-left: auto; max-width: 120px; flex: none; color: var(--muted); font-size: 9px; letter-spacing: .07em; text-align: right; }
  .problem-section { padding-top: 46px; padding-bottom: 52px; }
  .question-grid article { padding: 0 32px; border-left: 1px solid var(--line); }
  .question-grid article:first-child { padding-left: 0; border: 0; }
  .question-grid article:last-child { padding-right: 0; }
  .question-number { display: block; color: #b2bdc6; font: 11px var(--mono); margin-bottom: 15px; }
  .question-grid h3 { font-size: 18px; letter-spacing: -.3px; }
  .question-grid p { color: var(--muted); margin-top: 12px; font-size: 13px; }
  .section-note { margin-top: 30px; font: 11px var(--mono); color: var(--cyan); }
  .architecture { border: 1px solid var(--line); border-radius: 9px; overflow: hidden; }
  .architecture-inputs { display: flex; align-items: center; justify-content: center; gap: 32px; padding: 19px; border-bottom: 1px solid var(--line); background: #141e26; font: 11px var(--mono); color: var(--cyan); }
  .architecture-inputs span::before { content: '↘'; margin-right: 9px; color: #7f9ba8; }
  .workflow-stages { padding: 18px 22px; border-right: 1px solid var(--line); }
  .workflow-step { position: relative; border-bottom: 1px solid #23313b; }
  .workflow-step:last-child { border-bottom: 0; }
  .workflow-step summary { display: flex; align-items: center; gap: 16px; list-style: none; padding: 16px 10px; font-size: 14px; line-height: 1.35; }
  summary::-webkit-details-marker { display: none; }
  .workflow-step summary:hover { background: #14212a; border-radius: 5px; }
  .workflow-step summary small { display: block; color: var(--muted); font-size: 11px; margin-top: 4px; }
  .step-num { display: grid; place-items: center; background: #15232e; color: var(--cyan); border: 1px solid #324c5b; border-radius: 4px; width: 29px; height: 29px; font: 10px var(--mono); flex: none; }
  .step-plus { margin-left: auto; color: var(--muted); font-family: var(--mono); }
  details[open] > summary .step-plus { transform: rotate(45deg); }
  .human-step .step-num { color: var(--amber); background: #2b2519; border-color: #66512e; }
  .failure-step .step-num { color: var(--red); background: #2d1c21; border-color: #664047; }
  .verified-step .step-num { color: var(--green); background: #172d23; border-color: #355d48; }
  .step-description { padding: 0 15px 18px 55px; font-size: 12px; color: var(--muted); }
  .step-description p + p { margin-top: 10px; }
  .inline-label { display: block; margin-top: 13px; font-size: 11px; }
  .subagents { display: grid; grid-template-columns: 1fr 1fr; gap: 10px; margin-bottom: 14px; }
  .subagents > div { border: 1px solid var(--line); padding: 10px; border-radius: 4px; }
  .subagents strong { display: block; font-size: 11px; color: var(--cyan); margin-bottom: 5px; font-weight: 500; }
  .subagents p { font-size: 11px; }
  .workflow-aside { padding: 42px 38px; background: radial-gradient(ellipse at 80% 20%,#1b343334,transparent 60%); }
  .workflow-aside > .mono { display: block; margin-bottom: 32px; letter-spacing: .08em; }
  .actor { display: flex; gap: 15px; align-items: center; padding: 22px; border: 1px solid #38505b; border-radius: 6px; background: #14212b; }
  .actor-symbol { width: 35px; height: 35px; display: grid; place-items: center; font: 20px var(--mono); color: var(--cyan); border: 1px solid #486b7e; border-radius: 6px; flex: none; }
  .actor strong { font-weight: 550; font-size: 16px; }
  .actor p { font-size: 12px; color: var(--muted); margin-top: 4px; }
  .actor-runner { background: #12231d; border-color: #3c5949; }
  .actor-runner .actor-symbol { color: var(--green); border-color: #507c60; }
  .handoff-line { display: flex; flex-direction: column; align-items: center; gap: 8px; margin: 18px 0; color: var(--amber); font: 10px var(--mono); }
  .handoff-line > span:last-child { font-size: 22px; }
  .workflow-promise { padding: 26px 0; margin-top: 28px; border-top: 1px solid var(--line); }
  .quote-mark { font: 44px/1 Georgia, serif; color: var(--green); }
  .workflow-promise p { font-size: 22px; line-height: 1.4; letter-spacing: -.6px; max-width: 300px; }
  .case-index { font-size: 10px; letter-spacing: .1em; color: var(--cyan); display: block; margin-bottom: 18px; }
  .case-copy h3 { font-size: 29px; margin-bottom: 16px; }
  .case-copy > p { color: var(--muted); font-size: 14px; }
  .case-copy > .text-link { margin-top: 22px; }
  .contract-note { border-left: 2px solid #796039; padding-left: 16px; margin: 25px 0; }
  .contract-note p { margin-top: 9px; font-size: 14px; }
  .case-terminal { min-width: 0; border: 1px solid #35434b; background: #101820; border-radius: 9px; overflow: hidden; }
  .terminal-label { display: flex; align-items: center; justify-content: space-between; gap: 12px; padding: 16px 21px; color: var(--muted); font: 10px var(--mono); border-bottom: 1px solid var(--line); }
  .terminal-label .mono { font-size: 9px; }
  .code-diff { padding-block: 20px; }
  .diff-line { display: flex; gap: 20px; padding: 10px 22px; font-size: 14px; }
  .diff-line code { overflow-wrap: anywhere; }
  .diff-line.removed { color: var(--red); background: #3521277a; }
  .diff-line.added { color: var(--green); background: #19342985; }
  .input-output { display: flex; align-items: center; justify-content: center; gap: 34px; padding: 16px 20px 24px; }
  .input-output > div { display: flex; flex-direction: column; gap: 6px; }
  .input-output code { font-size: 24px; }
  .input-output > span { color: var(--muted); }
  .input-output .small { font-size: 9px; }
  .test-timeline { border-top: 1px solid var(--line); padding: 9px 21px; }
  .test-timeline > div { display: grid; grid-template-columns: 74px 1fr auto; gap: 10px; align-items: center; padding: 10px 0; font-size: 11px; }
  .test-timeline code { color: var(--muted); font-size: 10px; }
  .terminal-footer { display: flex; flex-wrap: wrap; gap: 12px; padding: 14px 21px; border-top: 1px solid var(--line); color: var(--green); font: 9px var(--mono); }
  .scenario-two { margin-top: 64px; border: 1px solid #38504f; border-radius: 9px; overflow: hidden; background: linear-gradient(130deg,#162422,#10171e 55%); }
  .scenario-two-top { display: grid; grid-template-columns: 1fr 1fr; gap: 50px; padding: 33px 35px; }
  .scenario-two-top h3 { font-size: 31px; }
  .scenario-two-top > p { font-size: 14px; color: var(--muted); align-self: end; }
  .scenario-filter { display: flex; align-items: center; justify-content: space-between; gap: 18px; padding: 15px 35px; border-top: 1px solid var(--line); }
  .segmented { display: flex; gap: 3px; background: #0b1117; border: 1px solid var(--line); padding: 3px; border-radius: 6px; }
  .segmented button { background: none; border: 0; color: var(--muted); font-size: 11px; padding: 7px 12px; border-radius: 3px; }
  .segmented button[aria-pressed="true"] { color: var(--text); background: #26343d; }
  table { border-collapse: collapse; width: 100%; text-align: left; }
  .scenario-matrix { table-layout: fixed; }
  .scenario-matrix th, .scenario-matrix td { border-top: 1px solid var(--line); padding: 20px 22px; }
  .scenario-matrix th:first-child { padding-left: 35px; width: 54%; }
  .scenario-matrix thead th { background: #0c1419; color: var(--muted); font: 10px var(--mono); padding-block: 12px; }
  .scenario-matrix tbody th { font-size: 14px; font-weight: 500; }
  .scenario-matrix small { display: block; font-size: 11px; color: var(--muted); margin-top: 5px; font-weight: 400; }
  .requirement-id { display: inline-block; margin-right: 12px; color: var(--cyan); font: 10px var(--mono); }
  .guard-row { background: #2031374d; }
  .scenario-bottom { padding: 23px 35px; border-top: 1px solid var(--line); display: flex; align-items: center; gap: 45px; justify-content: space-between; }
  .scenario-bottom p { font-size: 12px; color: var(--muted); max-width: 640px; }
  .scenario-bottom strong { color: var(--cyan); font-weight: 500; }
  .scenario-bottom .text-link { flex: none; }
  .guard-dot { display: inline-block; width: 5px; height: 5px; border-radius: 50%; background: var(--cyan); margin-right: 7px; vertical-align: middle; }
  .evidence-section { border-block: 1px solid #273039; background: #0e151c; }
  .evidence-explorer { border: 1px solid #3a4b59; border-radius: 9px; overflow: hidden; background: #0d141b; }
  .explorer-toolbar { display: flex; align-items: center; justify-content: space-between; border-bottom: 1px solid var(--line); background: #151f28; padding-right: 20px; }
  .finding-buttons { display: flex; }
  .finding-buttons button { display: flex; flex-direction: column; text-align: left; gap: 5px; padding: 16px 25px; border: 0; border-right: 1px solid var(--line); background: none; color: var(--muted); font: 11px var(--mono); border-bottom: 2px solid transparent; }
  .finding-buttons button span { font: 10px -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif; }
  .finding-buttons button[aria-pressed="true"] { background: #1d2c36; border-bottom-color: var(--cyan); color: var(--cyan); }
  .archived-label { color: var(--muted); font-size: 9px; letter-spacing: .05em; }
  .explorer-content { display: grid; grid-template-columns: 270px 1fr; }
  .evidence-context { padding: 28px 25px; border-right: 1px solid var(--line); }
  .evidence-context h3 { font: 17px/1.6 var(--mono); color: var(--cyan); margin-top: 8px; }
  .evidence-context > p { font-size: 12px; color: var(--muted); margin-top: 12px; }
  .evidence-context-meta { padding-block: 22px; margin-top: 20px; border-top: 1px solid var(--line); }
  .evidence-context-meta > p { font-size: 12px; margin-top: 8px; }
  .evidence-context-meta .small { font-size: 10px; }
  .evidence-context .text-link { display: flex; margin-top: 12px; font-size: 11px; }
  .execution-view { min-width: 0; padding: 24px 28px; }
  .phase-buttons { display: flex; gap: 20px; border-bottom: 1px solid var(--line); margin-bottom: 24px; }
  .phase-buttons button { border: 0; border-bottom: 2px solid transparent; background: none; color: var(--muted); font-size: 11px; padding: 0 0 11px; }
  .phase-buttons button[aria-pressed="true"] { color: var(--text); border-bottom-color: var(--text); }
  .execution-title { display: flex; align-items: center; gap: 12px; margin-bottom: 20px; }
  .execution-title strong { font-size: 23px; font-weight: 500; letter-spacing: -.7px; }
  .execution-title > span { font: 10px var(--mono); padding: 3px 8px; background: #1d2a35; color: var(--muted); border-radius: 3px; }
  .execution-metrics { display: grid; grid-template-columns: repeat(4,1fr); gap: 8px; margin-bottom: 20px; }
  .execution-metrics > div { padding: 10px 12px; background: #14202a; border: 1px solid #253541; border-radius: 5px; }
  .execution-metrics strong { display: block; font: 19px var(--mono); margin-top: 4px; }
  .execution-metrics span { color: var(--muted); font-size: 10px; }
  .execution-test-list { list-style: none; padding: 0; margin: 0; }
  .execution-test-list li { display: flex; align-items: start; gap: 9px; padding: 10px 0; border-top: 1px solid #26323c; font: 11px/1.7 var(--mono); }
  .execution-test-list code { overflow-wrap: anywhere; font-size: inherit; }
  .execution-test-list .result-icon { flex: none; }
  .execution-metadata { display: grid; grid-template-columns: 90px 1fr; row-gap: 10px; font: 10px/1.7 var(--mono); padding-top: 18px; margin: 6px 0 15px; border-top: 1px solid var(--line); }
  .execution-metadata dt { color: var(--muted); }
  .execution-metadata dd { margin: 0; overflow-wrap: anywhere; }
  .execution-actions { display: flex; flex-wrap: wrap; gap: 20px; margin-top: 16px; }
  .execution-actions a { font-size: 11px; color: var(--cyan); text-decoration: underline; }
  .execution-scope { margin-top: 19px; font-size: 11px; color: var(--muted); }
  .explorer-footer { border-top: 1px solid var(--line); padding: 14px 22px; display: flex; justify-content: space-between; gap: 12px; color: var(--muted); font-size: 10px; }
  .explorer-footer .small { font-size: 9px; }
  .evidence-fallback { padding: 25px; border: 1px solid var(--line); border-radius: 6px; }
  .evidence-fallback .button-row { margin-top: 18px; }
  .interpretation-grid { display: grid; grid-template-columns: 1fr 1.2fr; gap: 32px; margin-top: 30px; }
  .interpretation-grid > div { padding: 22px 25px; border-left: 1px solid #405364; }
  .interpretation-grid > div:last-child { border-color: #43664f; }
  .interpretation-grid p { font-size: 15px; margin: 12px 0; }
  .interpretation-grid code { overflow-wrap: anywhere; font-size: 11px; }
  .interpretation-grid p > .muted { font-size: 11px; }
  .hardening { border-top: 1px solid var(--line); padding-top: 22px; margin-top: 28px; font-size: 13px; }
  .hardening summary { display: flex; justify-content: space-between; list-style: none; color: var(--cyan); }
  .hardening p { color: var(--muted); margin-top: 15px; max-width: 860px; }
  .hardening .text-link { margin-top: 18px; }
  .comparison-copy h3 { font-size: 29px; line-height: 1.25; margin-bottom: 18px; }
  .comparison-copy > p { color: var(--muted); font-size: 14px; }
  .comparison-copy > .small { font-size: 12px; }
  .comparison-copy .text-link { margin-top: 20px; }
  .usage-comparison { display: grid; grid-template-columns: 1fr 1fr; gap: 24px; border-block: 1px solid var(--line); padding: 22px 0; margin-block: 23px; }
  .usage-comparison strong { display: block; font: 28px var(--mono); margin: 10px 0; }
  .usage-comparison strong small { font-size: 10px; color: var(--muted); }
  .usage-comparison .small { font-size: 10px; }
  .comparison-table th, .comparison-table td { padding: 13px 8px; border-bottom: 1px solid var(--line); font-size: 12px; }
  .comparison-table thead th { color: var(--muted); font: 10px var(--mono); }
  .comparison-table tbody th { font-weight: 400; }
  .comparison-table td, .comparison-table thead th:not(:first-child) { text-align: center; }
  .comparison-table td { color: var(--muted); }
  .comparison-table td:last-child { color: var(--green); background: #16261d66; }
  .comparison-table-wrap > p { margin-top: 15px; font-size: 11px; }
  .scope-card { border: 1px solid #3e594a; background: radial-gradient(ellipse at 50% 0%,#23463255,transparent 65%),#101a16; border-radius: 9px; padding: 42px 46px 25px; }
  .scope-card > .eyebrow { justify-content: center; color: var(--green); }
  .scope-card > h2 { text-align: center; font-size: 36px; }
  .verdict-display { display: block; text-align: center; color: var(--green); font-size: clamp(14px,2vw,24px); padding: 25px 0 32px; overflow-wrap: anywhere; }
  .scope-columns { display: grid; grid-template-columns: 1fr 1fr; gap: 46px; border-top: 1px solid #314739; padding-top: 25px; }
  .scope-columns h3 { font-size: 15px; letter-spacing: -.2px; }
  .scope-columns h3 > span { margin-right: 10px; }
  .scope-columns ul { padding-left: 18px; color: #b0c1b6; font-size: 12px; line-height: 2.1; }
  .scope-columns > div:last-child ul { color: var(--muted); }
  .scope-footnote { padding-top: 22px; margin-top: 17px; border-top: 1px solid #314739; color: #b0c1b6; font-size: 11px; }
  .bob-section { padding-top: 32px; }
  .bob-capabilities > div { display: flex; gap: 21px; padding: 20px 0; border-bottom: 1px solid var(--line); }
  .bob-capabilities > div:first-child { padding-top: 6px; }
  .bob-capabilities .mono { font-size: 11px; }
  .bob-capabilities h3 { font-size: 18px; letter-spacing: -.4px; margin-bottom: 9px; }
  .bob-capabilities p { color: var(--muted); font-size: 13px; }
  .bob-capabilities > p { font-size: 11px; margin-top: 23px; }
  .session-card { border: 1px solid var(--line); border-radius: 8px; align-self: start; overflow: hidden; background: #111820; }
  .session-card-heading { padding: 14px 20px; border-bottom: 1px solid var(--line); display: flex; justify-content: space-between; align-items: center; gap: 15px; }
  .session-card-heading .small, .session-card-heading .status { font-size: 9px; }
  .session-card > a { display: block; padding: 15px; }
  .session-card img { width: 100%; border-radius: 4px; }
  .session-gallery { border-top: 1px solid var(--line); padding: 15px 20px; }
  .session-gallery summary { list-style: none; display: flex; justify-content: space-between; gap: 10px; font-size: 11px; color: var(--cyan); }
  .session-gallery ol { padding-left: 16px; color: var(--muted); font-size: 11px; line-height: 2.1; }
  .session-gallery a { text-decoration: underline; }
  .stack-strip { display: flex; flex-wrap: wrap; align-items: center; justify-content: center; gap: 16px 22px; padding: 25px 0; margin-top: 54px; border-block: 1px solid var(--line); font-size: 11px; }
  .stack-strip > .small { font-size: 9px; }
  .closing { text-align: center; padding-top: 30px; padding-bottom: 85px; }
  .closing .brand-mark { margin-bottom: 24px; width: 40px; height: 40px; }
  .closing h2 { font-size: clamp(31px,3.8vw,47px); }
  .closing h2 > span { color: var(--green); }
  .closing p { color: var(--muted); max-width: 530px; margin: 22px auto 27px; font-size: 14px; }
  .closing .button-row { justify-content: center; }
  .site-footer { display: flex; align-items: center; justify-content: space-between; gap: 25px; border-top: 1px solid var(--line); padding-block: 26px; font-size: 11px; color: var(--muted); }
  .site-footer .brand { font-size: 15px; color: var(--text); }
}
@layer responsive {
  @media (min-width: 1500px) { .hero { padding-top: 112px; } }
  @media (max-width: 1100px) {
    .hero-grid { gap: 32px; }.hero { padding-top: 70px; }h1 { font-size: 59px; }
    .hero-subtitle { font-size: 16px; }.hero-description { font-size: 14px; }
    .receipt-heading, .receipt-trace { padding-inline: 22px; }.identifier-demo { margin-inline: 22px; }.receipt-bottom { flex-wrap: wrap; }
    .workflow-aside { padding: 35px 28px; }.actor { padding: 17px; }
    .case-one { gap: 36px; }.comparison-grid { gap: 42px; }.bob-grid { gap: 45px; }
    .explorer-content { grid-template-columns: 240px 1fr; }.execution-view { padding: 23px; }
    .phase-buttons { gap: 15px; }.phase-buttons button { font-size: 10px; }
  }
  @media (max-width: 850px) {
    .section-wrap { width: calc(100% - 56px); padding-block: 62px; }.nav-wrap { padding-inline: 28px; }nav { gap: 18px; }.prototype-label { display: none; }
    .hero-grid { gap: 35px; grid-template-columns: 1fr; }.hero { padding-top: 57px; padding-bottom: 20px; }.hero::before { inset-inline: 0; }
    h1 { font-size: 66px; }.hero-description { max-width: 530px; }.hero-subtitle { font-size: 19px; }.hero-footnote { margin-top: 17px; }
    .proof-window { max-width: 510px; width: 100%; justify-self: center; transform: none; }.identifier-demo code { font-size: 30px; }.receipt-bottom { flex-wrap: nowrap; }.receipt-heading h2 { font-size: 26px; }
    .notice-tag { display: none; }.hosted-notice { margin-top: 40px; }
    .problem-section { padding-top: 32px; }.question-grid article { padding-inline: 21px; }.question-grid h3 { font-size: 17px; }
    .section-heading { gap: 25px; align-items: start; }.section-heading > p { max-width: 230px; font-size: 12px; }
    .architecture-inputs { gap: 15px; font-size: 9px; }.workflow-aside { padding: 28px 20px; }.workflow-stages { padding: 10px; }.workflow-step summary { gap: 12px; font-size: 12px; }.workflow-step summary small { font-size: 10px; }.step-description { padding-left: 12px; }.subagents { grid-template-columns: 1fr; }.actor { padding: 15px 12px; gap: 10px; }.actor strong { font-size: 14px; }.actor-symbol { width: 28px; height: 28px; font-size: 16px; }.workflow-promise p { font-size: 20px; }
    .case-one { grid-template-columns: 1fr; gap: 30px; }.case-copy { max-width: 600px; }.case-terminal { max-width: 620px; width: 100%; }.scenario-two-top { padding: 28px; gap: 25px; }.scenario-two-top h3 { font-size: 27px; }.scenario-two-top > p { font-size: 12px; }.scenario-filter { padding-inline: 28px; }
    .scenario-matrix th:first-child { padding-left: 28px; width: 52%; }.scenario-matrix td { padding-inline: 12px; }.scenario-matrix .status { font-size: 10px; }.scenario-bottom { padding: 22px 28px; flex-wrap: wrap; gap: 15px; }
    .explorer-content { grid-template-columns: 200px 1fr; }.evidence-context { padding: 23px 18px; }.execution-view { padding: 22px 18px; }.execution-metrics { grid-template-columns: 1fr 1fr; }.finding-buttons button { padding-inline: 20px; }.archived-label { font-size: 8px; }
    .phase-buttons { flex-wrap: wrap; gap: 10px 16px; }.execution-metadata { grid-template-columns: 75px 1fr; }.explorer-footer { flex-wrap: wrap; }.interpretation-grid { gap: 8px; }.interpretation-grid > div { padding-inline: 18px; }
    .comparison-grid { gap: 30px; grid-template-columns: 1fr; }.comparison-copy { max-width: 610px; }.usage-comparison { max-width: 450px; }.scope-card { padding: 30px 28px 22px; }.scope-card > h2 { font-size: 31px; }.scope-columns { gap: 25px; }
    .bob-grid { gap: 30px; grid-template-columns: 1.1fr 1fr; }.bob-capabilities > div { gap: 14px; }.session-card-heading { flex-wrap: wrap; gap: 5px; }.session-card > a { padding: 10px; }
    .site-footer { padding-block: 22px; }.site-footer p { font-size: 10px; }
  }
  @media (max-width: 580px) {
    html { scroll-padding-top: 90px; }.section-wrap { width: calc(100% - 36px); padding-block: 48px; }.nav-wrap { padding: 14px 18px; gap: 15px; }.brand { font-size: 17px; gap: 8px; }.brand-mark { width: 27px; height: 27px; font-size: 17px; }.brand-mark span { font-size: 15px; }nav { gap: 15px; font-size: 11px; }nav a[href="#workflow"], nav a[href="#cases"] { display: none; }.nav-source { padding-left: 0; border: 0; }
    .hero { padding-top: 46px; padding-bottom: 10px; }h1 { font-size: clamp(41px,10.8vw,59px); letter-spacing: -.047em; }.hero .eyebrow { font-size: 9px; margin-bottom: 21px; letter-spacing: .08em; }.hero-subtitle { font-size: 16px; margin-top: 23px; }.hero-description { font-size: 14px; margin-top: 13px; }.button { padding: 12px 15px; gap: 17px; font-size: 12px; }.hero .button-row { margin-top: 25px; }.hero-footnote { font-size: 10px; }.hero-grid { gap: 35px; }
    .receipt-heading { padding: 22px 20px 18px; }.receipt-heading h2 { font-size: 25px; }.receipt-heading .small { font-size: 10px; }.identifier-demo { margin-inline: 20px; padding: 15px; }.identifier-demo code { font-size: 25px; }.receipt-trace { padding-inline: 20px; }.receipt-trace li { font-size: 11px; }.receipt-bottom { padding-inline: 18px; gap: 10px; }.receipt-bottom .status { font-size: 8px; }.receipt-bottom a { font-size: 9px; }
    .hosted-notice { gap: 12px; align-items: start; padding-block: 18px; margin-top: 33px; }.hosted-notice p { font-size: 11px; }.notice-symbol { margin-top: 2px; width: 19px; height: 19px; }
    .section-heading { display: block; margin-bottom: 27px; }.section-heading > p { margin-top: 18px; max-width: 360px; font-size: 13px; }.eyebrow { font-size: 9px; margin-bottom: 17px; }h2 { font-size: 32px; }.problem-section { padding-top: 30px; }
    .question-grid { grid-template-columns: 1fr; gap: 24px; }.question-grid article { border: 0; border-top: 1px solid var(--line); padding: 20px 0 0; }.question-grid article:first-child { border-top: 1px solid var(--line); padding-top: 20px; }.question-number { margin-bottom: 10px; }.question-grid h3 { font-size: 19px; }.question-grid p { margin-top: 8px; }.section-note { font-size: 10px; margin-top: 24px; }
    .architecture-inputs { gap: 8px; padding: 14px 10px; justify-content: space-between; font-size: 8px; }.architecture-inputs span::before { display: none; }.architecture-body { grid-template-columns: 1fr; }.workflow-stages { border-right: 0; padding: 6px 13px; }.workflow-step summary { font-size: 13px; padding-block: 15px; }.workflow-step summary small { font-size: 10px; }.step-description { padding-left: 51px; font-size: 12px; }.subagents { grid-template-columns: 1fr; }.workflow-aside { border-top: 1px solid var(--line); padding: 26px 23px; }.workflow-aside > .mono { margin-bottom: 23px; }.actor { padding: 17px; }.actor strong { font-size: 15px; }.workflow-promise { margin-top: 22px; padding-top: 20px; }.workflow-promise p { max-width: none; font-size: 21px; }
    .case-copy h3 { font-size: 26px; }.case-copy > p { font-size: 13px; }.terminal-label { padding-inline: 15px; font-size: 9px; }.terminal-label .mono { font-size: 8px; }.diff-line { padding-inline: 15px; gap: 11px; font-size: 12px; }.input-output { gap: 27px; }.input-output code { font-size: 21px; }.input-output .small { font-size: 8px; }.test-timeline { padding-inline: 15px; }.test-timeline > div { grid-template-columns: 63px 1fr auto; font-size: 10px; gap: 6px; }.test-timeline .status { font-size: 9px; }.terminal-footer { padding-inline: 15px; gap: 8px; font-size: 8px; }
    .scenario-two { margin-top: 40px; }.scenario-two-top { grid-template-columns: 1fr; padding: 25px 19px; gap: 17px; }.scenario-two-top h3 { font-size: 28px; }.scenario-two-top > p { font-size: 13px; }.scenario-filter { align-items: start; flex-direction: column; padding: 15px 19px; gap: 10px; }.segmented { width: 100%; }.segmented button { flex: 1; padding-inline: 6px; font-size: 10px; }.scenario-matrix th, .scenario-matrix td { padding: 16px 8px; }.scenario-matrix th:first-child { width: 47%; padding-left: 14px; }.scenario-matrix thead th { font-size: 8px; }.scenario-matrix tbody th { font-size: 12px; }.requirement-id { display: block; font-size: 9px; margin-bottom: 4px; }.scenario-matrix small { font-size: 10px; line-height: 1.5; }.scenario-matrix .status { font-size: 9px; line-height: 1.65; }.scenario-bottom { padding: 20px 19px; }
    .explorer-toolbar { padding-right: 0; }.archived-label { display: none; }.finding-buttons { width: 100%; }.finding-buttons button { flex: 1; padding-inline: 15px; font-size: 11px; }.finding-buttons button:last-child { border-right: 0; }.explorer-content { grid-template-columns: 1fr; }.evidence-context { border-right: 0; border-bottom: 1px solid var(--line); padding: 21px 18px; }.evidence-context-meta { margin-top: 17px; padding-block: 14px 8px; }.evidence-context h3 { font-size: 16px; }.evidence-context .text-link { display: inline-flex; margin-right: 17px; margin-top: 12px; font-size: 10px; }.execution-view { padding: 20px 17px; }.phase-buttons { gap: 17px; flex-wrap: nowrap; }.phase-buttons button { font-size: 10px; line-height: 1.5; }.execution-title strong { font-size: 22px; }.execution-metrics { grid-template-columns: repeat(4,1fr); gap: 6px; }.execution-metrics > div { padding: 9px 8px; }.execution-metrics strong { font-size: 17px; }.execution-metrics span { font-size: 9px; }.execution-test-list li { font-size: 10px; }.execution-metadata { font-size: 9px; grid-template-columns: 73px 1fr; }.explorer-footer { padding-inline: 17px; font-size: 9px; gap: 7px; }.interpretation-grid { grid-template-columns: 1fr; gap: 20px; }.interpretation-grid > div { padding: 5px 18px; }.interpretation-grid p { font-size: 14px; }.hardening summary { font-size: 12px; gap: 18px; }
    .comparison-grid { gap: 20px; }.comparison-copy h3 { font-size: 26px; }.comparison-table th, .comparison-table td { font-size: 11px; padding-inline: 7px; }.comparison-table thead th { font-size: 9px; }.comparison-table th:first-child { padding-left: 0; width: 57%; }.scope-card { padding: 27px 20px 22px; }.scope-card > h2 { font-size: 29px; }.scope-card > .eyebrow { font-size: 8px; letter-spacing: .1em; }.verdict-display { font-size: clamp(11px,3.15vw,18px); padding-block: 20px 24px; }.scope-columns { grid-template-columns: 1fr; gap: 19px; }.scope-columns h3 { font-size: 14px; }.scope-columns ul { margin-bottom: 0; font-size: 12px; }.scope-footnote { font-size: 10px; }
    .bob-grid { grid-template-columns: 1fr; gap: 28px; }.bob-capabilities p { font-size: 13px; }.session-card { max-width: 450px; width: 100%; margin-inline: auto; }.session-card-heading { flex-wrap: nowrap; }.stack-strip { gap: 13px 18px; font-size: 10px; margin-top: 30px; }.closing { padding-top: 15px; }.closing h2 { font-size: 32px; }.closing p { font-size: 13px; }.closing .button-row { flex-direction: column; align-items: stretch; }.site-footer { flex-wrap: wrap; padding-block: 21px; gap: 12px; }.site-footer p { order: 3; flex-basis: 100%; }.site-footer > a:last-child { margin-left: auto; }
  }
  @media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } *, *::before, *::after { animation: none !important; transition: none !important; } }
  @media print { .site-header, .button-row, .scenario-filter, .phase-buttons, .finding-buttons { display: none; }.section-wrap { width: 100%; padding-block: 25px; }.proof-window { transform: none; }.workflow-step .step-description { display: block; }.hero-grid, .architecture-body, .comparison-grid, .bob-grid { grid-template-columns: 1fr; } }
}