:root { --ink:#14181d; --navy:#0b1f3a; --gold:#a87926; --ivory:#f7f3ea; --paper:#fcfbf9; --slate:#63707d; --red:#8f3434; }
* { box-sizing: border-box; }
html { background: #ebe7df; }
body { max-width: 920px; margin: 2rem auto; padding: 4rem 5rem; background: var(--paper); color: var(--ink); font: 17px/1.62 Georgia, serif; box-shadow: 0 12px 40px rgba(11,31,58,.14); }
h1,h2,h3,h4 { color:var(--navy); line-height:1.2; font-family: Arial, sans-serif; }
h1 { margin-top:3.5rem; border-bottom:2px solid var(--gold); padding-bottom:.35rem; }
h2 { margin-top:2.5rem; }
a { color:#245f91; }
a.uri { overflow-wrap:anywhere; }
h1,h2,h3,h4,figure,.equation,blockquote { scroll-margin-top:110px; }
.fig-head .fig-num, .fig-head .fig-title { font-weight:700; }
.fig-head .fig-lead { display:block; margin-top:.35rem; }
blockquote { margin:1.5rem 0; padding:1rem 1.25rem; background:#fff4d8; border-left:5px solid var(--gold); }
body > blockquote:first-of-type { background:#fdeaea; border-color:var(--red); font-family:Arial,sans-serif; font-weight:700; }
table { width:100%; border-collapse:collapse; margin:1.4rem 0; font-size:.92rem; }
th { background:var(--navy); color:white; text-align:left; }
th,td { border:1px solid #d8d1c4; padding:.65rem; vertical-align:top; }
tr:nth-child(even) td { background:var(--ivory); }
figure { margin:2rem 0; padding:1rem; border:1px solid #d8d1c4; background:white; }
figure img { display:block; max-width:100%; height:auto; margin:auto; }
figcaption { color:#374351; font-size:.9rem; }
.equation { overflow-x:auto; padding:.7rem; background:white; border-left:3px solid #d8d1c4; }
code,pre { font-family:"IBM Plex Mono", Menlo, monospace; font-size:.88rem; }
pre { overflow-x:auto; padding:1rem; background:#f3f0e9; }
nav#TOC { background:var(--ivory); padding:1rem 1.5rem; border-top:3px solid var(--gold); }
header#title-block-header { padding-bottom:1.5rem; border-bottom:5px solid var(--navy); }
header#title-block-header .title { margin-top:0; }
@media (max-width:760px) { body { margin:0; padding:2rem 1.2rem; box-shadow:none; } table { display:block; overflow-x:auto; } }
@media print { html,body { background:white; } body { max-width:none; margin:0; padding:.6in; box-shadow:none; font-size:10.5pt; } blockquote { break-inside:avoid; } figure,table { break-inside:avoid; } }


.skip-link{position:absolute;left:-10000px;top:auto}.skip-link:focus{position:fixed;left:1rem;top:1rem;z-index:2147483647;padding:1rem;background:#fff;color:#0b1f3a;outline:3px solid #245f91}
a:focus-visible,button:focus-visible,textarea:focus-visible,[tabindex]:focus-visible{outline:3px solid #245f91;outline-offset:3px}
#TOC .toc-level-2{margin-left:1rem}#TOC .toc-level-3{margin-left:2rem}


header#title-block-header{position:relative;min-height:620px;margin:-1rem -2rem 3rem;padding:6rem 4rem 3rem;display:flex;flex-direction:column;justify-content:center;overflow:hidden;background:radial-gradient(circle at 85% 30%,rgba(40,106,155,.42),transparent 27%),linear-gradient(135deg,#071B35 0%,#0b284a 62%,#071B35 100%);color:white;border:0;border-radius:2px}
header#title-block-header::before{content:"PROVENONCE · BITTENSOR SUBNET 87";position:absolute;top:3.2rem;left:4rem;color:#d4aa55;font:700 12px/1 Arial,sans-serif;letter-spacing:.2em}
header#title-block-header::after{content:"FIND WHAT EXECUTION MISSED. PROVE IT. IMPROVE THE NEXT RUN.";position:absolute;left:4rem;right:4rem;bottom:3.2rem;padding-top:1.2rem;border-top:1px solid rgba(212,170,85,.7);color:#f7f3ea;font:700 12px/1.45 Arial,sans-serif;letter-spacing:.08em}
header#title-block-header .title{max-width:620px;margin:0 0 1.5rem;color:white;border:0;font:700 clamp(44px,8vw,76px)/.98 Georgia,serif;letter-spacing:-.035em}
header#title-block-header .subtitle{max-width:560px;color:#e6edf5;font:600 20px/1.45 Arial,sans-serif}
header#title-block-header .author,header#title-block-header .reviewer{margin:.35rem 0;color:#f7f3ea;font:600 14px/1.4 Arial,sans-serif}
header#title-block-header .date{color:#d4aa55;font:700 12px/1 Arial,sans-serif;letter-spacing:.08em}
header#title-block-header .version{max-width:560px;color:#bdc9d7;font:600 11px/1.45 Arial,sans-serif}
.epigraph-plate{min-height:460px;margin:3rem -2rem 4rem;padding:5rem 4rem;display:grid;align-content:center;gap:2.5rem;background:#f4efe5;border-top:8px solid #071B35;border-bottom:2px solid #b8892e}
.epigraph-plate blockquote{margin:0;padding:0 0 0 1.5rem;background:transparent;border-left:3px solid #b8892e;color:#071B35;font:italic 26px/1.35 Georgia,serif}
.epigraph-plate blockquote p{margin:.25rem 0}.epigraph-plate cite{display:block;margin-top:1rem;color:#687481;font:700 11px/1.3 Arial,sans-serif;letter-spacing:.1em;text-transform:uppercase}.epigraph-plate .latin{font-size:20px;letter-spacing:.04em}
h1:has(.part-label){min-height:300px;margin:5rem -2rem 3rem;padding:4rem;display:flex;flex-direction:column;justify-content:flex-end;background:#071B35;color:white;border-bottom:8px solid #b8892e}
h1:has(.part-label) .part-label{color:#d4aa55;font:700 12px/1 Arial,sans-serif;letter-spacing:.18em;text-transform:uppercase}h1:has(.part-label) .part-title{display:block;margin-top:1rem;color:white;font:700 46px/1.05 Georgia,serif}
blockquote{border-radius:0}.illustrative-box{margin:1.5rem 0;padding:1rem 1.25rem;background:#eef4f8;border-left:5px solid #286A9B;color:#24364b}.illustrative-box strong{display:block;margin-bottom:.35rem;color:#071B35;font-family:Arial,sans-serif}
.references-list p{margin:0 0 .85rem;padding-left:1.4rem;text-indent:-1.4rem;font-size:.92rem}.fig-art{margin-top:1rem}.fig-art img{width:100%;max-height:420px}.equation.boxed{overflow-x:visible}.equation.boxed math{font-size:.88em}
@media(max-width:760px){header#title-block-header{min-height:520px;margin:-.5rem 0 2rem;padding:5rem 1.5rem 3rem}header#title-block-header::before{left:1.5rem;top:2.5rem}header#title-block-header::after{left:1.5rem;right:1.5rem;bottom:2rem}.epigraph-plate{min-height:360px;margin:2rem 0 3rem;padding:3rem 1.5rem}.epigraph-plate blockquote{font-size:21px}h1:has(.part-label){min-height:230px;margin:4rem 0 2rem;padding:2rem}h1:has(.part-label) .part-title{font-size:36px}.equation.boxed math{font-size:.72em}}
@media print{header#title-block-header,.epigraph-plate,h1:has(.part-label){break-after:page;page-break-after:always;box-shadow:none}.epigraph-plate{break-before:page;page-break-before:always}}


.sr-only{position:absolute!important;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}
.review-state{margin:1.5rem 0 2.5rem;padding:.75rem 1rem;border-top:1px solid #d8d1c4;border-bottom:1px solid #d8d1c4;color:#586673;font:12px/1.5 Arial,sans-serif}
.contents{margin:2rem 0 3rem;background:var(--ivory);border-top:3px solid var(--gold)}
.contents summary{padding:1rem 1.5rem;cursor:pointer;font:700 17px/1.3 Arial,sans-serif;color:var(--navy)}
nav#TOC{border:0;padding-top:0;font:14px/1.55 Arial,sans-serif}
nav#TOC ul{padding-left:1.25rem}nav#TOC li{margin:.35rem 0}nav#TOC a{text-decoration:none}nav#TOC a:hover{text-decoration:underline}
.part-divider .part-label:only-child{font:700 42px/1.1 Georgia,serif;color:white;text-transform:none;letter-spacing:0}
.table-wrap{max-width:100%;overflow-x:auto}table{font:14px/1.45 Arial,sans-serif}th{font-weight:700}td p,th p{margin:0}td{overflow-wrap:break-word}
.fig-head{color:#071B35;font:14px/1.45 Arial,sans-serif}.fig-lead{color:#52606e;font-weight:400}.fig-art img{max-height:460px}.fig-art{margin:1rem 0}
figcaption{font:13px/1.45 Arial,sans-serif}.eqno{display:block;text-align:right;font:12px/1.3 Arial,sans-serif;color:#63707d}
.equation{margin:1.2rem 0;max-width:100%;font-size:.94em}.equation math{max-width:none}.equation.boxed{overflow:hidden}.equation.boxed math{font-size:.83em}
.cite{font-size:.91em;color:#374351}.references-list p{overflow-wrap:anywhere;line-height:1.55}
.figure-key{margin:1.5rem 0;padding:.8rem 1rem;border-left:3px solid #687481;background:#f4f3ef;color:#46515b;font:12px/1.5 Arial,sans-serif}.figure-key strong{color:#071B35}
pre{font-size:12px;line-height:1.5}pre code{font-size:inherit;white-space:pre-wrap;overflow-wrap:break-word}
code{font-size:.8em;overflow-wrap:anywhere}
@media(max-width:760px){
  body{font-size:17px}
  table{display:table;min-width:620px;font-size:13px}.table-wrap{margin:1rem 0}
  figure{padding:.65rem}.fig-head,figcaption{font-size:12px}.fig-art{margin:.7rem -.2rem}
  .equation.boxed{padding:.4rem}.equation.boxed math{font-size:.58em}
  .epigraph-plate cite{font-size:10px;line-height:1.5}
}
@media print{
  @page{size:Letter;margin:.6in .6in .65in}
  html,body{background:white}body{width:auto;max-width:none;margin:0;padding:0;font:10.5pt/1.45 Georgia,serif;box-shadow:none}
  .skip-link,.contents{display:none!important}
  header#title-block-header{margin:0;min-height:9.2in;height:9.2in;padding:1.5in .65in 1in;break-before:auto;break-after:page}
  header#title-block-header::before{top:.6in;left:.65in;font-size:10px}
  header#title-block-header::after{left:.65in;right:.65in;bottom:.5in;font-size:10px}
  header#title-block-header .title{font-size:58px}
  header#title-block-header .subtitle{font-size:17px}
  .epigraph-plate{height:9.2in;min-height:0;margin:0;padding:.8in .6in;break-before:page;break-after:page}
  .epigraph-plate blockquote{font-size:24px}
  h1:has(.part-label){height:9.2in;min-height:0;margin:0;padding:.9in .65in;break-before:page;break-after:page;justify-content:center}
  h1:has(.part-label) .part-title{font-size:46px}
  h1,h2,h3,h4{break-after:avoid-page;page-break-after:avoid}
  h1:not(.part-divider):not(.title){margin-top:.3in;font-size:22px}
  h2{margin-top:.24in;font-size:17px}h3{margin-top:.2in;font-size:13px}
  p{orphans:3;widows:3}li{orphans:2;widows:2}
  table{display:table;min-width:0;font:8.5pt/1.35 Arial,sans-serif;break-inside:avoid}
  table:has(tbody tr:nth-child(11)){break-inside:auto}
  th,td{padding:6px}tr{break-inside:avoid}thead{display:table-header-group}
  .table-wrap{overflow:visible;break-inside:auto}
  figure{break-inside:avoid;max-height:none;margin:.2in 0;padding:10px}
  .fig-head{font-size:10px}.fig-art{margin:10px 0}.fig-art img{max-height:3.75in}
  figcaption{font-size:9px}
  .equation{break-inside:avoid;overflow:visible;padding:7px;font-size:10pt}
  .equation math{font-size:.95em}.equation.boxed math{font-size:.84em}
  .eqno{font-size:9px}
  blockquote,.illustrative-box{break-inside:avoid}
  pre{font:8pt/1.35 Menlo,monospace;overflow:visible;break-inside:avoid}
  #references{break-before:page}
  .references-list p{font-size:9pt;break-inside:avoid}
  .review-state{font-size:8pt;margin:0 0 .2in}
  a{color:inherit;text-decoration:none}
}


@media print { #why-the-problem-compounds, #appeals-and-dispute-resolution, #conclusion { break-before:page; } }


@font-face { font-family:"IBM Plex Mono"; src:url("IBMPlexMono-400.woff2") format("woff2"); font-weight:400; font-style:normal; font-display:swap; }
@font-face { font-family:"IBM Plex Mono"; src:url("IBMPlexMono-500.woff2") format("woff2"); font-weight:500; font-style:normal; font-display:swap; }


@media screen and (max-width:760px){header#title-block-header{padding-bottom:7.5rem}}