/* tokens-proof.css — PROOF-DAG (proving) overlay · DARK
   Brand SoT (rendering, brand-polishing § 3b, variant A — operator pick
   2026-06-16). Re-ratified verbatim from graphs-2's live 2026-06-09 proof set.
   Same kit var names, proof-tuned: the value lens is the proof default; tier
   ramp is green (vs lattice blue); axis palette identical (§ 8). */
:root {
  --ink: #d6e0dc;
  --edge: #6f8a84;
  --golden: #d4af37;
  --halo: #e0c060;
  --fail: #d64545;

  /* method-DAG etype classes (W9 sweep 2026-07-07; consumed by
     graphs/src/backends/cytoscape/elements.ts with --edge / --fail
     fallbacks). feedback = the dashed open return path — muted amber,
     distinct from --golden/--halo; veto intentionally aliases --fail's
     value at adoption (a veto renders as refutation red) — own token so
     the hues can diverge later without a kit edit. */
  --edge-feedback: #b3924a;
  --edge-veto: #d64545;
  --font-mono: 'JetBrains Mono', 'Courier New', monospace;

  /* predicate truth — the value lens (proof default) */
  --value-true: #2e9e4f;
  --value-false: #b0556a;

  /* agreement + tier kept defined so a proof view can switch lenses */
  --agree-ok: #2e9e4f;
  --agree-warn: #f0a500;
  --agree-bad: #d64545;
  --agree-none: #6b7480;

  /* tier confidence ramp (proof = green) */
  --tier-a-full: #0b3d2e;
  --tier-a: #1f7a5a;
  --tier-b: #4fae8a;
  --tier-modulo: #b7dccd;
  --tier-unknown: #3a4b45;

  /* axis lens — identical hues to the lattice overlay (§ 8) */
  --axis-elements: #4f86c6;
  --axis-deontic: #c64f86;
  --axis-ontology: #3fb5a0;
  --axis-procedure: #c6a84f;
  --axis-structure: #8c5fd0;
  --axis-remedy: #d2854a;
  --axis-scienter: #5bbf57;
  --axis-sanction: #b06a8f;
  --axis-intertemporal: #4fa8c6;
  --axis-evidentiary: #9fbf4f;
  --axis-trend: #4f86c6;
  --axis-momentum: #c64f86;
  --axis-volatility: #d2854a;
  --axis-volume: #3fb5a0;
  --axis-crosssection: #8c5fd0;
  --axis-instrumentrisk: #d64545;
}