@import"https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:ital,wght@0,300;0,400;0,500;0,600;1,300;1,400&display=swap";:root{--bg: #0d0d12;--bg1: #121218;--bg2: #17171e;--bg3: #1c1c28;--border: #2a2a36;--border2: #38384e;--dim: #525268;--muted: #7878a0;--mid: #9898c0;--bright: #c8c8e4;--white: #eeeeff;--accent: #eeeeff;--green: #2a5a2a;--green2: #3a7a3a;--red: #5a2020;--red2: #7a2828;--amber: #5a4a1a;--blue: #1a3a5a;--mono: "IBM Plex Mono", monospace;--hdr-h: 36px;--bar-h: 28px;--trace-w: 240px;--bot-h: 220px;--radius: 0px;--trans: .15s ease}*,*:before,*:after{box-sizing:border-box;margin:0;padding:0}html,body,#root{height:100%;width:100%}body{background:var(--bg);color:var(--bright);font-family:var(--mono);font-size:13px;-webkit-font-smoothing:antialiased}body:after{content:"";position:fixed;top:0;right:0;bottom:0;left:0;background:repeating-linear-gradient(0deg,transparent,transparent 3px,rgba(0,0,8,.03) 3px,rgba(0,0,8,.03) 6px);pointer-events:none;z-index:9998}::-webkit-scrollbar{width:2px;height:2px}::-webkit-scrollbar-track{background:transparent}::-webkit-scrollbar-thumb{background:var(--border2)}.tag-open{color:#5a7aaa}.tag-closure,.tag-certified{color:#3a7a4a}.tag-contra{color:#8a3a3a}._page_1erbz_1{min-height:100dvh;background:var(--bg);color:var(--bright);font-family:var(--mono);display:flex;flex-direction:column;align-items:center;overflow-y:auto;position:relative}._bh_1erbz_13{position:fixed;top:16px;right:20px;font-size:12px;color:var(--dim);letter-spacing:.04em;z-index:10;-webkit-user-select:none;user-select:none;direction:rtl}._hero_1erbz_23{display:flex;flex-direction:column;align-items:center;text-align:center;padding:69px 32px 0;width:100%}._heroEyebrow_1erbz_30{font-size:9px;letter-spacing:.32em;color:var(--muted);text-transform:uppercase;margin-bottom:18px}._heroTitle_1erbz_35{font-size:52px;font-weight:300;letter-spacing:.22em;color:var(--white);line-height:1;text-shadow:0 0 40px rgba(210,210,255,.14),0 0 90px rgba(160,160,220,.07)}._body_1erbz_45{display:flex;flex-direction:column;align-items:center;gap:18px;padding:36px 32px 0;width:100%;max-width:630px}._bodyPara_1erbz_52{font-size:14px;line-height:1.9;color:var(--bright);letter-spacing:.03em;text-align:center}._directory_1erbz_59{padding:50px 32px 0;width:100%;max-width:680px}._dirTitle_1erbz_64{font-size:9px;letter-spacing:.26em;color:var(--dim);text-transform:uppercase;text-align:center;margin-bottom:24px}._dirGrid_1erbz_71{display:grid;grid-template-columns:1fr 1fr;grid-template-rows:1fr 1fr;grid-auto-flow:column;border:1px solid var(--border)}._dirCard_1erbz_79{display:flex;align-items:center;gap:20px;padding:22px 24px;border-right:1px solid var(--border);border-bottom:1px solid var(--border);text-decoration:none;border-left:2px solid transparent;transition:background var(--trans),border-left-color var(--trans)}._dirCard_1erbz_79:nth-child(n+3){border-right:none}._dirCard_1erbz_79:nth-child(2n){border-bottom:none}._dirCard_1erbz_79:hover{background:var(--bg2);border-left-color:var(--mid)}._dirCard_1erbz_79:hover ._dirArrow_1erbz_96{color:var(--mid);transform:translate(3px)}._dirCard_1erbz_79:hover ._dirIdx_1erbz_100{color:var(--muted)}._dirIdx_1erbz_100{font-size:10px;color:var(--dim);letter-spacing:.08em;flex-shrink:0;width:22px;transition:color var(--trans)}._dirMeta_1erbz_108{flex:1;display:flex;flex-direction:column;gap:4px}._dirLabel_1erbz_112{font-size:12px;letter-spacing:.16em;color:var(--white)}._dirSub_1erbz_116{font-size:10px;color:var(--muted);letter-spacing:.04em}._dirArrow_1erbz_96{font-size:14px;color:var(--dim);flex-shrink:0;transition:color var(--trans),transform var(--trans)}._footer_1erbz_126{margin-top:auto;padding:60px 32px 28px;font-size:10px;color:var(--dim);letter-spacing:.12em;text-align:center;width:100%}@media (max-width: 768px){._heroTitle_1erbz_35{font-size:38px}._hero_1erbz_23{padding-top:72px}._body_1erbz_45{padding-top:44px;padding-left:20px;padding-right:20px}._bodyPara_1erbz_52{font-size:12px}._directory_1erbz_59{padding:56px 20px 0}._dirGrid_1erbz_71{grid-template-columns:1fr;grid-template-rows:none;grid-auto-flow:row}._dirCard_1erbz_79{padding:16px 18px;gap:14px;border-right:none;border-bottom:1px solid var(--border)}._dirCard_1erbz_79:nth-child(n+3){border-right:none}._dirCard_1erbz_79:nth-child(2n){border-bottom:1px solid var(--border)}._dirCard_1erbz_79:last-child{border-bottom:none}._bh_1erbz_13{top:10px;right:14px}}._wrap_ho0jm_1{display:flex;flex-direction:column;height:100%;overflow:hidden}._list_ho0jm_7{flex:1;overflow-y:auto;padding:3px 0}._event_ho0jm_11{display:flex;align-items:flex-start;gap:6px;padding:3px 10px;border-bottom:1px solid var(--bg2);transition:background var(--trans)}._event_ho0jm_11:hover{background:var(--bg2)}._step_ho0jm_19{font-size:9px;color:var(--dim);min-width:20px;text-align:right;padding-top:1px}._kind_ho0jm_20{font-size:9px;letter-spacing:.06em;min-width:52px}._data_ho0jm_21{font-size:9px;color:var(--mid);flex:1;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}._wrap_125j3_1{display:flex;flex-direction:column;height:100%;overflow-y:auto;justify-content:flex-start}._row1_125j3_8,._row2_125j3_8{display:flex;align-items:center;flex-wrap:wrap;padding:10px 16px;gap:0;border-bottom:1px solid var(--border);flex-shrink:0}._divider_125j3_15{width:1px;align-self:stretch;background:var(--border);margin:0 14px}._fieldstrip_125j3_20{display:flex;align-items:center;flex-wrap:wrap;gap:8px}._field_125j3_20{display:flex;align-items:center;gap:5px}._lbl_125j3_28{font-size:12px;color:var(--muted);white-space:nowrap}._inp_125j3_30{background:var(--bg);border:1px solid var(--border2);color:var(--bright);font-family:var(--mono);font-size:13px;padding:6px 9px;width:80px;outline:none}._inp_125j3_30:focus{border-color:var(--mid)}._sel_125j3_37{background:var(--bg);border:1px solid var(--border2);color:var(--bright);font-family:var(--mono);font-size:12px;padding:6px 9px;outline:none;width:170px}._btn_125j3_43{background:var(--bg);border:1px solid var(--border2);color:var(--muted);font-family:var(--mono);font-size:12px;letter-spacing:.1em;padding:6px 16px;cursor:pointer;transition:all var(--trans);white-space:nowrap}._btn_125j3_43:hover:not(:disabled){border-color:var(--mid);color:var(--white);background:var(--bg2)}._btn_125j3_43:disabled{opacity:.35;cursor:default}._btnPrimary_125j3_52{border-color:var(--bright);color:var(--white)}._btnPrimary_125j3_52:hover:not(:disabled){background:var(--bg2)}._btnDanger_125j3_55:hover:not(:disabled){border-color:var(--red2);color:#cc6060}._runBtn_125j3_58{background:var(--bg2);border:1px solid var(--border2);color:var(--bright);font-family:var(--mono);font-size:16px;font-weight:500;letter-spacing:.22em;padding:0 40px;height:48px;min-width:110px;cursor:pointer;transition:all var(--trans);flex-shrink:0}._runBtn_125j3_58:hover:not(:disabled){border-color:var(--white);color:var(--white);background:var(--bg3)}._runBtn_125j3_58:disabled{opacity:.35;cursor:default}._stepstrip_125j3_70{display:flex;align-items:center;flex-wrap:wrap;gap:8px}._stepLabel_125j3_74{font-size:11px;letter-spacing:.14em;color:var(--muted);cursor:pointer;-webkit-user-select:none;user-select:none;white-space:nowrap;padding:0 4px}._stepLabel_125j3_74:hover{color:var(--bright)}@media (max-width: 768px){._row1_125j3_8,._row2_125j3_8{flex-wrap:wrap;gap:6px;padding:8px 10px}._divider_125j3_15{display:none}._fieldstrip_125j3_20{flex-wrap:wrap}._inp_125j3_30{width:52px}._sel_125j3_37{width:120px}._runBtn_125j3_58{width:100%;height:32px;font-size:12px}._stepstrip_125j3_70{flex-wrap:wrap}}._fileInput_125j3_93{display:none}._maskhackWarn_125j3_98{font-size:10px;color:#cc7a30;letter-spacing:.06em;padding:3px 8px;border:1px solid #6a3a10}._btnMaskhack_125j3_104{border-color:#3a4a6a;color:#7a9ad8;letter-spacing:.08em}._btnMaskhack_125j3_104:hover:not(:disabled){border-color:#7a9ad8;color:#aac0f0;background:#1e284626}._btnReceipt_125j3_111{border-color:#3a5a4a;color:#5aaa7a;letter-spacing:.08em}._btnReceipt_125j3_111:hover:not(:disabled){border-color:#5aaa7a;color:#7acca4;background:#1e3c2826}._wrap_d2kr9_1{position:absolute;z-index:20;background:var(--bg1);border:1px solid var(--border2);box-shadow:0 6px 32px #0009;display:flex;flex-direction:column;min-width:180px;min-height:120px;overflow:hidden}._titlebar_d2kr9_14{display:flex;align-items:center;height:28px;flex-shrink:0;padding:0 10px;background:var(--bg2);border-bottom:1px solid var(--border);cursor:move;-webkit-user-select:none;user-select:none}._title_d2kr9_14{flex:1;font-size:10px;letter-spacing:.14em;color:var(--bright)}._close_d2kr9_30{font-size:10px;color:var(--muted);cursor:pointer;transition:color var(--trans);padding:2px 4px}._close_d2kr9_30:hover{color:var(--white)}._body_d2kr9_38{flex:1;overflow:auto;display:flex;flex-direction:column}._resizeHandle_d2kr9_44{position:absolute;right:0;bottom:0;width:14px;height:14px;cursor:se-resize;background:linear-gradient(135deg,transparent 50%,var(--border2) 50%,var(--border2) 60%,transparent 60%,transparent 70%,var(--border2) 70%,var(--border2) 80%,transparent 80%)}._body_mg5q2_1{padding:10px;display:flex;flex-direction:column;gap:6px}._row_mg5q2_3{display:flex;align-items:baseline;gap:8px}._lbl_mg5q2_4{font-size:8px;color:var(--muted);min-width:50px;letter-spacing:.1em}._val_mg5q2_5{font-size:10px;color:var(--bright);display:flex;gap:5px;flex-wrap:wrap}._dim_mg5q2_6{color:var(--muted)}._mono_mg5q2_7{font-size:10px;color:var(--mid);letter-spacing:.08em}._lit_mg5q2_8{font-size:10px;color:var(--bright)}._varItem_mg5q2_9{font-size:9px;color:var(--mid)}._body_1d3qm_1{padding:10px;display:flex;flex-direction:column;gap:8px}._meta_1d3qm_3{display:flex;align-items:center;gap:10px}._metaItem_1d3qm_4{font-size:9px;color:var(--muted);letter-spacing:.06em}._metaItem_1d3qm_4 b{color:var(--bright);font-weight:400}._valBadge_1d3qm_7{font-size:14px;font-weight:500;min-width:18px;text-align:center}._valBadge_1d3qm_7[data-val="1"]{color:var(--white)}._valBadge_1d3qm_7[data-val="0"]{color:var(--mid)}._valBadge_1d3qm_7[data-val="?"]{color:var(--dim)}._clauseList_1d3qm_14{display:flex;flex-direction:column;gap:3px;overflow-y:auto;flex:1}._clauseRow_1d3qm_19{display:flex;align-items:center;gap:6px;font-size:9px;padding:2px 0}._clauseIdx_1d3qm_24{color:var(--muted);min-width:28px}._polarity_1d3qm_25{color:var(--mid);min-width:10px;font-size:10px}._apertureBar_1d3qm_27{flex:1;height:3px;background:var(--dim);position:relative;overflow:hidden}._apertureFill_1d3qm_31{position:absolute;left:0;top:0;height:100%;background:var(--mid);transition:width .22s ease}._aperVal_1d3qm_36{color:var(--muted);min-width:60px;font-size:8px}._root_17x9d_1{display:flex;align-items:center;gap:0;height:var(--bar-h);flex-shrink:0;border-top:1px solid var(--border);background:var(--bg1);overflow:hidden}._transport_17x9d_9{display:flex;align-items:center;border-right:1px solid var(--border);flex-shrink:0}._tbtn_17x9d_14{width:32px;height:var(--bar-h);display:flex;align-items:center;justify-content:center;background:transparent;border:none;border-right:1px solid var(--border);color:var(--muted);font-size:10px;cursor:pointer;transition:all var(--trans);-webkit-user-select:none;user-select:none}._tbtn_17x9d_14:hover:not(:disabled){background:var(--bg2);color:var(--bright)}._tbtn_17x9d_14:disabled{opacity:.3;cursor:default}._tbtn_17x9d_14._active_17x9d_23{color:var(--white)}._scrubArea_17x9d_25{flex:1;display:flex;align-items:center;gap:10px;padding:0 12px;min-width:0}._scrubber_17x9d_30{flex:1;height:2px;min-width:60px;accent-color:var(--mid);cursor:pointer}._posLabel_17x9d_36{display:flex;align-items:baseline;gap:2px;flex-shrink:0;white-space:nowrap}._posNum_17x9d_41{font-size:11px;color:var(--bright)}._posDim_17x9d_42{font-size:9px;color:var(--muted)}._posKind_17x9d_43{font-size:9px;color:var(--dim);margin-left:6px;letter-spacing:.08em}._speeds_17x9d_45{display:flex;align-items:center;border-left:1px solid var(--border);flex-shrink:0}._spdbtn_17x9d_50{padding:0 8px;height:var(--bar-h);background:transparent;border:none;border-left:1px solid var(--border);color:var(--muted);font-family:var(--mono);font-size:9px;cursor:pointer;transition:all var(--trans)}._spdbtn_17x9d_50:hover{background:var(--bg2);color:var(--bright)}._spdActive_17x9d_57{color:var(--white);background:var(--bg2)}@media (max-width: 768px){._speeds_17x9d_45{display:none}._tbtn_17x9d_14{width:28px}}._backdrop_p1vnp_1{position:fixed;top:0;right:0;bottom:0;left:0;z-index:200;background:#000000b3;display:flex;align-items:center;justify-content:center;padding:20px}._modal_p1vnp_8{background:var(--bg1);border:1px solid var(--border2);width:100%;max-width:620px;max-height:80vh;display:flex;flex-direction:column;box-shadow:0 8px 48px #000c}._header_p1vnp_15{display:flex;align-items:center;padding:0 16px;height:40px;flex-shrink:0;border-bottom:1px solid var(--border);background:var(--bg2)}._title_p1vnp_22{flex:1;font-size:11px;letter-spacing:.18em;color:var(--white)}._close_p1vnp_26{background:none;border:none;color:var(--muted);font-size:12px;cursor:pointer;padding:4px 6px;transition:color var(--trans)}._close_p1vnp_26:hover{color:var(--white)}._body_p1vnp_33{flex:1;overflow-y:auto;padding:20px;display:flex;flex-direction:column;gap:20px}._section_p1vnp_38{display:flex;flex-direction:column;gap:6px}._sectionTitle_p1vnp_40{font-size:10px;letter-spacing:.2em;color:var(--white);font-weight:500;text-transform:uppercase;border-bottom:1px solid var(--border);padding-bottom:4px}._sectionBody_p1vnp_46{display:flex;flex-direction:column;gap:4px}._sectionBody_p1vnp_46 p{font-size:11px;color:var(--bright);line-height:1.6;letter-spacing:.02em}._char_18ycl_1{width:30px;height:36px;display:flex;align-items:center;justify-content:center;border:1px solid var(--dim);background:var(--bg1);position:relative;transition:border-color .2s;cursor:default;flex-shrink:0}._char_18ycl_1:hover{border-color:var(--muted)}._inner_18ycl_14{font-size:15px;font-weight:400;transition:transform .1s ease,opacity .1s ease}._flipping_18ycl_19 ._inner_18ycl_14{transform:rotateX(90deg);opacity:0}._vQ_18ycl_24{color:var(--dim);border-color:var(--dim)}._v0_18ycl_25{color:var(--mid);border-color:var(--border2)}._v1_18ycl_26{color:var(--white);border-color:var(--border2)}._inferred_18ycl_29{border-style:dashed}._vI0_18ycl_30{color:#7a8090;border-color:#3a4050}._vI1_18ycl_31{color:#8a9aaa;border-color:#3a5060}._justWritten_18ycl_33{animation:_written_18ycl_1 .9s ease forwards}@keyframes _written_18ycl_1{0%{border-color:var(--white)}to{border-color:var(--border2)}}._label_18ycl_42{position:absolute;bottom:-13px;left:0;right:0;text-align:center;font-size:7px;color:var(--dim);white-space:nowrap;overflow:hidden;text-overflow:ellipsis;pointer-events:none;padding:0 1px}._wrap_mpt74_1{width:100%;height:100%;display:flex;flex-direction:column;overflow:hidden}._list_mpt74_7{flex:1;overflow-y:auto;display:flex;flex-direction:column}._empty_mpt74_12{display:flex;flex-direction:column;align-items:center;justify-content:center;height:100%}._emptyBig_mpt74_13{font-size:10px;letter-spacing:.35em;color:var(--dim);margin-bottom:10px}._emptySub_mpt74_14{font-size:9px;letter-spacing:.14em;color:var(--muted)}._row_mpt74_17{display:flex;align-items:center;gap:6px;padding:4px 10px;border-bottom:1px solid var(--border);transition:background var(--trans);min-height:30px}._row_mpt74_17:hover{background:var(--bg2)}._st_contra_mpt74_27{border-left:2px solid #8a2020}._st_singleton_mpt74_28{border-left:2px solid #3a7a4a}._st_pinched_mpt74_29{border-left:2px solid #3d6080}._st_open_mpt74_30{border-left:2px solid var(--border)}._st_active_mpt74_31{border-left:2px solid var(--border2)}._st_settled_mpt74_32{border-left:2px solid #2a5a2a;opacity:.6}._idx_mpt74_34{font-size:9px;color:var(--muted);min-width:32px;flex-shrink:0;letter-spacing:.04em}._lits_mpt74_40{display:flex;gap:8px;flex:1;flex-wrap:wrap}._lit_mpt74_40{font-size:11px;color:var(--bright);display:flex;align-items:baseline;gap:1px}._litDet_mpt74_48{color:var(--mid)}._neg_mpt74_49{color:var(--muted);font-size:10px}._litVal_mpt74_50{font-size:8px;color:var(--muted);margin-left:1px}._aperWrap_mpt74_53{display:flex;align-items:center;gap:4px;width:52px;flex-shrink:0}._aperBar_mpt74_57{flex:1;height:3px;background:var(--dim);position:relative;overflow:hidden}._aperFill_mpt74_61{position:absolute;left:0;top:0;height:100%;background:var(--mid);transition:width .18s ease}._aperPop_mpt74_65{font-size:9px;color:var(--muted);min-width:10px;text-align:right}._jset_mpt74_70{font-size:9px;color:var(--mid);min-width:72px;flex-shrink:0;letter-spacing:.02em}._contra_mpt74_75{color:#cc5050}._settled_mpt74_76{color:#3a7a4a}._badge_mpt74_79{font-size:8px;letter-spacing:.1em;padding:1px 5px;border:1px solid transparent;flex-shrink:0;min-width:56px;text-align:center}._badge_open_mpt74_84{color:var(--muted);border-color:var(--border)}._badge_active_mpt74_85{color:#3d6080;border-color:#3d6080}._badge_pinched_mpt74_86{color:#5a7aaa;border-color:#3d6080}._badge_singleton_mpt74_87{color:#3a9a5a;border-color:#3a7a4a}._badge_settled_mpt74_88{color:#2a7a3a;border-color:#2a5a2a}._badge_contra_mpt74_89{color:#cc5050;border-color:#8a2020}._wrap_13lmg_1{display:flex;flex-direction:column;height:100%;width:100%;position:relative}._topbar_13lmg_7{display:flex;align-items:center;height:var(--bar-h);flex-shrink:0;border-bottom:1px solid var(--border);background:var(--bg1);padding:0 0 0 12px;gap:10px}._title_13lmg_14{font-size:13px;font-style:italic;color:var(--mid)}._modeToggle_13lmg_17{display:flex;align-items:center;flex-shrink:0;border-right:1px solid var(--border);height:100%;margin-left:-12px;margin-right:2px}._modeBtn_13lmg_22{padding:0 12px;height:100%;display:flex;align-items:center;font-size:9px;letter-spacing:.14em;color:var(--muted);border-right:1px solid var(--border);cursor:pointer;-webkit-user-select:none;user-select:none;transition:all var(--trans)}._modeBtn_13lmg_22:hover{background:var(--bg2);color:var(--bright)}._modeBtnOn_13lmg_31{color:var(--white);background:var(--bg2)}._sep_13lmg_33{width:1px;height:13px;background:var(--border2)}._stat_13lmg_35{font-size:9px;color:var(--muted);letter-spacing:.06em}._stat_13lmg_35 b{color:var(--bright);font-weight:400}._statusChip_13lmg_38{font-size:11px;font-weight:500;letter-spacing:.06em;padding:1px 8px;border:1px solid currentColor}._st_point_closure_13lmg_43,._st_certified_shape_13lmg_44{color:#3a9a5a}._st_open_fixpoint_13lmg_45{color:#3d6080}._st_contradiction_13lmg_46,._st_unsat_13lmg_47{color:#cc5050}._acts_13lmg_49{margin-left:auto;display:flex;align-items:center}._zoomCtrl_13lmg_51{display:flex;align-items:center;gap:0;border-left:1px solid var(--border);height:var(--bar-h);padding:0 4px}._zAuto_13lmg_57{padding:0 8px;height:100%;display:flex;align-items:center;font-size:9px;letter-spacing:.12em;color:var(--dim);cursor:pointer;-webkit-user-select:none;user-select:none;transition:color var(--trans)}._zAuto_13lmg_57:hover{color:var(--muted)}._zAutoOn_13lmg_65{color:var(--mid)}._zDivider_13lmg_67{width:1px;height:13px;background:var(--border2);margin:0 2px;flex-shrink:0}._zBtn_13lmg_69{background:transparent;border:none;color:var(--muted);font-family:var(--mono);font-size:13px;width:20px;height:100%;cursor:pointer;transition:color var(--trans);display:flex;align-items:center;justify-content:center}._zBtn_13lmg_69:hover{color:var(--white)}._zVal_13lmg_78{font-size:9px;color:var(--muted);min-width:30px;text-align:center;letter-spacing:.06em}._act_13lmg_49{padding:0 9px;height:var(--bar-h);display:flex;align-items:center;gap:5px;font-size:9px;letter-spacing:.12em;color:var(--dim);border-left:1px solid var(--border);cursor:pointer;-webkit-user-select:none;user-select:none;transition:all var(--trans)}._act_13lmg_49:before{content:"";display:inline-block;width:6px;height:6px;border:1px solid var(--border2);flex-shrink:0;transition:all var(--trans)}._act_13lmg_49:hover{background:var(--bg2);color:var(--bright)}._act_13lmg_49:hover:before{border-color:var(--muted)}._act_13lmg_49._on_13lmg_102{color:var(--white)}._act_13lmg_49._on_13lmg_102:before{background:var(--mid);border-color:var(--mid)}._main_13lmg_106{flex:1;position:relative;overflow:hidden;display:flex;align-items:center;justify-content:center}._splitView_13lmg_112{display:flex;width:100%;height:100%;align-items:stretch;position:relative;z-index:1}._splitVar_13lmg_116{flex:1;overflow:hidden;display:flex;align-items:flex-start;justify-content:center}._splitDivider_13lmg_120{width:1px;flex-shrink:0;background:var(--border)}._splitClause_13lmg_124{flex:1.2;overflow:hidden}._splitRight_13lmg_129{flex:0 0 192px;overflow:hidden;display:flex;flex-direction:column;background:var(--bg1)}._sideSection_13lmg_135{display:flex;flex-direction:column;overflow:hidden}._sideHdr_13lmg_140{height:22px;flex-shrink:0;padding:0 10px;display:flex;align-items:center;font-size:8px;letter-spacing:.18em;color:var(--muted);border-bottom:1px solid var(--border)}._sideDivider_13lmg_148{height:1px;flex-shrink:0;background:var(--border)}._sideEmpty_13lmg_150{padding:8px 10px;font-size:9px;color:var(--dim);letter-spacing:.08em}._ctrList_13lmg_156{padding:6px 0}._ctrRow_13lmg_158{display:flex;align-items:baseline;padding:2px 10px;gap:6px;font-size:9px}._ctrRow_13lmg_158:hover{background:var(--bg2)}._ctrKey_13lmg_165{color:var(--muted);letter-spacing:.06em;min-width:58px;flex-shrink:0}._ctrTotal_13lmg_169{color:var(--bright);font-size:11px;flex:1;text-align:right}._ctrSub_13lmg_170{font-size:8px;color:var(--muted)}._ctrBreakdown_13lmg_172{display:flex;align-items:baseline;gap:2px;font-size:8px;color:var(--dim)}._ctrAcc_13lmg_176{color:var(--mid)}._ctrPlus_13lmg_177{color:var(--dim)}._ctrCall_13lmg_178{color:var(--muted)}._ctrDivider_13lmg_180{height:1px;background:var(--border);margin:4px 0}._liveFeed_13lmg_183{flex:1;overflow-y:auto;padding:2px 0}._feedRow_13lmg_188{display:flex;align-items:center;gap:4px;padding:1px 8px;font-size:9px;line-height:1.6;border-left:2px solid transparent}._feedOk_13lmg_194{border-left-color:transparent}._feedFail_13lmg_195{opacity:.6}._feedPip_13lmg_197{width:5px;height:5px;border-radius:1px;flex-shrink:0}._feedCr_13lmg_201{color:var(--muted);min-width:28px}._feedJr_13lmg_202{color:var(--dim);min-width:16px}._feedResult_13lmg_203{color:var(--dim);min-width:12px}._feedDeltas_13lmg_204{display:flex;gap:3px;flex-wrap:wrap}._dW_13lmg_206{color:#3a9a5a;font-size:8px}._dPr_13lmg_207{color:#c07a30;font-size:8px}._dC_13lmg_208{color:#c44;font-size:8px}._main_13lmg_106:before{content:"";position:absolute;top:0;right:0;bottom:0;left:0;background-image:linear-gradient(rgba(255,255,255,.008) 1px,transparent 1px),linear-gradient(90deg,rgba(255,255,255,.008) 1px,transparent 1px);background-size:40px 40px;pointer-events:none}._sigWrap_13lmg_219{position:relative;z-index:1;display:flex;align-items:flex-start;justify-content:center;width:100%;overflow:auto;padding:12px}._sigString_13lmg_226{display:flex;flex-wrap:wrap;justify-content:center;gap:2px;max-width:80vw}._empty_13lmg_232{text-align:center}._emptyBig_13lmg_233{font-size:10px;letter-spacing:.35em;color:var(--dim);margin-bottom:10px}._emptySub_13lmg_234{font-size:9px;letter-spacing:.14em;color:var(--muted)}._ovpanel_13lmg_237{position:absolute;top:12px;background:var(--bg1);border:1px solid var(--border);min-width:150px;z-index:2}._ovpanelRight_13lmg_243{right:12px}._ovhdr_13lmg_245{padding:0 8px;height:22px;display:flex;align-items:center;justify-content:space-between;border-bottom:1px solid var(--border);font-size:9px;letter-spacing:.16em;color:var(--muted)}._ovhdrArrow_13lmg_252{font-size:8px;color:var(--dim);display:none}._ctrGrid_13lmg_257{display:grid;grid-template-columns:1fr 1fr;gap:6px;padding:8px}._ctrItem_13lmg_262{display:flex;flex-direction:column;gap:2px}._ctrLbl_13lmg_263{font-size:8px;color:var(--muted);letter-spacing:.1em}._ctrVal_13lmg_264{font-size:14px;font-weight:500;color:var(--bright)}._ctrPending_13lmg_266{grid-column:1 / -1;font-size:9px;color:var(--dim);letter-spacing:.1em;padding:4px 0}._ctrSpan_13lmg_272{grid-column:1 / -1;border-top:1px solid var(--border);padding-top:4px}._ctrSub_13lmg_170{font-size:9px;color:var(--muted);font-weight:400}._cxLinear_13lmg_275{color:#3a9a5a}._cxPoly_13lmg_276{color:#3a7aaa}._cxHigh_13lmg_277{color:#cc7a30}@media (max-width: 768px){._ovpanelLeft_13lmg_282{display:none}._ovpanelRight_13lmg_243{top:auto;bottom:0;right:0;left:0;min-width:0;width:100%;border-top:1px solid var(--border);border-right:none;border-left:none;max-height:140px;overflow-y:auto}._ovhdr_13lmg_245{cursor:pointer;height:28px}._ovhdrArrow_13lmg_252{display:block}._ctrGrid_13lmg_257{grid-template-columns:repeat(4,1fr);gap:4px;padding:6px}._ctrVal_13lmg_264{font-size:11px}._topbar_13lmg_7{flex-wrap:wrap;height:auto;padding:4px 8px;gap:6px}._acts_13lmg_49{margin-left:0;width:100%;border-top:1px solid var(--border);padding-top:4px}._zBtn_13lmg_69{width:32px;font-size:16px;touch-action:manipulation}._zoomCtrl_13lmg_51{padding:0 8px}}._wrap_1cxyo_1{display:flex;flex-direction:column;height:100%;width:100%;overflow:hidden}._topbar_1cxyo_7{display:flex;align-items:center;flex-shrink:0;height:var(--bar-h);padding:0 12px;gap:10px;border-bottom:1px solid var(--border);background:var(--bg1)}._statusChip_1cxyo_14{font-size:11px;font-weight:500;letter-spacing:.06em;padding:1px 8px;border:1px solid currentColor;flex-shrink:0}._statusRunning_1cxyo_18{color:var(--mid)}._statusSat_1cxyo_19{color:#3a9a5a}._statusUnsat_1cxyo_20{color:#cc5050}._sep_1cxyo_22{width:1px;height:13px;background:var(--border2);flex-shrink:0}._stat_1cxyo_14{font-size:9px;color:var(--muted);letter-spacing:.06em;white-space:nowrap}._stat_1cxyo_14 b{color:var(--bright);font-weight:400}._statGreen_1cxyo_25 b{color:#3a9a5a}._body_1cxyo_28{flex:1;overflow:hidden;position:relative;min-height:0;display:flex;flex-direction:column}._scanPhase_1cxyo_34{flex:1;display:flex;flex-direction:column;padding:20px 24px;gap:16px;overflow:hidden;animation:_fadeIn_1cxyo_1 .6s ease}._scanFadeOut_1cxyo_39{animation:_fadeOut_1cxyo_1 .6s ease forwards}@keyframes _fadeIn_1cxyo_1{0%{opacity:0}to{opacity:1}}@keyframes _fadeOut_1cxyo_1{0%{opacity:1}to{opacity:0}}._phaseLabel_1cxyo_44{font-size:9px;letter-spacing:.18em;color:var(--dim);text-transform:uppercase;margin-bottom:6px}._clauseSection_1cxyo_50{flex-shrink:0}._clauseGrid_1cxyo_52{display:flex;flex-wrap:wrap;gap:3px;align-items:flex-end}._clauseCell_1cxyo_56{width:8px;height:28px;background:var(--bg2);border:1px solid var(--border2);position:relative;overflow:hidden}._clauseFill_1cxyo_62{position:absolute;bottom:0;left:0;width:100%;background:#3a5a8a;transition:height .5s ease}._clauseMore_1cxyo_68{font-size:9px;color:var(--dim);align-self:center;padding-left:4px}._andRow_1cxyo_73{display:flex;align-items:center;gap:10px;flex-shrink:0}._andLine_1cxyo_76{flex:1;height:1px;background:var(--border2)}._andLabel_1cxyo_77{font-size:16px;color:var(--dim);font-weight:300;letter-spacing:.1em}._scanBottom_1cxyo_83{flex-shrink:0;display:flex;flex-direction:column;gap:10px}._progressBar_1cxyo_85{height:3px;background:var(--dim);position:relative;overflow:hidden}._progressFill_1cxyo_88{position:absolute;left:0;top:0;height:100%;background:#3a5a8a;transition:width .6s ease}._counter_1cxyo_93{display:flex;flex-wrap:wrap;gap:2px}._bit_1cxyo_96{width:16px;height:20px;display:flex;align-items:center;justify-content:center;font-size:10px;font-weight:500;border:1px solid var(--border2);transition:background .08s ease,color .08s ease}._bit0_1cxyo_103{background:var(--bg1);color:var(--dim);border-color:var(--border)}._bit1_1cxyo_104{background:#3c507833;color:#7a9ad8;border-color:#3a5a8a}._resultPhase_1cxyo_107{flex:1;display:flex;flex-direction:column;overflow:hidden;animation:_fadeIn_1cxyo_1 .7s ease}._viewTabs_1cxyo_113{display:flex;flex-shrink:0;border-bottom:1px solid var(--border);background:var(--bg1)}._vt_1cxyo_118{padding:0 14px;height:var(--bar-h);display:flex;align-items:center;font-size:9px;letter-spacing:.14em;color:var(--muted);border-right:1px solid var(--border);cursor:pointer;transition:all var(--trans);-webkit-user-select:none;user-select:none}._vt_1cxyo_118:hover{background:var(--bg2);color:var(--bright)}._vtOn_1cxyo_126{color:var(--white);background:var(--bg2)}._gridView_1cxyo_129{flex:1;display:flex;flex-direction:column;align-items:center;justify-content:center;overflow:hidden;position:relative;padding:16px;gap:10px}._gridCanvas_1cxyo_136{display:block;max-width:100%;max-height:calc(100% - 60px);image-rendering:pixelated;cursor:crosshair;border:1px solid var(--border2)}._hoverTip_1cxyo_144{display:flex;align-items:center;gap:10px;padding:4px 10px;background:var(--bg2);border:1px solid var(--border2);font-size:10px;flex-shrink:0}._hoverSol_1cxyo_150{border-color:#3a6a4a}._hoverNot_1cxyo_151{border-color:var(--border2)}._hoverMask_1cxyo_153{color:var(--mid);letter-spacing:.06em;flex-shrink:0}._hoverBits_1cxyo_154{display:flex;gap:1px}._hb0_1cxyo_155{color:var(--muted);font-size:9px}._hb1_1cxyo_156{color:#7a9ad8;font-size:9px}._hoverTag_1cxyo_157{color:var(--muted);font-size:9px;letter-spacing:.08em}._hoverSol_1cxyo_150 ._hoverTag_1cxyo_157{color:#3a9a5a}._gridLegend_1cxyo_160{display:flex;gap:16px;font-size:9px;color:var(--dim);letter-spacing:.08em;flex-shrink:0}._lgSat_1cxyo_164{color:#3a9a5a}._lgNot_1cxyo_165{color:var(--muted)}._lgCount_1cxyo_166{color:var(--dim);margin-left:auto}._gridTooLarge_1cxyo_168{padding:32px 24px;font-size:11px;color:var(--dim);line-height:1.8;text-align:center;letter-spacing:.06em}._listView_1cxyo_174{flex:1;overflow-y:auto;padding:6px 0}._solRow_1cxyo_178{display:flex;align-items:center;gap:10px;padding:5px 24px;border-bottom:1px solid var(--bg2);transition:background var(--trans)}._solRow_1cxyo_178:hover{background:var(--bg2)}._solIdx_1cxyo_186{font-size:9px;color:var(--dim);min-width:28px;flex-shrink:0}._solBits_1cxyo_187{display:flex;flex-wrap:wrap;gap:2px;flex:1}._sb0_1cxyo_188{font-size:10px;width:12px;text-align:center;color:var(--muted)}._sb1_1cxyo_189{font-size:10px;width:12px;text-align:center;color:#7a9ad8;font-weight:500}._solEll_1cxyo_190{font-size:10px;color:var(--dim);padding-left:4px}._solMask_1cxyo_191{font-size:10px;color:var(--mid);flex-shrink:0;letter-spacing:.06em}._unsatPanel_1cxyo_194{flex:1;display:flex;flex-direction:column;align-items:center;justify-content:center;gap:12px;padding:32px;position:relative;overflow:hidden}._unsatPanel_1cxyo_194:before{content:"";position:absolute;top:0;right:0;bottom:0;left:0;background:radial-gradient(ellipse at 50% 50%,rgba(100,15,15,.15) 0%,transparent 70%);animation:_unsatPulse_1cxyo_1 3s ease infinite;pointer-events:none}@keyframes _unsatPulse_1cxyo_1{0%,to{opacity:.5}50%{opacity:1}}._unsatGlyph_1cxyo_213{font-size:80px;font-weight:300;color:#8a2020;letter-spacing:0;line-height:1;text-shadow:0 0 40px rgba(140,30,30,.4);animation:_unsatGlow_1cxyo_1 3s ease infinite}@keyframes _unsatGlow_1cxyo_1{0%,to{text-shadow:0 0 30px rgba(140,30,30,.3)}50%{text-shadow:0 0 60px rgba(180,40,40,.7)}}._unsatLabel_1cxyo_226{font-size:11px;letter-spacing:.28em;color:#7a3030;text-transform:uppercase}._unsatSub_1cxyo_231{font-size:10px;color:var(--dim);letter-spacing:.08em;text-align:center;line-height:1.8}._unsatCanvas_1cxyo_236{display:block;width:180px;height:180px;image-rendering:pixelated;border:1px solid #3a1a1a;opacity:.6;filter:sepia(.3) hue-rotate(-10deg);margin-top:8px}._viewport_10uf5_2{width:100%;height:100%;position:relative;overflow:hidden;background-color:#0a0a12;background-image:radial-gradient(circle at 1px 1px,rgba(0,240,255,.022) 1px,transparent 1px);background-size:40px 40px;cursor:grab;-webkit-user-select:none;user-select:none;font-family:var(--mono)}._viewport_10uf5_2._panning_10uf5_14{cursor:grabbing}._canvas_10uf5_17{position:absolute;top:0;right:0;bottom:0;left:0;width:100%;height:100%;pointer-events:none;z-index:1}._world_10uf5_27{position:absolute;top:0;left:0;width:1px;height:1px;transform-origin:0 0;overflow:visible;z-index:2}._hud_10uf5_39{position:absolute;top:10px;right:12px;z-index:20;display:flex;align-items:center;gap:8px;pointer-events:none}._hudBtn_10uf5_49{pointer-events:auto;font-family:var(--mono);font-size:9px;font-weight:600;letter-spacing:.1em;text-transform:uppercase;color:#5a5a72;background:#12121ebf;-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);border:1px solid rgba(0,240,255,.06);border-radius:6px;padding:4px 10px;cursor:pointer;transition:color .2s,border-color .2s}._hudBtn_10uf5_49:hover{color:#00f0ff;border-color:#00f0ff33}._hudHint_10uf5_67{font-size:8px;letter-spacing:.06em;color:#2a2a3a;pointer-events:none}._stats_10uf5_75{position:absolute;bottom:14px;left:14px;z-index:20;background:#0c0c16d1;-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);border:1px solid rgba(0,240,255,.07);border-radius:8px;padding:10px 14px;display:flex;flex-direction:column;gap:4px;min-width:160px;pointer-events:none}._statsRow_10uf5_91{display:flex;justify-content:space-between;align-items:baseline;gap:12px}._statsSep_10uf5_97{height:1px;background:#00f0ff0f;margin:3px 0}._statsKey_10uf5_102{font-size:8px;font-weight:600;letter-spacing:.1em;text-transform:uppercase;color:#38384e}._statsVal_10uf5_109{font-size:10px;color:#525268;text-align:right}._statsMono_10uf5_114{font-size:9px;font-family:var(--mono);color:#525268;letter-spacing:.04em;text-align:right;max-width:100px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}._statsSat_10uf5_125{color:#00f0ff!important}._statsUnsat_10uf5_126{color:#cc4040!important}._node_10uf5_129{position:absolute;display:flex;flex-direction:column;align-items:center;justify-content:center;gap:4px;background:#16162a;border:1.5px solid #2a2a44;border-radius:12px;cursor:grab;transition:border-color .25s ease,box-shadow .25s ease}._node_10uf5_129:active{cursor:grabbing}._stTrue_10uf5_145{border-color:#00f0ff4d!important;box-shadow:inset 0 0 20px #00f0ff12,0 0 18px #00f0ff26}._stFalse_10uf5_150{border-color:#ff3c3c47!important;box-shadow:inset 0 0 16px #ff3c3c0d}._inspected_10uf5_156{border-color:#b478ff73!important;box-shadow:inset 0 0 18px #b478ff14,0 0 16px #b478ff33}._nodeLbl_10uf5_165{font-size:11px;font-weight:600;letter-spacing:.05em;color:#5a5a72;transition:color .25s;pointer-events:none}._stTrue_10uf5_145 ._nodeLbl_10uf5_165{color:#00f0ff}._stFalse_10uf5_150 ._nodeLbl_10uf5_165{color:#cc4040}._nodeVal_10uf5_176{font-size:9px;color:#4a4a5a;transition:color .25s;pointer-events:none}._stTrue_10uf5_145 ._nodeVal_10uf5_176{color:#00f0ff99}._stFalse_10uf5_150 ._nodeVal_10uf5_176{color:#cc404099}._toggle_10uf5_186{width:30px;height:16px;background:#12121e;border:1.5px solid #2a2a44;border-radius:9px;position:relative;cursor:pointer;flex-shrink:0;transition:all .25s cubic-bezier(.34,1.56,.64,1)}._toggle_10uf5_186:after{content:"";position:absolute;width:11px;height:11px;border-radius:50%;background:#5a5a72;top:1px;left:1.5px;transition:all .25s cubic-bezier(.34,1.56,.64,1)}._toggleOn_10uf5_208{background:#00f0ff1a;border-color:#00f0ff80}._toggleOn_10uf5_208:after{left:15px;background:#00f0ff;box-shadow:0 0 8px #00f0ff80}._gateSvg_10uf5_221{width:36px;height:24px;color:#4a4a60;flex-shrink:0;transition:color .25s;pointer-events:none}._stTrue_10uf5_145 ._gateSvg_10uf5_221{color:#00f0ff}._stFalse_10uf5_150 ._gateSvg_10uf5_221{color:#cc4040}._gateType_10uf5_232{font-size:9px;font-weight:600;letter-spacing:.12em;color:#4a4a60;transition:color .25s;pointer-events:none}._stTrue_10uf5_145 ._gateType_10uf5_232{color:#00f0ff80}._stFalse_10uf5_150 ._gateType_10uf5_232{color:#cc404080}._gateIdx_10uf5_243{position:absolute;top:3px;left:5px;font-size:7px;color:#2a2a3a;pointer-events:none}._outNode_10uf5_253{border-radius:50%!important;gap:2px}._outNode_10uf5_253._stTrue_10uf5_145{animation:_breathe_10uf5_1 2.2s ease-in-out infinite}@keyframes _breathe_10uf5_1{0%,to{box-shadow:0 0 20px #00f0ff59,0 0 50px #00f0ff14}50%{box-shadow:0 0 32px #00f0ff80,0 0 72px #00f0ff1f}}._outPhi_10uf5_265{font-size:16px;font-weight:600;color:#4a4a60;transition:color .25s;pointer-events:none}._stTrue_10uf5_145 ._outPhi_10uf5_265{color:#00f0ff}._stFalse_10uf5_150 ._outPhi_10uf5_265{color:#cc4040}._outVal_10uf5_275{font-size:10px;font-weight:600;color:#4a4a60;transition:color .25s;pointer-events:none}._stTrue_10uf5_145 ._outVal_10uf5_275{color:#00f0ff}._stFalse_10uf5_150 ._outVal_10uf5_275{color:#cc4040}._portR_10uf5_286,._portL_10uf5_286,._portLA_10uf5_286,._portLB_10uf5_286,._portLC_10uf5_286{position:absolute;width:9px;height:9px;border-radius:50%;background:#12121e;border:1.5px solid #2a2a44;transition:background .2s,border-color .2s,box-shadow .2s;pointer-events:none}._portR_10uf5_286{right:-5px;top:calc(50% - 4.5px)}._portL_10uf5_286{left:-5px;top:calc(50% - 4.5px)}._portLA_10uf5_286{left:-5px;top:calc(22% - 4.5px)}._portLB_10uf5_286{left:-5px;top:calc(50% - 4.5px)}._portLC_10uf5_286{left:-5px;top:calc(78% - 4.5px)}._portLDyn_10uf5_313{position:absolute;left:-5px;width:9px;height:9px;border-radius:50%;border:1.5px solid #2a2a44;background:#12121e;transition:background .2s,border-color .2s,box-shadow .2s;pointer-events:none}._stTrue_10uf5_145 ._portR_10uf5_286,._stTrue_10uf5_145 ._portL_10uf5_286{background:#00f0ff;border-color:#00f0ff;box-shadow:0 0 8px #00f0ff99}._popup_10uf5_334{position:absolute;z-index:30;background:#0a0a14f2;-webkit-backdrop-filter:blur(14px);backdrop-filter:blur(14px);border:1px solid rgba(180,120,255,.2);border-radius:10px;padding:10px 12px;min-width:190px;max-width:240px;display:flex;flex-direction:column;gap:5px;box-shadow:0 4px 32px #0009,0 0 20px #b478ff0f;cursor:default;pointer-events:auto}._popupHeader_10uf5_352{display:flex;align-items:center;gap:6px;margin-bottom:2px}._popupTitle_10uf5_358{font-size:11px;font-weight:700;letter-spacing:.08em;color:#b478ff}._popupStatus_10uf5_364{font-size:8px;font-weight:600;letter-spacing:.1em;text-transform:uppercase;flex:1}._popupClose_10uf5_371{background:none;border:none;color:#38384e;font-size:14px;line-height:1;cursor:pointer;padding:0 2px;font-family:var(--mono);transition:color .15s}._popupClose_10uf5_371:hover{color:#cc4040}._popupLitRow_10uf5_385{display:flex;align-items:center;gap:6px;padding:3px 5px;border-radius:4px;border:1px solid transparent;background:#ffffff05}._popupLitName_10uf5_394{font-size:10px;font-weight:600;letter-spacing:.04em;flex:1}._popupNeg_10uf5_400{opacity:.7;margin-right:1px}._popupLitSig_10uf5_404{font-size:8px;color:#38384e;letter-spacing:.04em}._popupLitVal_10uf5_409{font-size:10px;font-weight:700;width:12px;text-align:right}._popupSep_10uf5_417{height:1px;background:#b478ff1a;margin:2px 0}._popupRow_10uf5_422{display:flex;justify-content:space-between;align-items:baseline;gap:8px}._popupKey_10uf5_428{font-size:8px;font-weight:600;letter-spacing:.1em;text-transform:uppercase;color:#38384e}._popupVal_10uf5_435{font-size:10px;color:#7878a0;text-align:right}._popupMono_10uf5_440{font-size:9px;font-family:var(--mono);color:#7878a0;letter-spacing:.04em;text-align:right}._empty_10uf5_449{width:100%;height:100%;display:flex;align-items:center;justify-content:center;color:#525268;font-size:11px;letter-spacing:.12em;background:#0a0a12;font-family:var(--mono)}._shell_vsk0t_1{display:grid;grid-template-rows:var(--hdr-h) 1fr auto;grid-template-columns:1fr;grid-template-areas:"hd" "bd" "bt";height:100dvh;width:100vw}._header_vsk0t_10{grid-area:hd;display:flex;align-items:center;gap:0;border-bottom:1px solid var(--border);background:var(--bg1);overflow:hidden;padding:0}._logo_vsk0t_17{padding:0 16px;height:100%;display:flex;align-items:center;border-right:1px solid var(--border);font-size:11px;font-weight:600;letter-spacing:.28em;color:var(--white);white-space:nowrap;flex-shrink:0;text-decoration:none;transition:color var(--trans)}._logo_vsk0t_17:hover{color:var(--bright)}._devChip_vsk0t_29{padding:0 10px;height:100%;display:flex;align-items:center;border-right:1px solid var(--border);font-size:8px;letter-spacing:.2em;color:var(--dim);text-decoration:none;flex-shrink:0;transition:color var(--trans)}._devChip_vsk0t_29:hover{color:var(--bright)}._meta_vsk0t_39{display:flex;align-items:center;gap:0;padding:0 16px;flex:1;overflow:hidden}._metaItem_vsk0t_44{font-size:11px;color:var(--bright);margin-right:14px;white-space:nowrap}._metaSep_vsk0t_45{color:var(--muted);margin-right:14px;font-size:10px}._helpBtn_vsk0t_47{background:transparent;border:1px solid var(--border2);color:var(--muted);font-family:var(--mono);font-size:11px;width:22px;height:22px;border-radius:50%;cursor:pointer;margin-left:auto;flex-shrink:0;display:flex;align-items:center;justify-content:center;transition:all var(--trans)}._helpBtn_vsk0t_47:hover{border-color:var(--mid);color:var(--white)}._connDot_vsk0t_57{width:6px;height:6px;border-radius:50%;margin-left:10px;margin-right:14px;flex-shrink:0;transition:background .4s ease}._connOn_vsk0t_62{background:#2a6a3a;box-shadow:0 0 4px #2a6a3a}._connOff_vsk0t_63{background:#5a2020;animation:_connPulse_vsk0t_1 1.4s ease infinite}@keyframes _connPulse_vsk0t_1{0%,to{opacity:1}50%{opacity:.3}}._statusTag_vsk0t_70{margin-left:auto;padding:0 18px;height:100%;display:flex;align-items:center;border-left:1px solid var(--border);flex-shrink:0;font-size:13px;letter-spacing:.08em;font-weight:500;color:var(--mid)}._openfixpoint_vsk0t_79{color:#3d6080}._pointclosure_vsk0t_80,._certifiedshape_vsk0t_81{color:#3a9a5a;background:#1e50281f}._contradiction_vsk0t_82{color:#cc5050}._unsat_vsk0t_83{color:#cc5050;background:#5014141f}._resultOverlay_vsk0t_86{position:fixed;top:0;right:0;bottom:0;left:0;z-index:100;display:flex;align-items:center;justify-content:center;pointer-events:none;animation:_resultFadeOut_vsk0t_1 2.8s ease forwards}._resultOverlay_vsk0t_86._sat_vsk0t_93{background:radial-gradient(ellipse at 50% 50%,rgba(30,80,40,.22) 0%,transparent 70%)}._resultOverlay_vsk0t_86._unsat_vsk0t_83{background:radial-gradient(ellipse at 50% 50%,rgba(80,20,20,.22) 0%,transparent 70%)}@keyframes _resultFadeOut_vsk0t_1{0%{opacity:1}40%{opacity:1}to{opacity:0}}._resultText_vsk0t_102{font-size:48px;font-weight:300;letter-spacing:.3em;animation:_resultTextAnim_vsk0t_1 2.8s ease forwards}._resultOverlay_vsk0t_86._sat_vsk0t_93 ._resultText_vsk0t_102{color:#3a9a5a}._resultOverlay_vsk0t_86._unsat_vsk0t_83 ._resultText_vsk0t_102{color:#9a3a3a}@keyframes _resultTextAnim_vsk0t_1{0%{opacity:0;transform:scale(.92)}20%{opacity:1;transform:scale(1)}65%{opacity:1;transform:scale(1)}to{opacity:0;transform:scale(1.04)}}._body_vsk0t_119{grid-area:bd;display:flex;overflow:hidden;min-height:0}._sidebar_vsk0t_125{width:var(--trace-w);flex-shrink:0;border-right:1px solid var(--border);display:flex;flex-direction:column;overflow:hidden;background:var(--bg1);transition:width .18s ease}._sidebarClosed_vsk0t_133{width:28px}._sideToggle_vsk0t_135{display:flex;align-items:center;justify-content:space-between;padding:0 10px;height:var(--bar-h);flex-shrink:0;border-bottom:1px solid var(--border);cursor:pointer;-webkit-user-select:none;user-select:none;transition:background var(--trans)}._sideToggle_vsk0t_135:hover{background:var(--bg2)}._sideToggleFull_vsk0t_143{height:100%;justify-content:center;padding:0}._sectionToggle_vsk0t_146{display:flex;align-items:center;padding:0 10px;height:var(--bar-h);flex-shrink:0;border-bottom:1px solid var(--border);cursor:pointer;-webkit-user-select:none;user-select:none;transition:background var(--trans);gap:6px}._sectionToggle_vsk0t_146:hover{background:var(--bg2)}._sectionTitle_vsk0t_155{font-size:9px;letter-spacing:.18em;color:var(--muted);flex:1}._sectionCount_vsk0t_156{font-size:9px;color:var(--dim)}._sectionArrow_vsk0t_157{font-size:8px;color:var(--dim)}._sectionBody_vsk0t_159{overflow:hidden;display:flex;flex-direction:column;border-bottom:1px solid var(--border);min-height:0}._dragHandle_vsk0t_165{height:4px;flex-shrink:0;background:var(--border);cursor:row-resize;transition:background var(--trans)}._dragHandle_vsk0t_165:hover{background:var(--border2)}._logScroll_vsk0t_174{flex:1;overflow-y:auto;padding:5px 8px}._logLine_vsk0t_175{font-size:10px;color:var(--muted);padding:2px 0;border-bottom:1px solid var(--bg2);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}._main_vsk0t_182{flex:1;display:flex;flex-direction:column;overflow:hidden;background:var(--bg);position:relative;min-width:0}._main_vsk0t_182:before{content:"";position:absolute;top:0;right:0;bottom:0;left:0;background-image:linear-gradient(rgba(255,255,255,.008) 1px,transparent 1px),linear-gradient(90deg,rgba(255,255,255,.008) 1px,transparent 1px);background-size:40px 40px;pointer-events:none;z-index:0}._vizTabs_vsk0t_197{display:flex;border-bottom:1px solid var(--border);flex-shrink:0;background:var(--bg1);position:relative;z-index:1}._vtab_vsk0t_202{padding:0 14px;height:var(--bar-h);display:flex;align-items:center;font-size:9px;letter-spacing:.16em;color:var(--muted);border-right:1px solid var(--border);cursor:pointer;transition:all var(--trans);-webkit-user-select:none;user-select:none}._vtab_vsk0t_202:hover{background:var(--bg2);color:var(--bright)}._vtabActive_vsk0t_210{color:var(--white);background:var(--bg2)}._vtabPulse_vsk0t_212{display:inline-block;width:5px;height:5px;border-radius:50%;background:#7a9ad8;margin-left:7px;animation:_tabPulse_vsk0t_1 1s ease infinite}@keyframes _tabPulse_vsk0t_1{0%,to{opacity:1}50%{opacity:.2}}._vizArea_vsk0t_223{flex:1;overflow:hidden;position:relative;z-index:1;min-height:0}._bottom_vsk0t_228{grid-area:bt;border-top:1px solid var(--border);display:flex;flex-direction:column;background:var(--bg1);overflow:hidden;transition:height .18s ease;height:var(--bot-h)}._bottomClosed_vsk0t_237{height:var(--bar-h)}._bottomToggle_vsk0t_239{display:flex;align-items:center;justify-content:space-between;padding:0 12px;height:var(--bar-h);flex-shrink:0;border-bottom:1px solid var(--border);cursor:pointer;-webkit-user-select:none;user-select:none;transition:background var(--trans)}._bottomToggle_vsk0t_239:hover{background:var(--bg2)}._bottomBody_vsk0t_248{flex:1;overflow:hidden;min-height:0}._panelTitle_vsk0t_251{font-size:9px;letter-spacing:.2em;color:var(--muted)}._panelArrow_vsk0t_252{font-size:9px;color:var(--dim)}._panelVertical_vsk0t_253{font-size:8px;letter-spacing:.22em;color:var(--dim);writing-mode:vertical-rl;text-orientation:mixed;transform:rotate(180deg);-webkit-user-select:none;user-select:none}@media (max-width: 768px){._shell_vsk0t_1{grid-template-rows:var(--hdr-h) 1fr auto auto;grid-template-areas:"hd" "bd" "bt";height:100dvh}._body_vsk0t_119{flex-direction:column-reverse}._sidebar_vsk0t_125{width:100%;height:180px;border-right:none;border-top:1px solid var(--border);transition:height .18s ease}._sidebarClosed_vsk0t_133{width:100%;height:var(--bar-h)}._bottom_vsk0t_228{height:auto;max-height:60vh}._metaItem_vsk0t_44{font-size:10px}._statusTag_vsk0t_70{font-size:11px}._resultText_vsk0t_102{font-size:32px}}._page_g1kmg_1{height:100dvh;width:100vw;display:flex;flex-direction:column;background:var(--bg);color:var(--bright);font-family:var(--mono);overflow:hidden}._nav_g1kmg_9{display:flex;align-items:center;gap:0;height:40px;flex-shrink:0;border-bottom:1px solid var(--border);background:var(--bg1);padding:0}._navBack_g1kmg_17{padding:0 16px;height:100%;display:flex;align-items:center;font-size:10px;letter-spacing:.14em;color:var(--muted);text-decoration:none;border-right:1px solid var(--border);transition:color var(--trans),background var(--trans)}._navBack_g1kmg_17:hover{color:var(--white);background:var(--bg2)}._navTitle_g1kmg_26{flex:1;padding:0 16px;font-size:10px;letter-spacing:.2em;color:var(--bright)}._navLink_g1kmg_31{padding:0 16px;height:100%;display:flex;align-items:center;font-size:10px;letter-spacing:.12em;color:var(--muted);text-decoration:none;border-left:1px solid var(--border);transition:color var(--trans),background var(--trans)}._navLink_g1kmg_31:hover{color:var(--white);background:var(--bg2)}._viewer_g1kmg_40{flex:1;overflow:hidden;background:#1a1a1a}._frame_g1kmg_45{width:100%;height:100%;border:none;background:#1a1a1a}@media (max-width: 768px){._navTitle_g1kmg_26{font-size:9px}}._page_pc7so_1{height:100dvh;width:100vw;display:flex;flex-direction:column;background:var(--bg);color:var(--bright);font-family:var(--mono);overflow:hidden}._nav_pc7so_9{display:flex;align-items:center;height:40px;flex-shrink:0;border-bottom:1px solid var(--border);background:var(--bg1)}._navBack_pc7so_16{padding:0 16px;height:100%;display:flex;align-items:center;font-size:10px;letter-spacing:.14em;color:var(--muted);text-decoration:none;border-right:1px solid var(--border);transition:color var(--trans),background var(--trans)}._navBack_pc7so_16:hover{color:var(--white);background:var(--bg2)}._navTitle_pc7so_25{padding:0 16px;font-size:10px;letter-spacing:.2em;color:var(--bright)}._navSub_pc7so_30{font-size:9px;letter-spacing:.14em;color:var(--dim)}._body_pc7so_35{flex:1;display:flex;overflow:hidden;min-height:0}._tree_pc7so_40{width:240px;flex-shrink:0;border-right:1px solid var(--border);display:flex;flex-direction:column;overflow:hidden;background:var(--bg1)}._searchWrap_pc7so_47{padding:8px;border-bottom:1px solid var(--border);flex-shrink:0}._search_pc7so_47{width:100%;background:var(--bg);border:1px solid var(--border2);color:var(--bright);font-family:var(--mono);font-size:10px;padding:4px 7px;outline:none}._search_pc7so_47:focus{border-color:var(--mid)}._search_pc7so_47::placeholder{color:var(--dim)}._treeMsg_pc7so_62{padding:12px;font-size:10px;color:var(--dim)}._treeScroll_pc7so_64{flex:1;overflow-y:auto}._treeGroup_pc7so_66{flex-shrink:0}._treeGroupTitle_pc7so_68{font-size:9px;letter-spacing:.18em;color:var(--dim);padding:10px 10px 4px;text-transform:uppercase;border-bottom:1px solid var(--border);position:sticky;top:0;background:var(--bg1);z-index:1}._treeDir_pc7so_75{display:flex;align-items:center;gap:4px;padding:4px 10px;font-size:10px;color:var(--muted);-webkit-user-select:none;user-select:none;border-bottom:1px solid var(--border)}._treeDirIcon_pc7so_83{font-size:8px;color:var(--dim);flex-shrink:0}._treeFile_pc7so_85{padding:4px 10px;font-size:10px;color:var(--muted);cursor:pointer;border-bottom:1px solid var(--border);white-space:nowrap;overflow:hidden;text-overflow:ellipsis;transition:background var(--trans),color var(--trans)}._treeFile_pc7so_85:hover{background:var(--bg2);color:var(--bright)}._treeFileActive_pc7so_94{color:var(--white);background:var(--bg2);border-left:2px solid var(--mid)}._viewer_pc7so_97{flex:1;display:flex;flex-direction:column;overflow:hidden;min-width:0}._filebar_pc7so_102{display:flex;align-items:center;gap:12px;padding:0 16px;height:32px;flex-shrink:0;border-bottom:1px solid var(--border);background:var(--bg1)}._filepath_pc7so_109{flex:1;font-size:10px;color:var(--white);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}._filelang_pc7so_114{font-size:9px;letter-spacing:.12em;color:var(--muted);padding:2px 6px;border:1px solid var(--border2)}._fileLines_pc7so_119{font-size:9px;color:var(--dim)}._codeWrap_pc7so_123{flex:1;overflow:auto;padding:16px}._code_pc7so_123{font-family:var(--mono);font-size:11px;line-height:1.65;color:var(--bright);white-space:pre;-moz-tab-size:4;tab-size:4;outline:none}.hl-kw{color:#7a8ad8}.hl-str{color:#7aaa7a}.hl-cmt{color:#44445a;font-style:italic}.hl-num{color:#c89a60}._empty_pc7so_140{display:flex;align-items:center;justify-content:center;flex:1;font-size:11px;color:var(--dim)}@media (max-width: 768px){._tree_pc7so_40{width:150px}._code_pc7so_123{font-size:10px}}._page_j03cr_1{min-height:100dvh;background:var(--bg);color:var(--bright);font-family:var(--mono);display:flex;flex-direction:column}._nav_j03cr_10{display:flex;align-items:center;height:40px;flex-shrink:0;border-bottom:1px solid var(--border);background:var(--bg1)}._navBack_j03cr_17{padding:0 18px;height:100%;display:flex;align-items:center;font-size:11px;letter-spacing:.14em;color:var(--muted);text-decoration:none;border-right:1px solid var(--border);transition:color var(--trans),background var(--trans)}._navBack_j03cr_17:hover{color:var(--white);background:var(--bg2)}._navTitle_j03cr_26{padding:0 18px;font-size:11px;letter-spacing:.22em;color:var(--bright)}._body_j03cr_32{flex:1;display:flex;flex-direction:column;align-items:center;max-width:600px;width:100%;margin:0 auto;padding:64px 32px 96px;gap:44px}._intro_j03cr_43{display:flex;flex-direction:column;gap:14px;width:100%}._introHead_j03cr_45{font-size:13px;letter-spacing:.26em;color:var(--white);text-transform:uppercase}._introSub_j03cr_50{font-size:13px;line-height:1.9;color:var(--bright);letter-spacing:.03em}._emailLink_j03cr_55{font-size:11px;letter-spacing:.12em;color:var(--mid);text-decoration:none;transition:color var(--trans)}._emailLink_j03cr_55:hover{color:var(--white)}._form_j03cr_63{display:flex;flex-direction:column;gap:28px;width:100%}._row_j03cr_67{display:flex;flex-direction:column;gap:8px}._label_j03cr_71{font-size:10px;letter-spacing:.22em;color:var(--mid);text-transform:uppercase}._input_j03cr_76,._textarea_j03cr_77{background:var(--bg1);border:1px solid var(--border2);color:var(--white);font-family:var(--mono);font-size:13px;padding:10px 12px;outline:none;transition:border-color var(--trans);width:100%;box-sizing:border-box}._input_j03cr_76:focus,._textarea_j03cr_77:focus{border-color:var(--mid)}._input_j03cr_76::placeholder,._textarea_j03cr_77::placeholder{color:var(--dim)}._textarea_j03cr_77{resize:vertical;line-height:1.7;min-height:140px}._errMsg_j03cr_99{font-size:11px;color:#e05050;letter-spacing:.08em}._actions_j03cr_104{display:flex;justify-content:center}._submit_j03cr_106{padding:0 36px;height:40px;background:var(--bg2);border:1px solid var(--border2);color:var(--bright);font-family:var(--mono);font-size:11px;letter-spacing:.2em;cursor:pointer;transition:all var(--trans)}._submit_j03cr_106:hover:not(:disabled){border-color:var(--mid);color:var(--white);background:var(--bg3)}._submit_j03cr_106:disabled{opacity:.35;cursor:not-allowed}._sent_j03cr_119{display:flex;flex-direction:column;gap:12px;padding:28px 32px;border:1px solid var(--border);background:var(--bg1);width:100%;text-align:center}._sentHead_j03cr_128{font-size:14px;letter-spacing:.14em;color:var(--white)}._sentSub_j03cr_132{font-size:12px;color:var(--muted);letter-spacing:.04em}._reset_j03cr_136{margin-top:6px;background:transparent;border:none;color:var(--dim);font-family:var(--mono);font-size:10px;letter-spacing:.14em;cursor:pointer;transition:color var(--trans);padding:0}._reset_j03cr_136:hover{color:var(--bright)}@media (max-width: 768px){._body_j03cr_32{padding:40px 20px 64px}}