.protocol-motion-stage{border:1px solid var(--line);position:relative;overflow:hidden;box-shadow:0 18px 54px #0000001a}.protocol-motion-stage .stage-topline{color:#c4cad3;gap:20px;font-size:10px}.protocol-motion-stage .stage-topline span:last-child{text-align:right}.policy-expectation{color:#b9bdc5;background:#23252a;border:1px solid #81889544;justify-content:space-between;align-items:center;gap:16px;margin-top:20px;padding:10px 13px;font-size:12px;display:flex}.policy-expectation strong{color:#eef0f4;white-space:nowrap;font-weight:550}.protocol-motion-stage .binding-map{min-height:360px;margin:8px 0 0;display:block;position:relative}.protocol-motion-stage .binding-node{background:linear-gradient(145deg,#2b2e34,#202226);width:29%;min-height:100px;padding:12px;transition:border-color .25s,background .25s;position:absolute}.protocol-motion-stage .binding-node small{letter-spacing:.045em;color:#bfc4ce;font-size:10px;line-height:1.5}.protocol-motion-stage .binding-node strong{font-size:15px}.protocol-motion-stage .binding-node>span{color:#c0c5ce;margin-top:4px;font-size:12px;line-height:1.4}.protocol-motion-stage .evidence-node,.protocol-motion-stage .authorization-node{top:15px}.protocol-motion-stage .run-node,.protocol-motion-stage .surface-node{bottom:15px}.protocol-motion-stage .candidate-node{background:radial-gradient(at top,#424955,#2b3038);border-radius:8px;width:26%;height:110px;transition:transform .5s cubic-bezier(.2,.8,.2,1);position:absolute;top:125px;left:37%;box-shadow:0 10px 32px #0003,inset 0 1px #e2eaf633}.protocol-motion-stage .candidate-node strong{font-size:16px}.protocol-motion-stage .candidate-node small{font-size:10px}.protocol-motion-stage .binding-lines{display:block;transform:none}.protocol-motion-stage .binding-lines .binding-track{stroke:#697180;opacity:.45;stroke-width:1px}.protocol-motion-stage .binding-lines .binding-trace{stroke:var(--accent);stroke-width:1.5px;transition:stroke .3s}.protocol-motion-stage .binding-lines .is-unverifiable{stroke:var(--status-color)}.binding-status-marker{z-index:2;border:1px solid var(--status-color);width:28px;height:28px;color:var(--status-color);background:#1b1d21;border-radius:50%;place-items:center;font-size:18px;line-height:1;display:grid;position:absolute;top:180px;transform:translate(-50%,-50%)}.marker-authorization{left:63%}.marker-evidence,.marker-admission{left:37%}.marker-admission{border-radius:4px}.protocol-motion-stage .binding-node .authorization-retained{color:#f4c8b9;border-top:1px dashed #e8b3a166;padding-top:6px;font-size:12px}.obligation-index{grid-template-columns:repeat(6,1fr);gap:5px;margin:4px 0 18px;display:grid}.obligation-index>span{color:#d5dae3;background:#272a30;border-top:2px solid #a9b5c7;flex-direction:column;min-width:0;padding:8px 7px;display:flex}.obligation-index strong{font-size:12px;font-weight:550}.obligation-index>span>span{overflow-wrap:normal;margin-top:4px;font-size:11px;line-height:1.3}.obligation-index small{color:#b6bdc8;margin-top:5px;font-size:10px}.obligation-index .is-undrawn{background:0 0;border-top-style:dashed;border-top-color:#7f8793}.obligation-index .is-affected{border-top-color:var(--status-color);color:var(--status-color);background:#dce5f20c}.protocol-motion-stage .scenario-outcome{gap:13px;min-height:78px}.protocol-motion-stage .scenario-outcome strong{font-size:15px}.protocol-motion-stage .scenario-outcome p{color:#c9cdd5;font-size:12px;line-height:1.5}.protocol-motion-stage .outcome-symbol{flex-shrink:0;width:32px;height:32px}.readiness-premises{color:#c2c8d2;border-top:1px solid #7d85934f;margin-top:8px;font-size:12px}.readiness-premises summary{padding:12px 0 3px;line-height:1.5}.readiness-premises p{padding:12px 0;line-height:1.7}.protocol-explorer .scenario-tabs button{font-size:13px}.protocol-explorer .scenario-tabs button>span:first-child{font-size:12px}.protocol-explorer .scenario-explanation .eyebrow{color:var(--muted);font-size:10px}.protocol-explorer .scenario-explanation p{font-size:14px}.protocol-explorer .demo-note{color:var(--muted);font-size:12px;line-height:1.7}.relation-toggle{border:0;flex-wrap:wrap;grid-column:1/-1;gap:8px;margin:6px 0 0;padding:0;font-size:12px;display:flex}.relation-toggle legend{padding:0 0 8px;font-size:12px;font-weight:550}.relation-toggle button{background:0 0;border:1px solid #717987;border-radius:4px;min-height:40px;padding:8px 12px;font-size:12px}.relation-toggle button[aria-pressed=true]{color:#f0f1f3;background:#424a57;border-color:#424a57}.evidence-tally{min-width:0}.evidence-tally .evidence-comparison{margin:0}.evidence-explorer .evidence-tab{font-size:13px}.evidence-explorer .evidence-tab-number{color:var(--muted);font-size:12px}.evidence-tally .evidence-chart-heading{font-size:13px;line-height:1.5}.evidence-tally .evidence-chart-unit{color:var(--muted);text-align:right;max-width:160px;font-size:12px}.evidence-tally .evidence-arm{grid-template-columns:minmax(150px,1.25fr) minmax(100px,1fr) 42px;gap:18px;padding:17px 0}.evidence-tally .evidence-arm-label>span:first-child{font-size:13px;font-weight:550}.evidence-tally .evidence-arm-detail{color:var(--muted);font-size:12px}.evidence-tally .evidence-dot{background:#272a30;border-color:#717987;height:25px;position:relative;overflow:hidden}.evidence-tally .evidence-dot>i{transform-origin:bottom;background:#acb9ca;display:block;position:absolute;inset:0}.evidence-tally .evidence-arm--reference .evidence-dot>i{background:#e1e9f5}.evidence-tally .evidence-arm--prior .evidence-dot>i{background:#7d8797}.evidence-tally .evidence-count{font-variant-numeric:tabular-nums;font-size:20px}.evidence-tally .evidence-count>span{font-size:inherit;color:inherit}.evidence-tally .evidence-count>span>span{color:var(--muted);font-size:13px}.evidence-arm-label .policy-repair-chip{color:#e0e7f0;background:#30363f;border-left:2px solid #aebed3;flex-direction:column;gap:2px;margin-top:10px;padding:6px 8px;font-size:12px;line-height:1.4;transition:opacity .2s,transform .2s;display:inline-flex}.policy-repair-chip small{color:#bac5d4;font-size:11px}.evidence-tally .evidence-legend{color:var(--muted);font-size:12px}.evidence-tally .evidence-legend .evidence-dot{width:10px;height:10px}.evidence-tally .evidence-legend .is-matched{background:#acb9ca;border-color:#acb9ca}.tally-unit-note{color:var(--muted);margin-top:14px;font-size:12px;line-height:1.6}.evidence-tally .evidence-parity{color:#dce5f2;background:#2b3037;flex-direction:column;gap:4px;margin-top:23px;padding:14px 16px;display:flex;position:relative}.evidence-parity strong{font-size:13px;font-weight:550}.evidence-parity>span:not(.parity-rule){font-size:12px}.parity-rule{border:1px solid #acb9ca;border-right:0;width:5px;position:absolute;inset:0 auto 0 0}.evidence-explorer .evidence-context{color:var(--muted);font-size:12px}.evidence-explorer .evidence-repair-label{color:var(--accent-strong);font-size:11px}.guard-mechanism{border-top:1px solid var(--line);border-bottom:1px solid var(--line);margin-top:20px}.guard-mechanism summary{justify-content:space-between;align-items:center;gap:20px;padding:17px 0;font-size:13px;font-weight:550;list-style:none;display:flex}.guard-mechanism summary::-webkit-details-marker{display:none}.guard-mechanism summary>span{font-size:22px;line-height:1;transition:transform .2s}.guard-mechanism[open] summary>span{transform:rotate(45deg)}.guard-mechanism-body{padding:0 0 16px}.guard-context{color:var(--muted);font-size:13px;line-height:1.6}.guard-case-buttons{flex-wrap:wrap;gap:6px;margin:17px 0;display:flex}.guard-case-buttons button{background:0 0;border:1px solid #747b87;border-radius:3px;min-height:38px;padding:7px 9px;font-size:12px;line-height:1.4}.guard-case-buttons button[aria-pressed=true]{color:#f0f1f3;background:#424a57;border-color:#424a57}.guard-flow{grid-template-columns:minmax(0,1fr) 36px minmax(0,1fr);align-items:center;margin:18px 0;display:grid}.guard-input,.guard-rule{background:#282b31;border:1px solid #555d69;border-radius:4px;flex-direction:column;justify-content:center;gap:9px;min-width:0;min-height:108px;padding:15px 12px;display:flex}.guard-rule{background:#30363f}.guard-flow small{letter-spacing:.06em;color:#bac2ce;font-size:10px}.guard-flow strong{overflow-wrap:anywhere;font-size:13px;font-weight:500;line-height:1.5}.guard-connector{background:#555d69;height:1px;position:relative}.guard-connector i{transform-origin:0;background:#b9c8dd;height:1px;display:block}.guard-connector>span{width:100%;position:absolute;top:50%;left:0}.guard-connector>span>b{color:#d6e1f0;background:#242529;font-size:15px;font-weight:400;position:absolute;transform:translate(-50%,-50%)}.guard-results{border-top:1px solid var(--line)}.guard-results>div{border-bottom:1px solid var(--line);justify-content:space-between;align-items:start;gap:18px;padding:11px 0;font-size:12px;line-height:1.5;display:flex}.guard-results>div>span{max-width:44%;color:var(--muted)}.guard-results strong{text-align:right;color:#b3c7e2;max-width:60%;font-weight:500}.guard-results strong[data-recorded=true]{color:#e0e7f0}.guard-boundary{color:var(--muted);margin-top:16px;font-size:12px;line-height:1.65}.proof-time-strip{border-bottom:1px solid #616b79;height:140px;margin:25px 0 18px;font-size:11px;position:relative}.proof-interval{white-space:nowrap;width:61%;height:32px;padding:6px 8px;position:absolute;top:0;left:0}.proof-interval>i{transform-origin:0;background:#343b47;border-right:2px solid #b3c0d3;transition:transform .6s cubic-bezier(.2,.8,.2,1);position:absolute;inset:0}.proof-interval>span{position:relative}.verification-marker,.publication-marker{border-left:1px solid #8996a9;height:82px;padding-left:6px;font-family:Georgia,serif;font-size:18px;position:absolute;top:40px}.verification-marker{left:40%}.publication-marker{left:78%}.verification-marker>span,.publication-marker>span{font:11px var(--font-sans);display:block}.permit-interval{background:#323c4a;border-right:2px solid #9cb4d4;padding:5px;font-size:10px;position:absolute;bottom:0;left:48%;right:0}@media (max-width:1100px){.protocol-explorer{grid-template-columns:195px minmax(0,1fr)}.protocol-motion-stage .binding-node{padding:10px}.protocol-motion-stage .binding-node strong{font-size:14px}.protocol-motion-stage .binding-node>span{font-size:12px}.obligation-index{grid-template-columns:repeat(3,1fr)}.evidence-tally .evidence-arm{grid-template-columns:minmax(120px,1.2fr) minmax(90px,1fr) 36px;gap:12px}}@media (max-width:900px){.protocol-explorer{grid-template-columns:minmax(0,1fr)}.protocol-explorer .scenario-tabs button{gap:7px;font-size:12px}.protocol-motion-stage{padding:18px 14px}.protocol-motion-stage .stage-topline{letter-spacing:.07em;font-size:9px}.protocol-motion-stage .binding-node{width:33%}.protocol-motion-stage .candidate-node{width:28%;left:36%}.protocol-explorer .scenario-explanation{min-height:0}.protocol-explorer .relation-toggle{margin-top:20px}.evidence-tally .evidence-arm{grid-template-columns:minmax(135px,1.2fr) minmax(85px,1fr) 36px}.evidence-explorer .evidence-tab{font-size:12px}}@media (max-width:520px){.protocol-motion-stage .binding-map{min-height:440px}.protocol-motion-stage .binding-node{width:46%;min-height:120px}.protocol-motion-stage .binding-node small{font-size:10px}.protocol-motion-stage .candidate-node{width:46%;top:165px;left:27%}.protocol-motion-stage .candidate-node strong{font-size:16px}.binding-status-marker{top:220px}.marker-authorization{left:73%}.marker-evidence,.marker-admission{left:27%}.protocol-motion-stage .policy-expectation{flex-direction:column;align-items:start;gap:4px}.obligation-index>span>span{font-size:12px}.protocol-motion-stage .scenario-outcome strong{font-size:14px}.protocol-motion-stage .scenario-outcome p{font-size:12px}.evidence-tally .evidence-chart-heading{flex-direction:column;gap:4px}.evidence-tally .evidence-chart-unit{text-align:left;max-width:none}.evidence-tally .evidence-arm{grid-template-columns:minmax(0,1fr) 35px;gap:12px}.evidence-tally .evidence-arm-label{grid-column:1/-1}.evidence-tally .evidence-dots{gap:7px}.evidence-tally .evidence-dot{height:24px}.evidence-tally .evidence-arm-label .policy-repair-chip{flex-flow:wrap;align-items:center;gap:5px 10px;display:flex}.evidence-explorer .evidence-tab{flex-direction:column;gap:4px;display:flex}.guard-flow{grid-template-columns:minmax(0,1fr) 22px minmax(0,1fr)}.guard-input,.guard-rule{padding:11px 9px}.guard-results>div{gap:12px}.proof-time-strip{font-size:10px}.proof-interval{padding:5px}.publication-marker{left:73%}}@media (prefers-reduced-motion:reduce){.protocol-motion-stage *,.evidence-tally *{transition:none!important}}
.claim-edit{--ce-ink:#f0f1f3;--ce-muted:#b8bec9;--ce-line:#4b515d;color:var(--ce-ink);background:#1b1d21;border:1px solid #42464f;border-radius:6px;width:100%;min-width:0;padding:clamp(18px,1.7vw,26px);container-type:inline-size}.claim-edit-topline{justify-content:space-between;align-items:center;gap:12px;margin-bottom:14px;line-height:1.4;display:flex}.claim-edit-heading{flex-direction:column;gap:4px;min-width:0;display:flex}.claim-edit-kicker{color:#dce3ed;font-size:12px;font-weight:500}.claim-edit-toy{color:var(--ce-muted);font-size:12px}.claim-edit-assumptions{align-items:center;gap:24px;display:flex}.claim-edit-evidence{flex:1;grid-template-columns:repeat(3,1fr);gap:16px;display:grid}.claim-edit-evalue{min-width:0}.claim-edit-evalue>span{color:var(--ce-muted);font-size:12px;display:block}.claim-edit-evalue strong{white-space:nowrap;font-size:19px;font-weight:450;display:block}.claim-edit-evalue strong i{font:italic 22px Georgia,serif}.claim-edit-evalue strong sub{padding-right:3px;font-size:12px}.claim-edit-evalue-track{background:#3c424d;height:3px;margin-top:10px}.claim-edit-evalue-track i{background:var(--accent);transform-origin:0;height:100%;display:block}.claim-edit-level{flex-direction:column;gap:9px;display:flex}.claim-edit-level>span{color:var(--ce-muted);font-size:12px}.claim-edit-level>div{border:1px solid #737d8d;border-radius:4px;display:flex;overflow:hidden}.claim-edit-level button{min-height:44px;color:var(--ce-ink);background:0 0;border:0;padding:9px 13px;font-size:14px}.claim-edit-level button[aria-pressed=true]{color:#1b1d21;background:var(--accent)}.claim-edit-level button:focus-visible{outline-offset:-5px;outline:2px solid}.claim-edit-level button:disabled{cursor:default;opacity:1}.claim-edit-story{border-top:1px solid #3c424d;align-items:center;gap:12px;margin-top:16px;padding-top:12px;display:flex}.claim-edit-story>span{color:#d4e0f1;font:12px var(--font-sans)}.claim-edit-story p{color:#c9cfd9;font-size:13px}.claim-edit-story>i{background:#353c47;width:62px;height:2px;margin-left:auto;overflow:hidden}.claim-edit-story b{background:var(--accent);transform-origin:0;width:100%;height:100%;display:block}.claim-edit-body{grid-template-columns:minmax(0,1.25fr) minmax(218px,.85fr);align-items:start;gap:22px;margin-top:12px;display:grid}.claim-edit-plot,.claim-edit-interpretation{min-width:0}.claim-edit-live{display:none}.claim-edit-lattice{isolation:isolate;height:340px;position:relative}.claim-edit-lattice svg{width:100%;height:100%;position:absolute;inset:0;overflow:visible}.claim-edit-region{stroke:#b2c3da;stroke-width:1px;stroke-dasharray:4 5;vector-effect:non-scaling-stroke}.claim-edit-edge{stroke:#626f82;stroke-width:1px;vector-effect:non-scaling-stroke}.claim-edit-edge.is-covered{stroke:#c4d2e5;stroke-width:1.5px}.claim-edit-node{z-index:1;color:#e8edf5;width:90px;min-height:66px;transform:translate(-50%, calc(-50% + var(--node-arrival,0px)));background:#24272d;border:1px solid #727c8d;border-radius:5px;flex-direction:column;justify-content:center;align-items:center;padding:8px 3px;line-height:1.2;transition:background .18s,border-color .18s,box-shadow .18s;display:flex;position:absolute}.claim-edit-node.is-qualified{background:#2c333e;border-color:#9cabc1}.claim-edit-node.is-covered{background:#374252;border-color:#c1d0e6}.claim-edit-node.is-selected{border-color:var(--accent);background:#414e62;box-shadow:0 0 0 3px #dce5f218,0 0 25px #c6d9f212}.claim-edit-node:not(.is-qualified).is-selected{background:#35312b;border-color:#e6c790;box-shadow:0 0 0 3px #e6c79015}.claim-edit-node:hover{background:#414b5a;border-color:#ecf2fc}.claim-edit-node:disabled{cursor:default}.claim-edit-node:focus-visible{outline-offset:4px;z-index:2;outline-color:#ecf2fc}.claim-edit-node strong{letter-spacing:-.02em;font-size:15px;font-weight:500}.claim-edit-node small{color:#d0d8e4;margin-top:5px;font-size:12px}.claim-edit-node-mark{color:var(--accent);margin-bottom:4px;font-size:8px;line-height:1}.claim-edit-node:not(.is-qualified) .claim-edit-node-mark{color:#ddd8c6}.claim-edit-legend{flex-wrap:wrap;gap:8px 17px;padding:10px 0 0;display:flex}.claim-edit-legend>span{color:var(--ce-muted);align-items:center;gap:7px;font-size:12px;display:flex}.claim-edit-legend i{border:1px solid #c7d4e6;border-radius:50%;flex:none;width:8px;height:8px}.claim-edit-legend .is-qualified{background:#c1d0e6;border-color:#c1d0e6}.claim-edit-legend .is-region{background:#b3c9e822;border:1px dashed #c1d0e6;border-radius:1px;width:13px;height:10px}.claim-edit-selection{border-top:1px solid #4b515d;border-bottom:1px solid #4b515d;min-height:165px;padding:12px 0}.claim-edit-selection-heading{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:7px 15px;font-size:14px;display:flex}.claim-edit-selection-heading strong{margin-left:5px;font-size:19px;font-weight:500}.claim-edit-status{color:var(--accent);font-size:12px}.claim-edit-status.is-outside{color:#efd2a3}.claim-edit-calculation{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:5px 15px;margin-top:13px;display:flex}.claim-edit-calculation>span{color:var(--ce-muted);font-size:12px}.claim-edit-calculation strong{color:#edf2fa;font-size:15px;font-weight:500}.claim-edit-exact,.claim-edit-empty{color:var(--ce-muted);font-size:12px;line-height:1.65;margin-top:8px!important}.claim-edit-core{gap:12px;padding:14px 0;display:flex}.claim-edit-core-symbol{color:var(--accent);flex:none;width:24px;font:italic 29px/1.2 Georgia,serif}.claim-edit-core strong{color:var(--accent);font-size:14px;font-weight:500;line-height:1.5}.claim-edit-core p{color:var(--ce-muted);margin-top:7px;font-size:12px;line-height:1.65}.claim-edit-footer{border-top:1px solid #3c424d;margin-top:20px;padding-top:15px}.claim-edit-footer>p{color:var(--ce-muted);font-size:12px;line-height:1.65}.claim-edit .motion-controls{color:#d3deec;flex-wrap:nowrap;flex-shrink:0;margin:0;padding:0}.claim-edit .motion-controls button{padding:8px}.claim-edit-authority{color:#c2cbd8;border-top:1px solid #4b515d;gap:10px;padding-top:14px;font-size:12px;line-height:1.7;display:flex;margin-top:0!important}.claim-edit-authority>span:first-child{color:var(--accent);flex:none;font-size:23px;line-height:1.2}.claim-edit-authority strong{color:#e9eff8;font-weight:500}.claim-edit-method{color:var(--ce-muted);border-top:1px solid #3c424d;margin-top:18px;padding-top:14px;font-size:12px}.claim-edit-method summary{color:#d5e0f0;padding:5px 0;font-size:13px}.claim-edit-method p{margin-top:16px;font-size:12px;line-height:1.7}.claim-edit-method table{border-collapse:collapse;text-align:left;width:100%;margin-top:20px;font-size:12px}.claim-edit-method caption{text-align:left;color:#e9eff8;margin-bottom:10px;font-size:13px}.claim-edit-method td,.claim-edit-method th{border-bottom:1px solid #424a57;padding:8px 5px;font-weight:400}.claim-edit-method .text-link{color:var(--accent);margin-top:20px;font-size:12px}@container (max-width:620px){.claim-edit-body{grid-template-columns:minmax(0,1fr);gap:20px}.claim-edit-live{background:#2b333f;border:1px solid #737d8d;border-radius:4px;flex-direction:column;gap:4px;margin:0 0 12px;padding:10px 12px;font-size:12px;line-height:1.5;display:flex}.claim-edit-live>span{flex-wrap:wrap;justify-content:space-between;gap:4px 12px;display:flex}.claim-edit-live strong{color:var(--accent);font-weight:500}.claim-edit-selection{min-height:145px}}@container (max-width:470px){.claim-edit-assumptions{flex-direction:column;align-items:stretch;gap:20px}.claim-edit-level{flex-direction:row;justify-content:space-between;align-items:center;gap:10px}.claim-edit-node{width:clamp(44px,32% - 14px,78px);min-height:63px}.claim-edit-node strong{font-size:14px}.claim-edit-lattice{height:340px}.claim-edit-story>i{width:34px}.claim-edit-selection{min-height:165px}.claim-edit .motion-controls button{gap:5px;padding-inline:7px}.claim-edit .motion-preference{max-width:130px}}@container (max-width:350px){.claim-edit-topline{flex-wrap:wrap;gap:10px}.claim-edit-heading{flex-basis:100%}.claim-edit .motion-controls{margin-left:auto}}@media (max-height:480px) and (min-width:601px){.claim-edit-lattice{height:320px}}@media (min-width:901px){@container reader-frame (max-height:650px){.chapter-page .math-contribution{padding-top:16px}}}@media (prefers-reduced-motion:reduce){.claim-edit-node{transition:none}}