:root{--surface-base: #121212;--surface-canvas: #1a1a1a;--surface-raised: #1e1e1e;--surface-overlay: rgba(37, 37, 37, .85);--surface-control: #2a2a2a;--surface-control-hover: #3a3a3a;--text-primary: #e0e0e0;--text-secondary: #d0d0d0;--text-muted: #888888;--text-on-accent: #ffffff;--border-subtle: #333333;--border-default: #444444;--border-hover: #555555;--border-faint: rgba(255, 255, 255, .1);--interactive-bg: #4a90d9;--interactive-border: #5ba4e6;--interactive-hover: #5ba4e6;--interactive-muted: #3a4a6a;--interactive-muted-border: #4a6a9a;--status-success-bg: rgba(45, 90, 45, .9);--status-success-border: #3d7a3d;--status-success-text: #a8e6a8;--status-success-muted: #b0e0b0;--status-error-bg: rgba(120, 30, 30, .9);--status-error-border: #9a3a3a;--status-error-text: #f0a0a0;--status-error-muted: #d08080;--status-warning-text: #ffd43b;--mode-proof-bg: #6b4bd9;--mode-proof-border: #7b5be9;--highlight-invalid: #ff4444;--highlight-selected: #f5a623;--highlight-given: #59889e;--highlight-intersection: #5ba4e6;--highlight-constrained: #888888;--highlight-given-bg: #3a3a3a;--mode-invoke-bg: #2d5a2d;--mode-invoke-border: #3a6b3a;--mode-invoke-hover: #3d6a3d;--mode-truth-bg: #2d3d4d;--mode-truth-border: #3d5a6a;--mode-truth-hover: #3d4d5d;--mode-gathering-bg: #3a4a6a;--mode-gathering-border: #4a6a9a;--mode-submit-bg: #4a7a4a;--mode-submit-border: #5a9a5a;--mode-submit-hover: #5a8a5a;--mode-submit-hover-border: #6aaa6a;--mode-action-bg: #2a3a2a;--mode-action-border: #3a5a3a;--mode-action-hover: #3a4a3a;--mode-action-hover-border: #4a6a4a;--badge-proven-bg: #2d5a2d;--badge-proven-text: #8fcf8f;--badge-creative-bg: #5a4a2d;--badge-creative-text: #cfb88f;--geo-point: #ffffff;--geo-point-constrained: #888888;--geo-point-intersection: #5ba4e6;--geo-point-invalid: #ff4444;--geo-point-selected: #ffff00;--geo-point-constrained-selected: #f5a623;--geo-line: #a0a0a0;--geo-circle: #a0a0a0;--geo-selected: #f5a623;--geo-invalid: #4a4a4a;--geo-label: #d0d0d0;--geo-label-invalid: #888888;--geo-marker: #ffd166;--geo-point-radius: 6;--geo-stroke-width: 2;--geo-angle-arc-max-radius: 60;--geo-angle-arc-fraction: .3;--space-2xs: 2px;--space-xs: 4px;--space-sm: 6px;--space-md: 8px;--space-lg: 12px;--space-xl: 16px;--space-2xl: 24px;--font-ui: system-ui, -apple-system, sans-serif;--font-text: Georgia, "Iowan Old Style", "Times New Roman", serif;--font-size-root: 18px;--font-size-xs: calc(var(--font-size-root) * .73);--font-size-sm: calc(var(--font-size-root) * .8);--font-size-base: var(--font-size-root);--font-size-md: calc(var(--font-size-root) * 1.07);--font-size-lg: calc(var(--font-size-root) * 1.2);--font-size-xl: calc(var(--font-size-root) * 1.33);--font-size-canvas-label: 14px;--radius-xs: 3px;--radius-sm: 4px;--radius-md: 6px;--radius-lg: 8px;--radius-xl: 10px;--radius-pill: 20px;--radius-circle: 50%;--shadow-sm: 0 2px 8px rgba(0, 0, 0, .4);--shadow-md: 0 4px 12px rgba(0, 0, 0, .3);--shadow-lg: 0 4px 12px rgba(0, 0, 0, .4);--blur-subtle: 2px;--blur-panel: 4px;--z-panel: 100;--z-toast: 200;--z-modal: 1000;--transition-fast: .1s ease;--transition-normal: .15s ease;--transition-slow: .3s ease;--overlay-dim: rgba(20, 20, 28, .72);--overlay-bg: rgba(20, 20, 28, .85);--menu-bg: rgba(30, 30, 30, .25);--menu-header-bg: rgba(255, 255, 255, .04);--menu-hover: rgba(255, 255, 255, .08);--menu-active: rgba(255, 255, 255, .12);--menu-divider: rgba(255, 255, 255, .05)}.renderer-overlay{--geo-line: var(--interactive-border);--geo-stroke-width: 4;--geo-label: #9ccbf0}.disambiguation-popover[data-v-c1869b68]{position:absolute;z-index:var(--z-modal);pointer-events:auto;background:var(--surface-overlay);backdrop-filter:blur(var(--blur-panel));-webkit-backdrop-filter:blur(var(--blur-panel));border:1px solid var(--border-faint);border-radius:var(--radius-sm);overflow:hidden;box-shadow:var(--shadow-lg)}.disambiguation-header[data-v-c1869b68]{padding:var(--space-xs) var(--space-md);color:var(--status-warning-text);font-size:var(--font-size-sm);font-weight:500;border-bottom:1px solid var(--border-default)}.disambiguation-options[data-v-c1869b68]{display:flex;flex-direction:column}.disambiguation-text[data-v-c1869b68]{display:flex;gap:var(--space-sm);align-items:center;padding:var(--space-sm) var(--space-md)}.disambiguation-save[data-v-c1869b68]{flex:none;padding:var(--space-xs) var(--space-sm);border:1px solid var(--border-default);border-radius:var(--radius-sm);background:var(--surface-control);color:var(--text-primary);font-size:.87em;cursor:pointer;transition:background-color var(--transition-fast)}.disambiguation-save[data-v-c1869b68]:hover:not(:disabled){background:var(--interactive-muted)}.disambiguation-save[data-v-c1869b68]:disabled{opacity:.5;cursor:default}.disambiguation-input[data-v-c1869b68]{flex:1;min-width:0;padding:var(--space-xs) var(--space-sm);border:1px solid var(--border-default);border-radius:var(--radius-sm);background:var(--surface-control);color:var(--text-primary);font-size:.87em}.disambiguation-input[data-v-c1869b68]:focus{outline:none;border-color:var(--interactive-border)}.disambiguation-option[data-v-c1869b68]{padding:var(--space-sm) var(--space-md);background:none;border:none;color:var(--text-primary);font-size:.87em;text-align:left;cursor:pointer;transition:background-color var(--transition-fast)}.disambiguation-option[data-v-c1869b68]:hover{background:var(--interactive-muted)}.disambiguation-option[data-v-c1869b68]:active{background:#4a5a7a}.disambiguation-option+.disambiguation-option[data-v-c1869b68]{border-top:1px solid var(--border-subtle)}.construction-canvas-container[data-v-36abe43f]{position:relative;width:100%;height:100%;overflow:hidden}.construction-canvas[data-v-36abe43f]{display:block;width:100%;height:100%}.construction-overlay-frame[data-v-36abe43f]{position:absolute;top:10%;right:10%;bottom:10%;left:10%;border:2px solid var(--interactive-border);border-radius:var(--radius-sm);overflow:hidden;pointer-events:none;box-shadow:0 0 20px #5ba4e659}.construction-overlay-dim[data-v-36abe43f]{position:absolute;top:0;right:0;bottom:0;left:0;background-color:var(--overlay-dim);backdrop-filter:blur(var(--blur-subtle));-webkit-backdrop-filter:blur(var(--blur-subtle));pointer-events:none}.construction-overlay-canvas[data-v-36abe43f]{position:absolute;top:-12.5%;left:-12.5%;width:125%;height:125%;pointer-events:none}.construction-overlay-label[data-v-36abe43f]{position:absolute;top:var(--space-md);left:10px;padding:var(--space-xs) var(--space-md);background-color:var(--overlay-bg);border:1px solid var(--interactive-border);border-radius:var(--radius-xs);color:#9ccbf0;font-size:var(--font-size-base);font-family:var(--font-ui);font-weight:500;pointer-events:none;-webkit-user-select:none;user-select:none}.mode-toolbar[data-v-f88daeba]{display:flex;flex-wrap:wrap;gap:var(--space-xs);padding:var(--space-md);background:var(--surface-raised);border-bottom:1px solid var(--border-subtle)}.mode-button[data-v-f88daeba]{display:flex;align-items:center;gap:var(--space-sm);padding:var(--space-md) var(--space-lg);border:1px solid var(--border-default);border-radius:var(--radius-md);background:var(--surface-control);color:var(--text-secondary);font-size:var(--font-size-md);cursor:pointer;transition:all var(--transition-normal)}.mode-button[data-v-f88daeba]:hover{background:var(--surface-control-hover);border-color:var(--border-hover)}.mode-button.active[data-v-f88daeba]{background:var(--interactive-bg);border-color:var(--interactive-border);color:var(--text-on-accent)}.mode-icon[data-v-f88daeba]{font-size:var(--font-size-lg);width:20px;text-align:center}.mode-label[data-v-f88daeba]{font-weight:500}.toolbar-divider[data-v-f88daeba]{flex-basis:100%;height:0;margin-block:var(--space-xs);border-top:1px solid var(--border-subtle)}.action-button[data-v-f88daeba]{background:var(--mode-action-bg);border-color:var(--mode-action-border)}.action-button[data-v-f88daeba]:hover{background:var(--mode-action-hover);border-color:var(--mode-action-hover-border)}.mode-button[data-v-f88daeba]:disabled{opacity:.4;cursor:default}.mode-button[data-v-f88daeba]:disabled:hover{background:var(--surface-control);border-color:var(--border-default)}.action-button[data-v-f88daeba]:disabled:hover{background:var(--mode-action-bg);border-color:var(--mode-action-border)}.mode-button.gathering[data-v-f88daeba]{background:var(--mode-gathering-bg);border-color:var(--mode-gathering-border);animation:pulse-f88daeba 2s ease-in-out infinite}@keyframes pulse-f88daeba{0%,to{opacity:1}50%{opacity:.7}}.input-count[data-v-f88daeba]{background:#fff3;padding:var(--space-2xs) var(--space-sm);border-radius:var(--radius-xl);font-size:.87em;margin-left:var(--space-xs)}.menu-button[data-v-6ea94cff]{display:flex;flex-direction:column;align-items:center;justify-content:center;width:56px;height:56px;border-radius:var(--radius-circle);border:2px solid rgba(74,74,74,.8);background:#2a2a2ad9;backdrop-filter:blur(var(--blur-panel));-webkit-backdrop-filter:blur(var(--blur-panel));color:var(--text-secondary);font-size:var(--font-size-xs);cursor:pointer;transition:all var(--transition-normal);opacity:0;transform:scale(.5);animation:popIn-6ea94cff .3s ease forwards;box-shadow:var(--shadow-sm)}@keyframes popIn-6ea94cff{to{opacity:1;transform:scale(1)}}.menu-button[data-v-6ea94cff]:hover:not(.disabled){background:#3a3a3ae6;border-color:#5a5a5ae6;transform:scale(1.1)}.menu-button.active[data-v-6ea94cff]{border-color:var(--geo-selected);background:#3a3520e6;box-shadow:var(--shadow-sm),0 0 calc(12px * var(--glow-intensity, 0)) #f5a62399}.menu-button.active .button-label[data-v-6ea94cff],.menu-button.active .button-icon[data-v-6ea94cff]{color:var(--geo-selected)}.menu-button.disabled[data-v-6ea94cff]{opacity:.4;cursor:not-allowed}.button-icon[data-v-6ea94cff]{font-size:var(--font-size-xl);line-height:1}.button-label[data-v-6ea94cff]{font-size:var(--font-size-xs);font-weight:500;text-transform:uppercase;margin-top:var(--space-2xs)}.radial-menu-overlay[data-v-0e9b4f39]{position:fixed;top:0;left:0;right:0;bottom:0;z-index:var(--z-modal)}.radial-menu[data-v-0e9b4f39]{position:absolute;transform:translate(-50%,-50%)}.center-dot[data-v-0e9b4f39]{position:absolute;width:12px;height:12px;border-radius:var(--radius-circle);background:var(--geo-invalid);border:2px solid var(--border-hover);transform:translate(-50%,-50%);z-index:1}.menu-item-wrapper[data-v-0e9b4f39]{position:absolute;transform:translate(-50%,-50%)}.fade-enter-active[data-v-0e9b4f39]{transition:opacity .2s ease}.fade-leave-active[data-v-0e9b4f39]{transition:opacity var(--transition-normal)}.fade-enter-from[data-v-0e9b4f39],.fade-leave-to[data-v-0e9b4f39]{opacity:0}.ctx-overlay[data-v-3675040e]{position:fixed;top:0;left:0;right:0;bottom:0;z-index:var(--z-modal)}.ctx-menu[data-v-3675040e]{position:absolute;transform:translate(4px,4px);min-width:9.3em;background:var(--menu-bg);backdrop-filter:blur(var(--blur-panel));-webkit-backdrop-filter:blur(var(--blur-panel));border:1px solid var(--border-subtle);border-radius:var(--radius-md);box-shadow:var(--shadow-sm);overflow:hidden;user-select:none;-webkit-user-select:none;font-size:var(--font-size-sm);color:var(--text-secondary)}.ctx-header[data-v-3675040e]{display:flex;align-items:center;gap:var(--space-sm);padding:var(--space-sm) var(--space-md);background:transparent;border-bottom:1px solid var(--menu-divider);cursor:pointer;font-weight:500;transition:background var(--transition-fast)}.ctx-header[data-v-3675040e]:hover{background:var(--menu-hover)}.ctx-items[data-v-3675040e]{position:relative}.ctx-item[data-v-3675040e]{display:flex;align-items:center;gap:var(--space-sm);width:100%;padding:var(--space-sm) var(--space-md);border:none;background:transparent;color:inherit;text-align:left;cursor:pointer;transition:background var(--transition-fast)}.ctx-item[data-v-3675040e]:hover{background:var(--menu-hover)}.ctx-item[data-v-3675040e]:active{background:var(--menu-active)}.ctx-item[data-v-3675040e]:not(:last-child){border-bottom:1px solid var(--menu-divider)}.ctx-icon[data-v-3675040e]{width:16px;text-align:center;font-size:var(--font-size-base);flex-shrink:0}.ctx-label[data-v-3675040e]{flex:1;font-weight:500}.ctx-chevron[data-v-3675040e]{font-size:var(--font-size-base);color:var(--text-muted);line-height:1}.ctx-fade-enter-active[data-v-3675040e]{transition:opacity .15s ease}.ctx-fade-leave-active[data-v-3675040e]{transition:opacity .1s ease}.ctx-fade-enter-from[data-v-3675040e],.ctx-fade-leave-to[data-v-3675040e]{opacity:0}.ctx-slide-enter-active[data-v-3675040e]{transition:opacity .12s ease,transform .12s ease}.ctx-slide-leave-active[data-v-3675040e]{transition:opacity .08s ease;position:absolute;width:100%}.ctx-slide-enter-from[data-v-3675040e]{opacity:0;transform:translate(12px)}.ctx-slide-leave-to[data-v-3675040e]{opacity:0}.proposition-control[data-v-e695aae9]{position:relative}.control-button[data-v-e695aae9]{display:flex;align-items:center;gap:var(--space-sm);padding:var(--space-sm) var(--space-lg);border:1px solid var(--border-default);border-radius:var(--radius-md);background:var(--surface-control);color:var(--text-secondary);font-size:var(--font-size-md);cursor:pointer;transition:all var(--transition-normal)}.control-button[data-v-e695aae9]:hover{background:var(--surface-control-hover);border-color:var(--border-hover)}.control-button.active[data-v-e695aae9]{background:var(--mode-proof-bg);border-color:var(--mode-proof-border);color:var(--text-on-accent);animation:pulse-e695aae9 2s ease-in-out infinite}.control-button.open[data-v-e695aae9]{background:var(--surface-control-hover);border-color:var(--border-hover)}@keyframes pulse-e695aae9{0%,to{opacity:1}50%{opacity:.8}}.button-label[data-v-e695aae9]{font-weight:500}.proposition-badge[data-v-e695aae9]{font-size:var(--font-size-sm);padding:var(--space-2xs) var(--space-sm);background:var(--border-default);border-radius:var(--radius-xl);color:#aaa}.dropdown-arrow[data-v-e695aae9]{font-size:10px;opacity:.7}.gathering-indicator[data-v-e695aae9]{animation:dots-e695aae9 1.5s infinite}@keyframes dots-e695aae9{0%,20%{content:"."}40%{content:".."}60%,to{content:"..."}}.dropdown-panel[data-v-e695aae9]{position:absolute;top:100%;right:0;margin-top:var(--space-xs);min-width:16em;max-width:21.3em;background:var(--surface-control);border:1px solid var(--border-default);border-radius:var(--radius-lg);box-shadow:var(--shadow-md);z-index:var(--z-modal);overflow:hidden}.dropdown-section[data-v-e695aae9]{border-bottom:1px solid var(--border-subtle)}.dropdown-section[data-v-e695aae9]:last-child{border-bottom:none}.section-header[data-v-e695aae9]{display:flex;align-items:center;gap:var(--space-sm);padding:var(--space-md) var(--space-lg);font-size:var(--font-size-sm);font-weight:600;color:var(--text-muted);text-transform:uppercase;letter-spacing:.5px;background:#222}.proposition-row[data-v-e695aae9]{display:flex;align-items:center;gap:var(--space-md);width:100%;padding:10px var(--space-lg);color:var(--text-secondary);font-size:var(--font-size-md)}.proposition-row[data-v-e695aae9]:not(:last-child){border-bottom:1px solid var(--border-subtle)}.proposition-option[data-v-e695aae9]{display:flex;align-items:center;gap:var(--space-md);width:100%;padding:10px var(--space-lg);border:none;background:transparent;color:var(--text-secondary);font-size:var(--font-size-md);text-align:left;cursor:pointer;transition:background var(--transition-normal)}.proposition-option[data-v-e695aae9]:hover{background:var(--surface-control-hover)}.proposition-option[data-v-e695aae9]:not(:last-child){border-bottom:1px solid var(--border-subtle)}.row-actions[data-v-e695aae9]{display:flex;gap:var(--space-xs);margin-left:auto;flex-shrink:0}.action-btn[data-v-e695aae9]{padding:var(--space-2xs) var(--space-md);border:1px solid var(--border-hover);border-radius:var(--radius-xs);background:var(--border-subtle);color:#ccc;font-size:var(--font-size-sm);font-weight:500;cursor:pointer;transition:all var(--transition-normal)}.action-btn[data-v-e695aae9]:hover{background:var(--border-default);border-color:#666}.use-btn[data-v-e695aae9]{border-color:var(--status-success-border);color:var(--badge-proven-text)}.use-btn[data-v-e695aae9]:hover{background:var(--badge-proven-bg)}.attempt-btn[data-v-e695aae9]{border-color:var(--border-hover);color:#bbb}.attempt-btn[data-v-e695aae9]:hover{background:var(--border-default)}.status-icon[data-v-e695aae9]{flex-shrink:0;font-size:12px;width:16px;text-align:center}.unproven-icon[data-v-e695aae9]{color:var(--text-muted)}.proven-icon[data-v-e695aae9]{color:var(--status-success-border);font-weight:700}.prop-id[data-v-e695aae9]{font-size:var(--font-size-sm);font-weight:600;padding:var(--space-2xs) var(--space-sm);background:var(--border-default);border-radius:var(--radius-xs);color:#aaa;flex-shrink:0}.prop-id.proven-badge[data-v-e695aae9]{background:var(--badge-proven-bg);color:var(--badge-proven-text)}.prop-id.creative-badge[data-v-e695aae9]{background:var(--badge-creative-bg);color:var(--badge-creative-text)}.prop-title[data-v-e695aae9]{font-weight:500;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.theorem-tag[data-v-e695aae9]{flex-shrink:0;font-size:var(--font-size-xs);padding:1px 5px;background:var(--surface-control-hover);border-radius:var(--radius-xs);color:#777;margin-left:auto}.creative-tag[data-v-e695aae9]{font-size:var(--font-size-xs);padding:1px 4px;background:var(--badge-creative-bg);border-radius:var(--radius-xs);color:var(--badge-creative-text);text-transform:none;letter-spacing:0;font-weight:500}.no-propositions[data-v-e695aae9]{padding:var(--space-xl);text-align:center;color:#666;font-size:var(--font-size-base)}.proof-attempt-panel[data-v-54310eed]{background:var(--surface-overlay);backdrop-filter:blur(var(--blur-panel));-webkit-backdrop-filter:blur(var(--blur-panel));border:1px solid var(--mode-proof-bg);border-radius:var(--radius-lg);min-width:21.3em;max-width:25.3em;box-shadow:var(--shadow-md);overflow:hidden}.panel-header[data-v-54310eed]{display:flex;justify-content:space-between;align-items:center;padding:var(--space-md) var(--space-lg);background:var(--mode-proof-bg);color:var(--text-on-accent)}.panel-title[data-v-54310eed]{font-size:.87em;font-weight:600;text-transform:uppercase;letter-spacing:.5px}.cancel-button[data-v-54310eed]{background:transparent;border:none;color:var(--text-on-accent);font-size:var(--font-size-xl);cursor:pointer;padding:0 var(--space-xs);opacity:.8;transition:opacity var(--transition-normal)}.cancel-button[data-v-54310eed]:hover{opacity:1}.panel-content[data-v-54310eed]{padding:var(--space-lg)}.prop-info[data-v-54310eed]{display:flex;align-items:center;gap:var(--space-md);margin-bottom:var(--space-md)}.prop-id[data-v-54310eed]{font-size:var(--font-size-sm);font-weight:600;padding:var(--space-2xs) var(--space-sm);background:var(--border-default);border-radius:var(--radius-xs);color:#aaa}.prop-name[data-v-54310eed]{font-size:var(--font-size-md);font-weight:500;color:var(--text-primary)}.prop-enunciation[data-v-54310eed]{margin-top:0;margin-bottom:var(--space-lg);padding-left:var(--space-lg);border-left:2px solid var(--border-default);font-size:var(--font-size-base);font-style:italic;line-height:1.5;color:var(--text-secondary)}.givens-info[data-v-54310eed]{display:flex;justify-content:space-between;align-items:center;width:100%;padding:var(--space-sm);margin-bottom:var(--space-lg);border:1px solid transparent;border-radius:var(--radius-sm);background:transparent;font-family:inherit;text-align:left;cursor:pointer;transition:all var(--transition-normal)}.givens-info[data-v-54310eed]:hover{background:var(--surface-control-hover);border-color:var(--border-default)}.givens-info.highlighted[data-v-54310eed]{background:var(--highlight-given-bg);border-color:var(--highlight-given)}.givens-label[data-v-54310eed]{font-size:.87em;color:var(--text-muted)}.givens-value[data-v-54310eed]{font-size:.87em;font-weight:600;color:var(--text-secondary)}.submit-hint[data-v-54310eed]{margin-top:var(--space-lg)}.submit-button[data-v-54310eed]{width:100%;padding:var(--space-md) var(--space-lg);border:1px solid var(--mode-proof-bg);border-radius:var(--radius-md);background:var(--mode-proof-bg);color:var(--text-on-accent);font-size:var(--font-size-base);font-weight:500;cursor:pointer;transition:all var(--transition-normal)}.submit-button[data-v-54310eed]:hover{background:var(--mode-proof-border);border-color:var(--mode-proof-border)}.invocation-panel[data-v-55783903]{background:var(--surface-overlay);backdrop-filter:blur(var(--blur-panel));-webkit-backdrop-filter:blur(var(--blur-panel));border:1px solid var(--mode-invoke-bg);border-radius:var(--radius-lg);min-width:16em;box-shadow:var(--shadow-md);overflow:hidden}.panel-header[data-v-55783903]{display:flex;justify-content:space-between;align-items:center;padding:var(--space-md) var(--space-lg);background:var(--mode-invoke-bg);color:var(--text-on-accent)}.panel-title[data-v-55783903]{font-size:.87em;font-weight:600;text-transform:uppercase;letter-spacing:.5px}.cancel-button[data-v-55783903]{background:transparent;border:none;color:var(--text-on-accent);font-size:var(--font-size-xl);cursor:pointer;padding:0 var(--space-xs);opacity:.8;transition:opacity var(--transition-normal)}.cancel-button[data-v-55783903]:hover{opacity:1}.panel-content[data-v-55783903]{padding:var(--space-lg)}.prop-info[data-v-55783903]{display:flex;align-items:center;gap:var(--space-md);margin-bottom:var(--space-md)}.prop-id[data-v-55783903]{font-size:var(--font-size-sm);font-weight:600;padding:var(--space-2xs) var(--space-sm);background:var(--border-default);border-radius:var(--radius-xs);color:#aaa}.prop-id.proven[data-v-55783903]{background:var(--badge-proven-bg);color:var(--badge-proven-text)}.prop-name[data-v-55783903]{font-size:var(--font-size-md);font-weight:500;color:var(--text-primary)}.hint-text[data-v-55783903]{font-size:var(--font-size-base);color:#b0b0b0;margin-bottom:var(--space-lg);line-height:1.4}.input-info[data-v-55783903]{display:flex;justify-content:space-between;align-items:center;padding:var(--space-sm) 0;border-top:1px solid var(--border-subtle)}.input-label[data-v-55783903]{font-size:.87em;color:var(--text-muted)}.input-value[data-v-55783903]{font-size:.87em;font-weight:600;color:var(--text-secondary)}.optional-tag[data-v-55783903]{font-weight:400;color:var(--text-muted);font-size:var(--font-size-sm)}.submit-hint[data-v-55783903]{margin-top:var(--space-lg)}.submit-button[data-v-55783903]{width:100%;padding:var(--space-md) var(--space-lg);border:1px solid var(--mode-invoke-bg);border-radius:var(--radius-md);background:var(--mode-invoke-bg);color:var(--text-on-accent);font-size:var(--font-size-base);font-weight:500;cursor:pointer;transition:all var(--transition-normal)}.submit-button[data-v-55783903]:hover{background:var(--mode-invoke-hover);border-color:var(--mode-invoke-hover)}.heath-dialog[data-v-3f30dd00]{position:fixed;z-index:var(--z-modal);display:flex;flex-direction:column;background:var(--surface-overlay);backdrop-filter:blur(var(--blur-panel));-webkit-backdrop-filter:blur(var(--blur-panel));border:1px solid var(--mode-invoke-border);border-radius:var(--radius-lg);box-shadow:var(--shadow-lg);overflow:hidden;color:var(--text-primary)}.title-bar[data-v-3f30dd00]{flex-shrink:0;display:flex;justify-content:space-between;align-items:center;padding:var(--space-md) var(--space-lg);background:var(--mode-invoke-border);color:var(--text-on-accent);cursor:move;-webkit-user-select:none;user-select:none;touch-action:none}.title[data-v-3f30dd00]{font-family:var(--font-ui);font-size:.87em;font-weight:600;text-transform:uppercase;letter-spacing:.5px}.close-button[data-v-3f30dd00]{border-style:none;background:transparent;color:var(--text-on-accent);font-size:var(--font-size-sm);line-height:1;padding:var(--space-2xs) var(--space-xs);border-radius:var(--radius-sm);cursor:pointer;opacity:.8;transition:opacity var(--transition-normal),background var(--transition-normal)}.close-button[data-v-3f30dd00]:hover{opacity:1;background:var(--mode-invoke-hover)}.dialog-body[data-v-3f30dd00]{overflow-y:auto;min-height:0;padding:var(--space-xl) var(--space-2xl);font-family:var(--font-text);font-size:.95em;line-height:1.6;color:var(--text-secondary)}.category[data-v-3f30dd00]{font-family:var(--font-ui);font-size:var(--font-size-xs);text-transform:uppercase;letter-spacing:.5px;color:var(--text-muted);margin-bottom:var(--space-md)}.enunciation[data-v-3f30dd00]{font-style:italic;color:var(--text-primary);margin-bottom:var(--space-xl)}.proof-paragraph[data-v-3f30dd00]{margin-bottom:var(--space-lg)}.proof-paragraph[data-v-3f30dd00]:last-child{margin-bottom:0}.closing-formula[data-v-3f30dd00]{margin-top:var(--space-xl);color:var(--text-primary);font-variant-caps:small-caps;letter-spacing:.5px;font-weight:600}.citations[data-v-3f30dd00]{display:flex;flex-wrap:wrap;align-items:center;gap:var(--space-sm);margin-top:var(--space-xl);padding-top:var(--space-lg);border-top:1px solid var(--border-subtle);font-family:var(--font-ui)}.citations-label[data-v-3f30dd00]{font-size:var(--font-size-xs);text-transform:uppercase;letter-spacing:.5px;color:var(--text-muted)}.citation[data-v-3f30dd00]{font-size:var(--font-size-xs);padding:var(--space-2xs) var(--space-sm);border-radius:var(--radius-sm);background:var(--surface-control);color:var(--text-secondary)}.load-failed[data-v-3f30dd00]{font-family:var(--font-ui);font-size:var(--font-size-sm);color:var(--text-muted)}.resize-grip[data-v-3f30dd00]{position:absolute;right:0;bottom:0;width:var(--space-xl);height:var(--space-xl);cursor:nwse-resize;touch-action:none;-webkit-user-select:none;user-select:none;background-image:linear-gradient(135deg,transparent 0 42%,var(--text-muted) 42% 52%,transparent 52% 66%,var(--text-muted) 66% 76%,transparent 76%)}.attribution[data-v-3f30dd00]{flex-shrink:0;padding-block:var(--space-md) var(--space-lg);padding-inline:var(--space-2xl) var(--space-2xl);border-top:1px solid var(--border-subtle);font-family:var(--font-ui);font-size:var(--font-size-xs);color:var(--text-muted)}.reference-steps-panel[data-v-bae03ca0]{background:var(--surface-overlay);backdrop-filter:blur(var(--blur-panel));-webkit-backdrop-filter:blur(var(--blur-panel));border:1px solid var(--mode-invoke-border);border-radius:var(--radius-lg);min-width:13.3em;max-width:26em;box-shadow:var(--shadow-md);overflow:hidden;display:flex;flex-direction:column;max-height:100%}.reference-steps-panel.expanded[data-v-bae03ca0]{min-width:22em}.panel-header[data-v-bae03ca0]{display:flex;justify-content:space-between;align-items:center;gap:var(--space-xl);padding:var(--space-md) var(--space-lg);background:var(--mode-invoke-border);color:var(--text-on-accent);cursor:pointer;-webkit-user-select:none;user-select:none;transition:background var(--transition-normal)}.panel-header[data-v-bae03ca0]:hover{background:var(--mode-invoke-hover)}.panel-title[data-v-bae03ca0]{font-size:.87em;font-weight:600;text-transform:uppercase;letter-spacing:.5px}.toggle-arrow[data-v-bae03ca0]{font-size:var(--font-size-xs);opacity:.8}.panel-content[data-v-bae03ca0]{padding:var(--space-md) var(--space-lg);overflow-y:auto;min-height:0}.panel-footer[data-v-bae03ca0]{flex-shrink:0;padding:var(--space-md) var(--space-lg) var(--space-lg);border-top:1px solid var(--surface-control)}.steps-list[data-v-bae03ca0]{list-style:none;margin:0;padding:0}.step-item[data-v-bae03ca0]{display:flex;align-items:flex-start;gap:var(--space-md);padding:var(--space-sm) 0;border-bottom:1px solid var(--surface-control);transition:opacity var(--transition-normal)}.step-item[data-v-bae03ca0]:last-child{border-bottom:none}.step-item.lit[data-v-bae03ca0]{opacity:1}.step-item.failed[data-v-bae03ca0]{opacity:.7}.step-item.current[data-v-bae03ca0]{opacity:1}.step-item.pending[data-v-bae03ca0]{opacity:.4}.step-marker[data-v-bae03ca0]{flex-shrink:0;width:1.35rem;height:1.35rem;display:flex;align-items:center;justify-content:center;border-radius:var(--radius-circle);font-size:var(--font-size-sm);font-weight:600}.step-item.lit .step-marker[data-v-bae03ca0]{background:var(--mode-invoke-border);color:var(--status-success-muted)}.step-item.failed .step-marker[data-v-bae03ca0]{background:var(--status-error-border);color:var(--status-error-text)}.error-mark[data-v-bae03ca0]{font-size:.87em;font-weight:700}.error-text[data-v-bae03ca0]{display:block;font-size:var(--font-size-sm);color:var(--status-error-muted);margin-top:var(--space-2xs)}.step-item.current .step-marker[data-v-bae03ca0]{background:var(--interactive-bg);color:var(--text-on-accent)}.step-item.pending .step-marker[data-v-bae03ca0]{background:var(--border-subtle);color:var(--text-muted)}.check[data-v-bae03ca0]{font-size:.87em}.step-number[data-v-bae03ca0]{font-size:var(--font-size-xs)}.step-text[data-v-bae03ca0]{font-size:.87em;line-height:1.4;color:var(--text-secondary)}.step-item.lit .step-text[data-v-bae03ca0]{color:var(--status-success-text)}.user-badge[data-v-bae03ca0]{display:inline-block;margin-left:var(--space-sm);padding:0 var(--space-sm);border:1px solid var(--status-success-border);border-radius:var(--radius-sm);color:var(--status-success-text);font-size:var(--font-size-xs);font-weight:600;line-height:1.5;text-transform:uppercase;letter-spacing:.5px;vertical-align:baseline;white-space:nowrap}.step-item.by-user[data-v-bae03ca0]{opacity:1}.header-controls[data-v-bae03ca0]{display:flex;align-items:center;gap:var(--space-md)}.text-button[data-v-bae03ca0]{padding:var(--space-2xs) var(--space-md);border:1px solid var(--text-on-accent);border-radius:var(--radius-sm);background:transparent;color:var(--text-on-accent);font-size:var(--font-size-xs);line-height:1.4;text-transform:uppercase;letter-spacing:.5px;cursor:pointer;opacity:.75;transition:opacity var(--transition-normal),background var(--transition-normal)}.text-button[data-v-bae03ca0]:hover{opacity:1;background:var(--mode-invoke-hover)}.run-button[data-v-bae03ca0]{width:100%;padding:var(--space-md) var(--space-lg);border:1px solid var(--mode-invoke-border);border-radius:var(--radius-md);background:var(--mode-invoke-border);color:var(--text-on-accent);font-size:var(--font-size-base);font-weight:500;cursor:pointer;transition:all var(--transition-normal)}.run-button[data-v-bae03ca0]:hover{background:var(--mode-invoke-hover);border-color:var(--mode-submit-border)}.complete-message[data-v-bae03ca0]{text-align:center;font-size:.87em;color:var(--status-success-text);font-weight:500}.status-toast[data-v-4ff5e678]{display:flex;align-items:flex-start;gap:var(--space-2xl);padding:var(--space-md) var(--space-sm) var(--space-md) var(--space-xl);border-radius:var(--radius-md);font-size:var(--font-size-base);font-weight:500;max-width:90%;pointer-events:auto}.status-toast-text[data-v-4ff5e678]{flex:1;overflow-wrap:anywhere}.status-toast-close[data-v-4ff5e678]{flex-shrink:0;padding:0;border:none;background:none;color:inherit;font-size:var(--font-size-base);line-height:1;cursor:pointer;opacity:.6}.status-toast-close[data-v-4ff5e678]:hover{opacity:1}.status-toast.success[data-v-4ff5e678]{background:var(--status-success-bg);color:var(--status-success-text);border:1px solid var(--status-success-border)}.status-toast.failure[data-v-4ff5e678]{background:var(--surface-overlay);color:var(--text-primary);border:1px solid var(--border-default)}.status-toast.error[data-v-4ff5e678]{background:var(--status-error-bg);color:var(--status-error-text);border:1px solid var(--status-error-border)}.status-toast.error .status-toast-text[data-v-4ff5e678]{white-space:pre-wrap;max-height:40vh;overflow-y:auto}.status-toast.settled[data-v-4ff5e678]{opacity:.3}.status-toast[data-v-4ff5e678],.toast-enter-active[data-v-4ff5e678],.toast-leave-active[data-v-4ff5e678]{transition:opacity var(--transition-slow)}.toast-enter-from[data-v-4ff5e678],.toast-leave-to[data-v-4ff5e678]{opacity:0}.gathering-hint[data-v-59457c7f]{display:flex;flex-direction:column;gap:var(--space-sm);padding:var(--space-md) var(--space-xl);border:1px solid var(--border-subtle);border-radius:var(--radius-md);background:var(--surface-raised);color:var(--text-secondary);font-size:var(--font-size-base);max-width:80%;pointer-events:auto}.hint-head[data-v-59457c7f]{display:flex;align-items:center;justify-content:space-between;gap:var(--space-xl)}.hint-command[data-v-59457c7f]{color:var(--text-primary);font-weight:500}.hint-instruction[data-v-59457c7f]{margin:0;color:var(--text-muted)}.hint-slots[data-v-59457c7f]{display:flex;flex-direction:column;align-items:flex-start;gap:var(--space-2xs);margin:0;padding:0;list-style:none}.hint-slots li[data-v-59457c7f]{display:flex;align-items:center;gap:var(--space-sm);color:var(--text-muted)}.hint-slots li.filled[data-v-59457c7f]{color:var(--status-success-text)}.slot-mark[data-v-59457c7f]{flex-shrink:0;width:var(--space-md);height:var(--space-md);border:1px solid currentColor;border-radius:var(--radius-circle)}.hint-slots li.filled .slot-mark[data-v-59457c7f]{background:currentColor}.hint-warning[data-v-59457c7f]{margin:0;color:var(--text-primary);font-weight:500;transition:opacity var(--transition-slow)}.hint-warning.settled[data-v-59457c7f]{opacity:.3}.hint-actions[data-v-59457c7f]{display:flex;flex-shrink:0;gap:var(--space-xs)}.hint-submit[data-v-59457c7f]{padding:var(--space-2xs) var(--space-sm);border:1px solid var(--mode-submit-border);border-radius:var(--radius-sm);background:var(--mode-submit-bg);color:var(--text-primary);font-size:var(--font-size-sm);cursor:pointer}.hint-submit[data-v-59457c7f]:hover{background:var(--mode-submit-hover);border-color:var(--mode-submit-hover-border)}.hint-cancel[data-v-59457c7f]{flex-shrink:0;padding:var(--space-2xs) var(--space-sm);border:1px solid var(--border-default);border-radius:var(--radius-sm);background:var(--surface-control);color:var(--text-secondary);font-size:var(--font-size-sm);cursor:pointer}.hint-cancel[data-v-59457c7f]:hover{background:var(--surface-control-hover);border-color:var(--border-hover)}.visually-hidden[data-v-59457c7f]{position:absolute;width:1px;height:1px;overflow:hidden;clip-path:inset(50%);white-space:nowrap}.hint-enter-active[data-v-59457c7f],.hint-leave-active[data-v-59457c7f]{transition:opacity var(--transition-slow)}.hint-enter-from[data-v-59457c7f],.hint-leave-to[data-v-59457c7f]{opacity:0}.equality-control[data-v-b883e562]{position:relative}.control-button[data-v-b883e562]{display:flex;align-items:center;gap:var(--space-sm);padding:var(--space-md) var(--space-lg);border:1px solid var(--border-default);border-radius:var(--radius-md);background:var(--surface-control);color:var(--text-secondary);font-size:var(--font-size-md);cursor:pointer;transition:all var(--transition-normal)}.control-button[data-v-b883e562]:hover{background:var(--surface-control-hover);border-color:var(--border-hover)}.control-button.active[data-v-b883e562]{background:var(--interactive-bg);border-color:var(--interactive-border);color:var(--text-on-accent);animation:pulse-b883e562 2s ease-in-out infinite}.control-button.open[data-v-b883e562]{background:var(--surface-control-hover);border-color:var(--border-hover)}@keyframes pulse-b883e562{0%,to{opacity:1}50%{opacity:.8}}.button-label[data-v-b883e562]{font-weight:500}.dropdown-arrow[data-v-b883e562]{font-size:10px;opacity:.7}.gathering-indicator[data-v-b883e562]{animation:dots-b883e562 1.5s infinite}@keyframes dots-b883e562{0%,20%{content:"."}40%{content:".."}60%,to{content:"..."}}.dropdown-panel[data-v-b883e562]{position:absolute;top:100%;right:0;margin-top:var(--space-xs);min-width:13.3em;background:var(--surface-control);border:1px solid var(--border-default);border-radius:var(--radius-lg);box-shadow:var(--shadow-md);z-index:var(--z-modal);overflow:hidden}.dropdown-header[data-v-b883e562]{padding:var(--space-md) var(--space-lg);font-size:var(--font-size-sm);font-weight:600;color:var(--text-muted);text-transform:uppercase;letter-spacing:.5px;border-bottom:1px solid var(--border-subtle);background:#222}.rule-option[data-v-b883e562]{display:flex;align-items:center;gap:var(--space-md);width:100%;padding:10px var(--space-lg);border:none;background:transparent;color:var(--text-secondary);font-size:var(--font-size-md);text-align:left;cursor:pointer;transition:background var(--transition-normal)}.rule-option[data-v-b883e562]:hover{background:var(--surface-control-hover)}.rule-option[data-v-b883e562]:not(:last-child){border-bottom:1px solid var(--border-subtle)}.rule-id[data-v-b883e562]{font-size:var(--font-size-sm);font-weight:600;padding:var(--space-2xs) var(--space-sm);background:var(--border-default);border-radius:var(--radius-xs);color:#aaa}.rule-name[data-v-b883e562]{font-weight:500}.no-rules[data-v-b883e562]{padding:var(--space-xl);text-align:center;color:#666;font-size:var(--font-size-base)}.truth-renderer-panel[data-v-044ba685]{background:var(--surface-overlay);backdrop-filter:blur(var(--blur-panel));-webkit-backdrop-filter:blur(var(--blur-panel));border:1px solid var(--mode-truth-border);border-radius:var(--radius-lg);min-width:13.3em;max-width:24em;box-shadow:var(--shadow-md);overflow:hidden;display:flex;flex-direction:column;max-height:100%}.truth-renderer-panel.expanded[data-v-044ba685]{min-width:18.6em}.panel-header[data-v-044ba685]{display:flex;align-items:center;gap:var(--space-md);padding:var(--space-md) var(--space-lg);background:var(--mode-truth-border);color:var(--text-on-accent);cursor:pointer;-webkit-user-select:none;user-select:none;transition:background var(--transition-normal)}.panel-header[data-v-044ba685]:hover{background:var(--mode-truth-hover)}.panel-title[data-v-044ba685]{font-size:.87em;font-weight:600;text-transform:uppercase;letter-spacing:.5px}.record-count[data-v-044ba685]{font-size:var(--font-size-sm);opacity:.7;margin-left:auto}.header-toggle[data-v-044ba685]{background:none;border:1px solid transparent;border-radius:var(--radius-sm);color:var(--text-on-accent);opacity:.5;cursor:pointer;padding:0 var(--space-xs);font-size:var(--font-size-sm);line-height:1;transition:opacity var(--transition-fast)}.header-toggle[data-v-044ba685]:hover{opacity:.9}.header-toggle.active[data-v-044ba685]{opacity:1;border-color:currentColor}.toggle-arrow[data-v-044ba685]{font-size:var(--font-size-xs);opacity:.8}.panel-content[data-v-044ba685]{padding:var(--space-sm) 0;overflow-y:auto;min-height:0}.truth-layer[data-v-044ba685]{padding:var(--space-xs) 0}.truth-layer+.truth-layer[data-v-044ba685]{border-top:1px solid var(--border-subtle)}.layer-header[data-v-044ba685]{display:flex;align-items:baseline;gap:var(--space-md);padding:var(--space-xs) var(--space-lg)}.layer-label[data-v-044ba685]{font-size:var(--font-size-sm);font-weight:600;color:var(--text-muted)}.layer-points[data-v-044ba685]{font-size:var(--font-size-sm);color:var(--text-muted);opacity:.7}.truth-list[data-v-044ba685]{list-style:none;margin:0;padding:0}.truth-item[data-v-044ba685]{display:flex;align-items:baseline;gap:var(--space-sm);padding:var(--space-2xs) var(--space-lg);cursor:default;transition:background var(--transition-fast)}.truth-item[data-v-044ba685]:hover{background:var(--menu-hover)}.truth-item.hypothetical[data-v-044ba685]{font-style:italic}.truth-item.voided[data-v-044ba685]{text-decoration:line-through;opacity:.5}.truth-item.given[data-v-044ba685]{background:var(--highlight-given-bg);box-shadow:inset 2px 0 0 var(--highlight-given)}.truth-domain[data-v-044ba685]{flex-shrink:0;font-size:var(--font-size-xs);color:var(--text-muted);width:3.5em;text-align:right}.truth-relation[data-v-044ba685]{font-size:.87em;color:var(--text-secondary);font-family:var(--font-ui)}.truth-basis[data-v-044ba685]{font-size:var(--font-size-xs);color:var(--text-muted);opacity:.6;margin-left:auto;flex-shrink:0;white-space:nowrap}.empty-state[data-v-044ba685]{padding:var(--space-lg);text-align:center;font-size:var(--font-size-sm);color:var(--text-muted)}.about-backdrop[data-v-48fd4955]{position:fixed;top:0;right:0;bottom:0;left:0;z-index:var(--z-modal);display:flex;align-items:center;justify-content:center;padding:var(--space-2xl);background:var(--overlay-dim);backdrop-filter:blur(var(--blur-subtle));-webkit-backdrop-filter:blur(var(--blur-subtle))}.about-dialog[data-v-48fd4955]{display:flex;flex-direction:column;width:640px;max-width:100%;max-height:100%;background:var(--surface-overlay);backdrop-filter:blur(var(--blur-panel));-webkit-backdrop-filter:blur(var(--blur-panel));border:1px solid var(--mode-invoke-border);border-radius:var(--radius-lg);box-shadow:var(--shadow-lg);overflow:hidden;color:var(--text-primary)}.title-bar[data-v-48fd4955]{flex-shrink:0;display:flex;justify-content:space-between;align-items:center;padding:var(--space-md) var(--space-lg);background:var(--mode-invoke-border);color:var(--text-on-accent);-webkit-user-select:none;user-select:none}.title[data-v-48fd4955]{font-family:var(--font-ui);font-size:.87em;font-weight:600;text-transform:uppercase;letter-spacing:.5px}.close-button[data-v-48fd4955]{border-style:none;background:transparent;color:var(--text-on-accent);font-size:var(--font-size-sm);line-height:1;padding:var(--space-2xs) var(--space-xs);border-radius:var(--radius-sm);cursor:pointer;opacity:.8;transition:opacity var(--transition-normal),background var(--transition-normal)}.close-button[data-v-48fd4955]:hover{opacity:1;background:var(--mode-invoke-hover)}.dialog-body[data-v-48fd4955]{overflow-y:auto;min-height:0;padding:var(--space-2xl);font-family:var(--font-text);font-size:.95em;line-height:1.7;color:var(--text-secondary)}.heading[data-v-48fd4955]{font-size:var(--font-size-xl);font-weight:600;color:var(--text-primary);margin-bottom:var(--space-xl)}.dialog-body p[data-v-48fd4955]{margin-bottom:var(--space-xl)}.dialog-body p[data-v-48fd4955]:last-child{margin-bottom:0}.roadmap[data-v-48fd4955]{padding-left:var(--space-2xl);margin-bottom:0}.roadmap li[data-v-48fd4955]{margin-bottom:var(--space-md)}.roadmap li[data-v-48fd4955]:last-child{margin-bottom:0}.section[data-v-48fd4955]{margin-top:var(--space-2xl);padding-top:var(--space-xl);border-top:1px solid var(--border-subtle)}.section-heading[data-v-48fd4955]{font-family:var(--font-ui);font-size:var(--font-size-xs);font-weight:600;text-transform:uppercase;letter-spacing:.5px;color:var(--text-muted);margin-bottom:var(--space-md)}.attribution[data-v-48fd4955]{flex-shrink:0;padding-block:var(--space-md) var(--space-lg);padding-inline:var(--space-2xl);border-top:1px solid var(--border-subtle);font-family:var(--font-ui);font-size:var(--font-size-xs);color:var(--text-muted)}.report-backdrop[data-v-5d005593]{position:fixed;top:0;right:0;bottom:0;left:0;z-index:var(--z-modal);display:flex;align-items:center;justify-content:center;padding:var(--space-2xl);background:var(--overlay-dim);backdrop-filter:blur(var(--blur-subtle));-webkit-backdrop-filter:blur(var(--blur-subtle))}.report-dialog[data-v-5d005593]{display:flex;flex-direction:column;width:560px;max-width:100%;max-height:100%;background:var(--surface-overlay);backdrop-filter:blur(var(--blur-panel));-webkit-backdrop-filter:blur(var(--blur-panel));border:1px solid var(--mode-invoke-border);border-radius:var(--radius-lg);box-shadow:var(--shadow-lg);overflow:hidden;color:var(--text-primary)}.title-bar[data-v-5d005593]{flex-shrink:0;display:flex;justify-content:space-between;align-items:center;padding:var(--space-md) var(--space-lg);background:var(--mode-invoke-border);color:var(--text-on-accent);-webkit-user-select:none;user-select:none}.title[data-v-5d005593]{font-family:var(--font-ui);font-size:.87em;font-weight:600;text-transform:uppercase;letter-spacing:.5px}.close-button[data-v-5d005593]{border-style:none;background:transparent;color:var(--text-on-accent);font-size:var(--font-size-sm);line-height:1;padding:var(--space-2xs) var(--space-xs);border-radius:var(--radius-sm);cursor:pointer;opacity:.8;transition:opacity var(--transition-normal),background var(--transition-normal)}.close-button[data-v-5d005593]:hover{opacity:1;background:var(--mode-invoke-hover)}.dialog-body[data-v-5d005593]{overflow-y:auto;min-height:0;padding:var(--space-2xl);font-family:var(--font-text);font-size:.95em;line-height:1.7;color:var(--text-secondary)}.mode-tabs[data-v-5d005593]{display:flex;gap:var(--space-md);margin-bottom:var(--space-xl)}.mode-tab[data-v-5d005593]{font-family:var(--font-ui);font-size:var(--font-size-xs);font-weight:600;text-transform:uppercase;letter-spacing:.5px;color:var(--text-muted);background:transparent;border:1px solid var(--border-subtle);border-radius:var(--radius-pill);padding:var(--space-xs) var(--space-xl);cursor:pointer;transition:background var(--transition-normal),color var(--transition-normal),border-color var(--transition-normal)}.mode-tab[data-v-5d005593]:hover:not(:disabled):not(.selected){color:var(--text-secondary);border-color:var(--border-hover)}.mode-tab.selected[data-v-5d005593]{color:var(--text-on-accent);background:var(--mode-invoke-bg);border-color:var(--mode-invoke-border)}.mode-tab[data-v-5d005593]:disabled{opacity:.4;cursor:not-allowed}.intro[data-v-5d005593]{margin-bottom:var(--space-xl)}.field[data-v-5d005593]{display:block;margin-bottom:var(--space-xl)}.field-label[data-v-5d005593]{display:block;font-family:var(--font-ui);font-size:var(--font-size-xs);font-weight:600;text-transform:uppercase;letter-spacing:.5px;color:var(--text-muted);margin-bottom:var(--space-md)}.message-input[data-v-5d005593],.email-input[data-v-5d005593]{display:block;width:100%;font-family:var(--font-ui);font-size:var(--font-size-sm);color:var(--text-primary);background:var(--surface-control);border:1px solid var(--border-default);border-radius:var(--radius-sm);padding:var(--space-md) var(--space-lg);resize:vertical}.message-input[data-v-5d005593]:focus,.email-input[data-v-5d005593]:focus{outline-style:none;border-color:var(--mode-invoke-border)}.error[data-v-5d005593]{color:var(--status-error-text);font-family:var(--font-ui);font-size:var(--font-size-sm)}.dialog-footer[data-v-5d005593]{flex-shrink:0;display:flex;justify-content:flex-end;gap:var(--space-lg);padding-block:var(--space-lg);padding-inline:var(--space-2xl);border-top:1px solid var(--border-subtle)}.footer-button[data-v-5d005593]{font-family:var(--font-ui);font-size:var(--font-size-sm);color:var(--text-secondary);background:transparent;border:1px solid var(--mode-invoke-border);border-radius:var(--radius-sm);padding:var(--space-xs) var(--space-xl);cursor:pointer;transition:background var(--transition-normal),color var(--transition-normal)}.footer-button[data-v-5d005593]:hover:not(:disabled){background:var(--mode-invoke-border);color:var(--text-on-accent)}.footer-button.primary[data-v-5d005593]{background:var(--mode-invoke-bg);color:var(--text-on-accent)}.footer-button.primary[data-v-5d005593]:hover:not(:disabled){background:var(--mode-invoke-hover)}.footer-button[data-v-5d005593]:disabled{opacity:.4;cursor:not-allowed}.heath-dialog[data-v-5d142c80]{position:fixed;z-index:var(--z-modal);display:flex;flex-direction:column;background:var(--surface-overlay);backdrop-filter:blur(var(--blur-panel));-webkit-backdrop-filter:blur(var(--blur-panel));border:1px solid var(--mode-invoke-border);border-radius:var(--radius-lg);box-shadow:var(--shadow-lg);overflow:hidden;color:var(--text-primary)}.title-bar[data-v-5d142c80]{flex-shrink:0;display:flex;justify-content:space-between;align-items:center;padding:var(--space-md) var(--space-lg);background:var(--mode-invoke-border);color:var(--text-on-accent);cursor:move;-webkit-user-select:none;user-select:none;touch-action:none}.title[data-v-5d142c80]{font-family:var(--font-ui);font-size:.87em;font-weight:600;text-transform:uppercase;letter-spacing:.5px}.close-button[data-v-5d142c80]{border-style:none;background:transparent;color:var(--text-on-accent);font-size:var(--font-size-sm);line-height:1;padding:var(--space-2xs) var(--space-xs);border-radius:var(--radius-sm);cursor:pointer;opacity:.8;transition:opacity var(--transition-normal),background var(--transition-normal)}.close-button[data-v-5d142c80]:hover{opacity:1;background:var(--mode-invoke-hover)}.dialog-body[data-v-5d142c80]{overflow-y:auto;min-height:0;padding:var(--space-xl) var(--space-2xl);font-family:var(--font-text);font-size:.95em;line-height:1.6;color:var(--text-secondary)}.group+.group[data-v-5d142c80]{margin-top:var(--space-2xl);padding-top:var(--space-xl);border-top:1px solid var(--border-subtle)}.group-heading[data-v-5d142c80]{font-family:var(--font-ui);font-size:var(--font-size-xs);text-transform:uppercase;letter-spacing:.5px;color:var(--text-muted);margin-bottom:var(--space-md)}.axiom[data-v-5d142c80]{margin-bottom:var(--space-lg)}.axiom[data-v-5d142c80]:last-child{margin-bottom:0}.axiom-number[data-v-5d142c80]{font-family:var(--font-ui);font-size:var(--font-size-xs);color:var(--text-muted);margin-right:var(--space-xs)}.resize-grip[data-v-5d142c80]{position:absolute;right:0;bottom:0;width:var(--space-xl);height:var(--space-xl);cursor:nwse-resize;touch-action:none;-webkit-user-select:none;user-select:none;background-image:linear-gradient(135deg,transparent 0 42%,var(--text-muted) 42% 52%,transparent 52% 66%,var(--text-muted) 66% 76%,transparent 76%)}.attribution[data-v-5d142c80]{flex-shrink:0;padding-block:var(--space-md) var(--space-lg);padding-inline:var(--space-2xl) var(--space-2xl);border-top:1px solid var(--border-subtle);font-family:var(--font-ui);font-size:var(--font-size-xs);color:var(--text-muted)}.notice-backdrop[data-v-8952bf42]{position:fixed;top:0;right:0;bottom:0;left:0;z-index:var(--z-modal);display:flex;align-items:center;justify-content:center;padding:var(--space-2xl);background:var(--surface-base)}.notice[data-v-8952bf42]{max-width:32rem;background:var(--surface-overlay);border:1px solid var(--mode-invoke-border);border-radius:var(--radius-lg);box-shadow:var(--shadow-lg);padding:var(--space-2xl);font-family:var(--font-text);line-height:1.7;color:var(--text-secondary);text-align:center}.heading[data-v-8952bf42]{font-size:var(--font-size-xl);font-weight:600;color:var(--text-primary);margin-bottom:var(--space-xl)}.notice p[data-v-8952bf42]{margin-bottom:var(--space-xl)}.continue[data-v-8952bf42]{font-family:var(--font-ui);font-size:var(--font-size-sm);color:var(--text-secondary);background:transparent;border:1px solid var(--mode-invoke-border);border-radius:var(--radius-sm);padding:var(--space-xs) var(--space-xl);cursor:pointer;transition:background var(--transition-normal),color var(--transition-normal)}.continue[data-v-8952bf42]:hover{background:var(--mode-invoke-border);color:var(--text-on-accent)}*{margin:0;padding:0;box-sizing:border-box}button,input,select,textarea{font-family:inherit;font-size:inherit}html,body{height:100%;overflow:hidden;background:var(--surface-base);font-family:var(--font-ui);font-size:var(--font-size-base)}#app{height:100vh;display:flex;flex-direction:column;background:var(--surface-base);color:var(--text-primary)}.app-header{flex-shrink:0;background:var(--surface-raised);border-bottom:1px solid var(--border-subtle)}.header-row{display:grid;grid-template-columns:1fr auto 1fr;align-items:center;gap:var(--space-xl);padding:0 var(--space-xl)}.app-title{font-size:var(--font-size-xl);font-weight:600;padding:var(--space-lg) 0;color:var(--text-primary)}.header-controls{display:flex;align-items:center;gap:var(--space-md)}.reference-controls{justify-self:end;display:flex;align-items:center;gap:var(--space-md)}.header-button{padding:var(--space-sm) var(--space-lg);border:1px solid var(--border-default);border-radius:var(--radius-md);background:var(--surface-control);color:var(--text-secondary);font-size:var(--font-size-md);cursor:pointer;transition:all var(--transition-normal)}.header-button:hover{background:var(--surface-control-hover);border-color:var(--border-hover)}.header-button.active{background:var(--interactive-bg);border-color:var(--interactive-border);color:var(--text-on-accent)}.app-main{flex:1;min-height:0;background:var(--surface-canvas);position:relative}.proof-overlay{position:absolute;top:var(--space-xl);left:var(--space-xl);z-index:var(--z-panel)}.reference-overlay{position:absolute;top:var(--space-xl);right:var(--space-xl);bottom:var(--space-xl);z-index:var(--z-panel);display:flex;flex-direction:column;pointer-events:none}.reference-overlay>*{pointer-events:auto}.truth-overlay{position:absolute;bottom:var(--space-xl);left:var(--space-xl);z-index:var(--z-panel);display:flex;flex-direction:column;pointer-events:none;max-height:50%}.truth-overlay>*{pointer-events:auto}.feedback-overlay{position:absolute;bottom:var(--space-2xl);left:0;right:0;z-index:var(--z-toast);display:flex;flex-direction:column;align-items:center;gap:var(--space-md);pointer-events:none}