:root{--bs-bg:#070b0a;--bs-panel:rgba(9,16,13,.86);--bs-line:rgba(145,196,166,.18);--bs-line-hot:rgba(145,226,178,.55);--bs-text:#e6eee9;--bs-dim:#82938a;--bs-green:#9ee0b5;--bs-amber:#d7b57b}
*{box-sizing:border-box}.bs-page{background:var(--bs-bg);color:var(--bs-text);min-height:100vh}.bs-page:before{content:"";position:fixed;inset:0;pointer-events:none;background:radial-gradient(circle at 72% 12%,rgba(57,103,78,.13),transparent 30%),linear-gradient(rgba(255,255,255,.018) 1px,transparent 1px),linear-gradient(90deg,rgba(255,255,255,.012) 1px,transparent 1px);background-size:auto,48px 48px,48px 48px;mask-image:linear-gradient(to bottom,black,transparent 86%)}
.bs-shell{position:relative;z-index:2;width:min(1180px,calc(100% - 44px));margin:0 auto;padding:132px 0 70px}.bs-intro{max-width:820px;padding-bottom:56px}.bs-kicker,.bs-section-label,.bs-case-kicker{font:700 11px/1.2 ui-monospace,SFMono-Regular,Menlo,monospace;letter-spacing:.16em;text-transform:uppercase;color:var(--bs-green)}.bs-intro h1{font-size:clamp(62px,10vw,136px);line-height:.82;margin:16px 0 26px;letter-spacing:-.07em}.bs-lede{font-size:clamp(25px,3vw,42px);line-height:1.08;letter-spacing:-.035em;max-width:780px;margin:0 0 20px}.bs-rule{max-width:680px;color:#9caaa2;font-size:16px;line-height:1.65}
.bs-proofbar{display:grid;grid-template-columns:repeat(4,1fr);border:1px solid var(--bs-line);background:rgba(7,13,10,.72);backdrop-filter:blur(14px);margin-bottom:32px}.bs-proofbar>div{padding:22px;border-right:1px solid var(--bs-line)}.bs-proofbar>div:last-child{border-right:0}.bs-proofbar strong{display:block;font:700 clamp(20px,2.2vw,31px)/1 ui-monospace,SFMono-Regular,Menlo,monospace;color:#eef8f1}.bs-proofbar span{display:block;color:var(--bs-dim);font-size:12px;margin-top:8px}
.bs-workbench{display:grid;grid-template-columns:minmax(300px,.85fr) minmax(0,1.55fr);border:1px solid var(--bs-line);min-height:620px;background:rgba(6,11,9,.72)}.bs-claimrail{border-right:1px solid var(--bs-line);padding:25px 18px}.bs-section-label{margin:0 10px 18px}.bs-claim{width:100%;display:grid;grid-template-columns:38px 1fr;gap:8px;text-align:left;border:0;border-top:1px solid var(--bs-line);padding:20px 10px;background:transparent;color:var(--bs-text);cursor:pointer;transition:.2s ease}.bs-claim:last-child{border-bottom:1px solid var(--bs-line)}.bs-claim:hover,.bs-claim:focus-visible{background:rgba(158,224,181,.055);outline:none}.bs-claim.active{background:rgba(158,224,181,.085);box-shadow:inset 3px 0 var(--bs-green)}.bs-index{font:600 11px/1 ui-monospace,SFMono-Regular,Menlo,monospace;color:#718078;padding-top:4px}.bs-claim b{font-size:15px;line-height:1.35;font-weight:650}.bs-claim small{display:block;color:var(--bs-dim);margin-top:6px;font:500 11px/1.3 ui-monospace,SFMono-Regular,Menlo,monospace}
.bs-evidencepane{padding:42px 46px;display:flex;flex-direction:column}.bs-case{animation:caseIn .28s ease}.bs-case h2{font-size:clamp(28px,3.2vw,46px);line-height:1.04;letter-spacing:-.04em;max-width:720px;margin:14px 0 22px}.bs-interpretation{color:#a4b0a9;line-height:1.65;max-width:720px}.bs-record{margin:32px 0;border:1px solid rgba(151,206,171,.24);background:#030605;box-shadow:inset 0 0 30px rgba(66,116,83,.08);padding:22px;overflow:auto}.bs-record code{white-space:nowrap;color:#b7d9c3;font:500 12px/1.9 ui-monospace,SFMono-Regular,Menlo,monospace}.bs-falsify{border-left:2px solid var(--bs-amber);padding:2px 0 2px 18px;max-width:720px}.bs-falsify span{font:700 11px/1.2 ui-monospace,SFMono-Regular,Menlo,monospace;text-transform:uppercase;letter-spacing:.12em;color:var(--bs-amber)}.bs-falsify p{margin:8px 0 0;color:#b5b7af;line-height:1.55}.bs-actions{margin-top:auto;padding-top:34px;display:flex;align-items:center;gap:14px}.bs-actions button{border:1px solid var(--bs-line-hot);background:rgba(81,137,102,.12);color:#dff5e6;padding:11px 14px;font:650 11px/1 ui-monospace,SFMono-Regular,Menlo,monospace;cursor:pointer}.bs-actions button:hover,.bs-actions button:focus-visible{background:rgba(113,181,137,.2);outline:1px solid rgba(158,224,181,.28)}#copyStatus{color:var(--bs-dim);font-size:12px}
.bs-timeline{padding:80px 0}.bs-timeline ol{list-style:none;padding:0;margin:26px 0 0;border-top:1px solid var(--bs-line)}.bs-timeline li{display:grid;grid-template-columns:110px 1fr;gap:24px;padding:22px 10px;border-bottom:1px solid var(--bs-line);position:relative}.bs-timeline li:before{content:"";width:7px;height:7px;border-radius:50%;background:#506058;position:absolute;left:91px;top:29px;box-shadow:0 0 0 5px var(--bs-bg)}.bs-timeline li.complete:before{background:var(--bs-green);box-shadow:0 0 18px rgba(158,224,181,.7),0 0 0 5px var(--bs-bg)}.bs-timeline time{font:650 14px/1.3 ui-monospace,SFMono-Regular,Menlo,monospace;color:#8fa197}.bs-timeline b{font-size:17px}.bs-timeline span{display:block;color:var(--bs-dim);font-size:13px;margin-top:5px}
.bs-provenance{display:grid;grid-template-columns:1.6fr .8fr;gap:28px;border-top:1px solid var(--bs-line);border-bottom:1px solid var(--bs-line);padding:42px 0}.bs-provenance h2{font-size:26px;letter-spacing:-.025em;margin:10px 0}.bs-provenance p{color:#9aa79f;line-height:1.6}.bs-package-status{display:flex;gap:12px;align-items:flex-start;border:1px solid rgba(215,181,123,.22);background:rgba(95,73,37,.08);padding:18px}.status-dot{width:8px;height:8px;border-radius:50%;background:var(--bs-amber);margin-top:5px;box-shadow:0 0 14px rgba(215,181,123,.5)}.bs-package-status b{font:650 12px/1.2 ui-monospace,SFMono-Regular,Menlo,monospace}.bs-package-status p{margin:5px 0 0;font-size:12px}.bs-honesty{grid-column:1/-1;margin:0!important;font-size:13px}.bs-footer{display:flex;justify-content:space-between;align-items:center;padding:32px 0 0;color:#84928a}.bs-footer nav{display:flex;gap:20px}.bs-footer a{color:#b6c8bd;text-decoration:none}.bs-footer a:hover{text-decoration:underline}
@keyframes caseIn{from{opacity:0;transform:translateY(7px)}to{opacity:1;transform:none}}
@media(max-width:800px){.bs-shell{width:min(100% - 24px,1180px);padding-top:116px}.bs-proofbar{grid-template-columns:1fr 1fr}.bs-proofbar>div:nth-child(2){border-right:0}.bs-proofbar>div:nth-child(-n+2){border-bottom:1px solid var(--bs-line)}.bs-workbench{grid-template-columns:1fr}.bs-claimrail{border-right:0;border-bottom:1px solid var(--bs-line)}.bs-evidencepane{padding:30px 22px;min-height:610px}.bs-provenance{grid-template-columns:1fr}.bs-honesty{grid-column:auto}.bs-timeline li{grid-template-columns:76px 1fr}.bs-timeline li:before{left:64px}.bs-footer{align-items:flex-start;gap:24px;flex-direction:column}.bs-mast nav{gap:10px}.bs-mast nav a{font-size:11px}}
/* proof-picker clarification */
.bs-picker-intro{display:grid;grid-template-columns:34px 1fr 34px 1fr 34px 1fr;gap:12px 16px;border:1px solid var(--bs-line);padding:22px;margin-bottom:32px;background:rgba(7,13,10,.72)}.bs-picker-intro>span{font:700 12px/1.3 ui-monospace,SFMono-Regular,Menlo,monospace;color:var(--bs-green);padding-top:2px}.bs-picker-intro b{display:block;font-size:14px}.bs-picker-intro p{margin:6px 0 0;color:var(--bs-dim);font-size:12px;line-height:1.45}.bs-run-picker{border-bottom:1px solid var(--bs-line);padding-bottom:24px;margin-bottom:28px}.bs-run-step,.bs-record-label{display:block;font:700 10px/1.2 ui-monospace,SFMono-Regular,Menlo,monospace;letter-spacing:.14em;text-transform:uppercase;color:var(--bs-green);margin-bottom:8px}.bs-run-picker>div:first-child>b{font-size:18px}.bs-run-list{margin-top:14px}.bs-run{width:100%;text-align:left;border:1px solid var(--bs-line-hot);background:rgba(158,224,181,.075);padding:14px 16px;color:var(--bs-text);cursor:pointer}.bs-run span{display:block;color:var(--bs-green);font:700 9px/1.2 ui-monospace,SFMono-Regular,Menlo,monospace;text-transform:uppercase;letter-spacing:.12em}.bs-run b{display:block;margin-top:5px;font-size:15px}.bs-run small{display:block;margin-top:5px;color:var(--bs-dim);font:500 11px/1.3 ui-monospace,SFMono-Regular,Menlo,monospace}.bs-run-note{font-size:11px!important;color:var(--bs-dim)!important;line-height:1.45!important;margin:11px 0 0!important}.bs-record-label{margin-bottom:2px}
@media(max-width:800px){.bs-picker-intro{grid-template-columns:28px 1fr;gap:16px 10px}}
/* repository-browser presentation */
.bs-picker-intro{display:none!important}.bs-repo-head{display:flex;justify-content:space-between;align-items:center;gap:18px;border:1px solid var(--bs-line);border-bottom:0;background:rgba(7,13,10,.78);padding:12px 16px}.bs-repo-path{display:flex;align-items:center;gap:8px;min-width:0;font:600 12px/1.3 ui-monospace,SFMono-Regular,Menlo,monospace;color:#92a099}.bs-repo-path a{color:var(--bs-green);text-decoration:none}.bs-repo-path b{color:#c3d1c8;font-weight:600}.bs-repo-path strong{color:#eef8f1;font-weight:700;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.bs-repo-path span{color:#58645e}.bs-repo-meta{display:flex;align-items:center;gap:8px;color:var(--bs-dim);font:600 10px/1 ui-monospace,SFMono-Regular,Menlo,monospace;white-space:nowrap}.repo-dot{width:7px;height:7px;border-radius:50%;background:var(--bs-green);box-shadow:0 0 10px rgba(158,224,181,.5)}.bs-workbench{border-top-left-radius:0;border-top-right-radius:0}.bs-claimrail{padding-top:18px}.bs-claim{position:relative;padding-left:12px}.bs-claim .bs-index{font-size:0}.bs-claim .bs-index:before{content:'▸';font-size:14px;color:#74827a}.bs-claim.active .bs-index:before{content:'▾';color:var(--bs-green)}.bs-run-list{border:1px solid var(--bs-line);border-radius:6px;overflow:hidden;background:#050806}.bs-run{border:0!important;border-radius:0!important;background:transparent!important;padding:13px 15px!important}.bs-run:hover,.bs-run:focus-visible,.bs-run.active{background:rgba(158,224,181,.065)!important;outline:none}.bs-run span:before{content:'◈ ';color:var(--bs-green)}.bs-record-label{border-bottom:1px solid var(--bs-line);padding-bottom:10px;margin-bottom:18px}.bs-case h2{margin-top:12px}.bs-timeline{border-top:1px solid var(--bs-line)}
@media(max-width:800px){.bs-repo-head{align-items:flex-start;flex-direction:column}.bs-repo-path{width:100%;overflow:auto}.bs-repo-meta{align-self:flex-start}}
/* Keep epistemic rigor as repository metadata, not foreground argument. */
.bs-falsify{display:none!important}.bs-verification{margin-top:22px;border-top:1px solid var(--bs-line);padding-top:12px;color:#9aa79f}.bs-verification summary{width:max-content;cursor:pointer;color:#9eb0a6;font:650 10px/1.3 ui-monospace,SFMono-Regular,Menlo,monospace;letter-spacing:.09em;text-transform:uppercase;list-style:none}.bs-verification summary::-webkit-details-marker{display:none}.bs-verification summary:before{content:'▸';display:inline-block;margin-right:7px;color:#728078;transition:transform .16s ease}.bs-verification[open] summary:before{transform:rotate(90deg);color:var(--bs-green)}.bs-verification summary:hover,.bs-verification summary:focus-visible{color:#d0ddd5;outline:none}.bs-verification p{margin:10px 0 2px;padding-left:16px;max-width:720px;color:#8d9a92;font-size:12px;line-height:1.55}
/* Mobile viewport containment: repository UI must become the viewport, not a clipped desktop column. */
@media (max-width:800px){
  html,body{width:100%;max-width:100%;overflow-x:hidden;background:#050806!important}
  .bs-shell,.bs-hero,.bs-repo-head,.bs-workbench,.bs-footer{width:100%;max-width:100%;min-width:0;box-sizing:border-box}
  .bs-shell{margin-left:0;margin-right:0;padding-left:14px;padding-right:14px;overflow:hidden}
  .bs-workbench{display:block!important;grid-template-columns:none!important;min-width:0;overflow:hidden}
  .bs-claimrail,.bs-evidencepane{width:100%!important;max-width:100%!important;min-width:0!important;box-sizing:border-box}
  .bs-claimrail{border-right:0!important;border-bottom:1px solid var(--bs-line)}
  .bs-evidencepane{padding-left:14px!important;padding-right:14px!important;overflow:hidden}
  .bs-repo-head{overflow:hidden}
  .bs-repo-path{max-width:100%;min-width:0;overflow-x:auto;overflow-y:hidden;white-space:nowrap;-webkit-overflow-scrolling:touch;padding-bottom:2px}
  .bs-repo-path>*{flex:0 0 auto}
  .bs-run-list,.bs-run,.bs-case,.bs-timeline,.bs-evidence,.bs-verification{width:100%;max-width:100%;min-width:0;box-sizing:border-box}
  .bs-run b,.bs-run small,.bs-case h2,.bs-case p,.bs-timeline *,.bs-evidence *,.bs-verification p{overflow-wrap:anywhere;word-break:break-word}
  pre,code{max-width:100%;white-space:pre-wrap;overflow-wrap:anywhere;word-break:break-word}
}

/* Bullshit header integration: repository surface begins at the site chrome. */
.bs-page .mast,
.bs-page .bs-mast{
  background:rgba(5,8,6,.97)!important;
  color:var(--bs-text)!important;
  border-bottom:1px solid var(--bs-line)!important;
  box-shadow:none!important;
  backdrop-filter:blur(14px)!important;
}
.bs-page .mast .brand,
.bs-page .bs-mast .brand{color:#eef8f1!important;text-shadow:none!important}
.bs-page .mast nav a,
.bs-page .bs-mast nav a{color:#9ca9a1!important;text-shadow:none!important}
.bs-page .mast nav a:hover,
.bs-page .bs-mast nav a:hover,
.bs-page .mast nav a.active,
.bs-page .bs-mast nav a.active,
.bs-page .mast nav a[aria-current="page"],
.bs-page .bs-mast nav a[aria-current="page"]{color:#eef8f1!important}
.bs-page .preview{color:#74827a!important}

@media(max-width:800px){
  .bs-page .mast,.bs-page .bs-mast{background:#050806!important}
  .bs-shell{padding-top:34px!important}
  .bs-intro{padding-top:0!important}
}
/* Evidence repository v2: capability properties -> proof records -> evidence. */
.bs-architecture-note{display:grid;grid-template-columns:1.25fr 1fr;gap:18px 28px;border:1px solid var(--bs-line);background:rgba(7,13,10,.72);padding:18px 20px;margin-bottom:28px}.bs-architecture-note>div>span{display:block;color:var(--bs-green);font:700 9px/1.2 ui-monospace,SFMono-Regular,Menlo,monospace;text-transform:uppercase;letter-spacing:.13em}.bs-architecture-note>div>b{display:block;margin-top:6px;font-size:16px}.bs-architecture-note dl{display:grid;grid-template-columns:repeat(3,1fr);gap:8px;margin:0}.bs-architecture-note dl div{border-left:1px solid var(--bs-line);padding-left:10px}.bs-architecture-note dt{font-size:9px;color:var(--bs-dim);text-transform:uppercase;letter-spacing:.08em}.bs-architecture-note dd{margin:4px 0 0;font:700 18px/1 ui-monospace,SFMono-Regular,Menlo,monospace}.bs-architecture-note>p{grid-column:1/-1;margin:0;color:var(--bs-dim);font-size:10px}
.bs-proof-browser{display:grid;grid-template-columns:260px minmax(300px,.85fr) minmax(0,1.35fr);border:1px solid var(--bs-line);background:rgba(6,11,9,.76);min-height:660px}.bs-directory-pane,.bs-record-browser{border-right:1px solid var(--bs-line);min-width:0}.bs-directory-pane{padding:18px 12px}.bs-directory-list{display:flex;flex-direction:column}.bs-directory{display:grid;grid-template-columns:20px minmax(0,1fr) 24px;align-items:center;gap:7px;border:0;border-top:1px solid var(--bs-line);background:transparent;color:var(--bs-text);padding:13px 8px;text-align:left;cursor:pointer}.bs-directory:last-child{border-bottom:1px solid var(--bs-line)}.bs-directory:hover,.bs-directory.active{background:rgba(158,224,181,.065)}.bs-directory.active{box-shadow:inset 3px 0 var(--bs-green)}.bs-directory>span{color:#75837b}.bs-directory.active>span{transform:rotate(90deg);color:var(--bs-green)}.bs-directory b{font-size:12px}.bs-directory small{justify-self:end;color:var(--bs-dim);font:600 10px ui-monospace,SFMono-Regular,Menlo,monospace}.bs-record-browser{min-width:0}.bs-record-list-head{padding:18px;border-bottom:1px solid var(--bs-line)}.bs-record-list-head>span{display:block;color:var(--bs-green);font:700 9px ui-monospace,SFMono-Regular,Menlo,monospace;text-transform:uppercase;letter-spacing:.12em}.bs-record-list-head>b{display:block;margin-top:5px}.bs-record-list-head>small{display:block;margin-top:4px;color:var(--bs-dim)}.bs-record-list{display:flex;flex-direction:column}.bs-proof-row{display:grid;grid-template-columns:22px minmax(0,1fr) auto;gap:9px;align-items:start;border:0;border-bottom:1px solid var(--bs-line);background:transparent;color:var(--bs-text);text-align:left;padding:14px 15px;cursor:pointer}.bs-proof-row:hover,.bs-proof-row.active{background:rgba(158,224,181,.055)}.bs-proof-row.active{box-shadow:inset 3px 0 var(--bs-green)}.bs-file-icon{color:var(--bs-green)}.bs-proof-row b{font-size:12px;line-height:1.35}.bs-proof-row small{display:block;color:var(--bs-dim);font:500 9px/1.35 ui-monospace,SFMono-Regular,Menlo,monospace;margin-top:5px}.bs-proof-row i{font-style:normal;color:#728078;font-size:10px;white-space:nowrap}.bs-detail-pane{min-width:0;padding:28px 30px;display:flex;flex-direction:column}.bs-detail-pane h2{font-size:clamp(26px,3vw,42px);line-height:1.04;letter-spacing:-.035em;margin:12px 0 18px}.bs-proof-meta{display:flex;flex-wrap:wrap;gap:9px 28px;margin:22px 0}.bs-proof-meta dt{font:700 9px ui-monospace,SFMono-Regular,Menlo,monospace;color:var(--bs-dim);text-transform:uppercase;letter-spacing:.1em}.bs-proof-meta dd{margin:4px 0 0;color:#c8d5cd;font-size:12px}.bs-facts{margin-top:12px;border-top:1px solid var(--bs-line);padding-top:18px}.bs-facts ul{margin:12px 0 0;padding-left:18px}.bs-facts li{margin:8px 0;color:#aab7af;font-size:12px;line-height:1.45}.bs-actions{margin-top:auto}
@media(max-width:1000px){.bs-proof-browser{grid-template-columns:220px minmax(0,1fr)}.bs-detail-pane{grid-column:1/-1;border-top:1px solid var(--bs-line)}}
@media(max-width:800px){.bs-architecture-note{grid-template-columns:1fr}.bs-architecture-note dl{grid-template-columns:1fr 1fr 1fr}.bs-proof-browser{display:block}.bs-directory-pane,.bs-record-browser{border-right:0;border-bottom:1px solid var(--bs-line)}.bs-detail-pane{padding:24px 14px}.bs-proof-row{grid-template-columns:20px minmax(0,1fr);}.bs-proof-row i{display:none}}
/* exact architecture snapshot has four formal inventory fields */
.bs-architecture-note dl{grid-template-columns:repeat(4,1fr)}
@media(max-width:800px){.bs-architecture-note dl{grid-template-columns:1fr 1fr}}
/* Portable public proof repository download. */
.bs-package-download{display:flex;align-items:center;gap:14px;flex-wrap:wrap;margin-top:24px}.bs-package-download a{display:inline-flex;align-items:center;gap:9px;border:1px solid var(--bs-line-hot);background:rgba(81,137,102,.12);color:#dff5e6;padding:11px 14px;text-decoration:none;font:650 11px/1 ui-monospace,SFMono-Regular,Menlo,monospace}.bs-package-download a:hover,.bs-package-download a:focus-visible{background:rgba(113,181,137,.2);outline:1px solid rgba(158,224,181,.28)}.bs-package-download a span{color:var(--bs-dim);font-size:9px}.bs-package-download p{margin:0!important;color:var(--bs-dim)!important;font-size:11px!important;line-height:1.4!important}