._screen_b532w_3,._screenDead_b532w_4{background:#07070a;border:2px solid #000;flex-direction:column;min-height:0;display:flex;box-shadow:inset 0 0 0 2px #2c2c34}._screenDead_b532w_4{background:#0b0b0e;box-shadow:inset 0 0 0 2px #1d1d24}._screenTop_b532w_18{background:#101016;border-bottom:2px solid #000;justify-content:space-between;align-items:center;gap:8px;padding:7px 9px;display:flex}._screenTitle_b532w_28{letter-spacing:.08em;color:var(--ink);margin:0;font-size:7px}._screenDead_b532w_4 ._screenTitle_b532w_28{color:#454c56}._screenLed_b532w_39{background:var(--phos);flex-shrink:0;width:5px;height:5px;box-shadow:1px 1px #000}._screenLedDead_b532w_47{background:#232830;flex-shrink:0;width:5px;height:5px;box-shadow:1px 1px #000}._screenBody_b532w_55{overflow-anchor:none;flex-direction:column;flex:1;min-height:0;padding:11px;display:flex;overflow:auto}._deadNote_b532w_67{font-family:var(--font-mono);letter-spacing:.05em;color:#333a42;text-align:center;margin:auto;font-size:11px}._note_b532w_78{font-family:var(--font-mono);color:#98a2ae;margin:0 0 11px;font-size:11px;line-height:1.65}._formula_b532w_86{color:var(--phos);margin:0 0 13px;font-size:8px;line-height:1.8}._terms_b532w_93{margin:0 0 12px}._term_b532w_93{margin-bottom:9px}._term_b532w_93 dt{letter-spacing:.05em;color:var(--ink);font-size:7px}._term_b532w_93 dd{font-family:var(--font-mono);color:#7d8794;margin:5px 0 0;font-size:11px;line-height:1.65}._weight_b532w_115{color:var(--phos)}._logScroll_b532w_119{flex:1;min-height:0;overflow-y:auto}._log_b532w_119{font-family:var(--font-mono);margin:0;padding:0;font-size:11px;line-height:1.65;list-style:none}._stepInfo_b532w_134{color:#7d8794}._stepOk_b532w_138{color:var(--phos)}._stepFail_b532w_142{color:var(--amber)}._stepVerdict_b532w_146{color:#eaf6ff;margin:2px 0 9px}._source_b532w_151{font-family:var(--font-mono);color:#a6f0c0;margin:0 0 11px;padding:0;font-size:11px;line-height:1.9;list-style:none}._source_b532w_151 li{white-space:nowrap}._sourceChanged_b532w_166{color:var(--amber)}._lineNo_b532w_170{color:#45454f;margin-right:9px}._changedTag_b532w_175{white-space:normal;color:var(--amber);opacity:.75;margin-left:10px;font-size:10px}._facts_b532w_184{font-family:var(--font-mono);color:#98a2ae;margin:0;padding:0;font-size:11px;line-height:1.65;list-style:none}._facts_b532w_184 li{margin-bottom:13px}._facts_b532w_184 li:last-child{margin-bottom:0}._factNo_b532w_202{color:var(--phos);margin-right:9px}._factorLabel_b532w_209{letter-spacing:.08em;color:#5c6470;margin:0 0 6px;font-size:6px}._factors_b532w_216{font-family:var(--font-mono);color:var(--phos);word-break:break-word;margin:0 0 12px;font-size:12px;line-height:1.7}._factors_b532w_216 sup{color:var(--amber);font-size:9px}._portrait_b532w_231{align-self:center;margin:2px 0 8px;position:relative;overflow:hidden}._portraitDim_b532w_238,._portraitBright_b532w_239{font-family:var(--font-mono);letter-spacing:0;white-space:pre;margin:0;font-size:8px;line-height:1}._portraitDim_b532w_238{color:#1f5e3a}._portraitBright_b532w_239{color:var(--phos);text-shadow:0 0 4px #57e38959;position:absolute;inset:0}._encodingScroll_b532w_261{overflow-anchor:none;flex:1;min-height:0;overflow-y:auto}._identity_b532w_268{letter-spacing:.05em;color:var(--ink);margin:0 0 11px;font-size:7px;line-height:1.9}._chassis_tr6lb_1{background:var(--bezel);width:100%;max-width:1800px;height:100dvh;box-shadow:inset 0 0 0 3px var(--bezel-edge);flex-direction:column;gap:clamp(8px,.9vw,14px);margin:0 auto;padding:clamp(10px,1.4vw,22px);display:flex;overflow:hidden}._topPlate_tr6lb_20{flex-wrap:wrap;justify-content:space-between;align-items:flex-start;gap:16px;display:flex}._name_tr6lb_28{letter-spacing:.04em;color:var(--ink);margin:0 0 8px;font-size:13px;line-height:1.6}._role_tr6lb_36{letter-spacing:.05em;color:var(--ink-dim);margin:0;font-size:7px;line-height:1.8}._lamps_tr6lb_44{align-items:center;gap:14px;display:flex}._lampGroup_tr6lb_50{letter-spacing:.08em;color:#5c6470;align-items:center;gap:5px;font-size:6px;display:flex}._lampOn_tr6lb_59,._lampOff_tr6lb_60,._lampBusy_tr6lb_61,._lampDrift_tr6lb_62{width:7px;height:7px;display:inline-block;box-shadow:1px 1px #000}._lampOn_tr6lb_59{background:var(--phos)}._lampOff_tr6lb_60{background:#2c2c34}._lampBusy_tr6lb_61{background:var(--amber);animation:1.8s steps(1,jump-none) infinite _blink_tr6lb_1}._lampDrift_tr6lb_62{background:#5aa7d6;animation:3.4s steps(1,jump-none) infinite _blink_tr6lb_1}@keyframes _blink_tr6lb_1{0%,49%{opacity:1}50%,to{opacity:.25}}._screens_tr6lb_100{flex:1;grid-template-rows:minmax(0,1.25fr) minmax(0,1fr);grid-template-columns:clamp(190px,19vw,340px) repeat(3,minmax(0,1fr));grid-template-areas:"canvas log log encoding""canvas source axioms notes";gap:clamp(8px,.8vw,12px);min-height:0;display:grid}._areaCanvas_tr6lb_116{grid-area:canvas}._areaLog_tr6lb_120{grid-area:log}._areaSource_tr6lb_124{grid-area:source}._areaAxioms_tr6lb_128{grid-area:axioms}._areaEncoding_tr6lb_132{grid-area:encoding}._areaFacts_tr6lb_136{grid-area:notes}._output_tr6lb_142{flex-direction:column;gap:10px;height:100%;display:flex}._tube_tr6lb_149{background:#000;border:2px solid #000;flex:1;min-height:0;overflow:hidden;box-shadow:inset 0 0 0 2px #45454f}._tube_tr6lb_149 canvas{object-fit:contain;width:100%;height:100%;image-rendering:pixelated;image-rendering:crisp-edges;display:block}._outputReadout_tr6lb_169{flex-wrap:wrap;align-items:baseline;gap:8px;margin-top:auto;display:flex}._genBig_tr6lb_177{color:var(--ink);font-size:26px;line-height:1}._genLabel_tr6lb_183{letter-spacing:.1em;color:#5c6470;font-size:6px}._util_tr6lb_189{letter-spacing:.04em;color:var(--ink-dim);margin-left:auto;font-size:7px}._channels_tr6lb_198{display:none}._channel_tr6lb_198{min-width:54px;color:var(--ink);letter-spacing:.04em;cursor:pointer;background:#0d0d12;border:2px solid #45454f;flex:1;padding:10px 4px;font-family:inherit;font-size:7px}._channel_tr6lb_198[aria-pressed=true]{background:var(--phos);color:#050806;border-color:var(--phos)}._channel_tr6lb_198:disabled{color:#454c56;cursor:default;border-color:#2c2c34}._status_tr6lb_229{color:#d7dbe0;background:#07070a;border:2px solid #2c2c34;min-height:2.7em;margin:0;padding:9px 10px;font-size:7px;line-height:1.9}._bottomPlate_tr6lb_242{border-top:2px solid #2c2c34;flex-wrap:wrap;justify-content:space-between;align-items:center;gap:12px;padding-top:12px;display:flex}._stats_tr6lb_252{letter-spacing:.06em;color:#5c6470;flex-wrap:wrap;gap:14px;font-size:6px;display:flex}._prove_tr6lb_261{color:var(--ink);letter-spacing:.08em;cursor:pointer;background:#0d0d12;border:2px solid #45454f;padding:11px 24px;font-family:inherit;font-size:9px;transition:background .1s ease-out}._prove_tr6lb_261:hover:not(:disabled),._prove_tr6lb_261:focus-visible{background:#202028;outline:none}._prove_tr6lb_261:active:not(:disabled){background:#000}._prove_tr6lb_261:disabled{cursor:default;color:#5c6470;border-color:#2c2c34}._ports_tr6lb_289{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:16px;display:flex}._links_tr6lb_297{flex-wrap:wrap;gap:10px;display:flex}._link_tr6lb_297{letter-spacing:.06em;color:var(--ink);background:#0d0d12;border:2px solid #45454f;padding:7px 10px;font-size:7px;text-decoration:none}._link_tr6lb_297:hover,._link_tr6lb_297:focus-visible{background:#202028;outline:none}._confirm_tr6lb_319{letter-spacing:.05em;color:#8b93a0;flex-wrap:wrap;align-items:center;gap:10px;font-size:6px;display:flex}._quiet_tr6lb_329,._danger_tr6lb_330{letter-spacing:.06em;color:#5c6470;cursor:pointer;background:0 0;border:none;padding:4px 2px;font-size:6px;text-decoration:underline}._danger_tr6lb_330{color:#c2554f}._quiet_tr6lb_329:hover,._quiet_tr6lb_329:focus-visible,._danger_tr6lb_330:hover,._danger_tr6lb_330:focus-visible{color:var(--ink);outline:none}._plateFooter_tr6lb_353{letter-spacing:.05em;color:#454c56;margin:0;font-size:6px;line-height:1.9}@media (width<=899px){._chassis_tr6lb_1{height:auto;min-height:100dvh;padding:12px;overflow:visible}._screens_tr6lb_100{flex:none;grid-template:auto/1fr}._screens_tr6lb_100>*{grid-area:auto;display:none}._screens_tr6lb_100>[data-active=true]{display:flex}._screens_tr6lb_100>[data-active=true]:not(._areaCanvas_tr6lb_116){height:min(62vh,460px)}._output_tr6lb_142{align-items:center}._tube_tr6lb_149{flex:none;width:auto;height:min(52vh,380px)}._outputReadout_tr6lb_169{width:100%}._channels_tr6lb_198{flex-wrap:wrap;gap:6px;display:flex}._bottomPlate_tr6lb_242{flex-direction:column-reverse;align-items:stretch;gap:14px}._prove_tr6lb_261{width:100%}._name_tr6lb_28{font-size:11px}._genBig_tr6lb_177{font-size:22px}}@media (prefers-reduced-motion:reduce){._lampBusy_tr6lb_61,._lampDrift_tr6lb_62{animation:none}}._page_1mvam_1{min-height:100dvh;display:flex}:root{--bezel:#17171d;--bezel-edge:#000;--ink:#f4f4f0;--ink-dim:#8b93a0;--phos:#57e389;--amber:#ffce54;--font-pixel:"Press Start 2P", ui-monospace, monospace;--font-mono:ui-monospace, "SF Mono", Menlo, Consolas, monospace}*{box-sizing:border-box}html,body{margin:0;padding:0}body{background:var(--bezel);font-family:var(--font-pixel)}button{font:inherit}a{color:inherit}