/* Execution terminal. Motion means active work, never measured completion. */
.proof-activity{margin-top:20px;padding:20px;border:1px solid #29352e;border-top:2px solid #63d29a;background:#090c0a;min-width:0;overflow:hidden;position:relative;isolation:isolate}
.proof-activity[hidden]{display:none}
.proof-activity-body[hidden]{display:none}
.proof-activity[data-collapsed=true] .proof-activity-head{padding-bottom:0;border-bottom:0}
.proof-activity-head{display:flex;align-items:center;justify-content:space-between;gap:12px;padding-bottom:13px;border-bottom:1px solid #243028}
.proof-activity-label{display:flex;align-items:center;gap:9px;font:10px/1.6 var(--mono);letter-spacing:.12em;text-transform:uppercase;color:#9bb8a6}
.proof-activity-label:before{content:'>';width:9px;height:auto;border-radius:0;font-size:14px;background:none;color:#63d29a}
.proof-activity-toggle{padding:2px 0;background:none;border:0;color:var(--ink-3);font:11px var(--mono);cursor:pointer;text-decoration:underline;text-underline-offset:3px}
.proof-activity-toggle:hover{color:var(--ink)}
.proof-activity-toggle:focus-visible{outline:1px solid var(--ink);outline-offset:4px}
.proof-activity-hero{display:flex;align-items:center;gap:14px;min-height:90px;padding:17px 0}
.proof-activity-hero-text{min-width:0;flex:1}
.proof-activity-lane{display:block;margin-bottom:7px;color:var(--ink-3);font:10px/1.5 var(--mono);letter-spacing:.07em}
.proof-activity-title{margin:0;font:18px/1.45 var(--mono);color:var(--ink);overflow-wrap:anywhere}
.proof-activity-live-status{display:block;margin-top:8px;color:var(--ink-3);font:11px/1.5 var(--mono)}
.proof-flow{width:44px;height:44px;position:relative;overflow:hidden;flex:none;contain:layout paint;direction:ltr;isolation:isolate}
.proof-flow-core{position:absolute;inset:0;border-radius:50%;background:#050505;box-shadow:0 0 0 1px rgba(255,255,255,.08);display:grid;place-items:center}
.proof-flow-moon{display:block;width:44px;height:44px;border-radius:50%;pointer-events:none}
.proof-activity-stats{display:flex;justify-content:space-between;gap:12px;flex-wrap:wrap;font:11px/1.6 var(--mono);font-variant-numeric:tabular-nums;color:var(--ink-2);padding:0 0 10px}
.proof-activity-elapsed{margin-inline-start:auto;color:var(--ink-3);white-space:nowrap}
.proof-activity-progress{margin:0 0 15px}
.proof-activity-progress-head{display:flex;justify-content:space-between;gap:12px;padding:0 0 9px;font:11px/1.6 var(--mono);font-variant-numeric:tabular-nums;color:var(--ink-2)}
.proof-activity-meter,.proof-activity-total-meter{display:block;width:100%;height:3px;margin:0;border:0;appearance:none;background:var(--line-soft);color:var(--ink-2)}
.proof-activity-total-meter{margin-bottom:0;height:2px;color:#779180}
.proof-activity-meter[hidden]{display:none}
.proof-activity-meter::-webkit-progress-bar,.proof-activity-total-meter::-webkit-progress-bar{background:var(--line-soft)}
.proof-activity-meter::-webkit-progress-value{background:var(--ink-2)}
.proof-activity-meter::-moz-progress-bar{background:var(--ink-2)}
.proof-activity-total-meter::-webkit-progress-value{background:#779180}
.proof-activity-total-meter::-moz-progress-bar{background:#779180}
.proof-activity-stream{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:7px 16px;align-items:baseline;padding:10px 12px;margin:12px 0 16px;border:1px solid var(--line-soft);border-inline-start:2px solid #63d29a77;background:#0b100d;font:11px/1.5 var(--mono);font-variant-numeric:tabular-nums}
.proof-stream-label{grid-column:1/-1;color:var(--ink-3);overflow-wrap:anywhere}
.proof-stream-value{font:14px/1.6 var(--mono);color:#acd4ba;letter-spacing:.12em;min-width:0;overflow-wrap:anywhere;direction:ltr;text-align:start}
.proof-stream-position{font-size:10px;color:var(--ink-3);direction:ltr;white-space:nowrap}
.proof-activity-stream[data-beat="1"]{border-inline-start-color:#63d29a}
.proof-activity-metrics{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:0;margin:2px 0 16px;border:1px solid var(--line-soft);background:#0c100e}
.proof-activity-metric{min-width:0;padding:12px;border-inline-end:1px solid var(--line-soft)}
.proof-activity-metric:last-child{border-inline-end:0}
.proof-activity-metric dt{font:11px/1.5 var(--mono);color:var(--ink-3);margin:0 0 9px}
.proof-activity-metric dd{font:14px/1.5 var(--mono);font-variant-numeric:tabular-nums;color:var(--ink,#eee);margin:0;overflow-wrap:anywhere}
.proof-activity-metric[data-known=false] dd{color:var(--ink-4,#666)}
.proof-activity-evidence{margin:0;border:1px solid #223027;background:#060907;padding:12px}
.proof-activity-evidence-head{display:flex;justify-content:space-between;gap:16px;font:11px/1.5 var(--mono);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-3);padding:0 0 10px;border-bottom:1px solid var(--line-soft)}
.proof-activity-evidence-head>span:last-child{font-variant-numeric:tabular-nums;color:var(--ink-4)}
.proof-log-viewport{display:grid;grid-template-columns:minmax(0,1fr) 5px;gap:10px;margin-top:10px;direction:ltr}
.proof-activity-events{list-style:none;padding:0;margin:0;height:218px;overflow-y:scroll;overscroll-behavior:contain;scrollbar-width:none}
.proof-activity-events::-webkit-scrollbar{display:none}
.proof-log-scrollbar{position:relative;min-height:0;background:#ffffff09;border-radius:0;cursor:pointer;touch-action:none;user-select:none}
.proof-log-thumb{position:absolute;left:0;right:0;top:0;height:100%;background:#3d5c49;border-radius:0;cursor:grab}
.proof-log-scrollbar:hover .proof-log-thumb{background:#999}
.proof-log-scrollbar:active .proof-log-thumb{cursor:grabbing}
.proof-log-scrollbar[aria-disabled=true] .proof-log-thumb{background:#ffffff13;cursor:default}
.proof-log-scrollbar:focus-visible{outline:1px solid var(--ink-3);outline-offset:4px}
.proof-activity-events:focus-visible{outline:1px solid var(--ink-3);outline-offset:5px}
.proof-activity-events li{display:grid;grid-template-columns:9ch 12px minmax(0,1fr);column-gap:9px;align-items:start;padding:6px 0;font:11px/1.6 var(--mono);color:#a4b4aa}
.proof-activity-events li[hidden]{display:none}
.proof-event-time{color:#52695c;font-variant-numeric:tabular-nums}
.proof-event-mark{color:var(--ink-3);text-align:center}
.proof-event-body{min-width:0;display:block}
.proof-event-title{display:block;overflow-wrap:anywhere}
.proof-event-data{display:block;font-size:11px;color:#688977;overflow-wrap:anywhere;margin-top:3px;direction:ltr;text-align:start}
.proof-event-data[hidden]{display:none}
.proof-activity-events li[data-active=true] .proof-event-title{color:var(--ink)}
.proof-activity-events li[data-state=complete] .proof-event-mark{color:#63d29a}
.proof-activity-events li[data-state=failed] .proof-event-title{color:var(--ink-2)}
.proof-activity-fingerprints{margin:0;padding:12px 0;border-block:1px solid var(--line-soft);display:grid;gap:8px}
.proof-activity-fingerprints>div{display:grid;grid-template-columns:minmax(90px,1fr) minmax(0,2fr);align-items:baseline;gap:16px;font:11px/1.5 var(--mono)}
.proof-activity-fingerprints dt{color:var(--ink-3)}
.proof-activity-fingerprints dd{margin:0;color:var(--ink-2);overflow-wrap:anywhere;user-select:text;-webkit-user-select:text;min-width:0}
.proof-activity-fingerprints[hidden],.proof-activity-fingerprints>div[hidden]{display:none}
.proof-activity-cost{margin:18px 0 0;padding:14px 16px;border:1px solid var(--line-soft);border-inline-start:2px solid var(--ink-3,#888);background:#ffffff03}
.proof-activity-cost[hidden]{display:none}
.proof-activity-cost-title{font:11px/1.5 var(--mono);color:var(--ink-2);margin:0 0 9px}
.proof-activity-formula{font:12px/1.8 var(--mono);font-variant-numeric:tabular-nums;color:var(--ink);margin:0;overflow-wrap:anywhere;text-align:start}
.proof-activity-steps{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:10px;list-style:none;padding:0;margin:18px 0 0;counter-reset:proof-step}
.proof-activity-steps li{counter-increment:proof-step;border-top:1px solid var(--line-soft);padding-top:8px;color:var(--ink-4);font:11px/1.5 var(--mono)}
.proof-activity-steps li:before{content:"0" counter(proof-step) " ";opacity:.6}
.proof-activity-steps li[data-state=current]{color:var(--ink);border-color:var(--ink-2)}
.proof-activity-steps li[data-state=done]{color:var(--ink-3)}
.proof-activity-operations{display:flex;flex-wrap:wrap;gap:9px 16px;list-style:none;padding:0;margin:18px 0 12px;font:11px/1.5 var(--mono);color:var(--ink-4)}
.proof-activity-steps[hidden],.proof-activity-operations[hidden]{display:none}
.proof-activity-operations li:before{content:'·';display:inline-block;width:12px;color:var(--ink-4)}
.proof-activity-operations li[data-state=done]{color:var(--ink-3)}
.proof-activity-operations li[data-state=done]:before{content:'✓';color:var(--ink-3)}
.proof-activity-operations li[data-state=current]{color:var(--ink)}
.proof-activity-operations li[data-state=current]:before{content:'›';color:var(--ink)}
.proof-activity-operations li[data-state=failed]{color:var(--ink-2)}
.proof-activity-caption,.proof-activity-hint{font-size:11px;line-height:1.6;color:var(--ink-3);margin:14px 0 0}
.proof-activity-hint{margin-top:8px}
.proof-activity[data-lane=private][data-complete=true] .proof-flow-moon{visibility:hidden}
.proof-activity[data-lane=private][data-complete=true] .proof-flow-core{background:#000;box-shadow:0 0 0 1px rgba(255,255,255,.06)}
.proof-activity[data-failed=true] .proof-activity-title{color:var(--ink-2)}
@media(max-width:600px){.proof-activity-metrics{grid-template-columns:repeat(2,minmax(0,1fr))}.proof-activity-metric:nth-child(2){border-inline-end:0}.proof-activity-metric:nth-child(-n+2){border-bottom:1px solid var(--line-soft)}}
@media(max-width:480px){.proof-activity{padding:16px;margin-top:16px}.proof-activity-title{font-size:15px}.proof-activity-hero{gap:14px;min-height:92px}.proof-flow,.proof-flow-moon{width:38px;height:38px}.proof-activity-head{align-items:flex-start}.proof-activity-toggle{max-width:50%;text-align:end}.proof-activity-steps{gap:7px}.proof-activity-events li{column-gap:8px}.proof-activity-fingerprints>div{grid-template-columns:minmax(85px,1fr) minmax(0,2fr);gap:10px}.proof-activity-cost{padding:12px}.proof-activity-formula{font-size:11px}.proof-activity-metric dd{font-size:14px}}
@media(prefers-reduced-motion:reduce){.proof-activity *{animation:none!important;transition:none!important}}
.proof-activity-public-stats{font:11px/1.8 var(--mono);color:var(--ink-3);margin:10px 0 0;font-variant-numeric:tabular-nums;overflow-wrap:anywhere}
.proof-activity-public-stats[hidden]{display:none}

.proof-activity-track{position:relative;height:8px;margin:0 0 14px;background:#17201a;overflow:hidden}
.proof-activity-track .proof-activity-meter{height:100%}
.proof-activity-meter[data-mode=indeterminate]{opacity:0}
.proof-activity-pulse{position:absolute;inset:0;overflow:hidden;background:repeating-linear-gradient(90deg,transparent 0 7px,#090c0a 7px 10px);pointer-events:none}
.proof-activity-pulse[hidden]{display:none}
.proof-activity-pulse>span{display:block;width:23%;height:100%;background:linear-gradient(90deg,transparent,#63d29a);animation:proof-terminal-scan 1.15s linear infinite}
.proof-activity[data-waiting=true] .proof-activity-pulse>span{animation:none;transform:none;width:100%;background:#314438}
.proof-activity[data-paused=true] .proof-activity-pulse>span{animation-play-state:paused}
.proof-activity[data-failed=true] .proof-activity-pulse>span{animation:none;width:100%;background:#555}
.proof-activity[data-complete=true] .proof-activity-label:before{content:'✓'}
.proof-activity-events li[data-state=start] .proof-event-mark{color:#63d29a}
.proof-activity-events li[data-active=true] .proof-event-title:after{content:'_';margin-inline-start:5px;color:#63d29a;animation:proof-terminal-cursor .7s steps(1) infinite}
.proof-activity[data-paused=true] .proof-event-title:after,.proof-activity[data-waiting=true] .proof-event-title:after{animation:none}
@keyframes proof-terminal-scan{from{transform:translateX(-110%)}to{transform:translateX(450%)}}
@keyframes proof-terminal-cursor{0%,49%{opacity:1}50%,100%{opacity:0}}
@media(max-width:480px){.proof-activity{padding:14px}.proof-activity-evidence{padding:10px}.proof-activity-events{height:210px}.proof-activity-events li{grid-template-columns:8.5ch 10px minmax(0,1fr);font-size:10px;column-gap:6px}.proof-event-data{font-size:10px}.proof-activity-progress-head{font-size:10px}.proof-activity-detail{max-width:70%;overflow-wrap:anywhere}.proof-activity-stream{gap:5px 10px}.proof-stream-value{font-size:12px;letter-spacing:.07em}.proof-activity-elapsed{font-size:10px}.proof-activity-title{font-size:15px}.proof-activity-lane{font-size:9px}}
@media(prefers-reduced-motion:reduce){.proof-activity-pulse>span{animation:none;transform:none;width:40%;opacity:.65}.proof-event-title:after{animation:none!important}}