.libx{flex-direction:column;gap:4rem;padding-bottom:4rem;display:flex}.libx-segment-head{max-width:720px;margin:0 auto;padding:0 1.5rem}.libx-eyebrow{letter-spacing:.14em;text-transform:uppercase;color:var(--color-primary,#003b7e);margin-bottom:.4rem;font-family:IBM Plex Mono,ui-monospace,monospace;font-size:.78rem}.libx-segment-head h2{margin:0;font-size:clamp(1.6rem,3.4vw,2.2rem);line-height:1.15}.libx-segment-intro{max-width:720px;color:var(--diagram-graphite,#263743);margin:1rem auto 0;padding:0 1.5rem;line-height:1.6}.libx-scene{flex-direction:column;gap:.9rem;width:100%;display:flex}.libx-scene svg{width:100%;height:auto}.libx-caption{color:color-mix(in srgb, var(--diagram-graphite,#263743) 72%, transparent);margin:0;font-size:.82rem;line-height:1.5}.libx-formula{color:var(--diagram-graphite,#263743);margin:0;font-family:IBM Plex Mono,ui-monospace,monospace;font-size:.9rem}.libx-tickgrid{flex-wrap:wrap;gap:4px;display:flex}.libx-tick{border:1px solid color-mix(in srgb, var(--diagram-graphite,#263743) 30%, transparent);background:0 0;border-radius:4px;width:18px;height:18px}.libx-tick-on{background:var(--color-blue-accent,#4ab3f4);border-color:var(--color-primary,#003b7e)}.libx-dials{flex-wrap:wrap;gap:1rem 1.6rem;display:flex}.libx-dials label{color:var(--diagram-graphite,#263743);flex-direction:column;gap:.25rem;font-family:IBM Plex Mono,ui-monospace,monospace;font-size:.78rem;display:flex}.libx-dials input[type=range]{width:130px;accent-color:var(--color-primary,#003b7e)}.libx-cards{gap:.8rem}.libx-card{border:1px solid color-mix(in srgb, var(--diagram-graphite,#263743) 22%, transparent);background:var(--bg-surface,#fff);border-radius:8px;padding:.8rem 1rem}.libx-card-name{color:color-mix(in srgb, var(--diagram-graphite,#263743) 60%, transparent);align-items:baseline;gap:.55rem;margin:0 0 .6rem;font-family:IBM Plex Mono,ui-monospace,monospace;font-size:.8rem;display:flex}.libx-card-name b{color:var(--text-color,#000);font-size:1rem}.libx-card-effects{flex-direction:column;gap:.4rem;display:flex}.libx-card-effects>div{flex-wrap:wrap;align-items:center;gap:.35rem;display:flex}.libx-effects-label{letter-spacing:.08em;text-transform:uppercase;color:color-mix(in srgb, var(--diagram-graphite,#263743) 60%, transparent);min-width:3.4rem;font-family:IBM Plex Mono,ui-monospace,monospace;font-size:.72rem}.libx-effect{border:1px solid #0000;border-radius:999px;padding:.1rem .45rem;font-family:IBM Plex Mono,ui-monospace,monospace;font-size:.78rem}.libx-effect-read{background:color-mix(in srgb, var(--diagram-field-css,#246fad) 12%, transparent);border-color:color-mix(in srgb, var(--diagram-field-css,#246fad) 45%, transparent)}.libx-effect-write{background:color-mix(in srgb, var(--diagram-uncertain,#a76500) 12%, transparent);border-color:color-mix(in srgb, var(--diagram-uncertain,#a76500) 50%, transparent)}.libx-chiprow{flex-wrap:wrap;gap:.45rem;display:flex}.libx-chip{border:1px solid color-mix(in srgb, var(--diagram-graphite,#263743) 35%, transparent);color:color-mix(in srgb, var(--diagram-graphite,#263743) 65%, transparent);cursor:pointer;background:0 0;border-radius:999px;padding:.35rem .7rem;font-family:IBM Plex Mono,ui-monospace,monospace;font-size:.8rem}.libx-chip-on{background:var(--color-primary,#003b7e);border-color:var(--color-primary,#003b7e);color:#fff}.libx-chip-sched{opacity:.75;margin-left:.45rem;font-size:.68rem}.libx-batches{flex-direction:column;gap:.5rem;min-height:8.6rem;display:flex}.libx-batch{border:1px dashed color-mix(in srgb, var(--color-primary,#003b7e) 40%, transparent);border-radius:8px;align-items:center;gap:.5rem;padding:.45rem .6rem;display:flex}.libx-batch-label{letter-spacing:.08em;text-transform:uppercase;color:color-mix(in srgb, var(--diagram-graphite,#263743) 55%, transparent);min-width:4.4rem;font-family:IBM Plex Mono,ui-monospace,monospace;font-size:.7rem}.libx-batch-item{background:color-mix(in srgb, var(--color-blue-accent,#4ab3f4) 18%, transparent);border-radius:6px;padding:.25rem .55rem;font-family:IBM Plex Mono,ui-monospace,monospace;font-size:.82rem}.libx-hazards{color:color-mix(in srgb, var(--diagram-graphite,#263743) 75%, transparent);flex-direction:column;gap:.25rem;margin:0;padding:0;font-family:IBM Plex Mono,ui-monospace,monospace;font-size:.76rem;list-style:none;display:flex}.libx-hazard{letter-spacing:.06em;border-radius:4px;margin-left:.4rem;padding:0 .35rem;font-size:.68rem;display:inline-block}.libx-hazard-raw{background:color-mix(in srgb, var(--diagram-cooperate,#177a57) 15%, transparent)}.libx-hazard-war{background:color-mix(in srgb, var(--diagram-uncertain,#a76500) 15%, transparent)}.libx-hazard-waw{background:color-mix(in srgb, var(--diagram-defect,#c4433a) 15%, transparent)}.libx-system .libx-edge-read{fill:none;stroke:color-mix(in srgb, var(--diagram-graphite,#263743) 30%, transparent);stroke-width:1px}.libx-system .libx-edge-write{fill:none;stroke:color-mix(in srgb, var(--diagram-field-css,#246fad) 65%, transparent);stroke-width:1.6px}.libx-field circle{fill:var(--diagram-graphite,#263743)}.libx-field text{fill:var(--diagram-graphite,#263743);font-family:IBM Plex Mono,ui-monospace,monospace;font-size:11px}.libx-field-dim{opacity:.38}.libx-transform rect{fill:color-mix(in srgb, var(--color-primary,#003b7e) 7%, #fff);stroke:var(--color-primary,#003b7e);stroke-width:1.2px}.libx-transform text{fill:var(--text-color,#000);font-family:IBM Plex Mono,ui-monospace,monospace;font-size:11.5px}.libx-chart{position:relative}.libx-grid{stroke:color-mix(in srgb, var(--diagram-graphite,#263743) 12%, transparent);stroke-width:1px}.libx-axis{stroke:color-mix(in srgb, var(--diagram-graphite,#263743) 45%, transparent);stroke-width:1px}.libx-axis-label{fill:color-mix(in srgb, var(--diagram-graphite,#263743) 65%, transparent);font-family:IBM Plex Mono,ui-monospace,monospace;font-size:10px}.libx-axis-title{letter-spacing:.06em;fill:color-mix(in srgb, var(--diagram-graphite,#263743) 75%, transparent);font-family:IBM Plex Mono,ui-monospace,monospace;font-size:10.5px}.libx-line{fill:none;stroke-width:2px}.libx-endlabel text{fill:var(--diagram-graphite,#263743);font-family:IBM Plex Mono,ui-monospace,monospace;font-size:11px}.libx-tooltip{background:var(--bg-surface,#fff);border:1px solid color-mix(in srgb, var(--diagram-graphite,#263743) 25%, transparent);color:var(--diagram-graphite,#263743);pointer-events:none;white-space:nowrap;border-radius:6px;flex-direction:column;gap:.15rem;padding:.4rem .6rem;font-family:IBM Plex Mono,ui-monospace,monospace;font-size:.72rem;display:flex;position:absolute;top:.4rem;transform:translate(-50%);box-shadow:0 2px 8px #00000014}.libx-tooltip-t{font-weight:600}.libx-tooltip-mark{border-radius:2px;width:8px;height:8px;margin-right:.35rem;display:inline-block}.libx-legend{color:var(--diagram-graphite,#263743);flex-wrap:wrap;gap:.9rem;font-family:IBM Plex Mono,ui-monospace,monospace;font-size:.76rem;display:flex}.libx-equation{font-size:1.05rem}.libx-slot{border-radius:4px;padding:0 .2rem;font-weight:700}.libx-slot-message,.libx-slot-message-row dt{background:color-mix(in srgb, var(--diagram-field-css,#246fad) 16%, transparent)}.libx-slot-combine,.libx-slot-combine-row dt{background:color-mix(in srgb, var(--diagram-uncertain,#a76500) 16%, transparent)}.libx-slot-update,.libx-slot-update-row dt{background:color-mix(in srgb, var(--diagram-cooperate,#177a57) 16%, transparent)}.libx-slot-table{flex-direction:column;gap:.4rem;margin:0;display:flex}.libx-slot-table>div{align-items:baseline;gap:.7rem;display:flex}.libx-slot-table dt{min-width:12.5rem;color:var(--diagram-graphite,#263743);border-radius:4px;padding:.1rem .3rem;font-family:IBM Plex Mono,ui-monospace,monospace;font-size:.74rem}.libx-slot-table dd{margin:0;font-size:.9rem}.libx-layer{border:1px solid color-mix(in srgb, var(--color-primary,#003b7e) 25%, transparent);background:color-mix(in srgb, var(--color-primary,#003b7e) 4%, #fff);border-radius:8px;padding:.6rem .8rem;transition:opacity .3s}.libx-layer-dim{opacity:.35}.libx-layer-chips{flex-wrap:wrap;gap:.3rem;margin-top:.4rem;display:flex}.libx-sketch{margin:1.2rem 0 0}.libx-sketch img{border:1px solid color-mix(in srgb, var(--diagram-graphite,#263743) 15%, transparent);border-radius:8px;width:100%;height:auto}.libx-sketch figcaption{color:color-mix(in srgb, var(--diagram-graphite,#263743) 60%, transparent);margin-top:.35rem;font-size:.78rem}.libx-prose-blocks{grid-template-columns:repeat(auto-fit,minmax(190px,1fr));gap:1rem;max-width:720px;margin:1.4rem auto 0;padding:0 1.5rem;display:grid}.libx-prose-block{border-top:3px solid var(--color-primary,#003b7e);padding-top:.6rem}.libx-prose-block h3{margin:0 0 .35rem;font-size:1.02rem}.libx-prose-block p{color:var(--diagram-graphite,#263743);margin:0;font-size:.88rem;line-height:1.55}.libx-prose-coda{margin-top:1.2rem}.libx-cat-object circle{fill:color-mix(in srgb, var(--color-primary,#003b7e) 7%, #fff);stroke:var(--color-primary,#003b7e);stroke-width:1.4px}.libx-cat-object text{fill:var(--diagram-graphite,#263743);font-family:IBM Plex Mono,ui-monospace,monospace;font-size:13px;font-weight:700}.libx-cat-arrow{fill:none;stroke:color-mix(in srgb, var(--diagram-graphite,#263743) 65%, transparent);stroke-width:1.4px}.libx-cat-arrowhead{fill:color-mix(in srgb, var(--diagram-graphite,#263743) 75%, transparent)}.libx-cat-arrow-composite{stroke:var(--color-primary,#003b7e);stroke-width:1.6px;stroke-dasharray:5 4}.libx-cat-label{fill:var(--diagram-graphite,#263743);font-family:IBM Plex Mono,ui-monospace,monospace;font-size:11.5px}.libx-cat-label-composite{fill:var(--color-primary,#003b7e);font-weight:700}.libx-cat-box{fill:none;stroke-width:1.2px}.libx-cat-box-read{fill:color-mix(in srgb, var(--diagram-field-css,#246fad) 8%, transparent);stroke:color-mix(in srgb, var(--diagram-field-css,#246fad) 55%, transparent)}.libx-cat-box-write{fill:color-mix(in srgb, var(--diagram-uncertain,#a76500) 8%, transparent);stroke:color-mix(in srgb, var(--diagram-uncertain,#a76500) 55%, transparent)}.libx-cat-boxlabel{letter-spacing:.08em;text-transform:uppercase;fill:color-mix(in srgb, var(--diagram-graphite,#263743) 60%, transparent);font-family:IBM Plex Mono,ui-monospace,monospace;font-size:10px}.libx-cat-field{fill:var(--diagram-graphite,#263743);font-family:IBM Plex Mono,ui-monospace,monospace;font-size:10.5px}.libx-cat-brace{fill:none;stroke:var(--color-primary,#003b7e);stroke-width:1.2px}.libx-codepanel{border:1px solid color-mix(in srgb, var(--diagram-graphite,#263743) 22%, transparent);background:var(--bg-surface,#fff);border-radius:8px;margin-top:.9rem}.libx-codepanel summary{cursor:pointer;color:var(--color-primary,#003b7e);padding:.55rem .8rem;font-family:IBM Plex Mono,ui-monospace,monospace;font-size:.78rem}.libx-codepanel pre{background:color-mix(in srgb, var(--diagram-graphite,#263743) 5%, #fff);margin:0;padding:.8rem;font-size:.74rem;line-height:1.5;overflow-x:auto}.libx-codepanel code{font-family:IBM Plex Mono,ui-monospace,monospace}.libx-codepanel-footer{color:color-mix(in srgb, var(--diagram-graphite,#263743) 60%, transparent);border-top:1px solid color-mix(in srgb, var(--diagram-graphite,#263743) 12%, transparent);margin:0;padding:.45rem .8rem;font-family:IBM Plex Mono,ui-monospace,monospace;font-size:.7rem}.libx-codepanel-footer a{color:var(--color-primary,#003b7e)}.libx-codepanel-legend{color:color-mix(in srgb, var(--diagram-graphite,#263743) 60%, transparent);flex-wrap:wrap;align-items:center;gap:.45rem;margin:0;padding:.45rem .8rem 0;font-size:.72rem;display:flex}.libx-code-field{padding:0 .35rem;font-size:.72rem}.libx-code-marker{font-weight:700}.libx-code-marker-read{color:var(--diagram-field-css,#246fad)}.libx-code-marker-write{color:var(--diagram-uncertain,#a76500)}.libx-code-decorator{color:var(--color-primary,#003b7e);font-weight:700}.libx-mp-picture .libx-mp-node{fill:color-mix(in srgb, var(--color-primary,#003b7e) 10%, #fff);stroke:var(--color-primary,#003b7e);stroke-width:1.4px}.libx-mp-picture .libx-mp-receiver{fill:color-mix(in srgb, var(--color-blue-accent,#4ab3f4) 30%, #fff);stroke-width:2px}.libx-mp-picture .libx-mp-edge{stroke:color-mix(in srgb, var(--diagram-graphite,#263743) 40%, transparent);stroke-width:1.2px}.libx-mp-picture .libx-mp-message{fill:color-mix(in srgb, var(--diagram-field-css,#246fad) 18%, #fff);stroke:var(--diagram-field-css,#246fad)}.libx-mp-picture .libx-mp-combine{fill:color-mix(in srgb, var(--diagram-uncertain,#a76500) 16%, #fff);stroke:var(--diagram-uncertain,#a76500);stroke-width:1.4px}.libx-mp-picture .libx-mp-gamma{fill:color-mix(in srgb, var(--diagram-cooperate,#177a57) 16%, #fff);stroke:var(--diagram-cooperate,#177a57)}.libx-mp-picture .libx-mp-update{fill:none;stroke:var(--diagram-cooperate,#177a57);stroke-width:1.6px}.libx-mp-picture .libx-mp-arrowhead{fill:var(--diagram-cooperate,#177a57)}.libx-mp-picture .libx-mp-symbol{fill:var(--diagram-graphite,#263743);font-size:12px;font-weight:700}.libx-mp-picture .libx-mp-nodelabel{fill:var(--diagram-graphite,#263743);font-family:IBM Plex Mono,ui-monospace,monospace;font-size:10.5px}.libx-mp-picture .libx-mp-caption{fill:color-mix(in srgb, var(--diagram-graphite,#263743) 60%, transparent);font-family:IBM Plex Mono,ui-monospace,monospace;font-size:10px}.libx-timeline-grid{flex-direction:column;gap:5px;display:flex;overflow-x:auto}.libx-timeline-row{align-items:center;gap:3px;display:flex}.libx-timeline-row .libx-tick{flex:none;width:13px;height:13px}.libx-timeline-name{min-width:9.5rem;color:var(--diagram-graphite,#263743);font-family:IBM Plex Mono,ui-monospace,monospace;font-size:.72rem}.libx-timeline-live .libx-timeline-name{color:var(--color-primary,#003b7e);font-weight:700}.libx-timeline-live .libx-tick-on{background:var(--color-primary,#003b7e)}.libx-timeline-axis .libx-timeline-ticklabel{width:13px;color:color-mix(in srgb, var(--diagram-graphite,#263743) 55%, transparent);text-align:left;flex:none;margin-right:3px;font-family:IBM Plex Mono,ui-monospace,monospace;font-size:.58rem}.libx-gm-pair{flex-wrap:wrap;align-items:center;gap:1.2rem;display:flex}.libx-gm-pair figure{flex:220px;margin:0}.libx-gm-pair figcaption{color:color-mix(in srgb, var(--diagram-graphite,#263743) 62%, transparent);margin-top:.3rem;font-size:.76rem}.libx-gm-edge{stroke:var(--diagram-graphite,#263743);stroke-width:.7px}.libx-gm-edge-hot{stroke:var(--color-primary,#003b7e);stroke-width:1.6px}.libx-gm-node{stroke:#fff;stroke-width:.8px}.libx-gm-node-ai{stroke:var(--diagram-defect,#c4433a);stroke-width:2px}.libx-gm-cell{fill:var(--color-primary,#003b7e)}.libx-gm-cell-hot{fill:none;stroke:var(--diagram-defect,#c4433a);stroke-width:1.2px}.libx-gm-eig{stroke:color-mix(in srgb, var(--color-primary,#003b7e) 55%, transparent);stroke-width:2px}.libx-gm-eig-gap{stroke:var(--diagram-defect,#c4433a);stroke-width:3px}.libx-gm-gaplabel{fill:var(--diagram-defect,#c4433a);font-family:IBM Plex Mono,ui-monospace,monospace;font-size:11px}.libx-gm-stats{flex-direction:column;flex:200px;gap:.7rem;display:flex}.libx-gm-stats p{flex-direction:column;gap:.15rem;margin:0;display:flex}.libx-gm-stats b{font-variant-numeric:tabular-nums;font-size:1.5rem}.libx-tooltip-ring{border:2px solid var(--diagram-defect,#c4433a);background:0 0;border-radius:50%}.libx-whitepaper-link{border:1px solid var(--color-primary,#003b7e);color:var(--color-primary,#003b7e);border-radius:8px;padding:.55rem 1rem;font-family:IBM Plex Mono,ui-monospace,monospace;font-size:.85rem;text-decoration:none;transition:background .2s,color .2s;display:inline-block}.libx-whitepaper-link:hover{background:var(--color-primary,#003b7e);color:#fff}.libx-provenance{max-width:720px;color:color-mix(in srgb, var(--diagram-graphite,#263743) 65%, transparent);border-top:1px solid color-mix(in srgb, var(--diagram-graphite,#263743) 15%, transparent);margin:0 auto;padding:1.2rem 1.5rem 0;font-family:IBM Plex Mono,ui-monospace,monospace;font-size:.76rem;line-height:1.6}