._panel_1l6j6_1{border:1px solid var(--line);background:var(--surface-muted);border-radius:.55rem;margin-top:.65rem;padding:.7rem .8rem}._preview_1l6j6_9,._help_1l6j6_10{margin:0;font-size:.78rem}._preview_1l6j6_9{color:var(--success);font-weight:700}._lines_1l6j6_20{max-height:14rem;font:.78rem/1.4 var(--font-mono);gap:.25rem;margin:.55rem 0 0;padding-left:2rem;display:grid;overflow-y:auto}._lines_1l6j6_20 li{padding-left:.15rem}._lines_1l6j6_20 code{overflow-wrap:anywhere;color:var(--ink)}._lines_1l6j6_20 span{color:var(--ink-muted);text-transform:uppercase;margin-left:.55rem;font-family:inherit;font-size:.7rem}._help_1l6j6_10{color:var(--ink-muted);margin-top:.2rem}._diagnostics_1l6j6_52{color:var(--danger);margin:0;padding-left:1.2rem;font-size:.78rem}._actions_1l6j6_59{gap:.75rem;margin-top:.55rem;display:flex}._cancel_1l6j6_65{cursor:pointer;font:700 .75rem var(--font-mono);color:var(--ink-muted);text-underline-offset:.18rem;background:0 0;border:0;padding:.35rem .55rem;text-decoration:underline}._cancel_1l6j6_65:focus-visible{outline:3px solid color-mix(in srgb, var(--accent) 35%, transparent);outline-offset:2px}._reference_11cwb_1{color:var(--ink-muted);margin-top:.5rem;font-size:.75rem}._reference_11cwb_1 summary{cursor:pointer;text-underline-offset:.18rem;width:fit-content;text-decoration:underline}._reference_11cwb_1 summary:focus-visible{outline:3px solid color-mix(in srgb, var(--accent) 38%, transparent);outline-offset:2px;border-radius:.2rem}._reference_11cwb_1 dl{grid-template-columns:repeat(2,minmax(0,1fr));gap:.4rem;margin:.75rem 0;display:grid}._reference_11cwb_1 dl>div{border:1px solid var(--line);background:var(--surface-muted);border-radius:.4rem;padding:.5rem}._reference_11cwb_1 dt,._reference_11cwb_1 dd{margin:0}._reference_11cwb_1 dt{color:var(--ink);font-weight:700}._reference_11cwb_1 dd{margin-top:.18rem}._reference_11cwb_1>p{margin:0}@media (width<=38rem){._reference_11cwb_1 dl{grid-template-columns:1fr}}._editor_1x6vi_1{border-bottom:1px solid var(--line);padding:0 clamp(1.4rem,5vw,3rem) clamp(1.6rem,5vw,2.5rem)}._modeRow_1x6vi_6{justify-content:space-between;align-items:center;gap:1rem;margin-bottom:1.25rem;display:flex}._modeRow_1x6vi_6 fieldset,._premises_1x6vi_15{border:0;margin:0;padding:0}._modeRow_1x6vi_6 legend{clip:rect(0 0 0 0);width:1px;height:1px;position:absolute;overflow:hidden}._modeRow_1x6vi_6 fieldset{border:1px solid var(--line-strong);background:var(--paper);border-radius:.6rem;padding:.2rem;display:inline-flex}._modeRow_1x6vi_6 label{cursor:pointer;position:relative}._modeRow_1x6vi_6 input{opacity:0;position:absolute}._modeRow_1x6vi_6 label span{color:var(--ink-muted);border-radius:.4rem;padding:.45rem .7rem;font-size:.78rem;font-weight:700;display:block}._modeRow_1x6vi_6 input:checked+span{background:var(--ink);color:var(--paper)}._modeRow_1x6vi_6 input:focus-visible+span{outline:3px solid color-mix(in srgb, var(--accent) 38%, transparent)}._modeRow_1x6vi_6>p{color:var(--ink-faint);margin:0;font-size:.78rem}._premises_1x6vi_15{border:1px solid var(--line);background:var(--surface-muted);border-radius:.65rem;margin:0 0 1.25rem;padding:.9rem}._premises_1x6vi_15 legend{padding:0 .3rem;font-size:.75rem;font-weight:700}._premises_1x6vi_15>p{color:var(--ink-muted);margin:0;font-size:.8rem}._premiseList_1x6vi_91{flex-wrap:wrap;gap:.45rem;display:flex}._premiseList_1x6vi_91 label{cursor:pointer;position:relative}._premiseList_1x6vi_91 input{opacity:0;position:absolute}._premiseList_1x6vi_91 span{border:1px solid var(--line-strong);background:var(--paper);font-family:var(--font-mono);border-radius:999px;padding:.38rem .65rem;font-size:.72rem;display:block}._premiseList_1x6vi_91 input:checked+span{border-color:var(--accent);background:color-mix(in srgb, var(--accent) 9%, var(--paper))}._premiseList_1x6vi_91 input:focus-visible+span{outline:3px solid color-mix(in srgb, var(--accent) 38%, transparent);outline-offset:2px}._premiseList_1x6vi_91 b{color:var(--accent)}._expressionLabel_1x6vi_131{margin-bottom:.55rem;font-size:.82rem;font-weight:700;display:block}._entryRow_1x6vi_138{grid-template-columns:1fr auto;gap:.65rem;display:grid}._entryRow_1x6vi_138 input{border:1px solid var(--line-strong);background:var(--paper);min-width:0;color:var(--ink);font-family:var(--font-mono);border-radius:.7rem;padding:.85rem 1rem;font-size:1.1rem}._entryRow_1x6vi_138 input[aria-invalid=true]{border-color:var(--danger)}._entryRow_1x6vi_138 button,._cancel_1x6vi_160{background:var(--ink);color:var(--paper);font:inherit;border:0;border-radius:.7rem;padding:.85rem 1.1rem;font-weight:700}._entryRow_1x6vi_138 button:disabled{cursor:not-allowed;opacity:.38}._entryRow_1x6vi_138 input:focus-visible,._entryRow_1x6vi_138 button:focus-visible,._cancel_1x6vi_160:focus-visible{outline:3px solid color-mix(in srgb, var(--accent) 38%, transparent);outline-offset:2px}._feedback_1x6vi_182{min-height:1.5rem}._feedback_1x6vi_182 p{color:var(--ink-faint);margin:.65rem 0 0;font-size:.78rem}._feedback_1x6vi_182 p>span:first-child{text-transform:uppercase;letter-spacing:.06em;margin-right:.4rem}._feedback_1x6vi_182 code{color:var(--ink-muted)}._feedback_1x6vi_182 ._error_1x6vi_202{color:var(--danger)}._error_1x6vi_202 span{color:var(--ink-faint)}._cancel_1x6vi_160{color:var(--ink-muted);background:0 0;margin-top:.75rem;padding:.35rem 0;font-size:.78rem}@media (width<=34rem){._modeRow_1x6vi_6{flex-direction:column;align-items:flex-start}._entryRow_1x6vi_138{grid-template-columns:1fr}}._line_1aupo_1{border-bottom:1px solid var(--line);grid-template-columns:2.2rem 1fr;gap:.6rem;padding:.8rem clamp(1.4rem,5vw,3rem);display:grid;position:relative}._line_1aupo_1:last-child{border-bottom:0}._line_1aupo_1[data-disabled]{opacity:.58}._line_1aupo_1[data-dragging]{opacity:.42}._line_1aupo_1[data-drop-position=before]{box-shadow:inset 0 3px var(--accent)}._line_1aupo_1[data-drop-position=after]{box-shadow:inset 0 -3px var(--accent)}._number_1aupo_30{color:var(--ink-faint);font-family:var(--font-mono);padding-top:.12rem;font-size:.7rem}._dragHandle_1aupo_37{color:#8b8278;cursor:grab;background:0 0;border:0;margin:0;padding:.35rem .45rem;font-size:2rem;line-height:1;transition:color .12s;position:absolute;top:.35rem;left:.15rem}._dragHandle_1aupo_37:hover,._dragHandle_1aupo_37:active,._dragHandle_1aupo_37:focus-visible{color:var(--ink-faint)}._dragHandle_1aupo_37:active{cursor:grabbing}._content_1aupo_62{min-width:0}._expressionRow_1aupo_66{justify-content:space-between;align-items:baseline;gap:1rem;display:flex}._expressionRow_1aupo_66 code{overflow-wrap:anywhere;color:var(--ink);font-size:1rem;font-weight:700}._kind_1aupo_80{color:var(--ink-faint);letter-spacing:.08em;text-transform:uppercase;font-size:.65rem;font-weight:700}._normalized_1aupo_88,._provenance_1aupo_89,._comment_1aupo_90{color:var(--ink-muted);margin:.2rem 0 0;font-size:.76rem}._comment_1aupo_90{font-style:italic}._resultRow_1aupo_100{align-items:center;gap:.7rem;margin-top:.45rem;display:flex}._status_1aupo_107{color:var(--ink-muted);align-items:center;gap:.38rem;font-size:.76rem;font-weight:700;display:inline-flex}._status_1aupo_107 i{background:currentColor;border:1px solid;border-radius:50%;width:.5rem;height:.5rem}._line_1aupo_1[data-status=accepted] ._status_1aupo_107,._line_1aupo_1[data-status=proven] ._status_1aupo_107,._line_1aupo_1[data-status=already-implied] ._status_1aupo_107{color:var(--success)}._line_1aupo_1[data-status=not-proven] ._status_1aupo_107,._line_1aupo_1[data-status=draft] ._status_1aupo_107{color:var(--warning)}._line_1aupo_1[data-status=contradiction] ._status_1aupo_107,._line_1aupo_1[data-status=contradictory-premises] ._status_1aupo_107{color:var(--danger)}._resultRow_1aupo_100 button,._actions_1aupo_141 button,._evidence_1aupo_142 summary{color:var(--ink-muted);font:inherit;text-underline-offset:.18rem;cursor:pointer;background:0 0;border:0;padding:0;font-size:.72rem;text-decoration:underline}._resultRow_1aupo_100 button:disabled,._actions_1aupo_141 button:disabled{cursor:not-allowed;opacity:.35}._evidence_1aupo_142{border-left:2px solid var(--line-strong);background:var(--surface-muted);color:var(--ink-muted);margin-top:.55rem;padding:.65rem .8rem;font-size:.75rem}div._evidence_1aupo_142{flex-wrap:wrap;align-items:baseline;gap:.65rem;display:flex}._evidence_1aupo_142 p{margin:.5rem 0 0}._evidence_1aupo_142 code{overflow-wrap:anywhere}._actions_1aupo_141{opacity:0;flex-wrap:wrap;gap:.65rem;margin-top:.5rem;transition:opacity .12s;display:flex}._line_1aupo_1:hover ._actions_1aupo_141,._line_1aupo_1:focus-within ._actions_1aupo_141{opacity:1}._resultRow_1aupo_100 button:focus-visible,._actions_1aupo_141 button:focus-visible,._dragHandle_1aupo_37:focus-visible,._evidence_1aupo_142 summary:focus-visible{outline:3px solid color-mix(in srgb, var(--accent) 38%, transparent);outline-offset:2px;border-radius:.2rem}@media (prefers-reduced-motion:reduce){._actions_1aupo_141,._dragHandle_1aupo_37{transition:none}}@media (width<=40rem),(hover:none){._actions_1aupo_141{opacity:1}}._notebook_1h7mj_1{background:var(--paper)}._emptyState_1h7mj_5{background:var(--surface-muted);align-items:center;gap:1rem;padding:1rem clamp(1.4rem,5vw,3rem);display:flex}._emptyState_1h7mj_5>span{border:1px solid var(--line-strong);width:2.5rem;height:2.5rem;color:var(--ink-faint);font-family:var(--font-mono);border-radius:50%;flex:none;place-items:center;font-size:.7rem;display:grid}._emptyState_1h7mj_5 h2,._emptyState_1h7mj_5 p{margin:0}._emptyState_1h7mj_5 h2{font-size:.92rem}._emptyState_1h7mj_5 p{color:var(--ink-muted);margin-top:.2rem;font-size:.85rem}._shell_i4ibm_1{width:min(100% - 2rem,58rem);margin-inline:auto;padding-block:1.25rem 2.5rem}._header_i4ibm_7{justify-content:space-between;align-items:baseline;gap:1rem;padding:.5rem 0 2.5rem;display:flex}._wordmark_i4ibm_15{color:var(--ink);font-family:var(--font-mono);letter-spacing:-.04em;font-size:1.05rem;font-weight:700;text-decoration:none}._wordmark_i4ibm_15 span{color:var(--accent)}._headerActions_i4ibm_28{align-items:baseline;gap:1rem;display:flex}._headerActions_i4ibm_28 a{color:var(--ink-muted);text-underline-offset:.2rem;font-size:.78rem}._copy_i4ibm_40{color:var(--ink-muted);cursor:pointer;font:inherit;text-underline-offset:.2rem;background:0 0;border:0;padding:0;font-size:.78rem;text-decoration:underline}._copy_i4ibm_40:disabled{cursor:wait;opacity:.55}._notebookActions_i4ibm_57{border-top:1px solid var(--line);background:var(--paper);justify-content:flex-end;gap:.9rem;padding:.7rem clamp(1.4rem,5vw,3rem);display:flex}._workspace_i4ibm_66{border:1px solid var(--line);background:color-mix(in srgb, var(--surface) 94%, transparent);border-radius:1.25rem;overflow:hidden;box-shadow:0 1.5rem 4rem #2d231814}._intro_i4ibm_74{max-width:42rem;padding:clamp(2rem,6vw,4rem) clamp(1.4rem,5vw,3rem) 2rem}._eyebrow_i4ibm_79{color:var(--accent);font-family:var(--font-mono);letter-spacing:.11em;text-transform:uppercase;margin:0 0 .75rem;font-size:.75rem;font-weight:700}._intro_i4ibm_74 h1{letter-spacing:-.055em;max-width:13ch;margin:0;font-size:clamp(2.25rem,7vw,4rem);font-weight:650;line-height:.98}._intro_i4ibm_74>p:last-child{max-width:37rem;color:var(--ink-muted);margin:1.5rem 0 0;font-size:1.05rem;line-height:1.65}._solverError_i4ibm_106{border-bottom:1px solid color-mix(in srgb, var(--danger) 30%, var(--line));background:color-mix(in srgb, var(--danger) 8%, var(--paper));color:var(--danger);margin:0;padding:.8rem clamp(1.4rem,5vw,3rem);font-size:.8rem}._shell_i4ibm_1>footer{color:var(--ink-faint);text-align:center;padding-top:1rem;font-size:.75rem}._shell_i4ibm_1>footer p{margin:0;display:inline}._shell_i4ibm_1>footer a{color:inherit;text-underline-offset:.18rem;margin-left:.7rem}._wordmark_i4ibm_15:focus-visible,._headerActions_i4ibm_28 a:focus-visible,._copy_i4ibm_40:focus-visible{outline:3px solid color-mix(in srgb, var(--accent) 38%, transparent);outline-offset:2px;border-radius:.2rem}@media (width<=34rem){._header_i4ibm_7{align-items:flex-start}._headerActions_i4ibm_28{flex-direction:column;align-items:flex-end;gap:.55rem}}