:root {
  --proof-blue: #315F8A;
  --proof-blue-pale: #E3ECF4;
  --proof-red: #A24D47;
  --proof-red-pale: #F4E6E4;
  --proof-amber: #9E7E3A;
  --proof-amber-pale: #F2EBD9;
}

.proof-hero .hero-inner { max-width: 940px; }
.truth-label {
  display: inline-flex;
  align-items: center;
  gap: .55rem;
  margin-top: .25rem;
  padding: .5rem .75rem;
  border: 1px solid rgba(201,164,78,.38);
  border-radius: 6px;
  color: var(--brass-light);
  background: rgba(201,164,78,.08);
  font-size: .76rem;
  font-weight: 700;
  letter-spacing: .02em;
}
.truth-label::before {
  content: "";
  width: 7px;
  height: 7px;
  border-radius: 50%;
  background: var(--brass-light);
}

.proof-intro-grid,
.proof-link-grid,
.audit-summary-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 1rem;
}
.proof-intro-card,
.proof-link-card {
  border: 1px solid var(--border);
  background: var(--bg-alt);
  border-radius: 10px;
  padding: 1.35rem 1.45rem;
}
.proof-intro-card strong {
  display: block;
  color: var(--green);
  font-family: 'SF Mono', 'Cascadia Code', Consolas, monospace;
  font-size: .72rem;
  letter-spacing: .08em;
  text-transform: uppercase;
  margin-bottom: .45rem;
}
.proof-intro-card p,
.proof-link-card p { color: var(--muted); font-size: .88rem; line-height: 1.55; }
.proof-link-card { display: flex; flex-direction: column; }
.proof-link-card h3 {
  font-family: Charter, 'Bitstream Charter', 'Iowan Old Style', Georgia, serif;
  font-size: 1.15rem;
  margin-bottom: .45rem;
}
.proof-link-card a { margin-top: auto; padding-top: 1rem; color: var(--green); font-weight: 700; text-decoration: none; }
.proof-link-grid { grid-template-columns: repeat(auto-fit, minmax(220px, 1fr)); }

.demo-shell {
  border: 1px solid var(--border);
  border-radius: 12px;
  overflow: hidden;
  background: var(--white);
  box-shadow: 0 16px 50px rgba(26,30,42,.08);
}
.demo-tabs {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  background: var(--bg-alt);
  border-bottom: 1px solid var(--border);
}
.demo-tab:nth-child(3n) { border-right: 0; }
.demo-tab {
  appearance: none;
  border: 0;
  border-right: 1px solid var(--border);
  background: transparent;
  color: var(--muted);
  padding: 1rem;
  font: inherit;
  font-size: .86rem;
  font-weight: 700;
  cursor: pointer;
}
.demo-tab:last-child { border-right: 0; }
.demo-tab[aria-selected="true"] {
  background: var(--white);
  color: var(--green);
  box-shadow: inset 0 -3px 0 var(--green);
}
.journey-tabs .demo-tab {
  min-height: 92px;
  padding: 1rem 1.15rem;
  text-align: left;
}
.journey-tabs .demo-tab span {
  display: block;
  color: var(--green);
  font-family: 'SF Mono', 'Cascadia Code', Consolas, monospace;
  font-size: .66rem;
  font-weight: 800;
  letter-spacing: .06em;
  text-transform: uppercase;
}
.journey-tabs .demo-tab strong {
  display: block;
  margin-top: .35rem;
  color: var(--ink-soft);
  font-size: .84rem;
  font-weight: 500;
  line-height: 1.4;
}
.journey-tabs .demo-tab[aria-selected="true"] strong { color: var(--ink); }
.demo-panel { display: none; padding: clamp(1rem, 3vw, 2rem); }
.demo-panel.active { display: block; }
.demo-panel-head {
  display: flex;
  justify-content: space-between;
  gap: 2rem;
  align-items: flex-start;
  padding-bottom: 1.25rem;
  border-bottom: 1px solid var(--border);
}
.demo-panel-head h2 { margin-bottom: .35rem; }
.demo-panel-head p { color: var(--muted); max-width: 62ch; }
.synthetic-chip {
  flex: 0 0 auto;
  padding: .35rem .65rem;
  border: 1px solid var(--brass);
  border-radius: 100px;
  color: var(--brass);
  background: var(--proof-amber-pale);
  font-size: .67rem;
  font-weight: 800;
  letter-spacing: .07em;
  text-transform: uppercase;
}
.journey-context {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: .75rem;
  margin-top: 1.25rem;
}
.journey-context > div {
  padding: .9rem;
  border: 1px solid var(--border);
  border-radius: 8px;
  background: var(--bg-alt);
}
.journey-context strong,
.evidence-grid strong {
  display: block;
  color: var(--green);
  font-family: 'SF Mono', 'Cascadia Code', Consolas, monospace;
  font-size: .66rem;
  letter-spacing: .06em;
  text-transform: uppercase;
}
.journey-context span,
.evidence-grid span {
  display: block;
  margin-top: .35rem;
  color: var(--muted);
  font-size: .76rem;
  line-height: 1.5;
}
.case-selector,
.module-tabs {
  display: flex;
  align-items: center;
  gap: .5rem;
  flex-wrap: wrap;
  margin-top: 1.2rem;
}
.case-selector > span {
  margin-right: .2rem;
  color: var(--muted);
  font-size: .72rem;
  font-weight: 800;
  letter-spacing: .05em;
  text-transform: uppercase;
}
.module-tabs {
  padding: .7rem;
  border: 1px solid var(--border);
  border-radius: 8px;
  background: var(--bg-alt);
}
.module-panel { display: none; }
.module-panel.active { display: block; }
.output-disclosure {
  margin: -.35rem 0 .8rem;
  color: var(--muted);
  font-size: .7rem;
  line-height: 1.4;
}
.evidence-grid {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: .7rem;
  margin-top: 1rem;
}
.evidence-grid > div {
  padding: .8rem;
  border: 1px solid var(--border);
  border-radius: 7px;
  background: var(--white);
}
.journey-action,
.assurance-link {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1.2rem;
  margin-top: 1rem;
  padding: 1rem 1.1rem;
  border: 1px solid var(--green-light);
  border-radius: 8px;
  background: var(--green-pale);
}
.journey-action strong,
.assurance-link strong { display: block; color: var(--ink); font-size: .88rem; }
.journey-action span,
.assurance-link span { display: block; margin-top: .2rem; color: var(--muted); font-size: .76rem; line-height: 1.45; }
.journey-action a,
.assurance-link a {
  flex: 0 0 auto;
  color: var(--green);
  font-size: .82rem;
  font-weight: 800;
  text-decoration: none;
}
.sequence-number {
  margin-bottom: .7rem;
  color: var(--brass);
  font-family: 'SF Mono', 'Cascadia Code', Consolas, monospace;
  font-size: .7rem;
  font-weight: 800;
  letter-spacing: .08em;
}
.evidence-sequence { grid-template-columns: repeat(3, 1fr); }
.assurance-link { margin-top: 1.25rem; border-color: var(--border); background: var(--bg-alt); }
.demo-workspace {
  display: grid;
  grid-template-columns: minmax(0, 1.45fr) minmax(250px, .75fr);
  gap: 1.25rem;
  margin-top: 1.25rem;
}
.demo-card {
  border: 1px solid var(--border);
  border-radius: 9px;
  background: var(--bg);
  padding: 1.1rem;
}
.demo-card.dark-card { background: var(--bg-dark-section); border-color: var(--border-hero); color: var(--ink-hero); }
.demo-card-title {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  margin-bottom: .9rem;
  font-size: .73rem;
  font-weight: 800;
  letter-spacing: .08em;
  text-transform: uppercase;
  color: var(--muted);
}
.dark-card .demo-card-title { color: var(--muted-hero); }
.status {
  display: inline-flex;
  align-items: center;
  gap: .35rem;
  padding: .22rem .5rem;
  border-radius: 100px;
  font-size: .68rem;
  font-weight: 800;
}
.status::before { content: ""; width: 6px; height: 6px; border-radius: 50%; background: currentColor; }
.status.green { color: var(--green); background: var(--green-pale); }
.status.amber { color: var(--proof-amber); background: var(--proof-amber-pale); }
.status.red { color: var(--proof-red); background: var(--proof-red-pale); }
.status.blue { color: var(--proof-blue); background: var(--proof-blue-pale); }

.demo-btn,
.action-btn,
.secondary-btn {
  appearance: none;
  border: 0;
  border-radius: 5px;
  padding: .7rem 1rem;
  background: var(--green-light);
  color: #fff;
  font: inherit;
  font-size: .84rem;
  font-weight: 700;
  cursor: pointer;
}
.demo-btn:hover,
.action-btn:hover { background: var(--green); }
.secondary-btn { background: transparent; color: var(--green); border: 1px solid var(--green-light); }
.secondary-btn:hover { background: var(--green-pale); }

.lead-record { display: grid; grid-template-columns: 1fr auto; gap: .7rem; align-items: start; }
.lead-record h3 { font-size: 1.05rem; }
.record-meta { color: var(--muted); font-size: .8rem; margin-top: .2rem; }
.record-message {
  grid-column: 1 / -1;
  margin-top: .4rem;
  padding: .8rem;
  border-radius: 6px;
  background: var(--bg-alt);
  color: var(--ink-soft);
  font-size: .86rem;
}
.workflow {
  display: grid;
  gap: .55rem;
  margin-top: 1rem;
}
.workflow-step {
  display: grid;
  grid-template-columns: 24px 1fr auto;
  gap: .7rem;
  align-items: center;
  padding: .62rem .7rem;
  border: 1px solid var(--border);
  border-radius: 6px;
  color: var(--muted);
  font-size: .82rem;
  background: var(--white);
}
.workflow-step .step-index {
  width: 24px;
  height: 24px;
  display: grid;
  place-items: center;
  border-radius: 50%;
  background: var(--bg-card);
  font-size: .7rem;
  font-weight: 800;
}
.workflow-step.done { border-color: var(--green-light); color: var(--ink); background: var(--green-pale); }
.workflow-step.done .step-index { color: #fff; background: var(--green); }
.workflow-step .step-time { font-variant-numeric: tabular-nums; font-size: .7rem; color: var(--muted); }

.metric-stack { display: grid; grid-template-columns: 1fr 1fr; gap: .7rem; }
.metric-box {
  border: 1px solid var(--border);
  border-radius: 7px;
  padding: .8rem;
  background: var(--white);
}
.metric-box strong {
  display: block;
  font-family: 'SF Mono', 'Cascadia Code', Consolas, monospace;
  font-size: 1.08rem;
  color: var(--green);
  font-variant-numeric: tabular-nums;
}
.metric-box span { display: block; color: var(--muted); font-size: .7rem; margin-top: .15rem; }
.guardrail {
  margin-top: .9rem;
  padding: .8rem;
  border-left: 3px solid var(--brass);
  background: var(--proof-amber-pale);
  color: var(--ink-soft);
  font-size: .8rem;
  line-height: 1.5;
}

.document-layout { display: grid; grid-template-columns: 210px 1fr; min-height: 360px; }
.document-list { border-right: 1px solid var(--border); background: var(--bg-alt); padding: .6rem; }
.document-item {
  display: block;
  width: 100%;
  appearance: none;
  border: 1px solid transparent;
  border-radius: 6px;
  background: transparent;
  padding: .75rem;
  text-align: left;
  font: inherit;
  cursor: pointer;
}
.document-item strong { display: block; font-size: .8rem; color: var(--ink); }
.document-item span { font-size: .7rem; color: var(--muted); }
.document-item.active { background: var(--white); border-color: var(--green-light); }
.document-detail { padding: 1rem; }
.field-grid { display: grid; grid-template-columns: 1fr 1fr; gap: .65rem; }
.field {
  border-bottom: 1px solid var(--border);
  padding: .55rem 0;
}
.field label { display: block; color: var(--muted); font-size: .67rem; text-transform: uppercase; letter-spacing: .06em; }
.field span { display: block; color: var(--ink); font-size: .86rem; margin-top: .2rem; }
.exception-list { display: grid; gap: .5rem; margin-top: .9rem; }
.exception {
  display: flex;
  justify-content: space-between;
  gap: .8rem;
  padding: .65rem .75rem;
  border-radius: 6px;
  background: var(--proof-red-pale);
  color: var(--proof-red);
  font-size: .78rem;
  font-weight: 700;
}

.location-filters { display: flex; gap: .5rem; flex-wrap: wrap; margin-bottom: 1rem; }
.location-filter {
  appearance: none;
  border: 1px solid var(--border);
  border-radius: 100px;
  background: var(--white);
  color: var(--muted);
  padding: .4rem .75rem;
  font: inherit;
  font-size: .76rem;
  font-weight: 700;
  cursor: pointer;
}
.location-filter.active { color: var(--green); border-color: var(--green-light); background: var(--green-pale); }
.ops-metrics { display: grid; grid-template-columns: repeat(3, 1fr); gap: .7rem; }
.ops-metric { background: var(--bg-dark-card); border: 1px solid var(--border-hero); border-radius: 7px; padding: .9rem; }
.ops-metric strong { display: block; color: var(--ink-hero); font-family: 'SF Mono', 'Cascadia Code', Consolas, monospace; font-size: 1.2rem; }
.ops-metric span { color: var(--muted-hero); font-size: .7rem; }
.exception-table { width: 100%; border-collapse: collapse; margin-top: 1rem; font-size: .78rem; }
.exception-table th { text-align: left; color: var(--muted-hero); font-size: .66rem; text-transform: uppercase; letter-spacing: .06em; padding: .55rem; border-bottom: 1px solid var(--border-hero); }
.exception-table td { padding: .65rem .55rem; border-bottom: 1px solid var(--border-hero); color: var(--ink-hero); }
.knowledge-answer {
  min-height: 105px;
  padding: .9rem;
  border-radius: 7px;
  background: var(--bg-alt);
  color: var(--ink-soft);
  font-size: .88rem;
  line-height: 1.55;
}
.source-list { display: grid; gap: .55rem; margin-top: .8rem; }
.source-item {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  padding: .65rem .75rem;
  border: 1px solid var(--border);
  border-radius: 6px;
  background: var(--white);
}
.source-item span {
  color: var(--muted);
  font-size: .65rem;
  font-weight: 800;
  letter-spacing: .06em;
  text-transform: uppercase;
}
.source-item strong { color: var(--ink); font-size: .76rem; text-align: right; }

.calculator-layout { display: grid; grid-template-columns: minmax(0, 1fr) minmax(320px, .8fr); gap: 1.5rem; align-items: start; }
.calc-form,
.calc-results {
  border: 1px solid var(--border);
  border-radius: 12px;
  padding: clamp(1.2rem, 3vw, 1.8rem);
  background: var(--white);
}
.calc-results { position: sticky; top: 76px; background: var(--bg-dark-section); color: var(--ink-hero); border-color: var(--border-hero); }
.input-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 1rem; }
.input-field label { display: block; font-size: .78rem; font-weight: 700; margin-bottom: .35rem; }
.input-field small { display: block; color: var(--muted); font-size: .68rem; margin-top: .25rem; }
.input-wrap { display: flex; align-items: center; border: 1px solid var(--border); border-radius: 6px; overflow: hidden; background: var(--bg); }
.input-wrap span { color: var(--muted); padding: 0 .65rem; font-size: .8rem; }
.input-wrap input { width: 100%; min-width: 0; border: 0; background: transparent; padding: .7rem .65rem; font: inherit; color: var(--ink); }
.input-wrap input:focus { outline: 2px solid var(--green-light); outline-offset: -2px; }
.calc-actions { display: flex; gap: .75rem; flex-wrap: wrap; margin-top: 1.2rem; }
.model-breakdown {
  display: grid;
  gap: .45rem;
  padding: .8rem;
  margin-bottom: 1rem;
  border: 1px solid var(--border-hero);
  border-radius: 7px;
  background: var(--bg-dark-card);
}
.model-breakdown div { display: flex; align-items: center; justify-content: space-between; gap: 1rem; }
.model-breakdown span { color: var(--muted-hero); font-size: .7rem; }
.model-breakdown strong { color: var(--ink-hero); font-family: 'SF Mono', 'Cascadia Code', Consolas, monospace; font-size: .78rem; }
.scenario-heading { color: var(--ink-hero); font-size: .75rem; font-weight: 800; letter-spacing: .04em; }
.scenario-grid { display: grid; gap: .75rem; }
.scenario-row {
  display: grid;
  grid-template-columns: 125px 1fr;
  gap: 1rem;
  align-items: center;
  padding: .85rem 0;
  border-bottom: 1px solid var(--border-hero);
}
.scenario-row:last-child { border-bottom: 0; }
.scenario-name { color: var(--muted-hero); font-size: .72rem; font-weight: 800; text-transform: uppercase; letter-spacing: .07em; }
.scenario-name span { display: block; margin-top: .15rem; font-size: .61rem; font-weight: 600; letter-spacing: 0; text-transform: none; }
.scenario-output strong { display: block; color: var(--green-light); font-family: 'SF Mono', 'Cascadia Code', Consolas, monospace; font-size: 1.05rem; }
.scenario-output span { color: var(--muted-hero); font-size: .72rem; }
.calc-baseline { display: grid; grid-template-columns: 1fr 1fr; gap: .7rem; margin-bottom: 1rem; }
.calc-baseline div { background: var(--bg-dark-card); border-radius: 7px; padding: .8rem; }
.calc-baseline strong { display: block; color: var(--ink-hero); font-size: 1rem; }
.calc-baseline span { color: var(--muted-hero); font-size: .68rem; }
.calc-method { color: var(--muted-hero); font-size: .68rem; line-height: 1.55; margin-top: .9rem; }
.model-note { font-size: .78rem; line-height: 1.55; color: var(--muted); margin-top: 1rem; }

.audit-paper {
  background: var(--white);
  border: 1px solid var(--border);
  border-radius: 12px;
  box-shadow: 0 18px 60px rgba(26,30,42,.08);
  overflow: hidden;
}
.audit-cover { background: var(--bg-dark-section); color: var(--ink-hero); padding: clamp(1.5rem, 5vw, 3rem); }
.audit-cover .audit-kicker { color: var(--brass-light); font-size: .7rem; font-weight: 800; letter-spacing: .13em; text-transform: uppercase; }
.audit-cover h1, .audit-cover h2 { font-family: Charter, 'Bitstream Charter', 'Iowan Old Style', Georgia, serif; font-size: clamp(2rem, 5vw, 3rem); line-height: 1.1; margin: .7rem 0; }
.audit-cover p { color: var(--muted-hero); max-width: 62ch; }
.audit-cover-meta { display: flex; flex-wrap: wrap; gap: 1.2rem 2rem; margin-top: 2rem; padding-top: 1.2rem; border-top: 1px solid var(--border-hero); }
.audit-cover-meta div { font-size: .75rem; color: var(--muted-hero); }
.audit-cover-meta strong { display: block; color: var(--ink-hero); margin-top: .2rem; }
.audit-section { padding: clamp(1.4rem, 4vw, 2.4rem); border-bottom: 1px solid var(--border); }
.audit-section:last-child { border-bottom: 0; }
.audit-section h2 { font-family: Charter, 'Bitstream Charter', 'Iowan Old Style', Georgia, serif; font-size: 1.45rem; margin-bottom: .75rem; }
.audit-section > p { color: var(--ink-soft); max-width: 74ch; }
.audit-summary-card { padding: 1rem; background: var(--bg-alt); border: 1px solid var(--border); border-radius: 8px; }
.audit-summary-card strong { display: block; color: var(--green); font-family: 'SF Mono', 'Cascadia Code', Consolas, monospace; }
.audit-summary-card span { display: block; color: var(--muted); font-size: .76rem; margin-top: .2rem; }
.audit-table { width: 100%; border-collapse: collapse; margin-top: 1rem; font-size: .82rem; }
.audit-table th { text-align: left; color: var(--muted); font-size: .68rem; text-transform: uppercase; letter-spacing: .06em; padding: .65rem; border-bottom: 1px solid var(--border); }
.audit-table td { padding: .75rem .65rem; border-bottom: 1px solid var(--border); vertical-align: top; }
.rank { width: 26px; height: 26px; display: grid; place-items: center; border-radius: 50%; background: var(--green); color: white; font-size: .72rem; font-weight: 800; }
.control-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: .8rem; margin-top: 1rem; }
.control-card { border: 1px solid var(--border); border-radius: 8px; padding: 1rem; }
.control-card strong { display: block; font-size: .85rem; margin-bottom: .35rem; }
.control-card p { color: var(--muted); font-size: .78rem; line-height: 1.5; }
.dark .control-card { background: var(--bg-dark-card); border-color: var(--border-hero); }
.dark .control-card strong { color: var(--ink-hero); }
.dark .control-card p { color: var(--muted-hero); }
.assurance-steps { grid-template-columns: repeat(4, 1fr); }
.audit-actions { display: flex; gap: .75rem; justify-content: flex-end; margin-bottom: 1rem; }

@media (max-width: 800px) {
  .proof-intro-grid, .proof-link-grid, .audit-summary-grid { grid-template-columns: 1fr; }
  .demo-tabs { grid-template-columns: 1fr; }
  .demo-tab, .demo-tab:nth-child(3n) { border-right: 0; border-bottom: 1px solid var(--border); text-align: left; }
  .demo-tab:last-child { border-bottom: 0; }
  .demo-workspace, .calculator-layout { grid-template-columns: 1fr; }
  .calc-results { position: static; }
  .document-layout { grid-template-columns: 1fr; }
  .document-list { border-right: 0; border-bottom: 1px solid var(--border); display: flex; overflow-x: auto; }
  .document-item { min-width: 180px; }
  .control-grid { grid-template-columns: 1fr; }
  .assurance-steps { grid-template-columns: 1fr 1fr; }
  .journey-context, .evidence-grid, .evidence-sequence { grid-template-columns: 1fr 1fr; }
  .journey-action, .assurance-link { align-items: flex-start; flex-direction: column; }
}
@media (max-width: 560px) {
  .demo-panel-head { flex-direction: column; gap: .8rem; }
  .input-grid, .field-grid, .ops-metrics, .metric-stack, .calc-baseline { grid-template-columns: 1fr; }
  .scenario-row { grid-template-columns: 1fr; gap: .25rem; }
  .audit-table { min-width: 680px; }
  .audit-section { overflow-x: auto; }
  .assurance-steps { grid-template-columns: 1fr; }
  .journey-context, .evidence-grid, .evidence-sequence { grid-template-columns: 1fr; }
}

@media print {
  .nav, .footer, .audit-actions, .final { display: none !important; }
  body { background: #fff; }
  .section { padding: 0; max-width: none; }
  .audit-paper { border: 0; box-shadow: none; }
  .audit-section { break-inside: avoid; }
}

@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after { scroll-behavior: auto !important; transition: none !important; }
}