/* State Lens interface styles. Copyright CyberNative AI LLC. SPDX-License-Identifier: Apache-2.0 (styles only).
   Embedded fonts, unchanged from the CyberNative site, each under the SIL Open Font License 1.1
   (https://openfontlicense.org), and not covered by the Apache licence above:
   Fraunces 144pt Soft SemiBold, Copyright 2018 The Fraunces Project Authors (https://github.com/undercasetype/Fraunces).
   CyberNative Sans, a Latin-1 subset of IBM Plex Sans 400-600 renamed under the OFL Reserved Font Name rule; and
   IBM Plex Mono Medium Latin-1. Copyright 2017 IBM Corp. with Reserved Font Name "Plex".
   Embedded as data URIs so the page opens offline with no request. Full licence texts: the Licences section of the page. */
@font-face { font-family: "Fraunces"; src: url("fonts/fraunces-soft-600.woff2") format("woff2"); font-weight: 600; font-style: normal; font-display: swap; }
@font-face { font-family: "CyberNative Sans"; src: url("fonts/cybernative-sans.woff2") format("woff2"); font-weight: 400 600; font-style: normal; font-display: swap; }
@font-face { font-family: "IBM Plex Mono"; src: url("fonts/ibm-plex-mono-500.woff2") format("woff2"); font-weight: 400 500; font-style: normal; font-display: swap; }

/* CyberNative brand kit v2.0.0 "Working Paper", Paper edition. Values copied from its
   tokens.css; no other palette, no shadow, no motion. */
:root {
  color-scheme: light;
  --wp-paper: #f6f2e7; --wp-panel: #fffdf7; --wp-ink: #0e1427; --wp-muted: #4a5a68; --wp-hair: #d6cfbd;
  --wp-bio: #0db8ab; --wp-cited: #b8eae4; --wp-flag: #f6d2bf; --wp-rust: #9c3f17; --wp-link: #531b6c;
  --wp-focus: #a82b99;
  --wp-font-display: "Fraunces", Georgia, serif;
  --wp-font-body: "CyberNative Sans", Arial, sans-serif;
  --wp-font-mono: "IBM Plex Mono", ui-monospace, "SFMono-Regular", Menlo, monospace;
  --wp-text-hero: clamp(2.5rem, 5.2vw, 4.5rem);
  --wp-text-title: clamp(2rem, 3.6vw, 3rem);
  --wp-text-h3: 1.25rem;
  --wp-text-lede: clamp(1.125rem, 1.6vw, 1.3125rem);
  --wp-text-body: 1rem;
  --wp-text-meta: 0.875rem;
  --wp-text-cite: 0.8125rem;
  --wp-1: 0.25rem; --wp-2: 0.5rem; --wp-3: 0.75rem; --wp-4: 1rem; --wp-6: 1.5rem;
  --wp-8: 2rem; --wp-12: 3rem; --wp-16: 4rem; --wp-24: 6rem;
  --wp-rule: 1px; --wp-rule-strong: 2px; --wp-radius: 4px;
  --wp-page: 76rem; --wp-gutter: clamp(1.25rem, 4vw, 2.5rem); --wp-tap: 48px;
}

*, *::before, *::after { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body { margin: 0; background: var(--wp-paper); color: var(--wp-ink); font: 400 var(--wp-text-body)/1.6 var(--wp-font-body); }
h1, h2, h3, p, dl, dd, ol, figure, fieldset { margin: 0; }
ol { padding: 0; list-style: none; }
a { color: var(--wp-link); text-underline-offset: 3px; }
code { font-family: var(--wp-font-mono); }
b { font-weight: 600; }
:focus-visible { outline: 3px solid var(--wp-focus); outline-offset: 3px; }
.vh { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); clip-path: inset(50%); white-space: nowrap; }
.skip { position: absolute; left: var(--wp-4); top: -100px; background: var(--wp-panel); padding: var(--wp-3) var(--wp-4); border: 2px solid var(--wp-ink); z-index: 2; }
.skip:focus { top: var(--wp-4); }

.wrap { max-width: var(--wp-page); margin: 0 auto; padding: 0 var(--wp-gutter); }
.grid { display: grid; grid-template-columns: minmax(0, 7fr) minmax(0, 5fr); gap: var(--wp-8) var(--wp-16); align-items: start; }
.lens { grid-template-areas: "claim record" "fork record"; grid-template-rows: auto 1fr; }
.lens > .claim-col { grid-area: claim; }
.lens > .fork { grid-area: fork; }
.lens > .receipt { grid-area: record; }

.label { font: 500 var(--wp-text-cite)/1.2 var(--wp-font-mono); letter-spacing: 0.06em; text-transform: uppercase; color: var(--wp-muted); }
.label b { color: var(--wp-ink); font-weight: 500; }
.muted { color: var(--wp-muted); }
.meta { font-size: var(--wp-text-meta); line-height: 1.45; color: var(--wp-muted); }

mark { color: var(--wp-ink); background: var(--wp-cited); padding: 0 0.15em; }
mark.flag { background: var(--wp-flag); }
mark.cited { background: var(--wp-cited); }

/* masthead: plain text on a rule */
.masthead { border-bottom: var(--wp-rule-strong) solid var(--wp-ink); }
.masthead-row { display: flex; align-items: center; justify-content: space-between; gap: var(--wp-4); min-height: 64px; flex-wrap: wrap; padding-top: var(--wp-2); padding-bottom: var(--wp-2); }
.brand { display: flex; align-items: center; gap: var(--wp-2); font-weight: 600; }
.brand .mark { width: 28px; height: 28px; }
.brand-sub { color: var(--wp-muted); font-weight: 500; }

/* hero: the claim on the left, the record on the right */
.hero { padding: var(--wp-16) 0 var(--wp-24); }
.claim-col > * + * { margin-top: var(--wp-6); }
.claim { font: 600 var(--wp-text-hero)/1.02 var(--wp-font-display); letter-spacing: -0.02em; word-spacing: 0.06em; text-wrap: balance; max-width: 13ch; }
.claim mark { background: none; padding: 0; }
.claim mark.flag { background: linear-gradient(transparent 34%, var(--wp-flag) 34%, var(--wp-flag) 92%, transparent 92%); }
.claim mark.cited { background: linear-gradient(transparent 34%, var(--wp-cited) 34%, var(--wp-cited) 92%, transparent 92%); }
.lede { font-size: var(--wp-text-lede); line-height: 1.5; max-width: 36rem; }
.title { font: 600 var(--wp-text-title)/1.08 var(--wp-font-display); letter-spacing: -0.02em; word-spacing: 0.06em; text-wrap: balance; max-width: 22ch; }
.h3 { font-size: var(--wp-text-h3); line-height: 1.3; font-weight: 600; }
.band { border-top: var(--wp-rule-strong) solid var(--wp-ink); padding: var(--wp-16) 0 var(--wp-24); }
.band .wrap > .label + .title, .band .wrap > .label + .h3 { margin-top: var(--wp-4); }

/* the fork: replace one action */
.options { border: 0; padding: 0; display: grid; grid-template-columns: 1fr 1fr; gap: var(--wp-2); }
.options legend { padding: 0; margin-bottom: var(--wp-3); font-weight: 500; grid-column: 1 / -1; }
.option { display: flex; align-items: center; gap: var(--wp-3); min-height: var(--wp-tap); padding: var(--wp-2) var(--wp-3); border: 2px solid var(--wp-ink); border-radius: var(--wp-radius); background: var(--wp-panel); cursor: pointer; line-height: 1.3; }
.option { position: relative; }
.option input { position: absolute; inset: -2px; width: calc(100% + 4px); height: calc(100% + 4px); margin: 0; appearance: none; -webkit-appearance: none; background: transparent; border: 0; border-radius: var(--wp-radius); cursor: pointer; }
.option .dot { flex: none; width: 20px; height: 20px; border: 2px solid currentColor; border-radius: 50%; }
.option:has(input:checked) .dot { background: radial-gradient(circle, currentColor 0 4px, transparent 5px); }
.option:has(input:checked) { background: var(--wp-ink); color: var(--wp-paper); }
.option:has(input:checked) .muted { color: var(--wp-paper); }
.option input:focus-visible { outline: 3px solid var(--wp-focus); outline-offset: 3px; }
.act { display: flex; flex-wrap: wrap; align-items: center; gap: var(--wp-3) var(--wp-6); }
.action, .quiet { font: 600 var(--wp-text-body)/1.2 var(--wp-font-body); min-height: var(--wp-tap); padding: var(--wp-3) var(--wp-6); border: 2px solid var(--wp-ink); border-radius: var(--wp-radius); color: var(--wp-ink); cursor: pointer; }
.action { background: var(--wp-bio); }
.action[aria-disabled="true"] { background: var(--wp-panel); color: var(--wp-muted); border-style: dashed; cursor: not-allowed; }
.quiet { background: var(--wp-panel); }
.quiet.small { padding: var(--wp-2) var(--wp-4); font-size: var(--wp-text-meta); }
.quiet[aria-pressed="true"] { background: var(--wp-ink); color: var(--wp-paper); }
button:disabled { cursor: not-allowed; opacity: 1; color: var(--wp-muted); }
.button-note { flex: 1 1 16rem; margin: 0; }
.fork > * + * { margin-top: var(--wp-6); }
.fork-status { font-size: var(--wp-text-meta); color: var(--wp-muted); min-height: 1.45em; }
.fork-status:empty { display: none; }

/* receipt: record lines above the check ledger */
.receipt { background: var(--wp-panel); border: var(--wp-rule-strong) solid var(--wp-ink); min-width: 0; }
.receipt-head { display: flex; flex-wrap: wrap; justify-content: space-between; gap: var(--wp-1) var(--wp-3); padding: var(--wp-3) var(--wp-4); border-bottom: var(--wp-rule-strong) solid var(--wp-ink); }
.receipt-mid { border-top: var(--wp-rule-strong) solid var(--wp-ink); }
.record { padding: var(--wp-3) 0; }
.lines { counter-reset: line; font: 400 var(--wp-text-cite)/1.2 var(--wp-font-mono); }
.lines li { counter-increment: line; display: grid; grid-template-columns: 2.25rem minmax(0, 1fr) auto; align-items: baseline; gap: 0 var(--wp-3); padding: 3px var(--wp-4) 3px 0; }
.lines li::before { content: counter(line); color: var(--wp-muted); text-align: right; }
.lines code { white-space: pre-wrap; overflow-wrap: anywhere; font-size: 0.875rem; line-height: 1.45; }
.lines mark { padding: 1px 2px; font-weight: 500; }
.note { font: 500 var(--wp-text-cite)/1.2 var(--wp-font-mono); text-align: right; white-space: nowrap; }
.note.flag { color: var(--wp-rust); }
.note.cited { color: var(--wp-muted); }
.state-note { padding: var(--wp-3) var(--wp-4); color: var(--wp-muted); }
.receipt-foot { border-top: var(--wp-rule) solid var(--wp-ink); padding: var(--wp-3) var(--wp-4); font-size: var(--wp-text-meta); line-height: 1.45; color: var(--wp-muted); }
.receipt-foot q { color: var(--wp-ink); }

.check-rows .check { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: var(--wp-1) var(--wp-4); align-items: center; padding: var(--wp-3) var(--wp-4); border-bottom: var(--wp-rule) solid var(--wp-hair); }
.check-evidence { grid-column: 1 / -1; }
.check dt { font-weight: 500; font-size: var(--wp-text-meta); }
.check-evidence { font-size: var(--wp-text-meta); color: var(--wp-muted); line-height: 1.45; }
.cite { font: 500 var(--wp-text-cite)/1.2 var(--wp-font-mono); color: var(--wp-ink); text-decoration: underline; text-underline-offset: 3px; overflow-wrap: anywhere; }
.verdict { display: inline-block; font: 500 var(--wp-text-cite)/1 var(--wp-font-mono); letter-spacing: 0.04em; text-transform: uppercase; padding: 6px 8px; border: var(--wp-rule) solid var(--wp-ink); white-space: nowrap; }
.verdict.pass { background: var(--wp-cited); }
.verdict.fail { background: var(--wp-flag); border: var(--wp-rule) dashed var(--wp-rust); }
.flip { display: inline-flex; flex-wrap: wrap; align-items: center; gap: 6px; }
.arrow { font-family: var(--wp-font-body); }
.blind { border-left: var(--wp-rule-strong) solid var(--wp-rust); margin: var(--wp-3) var(--wp-4); padding: var(--wp-1) 0 var(--wp-1) var(--wp-4); }
.blind .label { color: var(--wp-rust); margin-bottom: var(--wp-2); }
.blind p:last-child { font-size: var(--wp-text-meta); line-height: 1.45; }

/* bookkeeping controls */
.pair { display: grid; grid-template-columns: 1fr 1fr; gap: var(--wp-8); margin-top: var(--wp-8); align-items: start; }
.control-body { border-top: var(--wp-rule) solid var(--wp-ink); padding: var(--wp-3) var(--wp-4); }
.control-note { font-size: var(--wp-text-meta); line-height: 1.45; color: var(--wp-muted); }
.hash-row { display: grid; grid-template-columns: 7.5rem minmax(0, 1fr); gap: var(--wp-1) var(--wp-3); padding: var(--wp-2) 0; border-bottom: var(--wp-rule) solid var(--wp-hair); font-size: var(--wp-text-meta); align-items: baseline; }
.hash-row:last-child { border-bottom: 0; }
.hash-row dt { font-weight: 500; }
.hash-row dd { display: flex; flex-wrap: wrap; gap: var(--wp-1) var(--wp-2); align-items: center; }
.hash { font: 400 var(--wp-text-cite)/1.4 var(--wp-font-mono); word-break: break-all; }
.control-act { border-top: var(--wp-rule-strong) solid var(--wp-ink); padding: var(--wp-3) var(--wp-4); }

/* all cases */
.tally { display: flex; flex-wrap: wrap; gap: var(--wp-4) var(--wp-12); margin: var(--wp-8) 0 var(--wp-6); }
.strip-label { font-size: var(--wp-text-meta); margin-bottom: var(--wp-2); }
.squares { display: flex; gap: 4px; }
.squares li { width: 22px; height: 22px; border: var(--wp-rule) solid var(--wp-ink); background: var(--wp-cited); }
.squares li.fail { background: var(--wp-flag); border: var(--wp-rule) dashed var(--wp-rust); }
.table-wrap { overflow-x: auto; }
.ledger { width: 100%; border-collapse: collapse; font-size: var(--wp-text-body); }
.ledger th, .ledger td { text-align: left; padding: var(--wp-3) var(--wp-3) var(--wp-3) 0; border-bottom: var(--wp-rule) solid var(--wp-hair); vertical-align: middle; }
.ledger thead th { font: 500 var(--wp-text-cite)/1.2 var(--wp-font-mono); letter-spacing: 0.06em; text-transform: uppercase; color: var(--wp-muted); border-bottom: var(--wp-rule) solid var(--wp-ink); }
.ledger tbody th code { font-weight: 500; }
.cases > .meta { margin-top: var(--wp-4); max-width: 48rem; }

/* licences: full texts, closed by default */
.licences .scope { margin: var(--wp-4) 0 var(--wp-6); padding-left: 1.25rem; max-width: 48rem; }
.licences .scope li + li { margin-top: var(--wp-2); }
.licence { border-top: var(--wp-rule) solid var(--wp-ink); }
.licence:last-of-type { border-bottom: var(--wp-rule) solid var(--wp-ink); }
.licence summary { display: flex; align-items: center; min-height: var(--wp-tap); padding: var(--wp-2) 0; font-weight: 600; cursor: pointer; gap: var(--wp-4); list-style: none; }
.licence summary::-webkit-details-marker { display: none; }
.licence summary::after { content: "Show text"; margin-left: auto; flex: none; font: 500 var(--wp-text-cite)/1.2 var(--wp-font-mono); letter-spacing: 0.06em; text-transform: uppercase; color: var(--wp-ink); text-decoration: underline; text-underline-offset: 3px; }
.licence[open] summary::after { content: "Hide text"; }
.licence-text { margin: 0 0 var(--wp-6); max-width: 82ch; padding: var(--wp-4); background: var(--wp-panel); border: var(--wp-rule) solid var(--wp-hair); font: 400 var(--wp-text-meta)/1.5 var(--wp-font-mono); white-space: pre-wrap; overflow-wrap: anywhere; }

/* about + limit */
.about p + p { margin-top: var(--wp-3); }
.about h2 + p { margin-top: var(--wp-3); }
.about p { max-width: 40rem; }
.limit { border-left: var(--wp-rule-strong) solid var(--wp-rust); padding: var(--wp-1) 0 var(--wp-1) var(--wp-4); }
.limit .label { color: var(--wp-rust); margin-bottom: var(--wp-2); }
.foot { border-top: var(--wp-rule-strong) solid var(--wp-ink); padding: var(--wp-8) 0 var(--wp-12); font-size: var(--wp-text-meta); color: var(--wp-muted); }
.foot-row { display: flex; flex-wrap: wrap; justify-content: space-between; gap: var(--wp-3) var(--wp-8); }
.foot a { display: inline-block; min-height: var(--wp-tap); line-height: var(--wp-tap); color: var(--wp-ink); }

.fatal { position: fixed; inset: auto var(--wp-4) var(--wp-4) var(--wp-4); max-width: 40rem; margin: 0 auto; background: var(--wp-panel); border: var(--wp-rule-strong) solid var(--wp-rust); padding: var(--wp-4); z-index: 3; }
.fatal .label { color: var(--wp-rust); margin-bottom: var(--wp-2); }
.fatal p + p { margin-top: var(--wp-2); }

@media (max-width: 899px) {
  .grid, .pair { grid-template-columns: minmax(0, 1fr); }
  .lens { grid-template-areas: "claim" "record" "fork"; grid-template-rows: auto; }
  .hero { padding: var(--wp-8) 0 var(--wp-16); }
  .band { padding: var(--wp-12) 0 var(--wp-16); }
}
@media (max-width: 599px) {
  .meta, .fork-status, .receipt-foot, .check dt, .check-evidence, .control-note, .hash-row, .strip-label, .blind p:last-child, .foot { font-size: 1rem; line-height: 1.5; }
  .options { grid-template-columns: minmax(0, 1fr); }
  .check-rows .check { grid-template-columns: minmax(0, 1fr); }
  .lines li { grid-template-columns: 1.75rem minmax(0, 1fr); padding-right: var(--wp-3); }
  .lines .note { grid-column: 2; text-align: left; margin: 2px 0 4px; }
  .hash-row { grid-template-columns: minmax(0, 1fr); }
  .ledger thead { display: none; }
  .ledger, .ledger tbody, .ledger tr, .ledger th, .ledger td { display: block; }
  .ledger tr { border-bottom: var(--wp-rule) solid var(--wp-ink); padding: var(--wp-3) 0; }
  .ledger th, .ledger td { border: 0; padding: 2px 0; }
  .ledger td { display: grid; grid-template-columns: 7.5rem minmax(0, 1fr); gap: var(--wp-3); align-items: center; justify-items: start; }
  .ledger td::before { content: attr(data-label); font: 500 var(--wp-text-cite)/1.2 var(--wp-font-mono); letter-spacing: 0.06em; text-transform: uppercase; color: var(--wp-muted); }
  .masthead-note { width: 100%; }
  .licence-text { font-size: 1rem; }
}
/* The kit has no motion; nothing on this page animates, with or without prefers-reduced-motion. */