.fuzzing-main{min-height:100vh;padding:var(--space-lg);padding-top:calc(72px + var(--space-lg));max-width:1200px;margin:0 auto}.start-section{background:var(--color-bg-card);border:1px solid var(--color-border);border-radius:var(--radius-xl);padding:var(--space-xl);margin-bottom:var(--space-lg)}.start-header{margin-bottom:var(--space-lg)}.start-title{display:flex;align-items:center;gap:var(--space-sm);font-size:var(--text-h3);font-weight:600;color:var(--color-text-primary);margin:0 0 var(--space-xs)}.start-description{font-size:var(--text-label);color:var(--color-text-muted);margin:0}.contract-info{display:flex;gap:var(--space-lg);padding:var(--space-md);background:var(--color-bg-secondary);border:1px solid var(--color-border);border-radius:var(--radius-lg);margin-bottom:var(--space-lg)}.info-item{display:flex;align-items:center;gap:var(--space-xs)}.info-label{font-size:var(--text-caption);font-weight:600;color:var(--color-text-muted);text-transform:uppercase;letter-spacing:.05em}.info-value{font-size:var(--text-body-sm);color:var(--color-text-primary)}.info-value.mono{font-family:var(--font-mono)}.no-contract-message{display:flex;flex-direction:column;align-items:center;justify-content:center;text-align:center;padding:var(--space-2xl);gap:var(--space-md);color:var(--color-text-muted)}.no-contract-message svg{color:var(--color-text-muted);opacity:.5}.no-contract-message h3{margin:0;font-size:var(--text-h3);color:var(--color-text-secondary)}.no-contract-message p{margin:0;font-size:var(--text-body-sm);max-width:400px}.no-contract-actions{display:flex;gap:var(--space-md);flex-wrap:wrap;justify-content:center;margin-top:var(--space-lg)}.no-contract-actions .btn{display:inline-flex;align-items:center;gap:var(--space-xs)}.start-controls{display:flex;flex-direction:column;gap:var(--space-md)}.config-row{display:flex;align-items:flex-end;gap:var(--space-md);flex-wrap:wrap;padding:var(--space-md);background:var(--color-bg-secondary);border-radius:var(--radius-md);border:1px solid var(--color-border)}.config-group{display:flex;flex-direction:column;gap:var(--space-xs);flex:0 0 auto}.config-label{font-size:var(--text-micro);font-weight:600;color:var(--color-text-muted);text-transform:uppercase;letter-spacing:.05em;display:flex;align-items:center;gap:var(--space-xs);cursor:help}.help-icon{opacity:.5;transition:opacity var(--transition-fast)}.config-label:hover .help-icon{opacity:1}.config-hint{font-size:var(--text-micro);color:var(--color-text-muted);opacity:.7;font-weight:400;font-style:italic}.param-input-wrap{display:flex;align-items:center;background:var(--color-bg-secondary);padding:var(--space-xs) var(--space-sm);border-radius:var(--radius-sm);border:1px solid var(--color-border)}.param-input{width:70px;background:transparent;border:none;font-family:var(--font-mono);font-size:var(--text-label);font-weight:500;color:var(--color-text-primary);text-align:center;outline:none}.param-input::-webkit-outer-spin-button,.param-input::-webkit-inner-spin-button{-webkit-appearance:none;margin:0}.param-input[type=number]{-moz-appearance:textfield}.param-input:disabled{opacity:.5;cursor:not-allowed}.start-btn-compact{display:flex;align-items:center;justify-content:center;gap:var(--space-xs);padding:var(--space-sm) var(--space-lg);border:none;border-radius:var(--radius-md);font-size:var(--text-body-sm);font-weight:600;color:#fff;cursor:pointer;transition:all var(--transition-fast);box-shadow:var(--shadow-sm);white-space:nowrap;margin-left:auto}.start-btn-compact:hover{transform:translateY(-1px);box-shadow:var(--shadow-md)}.start-btn-compact:active{transform:translateY(0)}.start-btn-compact:disabled{opacity:.6;cursor:not-allowed;transform:none}.start-btn-compact.running{background:var(--gradient-success);box-shadow:var(--shadow-sm)}.start-btn-compact.running:hover{background:var(--gradient-success)}.spin{animation:spin 1s linear infinite}@keyframes spin{0%{transform:rotate(0)}to{transform:rotate(360deg)}}.realtime-section{background:var(--color-bg-card);border:1px solid var(--color-border);border-radius:var(--radius-xl);padding:var(--space-lg);margin-bottom:var(--space-lg)}.realtime-header{display:flex;align-items:center;justify-content:space-between;margin-bottom:var(--space-lg);padding-bottom:var(--space-md);border-bottom:1px solid var(--color-border)}.realtime-title{display:flex;align-items:center;gap:var(--space-sm);font-size:var(--text-body);font-weight:600;color:var(--color-text-primary);margin:0}.status-dot{width:var(--space-sm);height:var(--space-sm);border-radius:var(--radius-full);background:var(--color-text-muted)}.status-dot.active{background:var(--color-success);box-shadow:0 0 8px var(--color-success-glow);animation:status-pulse 1.5s cubic-bezier(.4,0,.2,1) infinite}@keyframes status-pulse{0%,to{opacity:1}50%{opacity:.5}}.timer-badge{font-family:var(--font-mono);font-size:var(--text-body);font-weight:600;padding:var(--space-xs) var(--space-md);border-radius:var(--radius-md)}.realtime-grid{display:grid;grid-template-columns:1fr 2fr;gap:var(--space-lg);align-items:start}.realtime-progress{position:sticky;top:calc(72px + var(--space-lg))}.results-section{background:var(--color-bg-card);border:1px solid var(--color-border);border-radius:var(--radius-xl);overflow:hidden}.results-header{padding:var(--space-md) var(--space-lg);border-bottom:1px solid var(--color-border);background:var(--color-bg-secondary)}.results-title{display:flex;align-items:center;gap:var(--space-sm);font-size:var(--text-body-sm);font-weight:600;color:var(--color-text-primary);margin:0}.completion-banner{background:var(--color-bg-card);border:1px solid var(--color-border);border-radius:var(--radius-xl);padding:var(--space-lg) var(--space-xl);margin-bottom:var(--space-lg);display:flex;justify-content:space-between;align-items:center;gap:var(--space-lg)}.banner-content{display:flex;align-items:center;gap:var(--space-md)}.completion-icon{width:56px;height:56px;display:flex;align-items:center;justify-content:center;border-radius:var(--radius-full);flex-shrink:0}.completion-icon.success{background:var(--color-success-subtle);color:var(--color-success)}.completion-icon.warning{background:var(--color-warning-subtle);color:var(--severity-high)}.banner-text{display:flex;flex-direction:column;gap:var(--space-xs)}.completion-title{font-size:var(--text-h3);font-weight:700;color:var(--color-text-primary);margin:0}.completion-subtitle{font-size:var(--text-body-sm);color:var(--color-text-muted);margin:0}.banner-actions{display:flex;gap:var(--space-sm)}.completion-findings{margin-top:var(--space-lg)}.fuzzing-main .btn{display:inline-flex;align-items:center;justify-content:center;gap:var(--space-xs);padding:var(--space-sm) var(--space-md);border-radius:var(--radius-md);font-size:var(--text-body-sm);font-weight:600;cursor:pointer;transition:all var(--transition-fast);border:1px solid;text-decoration:none;white-space:nowrap}.fuzzing-main .btn-secondary{background:var(--color-bg-secondary);border-color:var(--color-border);color:var(--color-text-primary)}.fuzzing-main .btn-secondary:hover{background:var(--color-bg-tertiary);border-color:var(--color-text-muted)}.fuzzing-main .btn-ghost{background:transparent;border-color:var(--color-border);color:var(--color-text-secondary)}.fuzzing-main .btn-ghost:hover{background:var(--color-bg-secondary);border-color:var(--color-text-muted);color:var(--color-text-primary)}.summary-metrics-card{background:var(--color-bg-card);border:1px solid var(--color-border);border-radius:var(--radius-xl);padding:var(--space-lg);margin-bottom:var(--space-lg)}.metrics-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(150px,1fr));gap:var(--space-lg)}.metric-item{display:flex;flex-direction:column;gap:var(--space-xs)}.metric-item.highlight{padding:var(--space-sm);background:color-mix(in srgb,var(--severity-critical) 5%,transparent);border-radius:var(--radius-md)}.metric-label{font-size:var(--text-caption);font-weight:600;color:var(--color-text-muted);text-transform:uppercase;letter-spacing:.05em}.metric-value{font-family:var(--font-mono);font-size:var(--text-h2);font-weight:700;color:var(--color-text-primary)}.metric-item.highlight .metric-value{color:var(--severity-critical)}.function-results-card{background:var(--color-bg-card);border:1px solid var(--color-border);border-radius:var(--radius-xl);overflow:hidden}.card-header{display:flex;justify-content:space-between;align-items:center;padding:var(--space-md) var(--space-lg);background:var(--color-bg-secondary);border-bottom:1px solid var(--color-border)}.card-header h3{font-size:var(--text-body);font-weight:600;color:var(--color-text-primary);margin:0}.results-badge{font-size:var(--text-micro);font-weight:500;padding:var(--space-xxs) var(--space-sm);border-radius:var(--radius-lg)}.results-badge.clean{background:var(--color-success-subtle);color:var(--color-success)}.results-badge.warning{background:var(--color-warning-subtle);color:var(--severity-medium)}.fn-table{font-size:var(--text-caption)}.fn-table-header{display:grid;grid-template-columns:32px 1fr 80px 70px 60px 80px;gap:var(--space-sm);padding:var(--space-xs) var(--space-md);background:var(--color-bg-tertiary);border-bottom:1px solid var(--color-border);font-size:var(--text-micro);font-weight:600;color:var(--color-text-muted);text-transform:uppercase;letter-spacing:.05em}.fn-row{display:grid;grid-template-columns:32px 1fr 80px 70px 60px 80px;gap:var(--space-sm);padding:var(--space-sm) var(--space-md);border-bottom:1px solid var(--color-border);align-items:center}.fn-row:last-child{border-bottom:none}.fn-row.has-findings{background:color-mix(in srgb,var(--severity-medium) 5%,transparent)}.fn-status{display:flex;align-items:center;justify-content:center}.status-icon{width:20px;height:20px;display:flex;align-items:center;justify-content:center;border-radius:var(--radius-full)}.status-icon.clean{background:var(--color-success-subtle);color:var(--color-success)}.status-icon.warning{background:var(--color-warning-subtle);color:var(--severity-medium)}.fn-info{display:flex;flex-direction:column;gap:var(--space-xxs);overflow:hidden}.fn-info .fn-name{font-family:var(--font-mono);font-weight:500;color:var(--color-success);font-size:var(--text-caption);overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.fn-info .fn-selector{font-family:var(--font-mono);font-size:var(--text-micro);color:var(--color-text-muted)}.fn-metric{font-family:var(--font-mono);font-weight:500;color:var(--color-text-primary);text-align:right}.fn-metric .metric-label{font-size:.5625rem;color:var(--color-text-muted);font-weight:400;margin-left:var(--space-xxs)}.fn-metric.highlight-crash{color:var(--severity-critical)}.fn-reason{display:flex;justify-content:flex-end}.reason-tag{font-size:var(--text-micro);font-weight:500;padding:var(--space-xxs) var(--space-xs);border-radius:var(--radius-xs);background:var(--color-bg-tertiary);color:var(--color-text-muted)}@media(max-width:1024px){.realtime-grid{grid-template-columns:1fr}.realtime-progress{position:static}.realtime-workers{order:1}}@media(max-width:768px){.contract-info{flex-direction:column;gap:var(--space-sm)}.metrics-grid{grid-template-columns:repeat(2,1fr)}.completion-banner{flex-direction:column;align-items:flex-start}.banner-actions{width:100%}}@media(max-width:640px){.contract-header{flex-direction:column;align-items:flex-start;gap:var(--space-sm)}.banner-actions{flex-direction:column}.banner-actions .btn{width:100%}.metrics-grid{grid-template-columns:1fr}.fn-table-header,.fn-row{grid-template-columns:24px 1fr 60px 50px 50px 60px;font-size:var(--text-micro)}}.progress-panel{background:var(--color-bg-card);border:1px solid var(--color-border);border-radius:var(--radius-xl);overflow:hidden}.panel-header{display:flex;align-items:center;justify-content:space-between;padding:var(--space-sm) var(--space-md);background:var(--color-bg-secondary);border-bottom:1px solid var(--color-border)}.header-icon{flex-shrink:0}.timer{font-family:var(--font-mono);font-size:var(--text-body-sm);font-weight:600;padding:var(--space-xxs) var(--space-sm);border-radius:var(--radius-sm)}.panel-content{padding:var(--space-sm) var(--space-md)}.idle-state{text-align:center;padding:var(--space-xl) 0}.idle-text{font-size:var(--text-label);color:var(--color-text-muted);margin:0}.active-state{display:flex;flex-direction:column;gap:var(--space-sm)}.progress-main{display:flex;align-items:center;gap:var(--space-md)}.progress-percent-large{font-family:var(--font-mono);font-size:var(--text-h3);font-weight:700;line-height:1;letter-spacing:-.01em;flex-shrink:0;min-width:60px}.progress-subtitle{font-size:var(--text-caption);color:var(--color-text-muted);flex:1;min-width:0}.progress-bar-wrapper{padding:0}.progress-bar-track{width:100%;height:8px;background:var(--color-bg-tertiary);border-radius:var(--radius-sm);overflow:hidden}.progress-bar-fill{height:100%;width:0%;border-radius:var(--radius-sm);transition:width var(--transition-base);position:relative}.progress-bar-fill:after{content:"";position:absolute;inset:0;background:linear-gradient(90deg,transparent 0%,rgba(255,255,255,.3) 50%,transparent 100%);animation:shimmer 1.5s infinite}@keyframes shimmer{0%{transform:translate(-100%)}to{transform:translate(100%)}}.stats-row{display:grid;grid-template-columns:repeat(4,1fr);gap:var(--space-xs)}.stat-item{display:flex;flex-direction:column;align-items:center;justify-content:center;gap:3px;padding:8px 6px;background:var(--color-bg-secondary);border-radius:var(--radius-md);min-height:52px}.stat-value{font-family:var(--font-mono);font-size:var(--text-body-sm);font-weight:600;color:var(--color-text-primary);line-height:1}.stat-label{font-size:var(--text-micro);color:var(--color-text-muted);text-transform:uppercase;letter-spacing:.05em;font-weight:500}.stat-item.highlight .stat-value{color:var(--severity-critical)}.eta-row{display:flex;align-items:center;justify-content:center;gap:var(--space-xs);padding:var(--space-xs);background:var(--color-bg-secondary);border-radius:var(--radius-md);font-size:var(--text-caption);color:var(--color-text-muted)}.eta-icon{font-size:var(--text-body-sm)}.stop-btn{display:flex;align-items:center;justify-content:center;gap:var(--space-xs);width:100%;padding:8px var(--space-sm);background:transparent;border:1px solid var(--color-border);border-radius:var(--radius-md);color:var(--color-text-muted);font-size:var(--text-caption);font-weight:500;cursor:pointer;transition:all var(--transition-fast)}.stop-btn:hover{background:var(--severity-critical-bg);border-color:var(--severity-critical);color:var(--severity-critical)}.worker-grid-container{background:var(--color-bg-card);border:1px solid var(--color-border);border-radius:var(--radius-xl);overflow:hidden}.worker-grid-header{display:flex;align-items:center;justify-content:space-between;padding:var(--space-sm) var(--space-md);background:var(--color-bg-secondary);border-bottom:1px solid var(--color-border)}.header-left{display:flex;align-items:center;gap:var(--space-sm)}.header-icon{color:var(--severity-low);flex-shrink:0}.header-title{font-size:var(--text-caption);font-weight:600;color:var(--color-text-primary);text-transform:uppercase;letter-spacing:.05em}.worker-count{display:flex;align-items:center;gap:var(--space-xxs);font-family:var(--font-mono);font-size:var(--text-caption)}.count-active{color:var(--severity-low);font-weight:600}.count-separator{color:var(--color-text-muted)}.count-total{color:var(--color-text-secondary)}.count-label{color:var(--color-text-muted);margin-left:var(--space-xs);font-size:var(--text-micro)}.worker-grid{display:flex;flex-direction:column;gap:1px;background:var(--color-border)}.worker-placeholder{background:var(--color-bg-card);text-align:center;padding:var(--space-xl);color:var(--color-text-muted)}.placeholder-text{font-size:var(--text-label)}.discoveries-panel{background:var(--color-bg-card);border:1px solid var(--color-border);border-radius:var(--radius-xl);display:flex;flex-direction:column;overflow:hidden;min-height:300px}.panel-header{display:flex;align-items:center;justify-content:space-between;padding:var(--space-md) var(--space-lg);border-bottom:1px solid var(--color-border)}.panel-title{display:flex;align-items:center;gap:var(--space-sm);font-size:var(--text-body-sm);font-weight:600;color:var(--color-text-primary);margin:0}.panel-title svg{color:var(--severity-high)}.discovery-counts{display:flex;gap:var(--space-sm)}.count{font-family:var(--font-mono);font-size:var(--text-caption);font-weight:600;padding:var(--space-xxs) var(--space-sm);border-radius:var(--radius-sm)}.crash-count{background:var(--severity-critical-bg);color:var(--severity-critical)}.violation-count{background:var(--severity-high-bg);color:var(--severity-high)}.discovery-tabs{display:flex;border-bottom:1px solid var(--color-border)}.tab-btn{flex:1;display:flex;align-items:center;justify-content:center;gap:var(--space-xs);padding:var(--space-sm) var(--space-md);background:transparent;border:none;color:var(--color-text-muted);font-size:var(--text-caption);font-weight:500;cursor:pointer;transition:all var(--transition-fast);border-bottom:2px solid transparent;margin-bottom:-1px}.tab-btn:hover{color:var(--color-text-secondary);background:var(--color-bg-secondary)}.tab-btn.active{color:var(--severity-high);border-bottom-color:var(--severity-high)}.tab-badge{font-family:var(--font-mono);font-size:var(--text-micro);padding:1px 5px;background:var(--color-bg-tertiary);border-radius:var(--radius-full)}.tab-btn.active .tab-badge{background:var(--severity-high-bg)}.discoveries-content{flex:1;overflow-y:auto;padding:var(--space-sm)}.tab-panel{display:none}.tab-panel.active{display:block}.empty-state{display:flex;flex-direction:column;align-items:center;justify-content:center;padding:var(--space-xl);color:var(--color-text-muted);gap:var(--space-sm)}.empty-state svg{opacity:.5}.empty-state p{font-size:var(--text-caption);margin:0}.empty-state.hidden{display:none}.discovery-list{display:flex;flex-direction:column;gap:var(--space-sm)}