@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-sans-latin-400-normal-CDDApCn2.woff2) format("woff2"),url(/assets/ibm-plex-sans-latin-400-normal-CYLoc0-x.woff) format("woff")}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/ibm-plex-sans-latin-500-normal-6ng42L7E.woff2) format("woff2"),url(/assets/ibm-plex-sans-latin-500-normal-BgVn5rGT.woff) format("woff")}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/ibm-plex-sans-latin-600-normal-CuJfVYMP.woff2) format("woff2"),url(/assets/ibm-plex-sans-latin-600-normal-Cu4Hd6ag.woff) format("woff")}@font-face{font-family:"Source Serif 4";font-style:normal;font-display:swap;font-weight:500;src:url(/assets/source-serif-4-latin-500-normal-CUHe9xxf.woff2) format("woff2"),url(/assets/source-serif-4-latin-500-normal-DVVamBqs.woff) format("woff")}@font-face{font-family:"Source Serif 4";font-style:normal;font-display:swap;font-weight:600;src:url(/assets/source-serif-4-latin-600-normal-DouSKlru.woff2) format("woff2"),url(/assets/source-serif-4-latin-600-normal-DMD1h6_f.woff) format("woff")}:root{font-family:IBM Plex Sans,sans-serif;color:#1d201d;background:#d7d0bf;font-synthesis:none;text-rendering:optimizeLegibility;--paper: #f4efdf;--paper-deep: #ebe5d7;--ink: #1d201d;--ink-soft: #5b5d55;--rule: #a8a293;--rule-light: #d6cfbe;--consumes: #c94832;--produces: #247563;--observes: #5e6390;--triggers: #9c5b1f;--enables: #276b8c;--prevents: #733b62;--focus: #005fcc}*{box-sizing:border-box}html{min-width:320px;background:#d7d0bf;scrollbar-color:#767267 #e8e1d2}body{margin:0;min-width:320px;min-height:100vh;background:var(--paper)}button,input{font:inherit}button,a{-webkit-tap-highlight-color:transparent}::selection{color:var(--paper);background:#3f5c50}:focus-visible{outline:3px solid var(--focus);outline-offset:3px}a{color:inherit;text-underline-offset:.22em}main{min-height:100vh;border-top:6px solid var(--ink)}.masthead{min-height:116px;display:grid;grid-template-columns:minmax(220px,.8fr) minmax(260px,1.4fr) auto;align-items:center;gap:32px;padding:22px clamp(22px,4vw,68px);border-bottom:1px solid var(--ink);background:var(--paper)}.wordmark{display:inline-flex;width:fit-content;align-items:center;gap:13px;color:var(--ink);text-decoration:none;font-size:15px;font-weight:600;line-height:1.05;letter-spacing:-.01em}.wordmark svg{width:32px;height:32px}.masthead>p{margin:0;color:var(--ink-soft);font-family:"Source Serif 4",serif;font-size:clamp(18px,2vw,24px)}.corpus-stamp{display:flex;flex-direction:column;align-items:flex-end;gap:3px;font-size:12px;line-height:1.3;font-variant-numeric:tabular-nums}.corpus-stamp span{color:var(--ink-soft);text-transform:uppercase;letter-spacing:.08em}.workbench{display:grid;grid-template-columns:310px minmax(0,1fr);min-height:calc(100vh - 194px)}.card-index{padding:38px 26px 56px clamp(22px,4vw,68px);border-right:1px solid var(--ink);background:var(--paper-deep)}.card-index>label{display:block;margin-bottom:10px;font-size:13px;font-weight:600}.search-field{position:relative;display:grid;grid-template-columns:22px 1fr auto;align-items:center;gap:8px;padding:0 10px;border-bottom:2px solid var(--ink);background:#faf6e9}.search-field:focus-within{border-bottom-color:var(--focus)}.search-field svg{width:19px;color:var(--ink-soft)}.search-field input{min-width:0;height:45px;border:0;outline:0;color:var(--ink);background:transparent;caret-color:var(--consumes)}.search-field input::placeholder{color:#77766e}kbd{min-width:22px;padding:2px 6px;border:1px solid var(--rule);border-radius:4px;color:var(--ink-soft);background:var(--paper);font-family:IBM Plex Sans,sans-serif;font-size:11px;text-align:center}.index-rule{display:flex;justify-content:space-between;margin:28px 0 8px;padding-bottom:7px;border-bottom:1px solid var(--rule);color:var(--ink-soft);font-size:10px;text-transform:uppercase;letter-spacing:.09em}.card-list{display:flex;flex-direction:column}.card-list button{display:grid;grid-template-columns:minmax(0,1fr) 28px;align-items:center;gap:12px;width:100%;padding:15px 4px 15px 0;border:0;border-bottom:1px solid var(--rule-light);color:var(--ink);background:transparent;text-align:left;cursor:pointer}.card-list button:hover{background:#e4ddce}.card-list button.is-selected{background:var(--ink);color:var(--paper);padding-left:13px}.card-list button span{display:flex;min-width:0;flex-direction:column;gap:4px}.card-list button strong{overflow:hidden;font-size:14px;font-weight:600;text-overflow:ellipsis;white-space:nowrap}.card-list button small{overflow:hidden;color:currentColor;font-size:11px;opacity:.68;text-overflow:ellipsis;white-space:nowrap}.card-list button b{font-size:12px;font-weight:500;font-variant-numeric:tabular-nums;text-align:right}.empty-state{max-width:26ch;margin:32px 0;color:var(--ink-soft);font-family:"Source Serif 4",serif;line-height:1.55}.inspection{min-width:0;padding:46px clamp(28px,5vw,82px) 80px;overflow:hidden;background-color:var(--paper);background-image:linear-gradient(to bottom,transparent 31px,rgba(29,32,29,.038) 32px);background-size:100% 32px}.card-title-row{display:flex;align-items:flex-end;justify-content:space-between;gap:28px;padding-bottom:22px;border-bottom:1px solid var(--ink)}h1,h2,p{text-wrap:pretty}.card-title-row h1{max-width:14ch;margin:0;font-family:"Source Serif 4",serif;font-size:clamp(42px,6vw,78px);font-weight:600;line-height:.96;letter-spacing:-.035em}.card-title-row>div>p{margin:15px 0 0;color:var(--ink-soft);font-size:14px}.card-title-row>a,footer a{display:inline-flex;flex:0 0 auto;align-items:center;gap:7px;font-size:12px;font-weight:600}.card-title-row>a svg,footer a svg{width:16px}.map-section{margin-top:46px}.section-heading{display:flex;align-items:baseline;justify-content:space-between;gap:24px}.section-heading h2,.oracle-panel h2{margin:0;font-family:"Source Serif 4",serif;font-size:24px;font-weight:600;letter-spacing:-.02em}.section-heading>p{margin:0;color:var(--ink-soft);font-size:12px}.relation-map{margin:16px -10px 0;overflow-x:auto;scrollbar-width:thin}.relation-map svg{display:block;width:100%;min-width:720px;height:auto}.relation-map-narrow{display:none}.source-node path{fill:var(--ink)}.node-label{fill:var(--paper);font-family:"Source Serif 4",serif;font-size:24px;font-weight:600}.node-detail,.node-id,.object-kind,.object-label,.relation-label{font-family:IBM Plex Sans,sans-serif}.node-detail{fill:#d8d2c4;font-size:12px}.node-id{fill:#9f9d94;font-size:9px;letter-spacing:.1em;text-transform:uppercase}.object-node path{fill:#ece4d2;stroke:var(--ink-soft);stroke-width:1.25}.object-kind{fill:var(--ink-soft);font-size:10px;letter-spacing:.1em;text-transform:uppercase}.object-label{fill:var(--ink);font-size:14px;font-weight:600}.relation-line{fill:none;stroke-width:2.2;stroke-dasharray:1000;stroke-dashoffset:1000;animation:deploy-line .65s cubic-bezier(.22,1,.36,1) both}.relation-label{font-size:9px;font-weight:600;letter-spacing:.06em;text-transform:uppercase}.relation-consumes .relation-line{stroke:var(--consumes)}.relation-consumes .relation-label,.fill-consumes{fill:var(--consumes)}.relation-produces .relation-line{stroke:var(--produces)}.relation-produces .relation-label,.fill-produces{fill:var(--produces)}.relation-observes .relation-line{stroke:var(--observes)}.relation-observes .relation-label,.fill-observes{fill:var(--observes)}.relation-triggers .relation-line{stroke:var(--triggers)}.relation-triggers .relation-label,.fill-triggers{fill:var(--triggers)}.relation-enables .relation-line{stroke:var(--enables)}.relation-enables .relation-label,.fill-enables{fill:var(--enables)}.relation-prevents .relation-line{stroke:var(--prevents)}.relation-prevents .relation-label,.fill-prevents{fill:var(--prevents)}@keyframes deploy-line{0%{stroke-dashoffset:1000}to{stroke-dashoffset:0}}.quality-note{max-width:64ch;margin:10px 0 0;color:var(--ink-soft);font-family:"Source Serif 4",serif;font-size:13px;line-height:1.5}.predicate-legend{display:flex;flex-wrap:wrap;gap:7px 18px;padding:10px 0 13px;border-top:1px solid var(--rule);border-bottom:1px solid var(--rule)}.predicate-legend span{display:inline-flex;align-items:center;gap:7px;color:var(--ink-soft);font-size:10px;text-transform:uppercase;letter-spacing:.06em}.predicate-legend span:before{width:15px;height:3px;content:"";background:currentColor}.legend-consumes{color:var(--consumes)!important}.legend-produces{color:var(--produces)!important}.legend-observes{color:var(--observes)!important}.legend-triggers{color:var(--triggers)!important}.legend-enables{color:var(--enables)!important}.legend-prevents{color:var(--prevents)!important}.evidence-grid{display:grid;grid-template-columns:minmax(240px,.75fr) minmax(420px,1.45fr);gap:clamp(42px,6vw,90px);margin-top:74px}.oracle-panel{align-self:start;position:sticky;top:28px}.oracle-panel>p{max-width:34ch;margin:20px 0 34px;font-family:"Source Serif 4",serif;font-size:20px;line-height:1.5}.oracle-panel dl,.provenance{margin:0}.oracle-panel dl div{display:flex;justify-content:space-between;gap:18px;padding:9px 0;border-top:1px solid var(--rule-light);font-size:11px}dt{color:var(--ink-soft)}dd{margin:0;font-variant-numeric:tabular-nums}.assertion-ledger .section-heading{padding-bottom:12px;border-bottom:1px solid var(--ink)}.assertion{padding:24px 0 27px;border-bottom:1px solid var(--rule)}.assertion-heading{display:grid;grid-template-columns:88px minmax(0,1fr) auto;align-items:start;gap:16px}.predicate-tab{padding:5px 8px 5px 10px;clip-path:polygon(0 0,100% 0,calc(100% - 8px) 100%,0 100%);color:#fff;font-size:10px;font-weight:600;letter-spacing:.06em;text-transform:uppercase}.assertion-consumes .predicate-tab{background:var(--consumes)}.assertion-produces .predicate-tab{background:var(--produces)}.assertion-observes .predicate-tab{background:var(--observes)}.assertion-triggers .predicate-tab{background:var(--triggers)}.assertion-enables .predicate-tab{background:var(--enables)}.assertion-prevents .predicate-tab{background:var(--prevents)}.assertion-heading p{display:flex;flex-direction:column;gap:5px;margin:0}.assertion-heading strong{font-size:11px;text-transform:uppercase;letter-spacing:.07em}.assertion-heading p span{font-family:"Source Serif 4",serif;font-size:20px}.review-state{padding:4px 7px;border:1px solid var(--rule);border-radius:999px;color:var(--ink-soft);font-size:9px;font-weight:600;text-transform:uppercase;letter-spacing:.06em}.condition{margin:15px 0 0 104px;color:var(--ink-soft);font-size:12px;line-height:1.5}blockquote{margin:18px 0 18px 104px;padding:11px 14px;border:0;background:#e8e2d4;font-family:"Source Serif 4",serif;font-size:14px;line-height:1.5}.provenance{display:grid;grid-template-columns:repeat(3,1fr);gap:12px;margin-left:104px}.provenance div{min-width:0}.provenance dt{font-size:9px;text-transform:uppercase;letter-spacing:.06em}.provenance dd{margin-top:4px;overflow:hidden;font-size:10px;text-overflow:ellipsis;white-space:nowrap}.loading-state,.error-state{display:grid;place-content:center;min-height:62vh;text-align:center}.loading-state span{width:56px;height:2px;margin:0 auto 18px;background:var(--ink);animation:loading-rule 1.1s ease-in-out infinite alternate;transform-origin:left}@keyframes loading-rule{0%{transform:scaleX(.25)}to{transform:scaleX(1)}}.loading-state p,.error-state p{max-width:46ch;color:var(--ink-soft);line-height:1.55}.error-state strong{font-family:"Source Serif 4",serif;font-size:27px}footer{display:flex;align-items:center;justify-content:space-between;gap:24px;padding:24px clamp(22px,4vw,68px);border-top:1px solid var(--ink);background:var(--ink);color:var(--paper)}footer p{margin:0;color:#c9c5bb;font-size:11px}@media(max-width:980px){.masthead{grid-template-columns:1fr auto}.masthead>p{display:none}.workbench{grid-template-columns:250px minmax(0,1fr)}.card-index{padding-left:24px}.inspection{padding-right:30px;padding-left:30px}.evidence-grid{grid-template-columns:1fr}.oracle-panel{position:static;display:grid;grid-template-columns:1fr 1fr;gap:0 32px}.oracle-panel h2{grid-column:1 / -1}}@media(max-width:720px){main{border-top-width:4px}.masthead{min-height:92px;padding:17px 18px}.corpus-stamp span{display:none}.corpus-stamp strong{max-width:12ch;text-align:right}.workbench{display:block}.card-index{padding:23px 18px 18px;border-right:0;border-bottom:1px solid var(--ink)}.index-rule{margin-top:20px}.card-list{flex-direction:row;gap:8px;overflow-x:auto;scroll-snap-type:x proximity;padding-bottom:8px}.card-list button{flex:0 0 205px;min-height:68px;padding:10px;border:1px solid var(--rule);scroll-snap-align:start}.card-list button.is-selected{padding-left:10px}.empty-state{margin:12px 0 4px}.inspection{padding:34px 18px 64px}.card-title-row{display:block}.card-title-row h1{font-size:clamp(42px,14vw,62px)}.card-title-row>a{margin-top:23px}.section-heading{align-items:flex-start;flex-direction:column;gap:5px}.relation-map{margin:24px 0 0;overflow:visible}.relation-map-wide{display:none!important}.relation-map-narrow{display:block}.narrow-source{display:flex;position:relative;flex-direction:column;gap:4px;width:min(78%,310px);padding:17px 22px 18px;color:var(--paper);background:var(--ink)}.narrow-source:after{position:absolute;right:-16px;bottom:0;width:0;height:0;border-bottom:16px solid var(--paper);border-left:16px solid transparent;content:""}.narrow-source strong{font-family:"Source Serif 4",serif;font-size:20px}.narrow-source span{color:#d8d2c4;font-size:11px}.narrow-relations{margin:8px 0 2px 24px;border-left:1px solid var(--rule)}.narrow-relation{display:grid;grid-template-columns:82px 32px minmax(0,1fr);align-items:center;min-height:88px;padding:12px 0 12px 16px}.narrow-predicate{font-size:10px;font-weight:600;letter-spacing:.05em;text-transform:uppercase}.narrow-arrow{position:relative;height:2px;background:currentColor}.narrow-arrow:after{position:absolute;top:-4px;right:-1px;width:0;height:0;border-top:5px solid transparent;border-bottom:5px solid transparent;border-left:7px solid currentColor;content:""}.narrow-object{display:flex;min-height:62px;flex-direction:column;justify-content:center;gap:3px;padding:10px 13px;border:1px solid var(--rule);background:#ece4d2}.narrow-object small{color:var(--ink-soft);font-size:9px;letter-spacing:.06em;text-transform:uppercase}.narrow-object strong{font-family:"Source Serif 4",serif;font-size:14px;line-height:1.25}.narrow-consumes{color:var(--consumes)}.narrow-produces{color:var(--produces)}.narrow-observes{color:var(--observes)}.narrow-triggers{color:var(--triggers)}.narrow-enables{color:var(--enables)}.narrow-prevents{color:var(--prevents)}.narrow-object,.narrow-object strong{color:var(--ink)}.predicate-legend{gap:7px 13px}.evidence-grid{margin-top:58px;gap:52px}.oracle-panel{display:block}.oracle-panel>p{max-width:40ch}.assertion-heading{grid-template-columns:minmax(0,1fr) auto;gap:12px 16px}.predicate-tab{width:fit-content}.assertion-heading p{grid-column:1 / -1;grid-row:2}.review-state{grid-column:2;grid-row:1;width:fit-content}.condition,blockquote,.provenance{margin-left:0}.provenance{grid-template-columns:1fr 1fr}footer{align-items:flex-start;flex-direction:column;padding:24px 18px}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{scroll-behavior:auto!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}