.proof[data-astro-cid-q6l5asfn]{gap:var(--space-4);flex-direction:column;max-width:44rem;margin-inline:auto;display:flex}.proof-hud[data-astro-cid-q6l5asfn]{flex-wrap:wrap;justify-content:space-between;align-items:flex-end;gap:.8rem 1.25rem;display:flex}.proof-stats[data-astro-cid-q6l5asfn]{flex-wrap:wrap;gap:clamp(.9rem,4vw,1.7rem);display:flex}.stat[data-astro-cid-q6l5asfn]{flex-direction:column;gap:.15rem;line-height:1;display:flex}.stat-label[data-astro-cid-q6l5asfn],.sequence-label[data-astro-cid-q6l5asfn]{font-size:var(--fs-meta);letter-spacing:var(--tracking-meta);text-transform:uppercase;color:var(--color-muted)}.stat-label[data-astro-cid-q6l5asfn]{align-items:center;gap:.3rem;display:inline-flex}.stat-icon[data-astro-cid-q6l5asfn]{color:var(--color-accent);flex:none}.stat-value[data-astro-cid-q6l5asfn]{font-family:var(--font-display);font-size:1.45rem;font-weight:var(--fw-semibold);color:var(--color-ink);font-variant-numeric:tabular-nums}.proof-controls[data-astro-cid-q6l5asfn],.proof-actions[data-astro-cid-q6l5asfn]{flex-wrap:wrap;gap:.5rem;display:flex}.game-btn[data-astro-cid-q6l5asfn],.action-btn[data-astro-cid-q6l5asfn]{border:1px solid var(--color-rule);background:color-mix(in srgb, var(--color-surface) 78%, transparent);min-height:44px;color:var(--color-ink);font-size:var(--fs-small);font-weight:var(--fw-medium);cursor:pointer;transition:border-color var(--transition), color var(--transition), background var(--transition), transform var(--transition);border-radius:999px;justify-content:center;align-items:center;gap:.4rem;padding:.55em 1em;line-height:1;display:inline-flex}.game-btn[data-astro-cid-q6l5asfn]:hover:not(:disabled),.action-btn[data-astro-cid-q6l5asfn]:hover:not(:disabled){border-color:var(--color-accent);color:var(--color-accent)}.game-btn[data-astro-cid-q6l5asfn]:active:not(:disabled),.action-btn[data-astro-cid-q6l5asfn]:active:not(:disabled){transform:translateY(1px)}.game-btn[data-astro-cid-q6l5asfn]:disabled,.action-btn[data-astro-cid-q6l5asfn]:disabled{opacity:.42;cursor:default}.proof-board[data-astro-cid-q6l5asfn]{aspect-ratio:16/10;border:1px solid var(--color-rule);border-radius:var(--radius-lg);background:var(--color-surface);width:min(94vw,40rem,128svh);margin-inline:auto;position:relative;overflow:hidden;box-shadow:0 .65rem 2rem #0000001c}.proof-board[data-astro-cid-q6l5asfn] canvas[data-astro-cid-q6l5asfn]{touch-action:none;cursor:crosshair;user-select:none;width:100%;height:100%}.proof-actions[data-astro-cid-q6l5asfn]{justify-content:center}.action-btn[data-astro-cid-q6l5asfn]{min-width:8.5rem}.action-btn--fire[data-astro-cid-q6l5asfn]{border-color:var(--color-accent);background:var(--color-accent);color:var(--color-on-accent);touch-action:none}.action-btn--fire[data-astro-cid-q6l5asfn]:hover:not(:disabled){border-color:var(--color-accent-dark);background:var(--color-accent-dark);color:var(--color-on-accent)}.proof-status[data-astro-cid-q6l5asfn],.proof-sequence[data-astro-cid-q6l5asfn]{text-align:center;min-height:1.4em;font-size:var(--fs-small)}.proof-status[data-astro-cid-q6l5asfn]{color:var(--color-ink)}.proof-sequence[data-astro-cid-q6l5asfn]{color:var(--color-muted)}.sequence-label[data-astro-cid-q6l5asfn]{margin-right:.5rem}.sequence-value[data-astro-cid-q6l5asfn]{color:var(--color-accent);font-weight:var(--fw-semibold);letter-spacing:.22em;overflow-wrap:anywhere}.proof-help[data-astro-cid-q6l5asfn]{margin-top:var(--space-2);border-top:1px solid var(--color-rule);border-bottom:1px solid var(--color-rule)}.proof-help[data-astro-cid-q6l5asfn] summary[data-astro-cid-q6l5asfn]{color:var(--color-ink);font-size:var(--fs-small);font-weight:var(--fw-medium);cursor:pointer;padding-block:.8rem}.help-grid[data-astro-cid-q6l5asfn]{padding-bottom:var(--space-4);font-size:var(--fs-meta);grid-template-columns:repeat(2,minmax(0,1fr));gap:.7rem 1.5rem;line-height:1.5;display:grid}.help-grid[data-astro-cid-q6l5asfn] strong[data-astro-cid-q6l5asfn]{color:var(--color-ink)}@media (pointer:coarse){.action-btn--fire[data-astro-cid-q6l5asfn]{min-width:10rem;min-height:3.25rem;font-size:var(--fs-body)}}@media (width<=620px){.proof-hud[data-astro-cid-q6l5asfn]{align-items:center}.stat-value[data-astro-cid-q6l5asfn]{font-size:1.25rem}.proof-controls[data-astro-cid-q6l5asfn]{width:100%}.game-btn[data-astro-cid-q6l5asfn]{flex:1}.action-btn[data-astro-cid-q6l5asfn]{min-width:7.8rem}.help-grid[data-astro-cid-q6l5asfn]{grid-template-columns:1fr}}@media (prefers-reduced-motion:reduce){.game-btn[data-astro-cid-q6l5asfn],.action-btn[data-astro-cid-q6l5asfn]{transition:none}}