._page_11csi_1{--void:#040509;--panel:#080b12;--metal:#e7e8eb;--muted:#747985;--line:#dfe1eb21;--violet:#9a74ff;--blue:#4b82ff;--cyan:#1ee6d6;--lime:#8df7a6;--amber:#ffc468;min-height:100vh;color:var(--metal);background:radial-gradient(circle at 73% 9%,#9a74ff1f,#0000 25%),radial-gradient(circle at 8% 43%,#1ee6d60b,#0000 25%),linear-gradient(120deg,#040509,#070910 54%,#05070c);font-family:Arial,Helvetica,sans-serif}._page_11csi_1 *{box-sizing:border-box}._page_11csi_1 button,._page_11csi_1 input,._page_11csi_1 select,._page_11csi_1 textarea{font:inherit}._topbar_11csi_22{border-bottom:1px solid var(--line);-webkit-backdrop-filter:blur(18px);backdrop-filter:blur(18px);background:#040509ed;grid-template-columns:1fr auto 1fr;align-items:center;height:68px;padding:0 28px;display:grid}._brand_11csi_23{color:inherit;align-items:center;gap:12px;text-decoration:none;display:flex}._brand_11csi_23>span{letter-spacing:-.045em;font-weight:750}._brand_11csi_23 small,._status_11csi_25,._link_11csi_25{color:#737984;letter-spacing:.13em;font:650 7px/1 ui-monospace,monospace}._mark_11csi_26{width:30px;height:30px;display:block;position:relative}._mark_11csi_26 i{border:1px solid var(--violet);position:absolute;inset:5px;transform:rotate(45deg)}._mark_11csi_26 i:nth-child(2){border-color:var(--cyan);inset:9px;transform:rotate(30deg)}._mark_11csi_26 i:nth-child(3){border-color:#f4f5f8;inset:12px;transform:rotate(60deg)}._mark_11csi_26 b{color:var(--violet);font:700 6px/1 ui-monospace,monospace;position:absolute;bottom:-2px;right:-4px}._status_11csi_25{align-items:center;gap:9px;display:flex}._status_11csi_25 i{background:var(--amber);border-radius:50%;width:6px;height:6px}._status_11csi_25._online_11csi_33 i{background:var(--lime);box-shadow:0 0 12px var(--lime)}._status_11csi_25._loading_11csi_34 i{animation:1.4s infinite _pulse_11csi_1}._link_11csi_25{color:#777d87;justify-self:end;text-decoration:none}._link_11csi_25 b{color:var(--violet);margin-left:12px}._hero_11csi_38{border-bottom:1px solid var(--line);grid-template-columns:1.05fr .6fr;align-items:end;gap:8vw;min-height:550px;padding:100px 6vw 72px;display:grid;position:relative;overflow:hidden}._hero_11csi_38:before{content:"";background-image:linear-gradient(#d2d6e607 1px,#0000 1px),linear-gradient(90deg,#d2d6e607 1px,#0000 1px);background-size:46px 46px;position:absolute;inset:0;-webkit-mask-image:radial-gradient(circle at 32% 70%,#000,#0000 72%);mask-image:radial-gradient(circle at 32% 70%,#000,#0000 72%)}._heroCopy_11csi_40,._hero_11csi_38 aside{z-index:2;position:relative}._heroCopy_11csi_40 p{color:#787e89;letter-spacing:.15em;margin:0 0 27px;font:650 7px/1 ui-monospace,monospace}._hero_11csi_38 h1{letter-spacing:-.077em;margin:0;font-size:clamp(61px,7vw,110px);line-height:.84}._hero_11csi_38 h1 em,._compiler_11csi_43 h2 em{color:#0000;-webkit-text-stroke:1px #8a8e99;font-style:normal}._heroCopy_11csi_40>span{color:#8b909a;max-width:580px;margin-top:31px;font-size:13px;line-height:1.75;display:block}._hero_11csi_38 aside{border-left:1px solid var(--violet);background:linear-gradient(90deg,#9a74ff12,#0000);padding:28px}._hero_11csi_38 aside span{color:var(--violet);letter-spacing:.13em;font:700 7px/1 ui-monospace,monospace}._hero_11csi_38 aside p{color:#9297a0;margin:20px 0;font-size:13px;line-height:1.8}._hero_11csi_38 aside b{color:var(--cyan);letter-spacing:.1em;font:650 7px/1.4 ui-monospace,monospace}._quantumField_11csi_49{z-index:1;border:1px solid #9a74ff3d;border-radius:50%;width:280px;height:280px;animation:5s ease-in-out infinite _breathe_11csi_1;position:absolute;top:8px;right:3vw}._quantumField_11csi_49:before,._quantumField_11csi_49:after{content:"";border-radius:50%;position:absolute}._quantumField_11csi_49:before{border:1px dashed #1ee6d638;animation:24s linear infinite _spin_11csi_1;inset:40px}._quantumField_11csi_49:after{border:1px solid #e7e8eb2b;inset:91px}._quantumField_11csi_49>div{transform-origin:0;border-top:1px solid #9a74ff2b;width:100%;position:absolute;top:50%;left:50%}._quantumField_11csi_49 ._axisA_11csi_54{transform:rotate(0)}._quantumField_11csi_49 ._axisB_11csi_54{transform:rotate(60deg)}._quantumField_11csi_49 ._axisC_11csi_54{transform:rotate(120deg)}._quantumField_11csi_49>i{background:var(--violet);width:8px;height:8px;box-shadow:0 0 15px var(--violet);border-radius:50%;position:absolute}._quantumField_11csi_49>i:first-of-type{top:-4px;left:50%}._quantumField_11csi_49>i:nth-of-type(2){background:var(--cyan);top:71px;right:16px}._quantumField_11csi_49>i:nth-of-type(3){background:var(--lime);bottom:42px;right:35px}._quantumField_11csi_49>i:nth-of-type(4){background:var(--amber);bottom:47px;left:23px}._quantumField_11csi_49>i:nth-of-type(5){top:50%;left:-4px}._quantumField_11csi_49>b{place-items:center;font:500 38px/1 ui-monospace,monospace;display:grid;position:absolute;inset:0}._quantumField_11csi_49>small{color:#676d77;text-align:center;letter-spacing:.1em;width:100%;font:650 6px/1.5 ui-monospace,monospace;position:absolute;top:294px}._metrics_11csi_60{border-bottom:1px solid var(--line);grid-template-columns:repeat(4,1fr);display:grid}._metrics_11csi_60 article{border-right:1px solid var(--line);flex-direction:column;justify-content:space-between;min-height:118px;padding:22px 2.4vw;display:flex}._metrics_11csi_60 article:last-child{border:0}._metrics_11csi_60 span{color:#686e79;letter-spacing:.1em;font:650 7px/1 ui-monospace,monospace}._metrics_11csi_60 b{overflow-wrap:anywhere;font:600 12px/1.35 ui-monospace,monospace}._loop_11csi_65{border-bottom:1px solid var(--line);background:#06080d;grid-template-columns:repeat(11,1fr);display:grid}._loop_11csi_65 div{border-right:1px solid var(--line);min-height:74px;padding:14px 9px;position:relative}._loop_11csi_65 span,._loop_11csi_65 i{color:#5e6470;font:600 6px/1 ui-monospace,monospace}._loop_11csi_65 b{margin-top:20px;font:650 7px/1 ui-monospace,monospace;display:block}._loop_11csi_65 i{color:var(--violet);font-style:normal;position:absolute;top:13px;right:6px}._court_11csi_71{grid-template-columns:1.02fr .98fr;display:grid}._compiler_11csi_43{border-right:1px solid var(--line);padding:57px 4vw 76px}._compiler_11csi_43>header,._output_11csi_73>header,._ledger_11csi_73>header,._plans_11csi_73>header{color:#6c727d;letter-spacing:.11em;justify-content:space-between;font:650 7px/1 ui-monospace,monospace;display:flex}._compiler_11csi_43>header b{color:var(--cyan)}._output_11csi_73>header b,._ledger_11csi_73>header b{color:var(--lime)}._compiler_11csi_43 h2{letter-spacing:-.063em;margin:25px 0 39px;font-size:clamp(43px,4.2vw,66px);line-height:.92}._fields_11csi_76{grid-template-columns:1fr 1fr;gap:17px;display:grid}._fields_11csi_76 label>span{color:#6d737d;letter-spacing:.1em;margin-bottom:9px;font:650 7px/1 ui-monospace,monospace;display:block}._fields_11csi_76 ._wide_11csi_78{grid-column:1/-1}._fields_11csi_76 input,._fields_11csi_76 select,._fields_11csi_76 textarea{border:1px solid var(--line);color:#d7d9df;background:#080b12;border-radius:0;outline:none;width:100%;font:600 10px/1.6 ui-monospace,monospace}._fields_11csi_76 input,._fields_11csi_76 select{min-height:48px;padding:13px}._fields_11csi_76 textarea{resize:vertical;min-height:92px;padding:14px}._fields_11csi_76 textarea:focus,._fields_11csi_76 select:focus{border-color:var(--violet)}._fields_11csi_76 label>small{color:#5f6570;margin-top:8px;font:550 6px/1.5 ui-monospace,monospace;display:block}._fields_11csi_76 input[type=range]{accent-color:var(--violet);border:0;padding:0}._scenarios_11csi_84{border-top:1px solid var(--line);border-left:1px solid var(--line);grid-template-columns:repeat(4,1fr);margin-top:24px;display:grid}._scenarios_11csi_84 button{border:0;border-right:1px solid var(--line);border-bottom:1px solid var(--line);color:#777d87;text-align:left;cursor:pointer;background:0 0;min-height:94px;padding:13px}._scenarios_11csi_84 span,._scenarios_11csi_84 small{color:#626873;font:600 6px/1.25 ui-monospace,monospace;display:block}._scenarios_11csi_84 b{margin:15px 0 9px;font:650 8px/1.2 ui-monospace,monospace;display:block}._scenarios_11csi_84 button._active_11csi_87{color:var(--metal);box-shadow:inset 0 -2px var(--violet);background:#9a74ff17}._scenarios_11csi_84 button._active_11csi_87 span{color:var(--violet)}._gates_11csi_88{border-top:1px solid var(--line);border-left:1px solid var(--line);grid-template-columns:repeat(4,1fr);margin-top:24px;display:grid}._gates_11csi_88 div{border-right:1px solid var(--line);border-bottom:1px solid var(--line);min-height:68px;padding:13px;position:relative}._gates_11csi_88 span{color:#626873;font:600 6px/1 ui-monospace,monospace}._gates_11csi_88 b{margin-top:16px;font:650 7px/1 ui-monospace,monospace;display:block}._gates_11csi_88 i{color:#545a63;font-style:normal;position:absolute;top:12px;right:11px}._gates_11csi_88 i._pass_11csi_89{color:var(--lime)}._identity_11csi_90{border:1px solid var(--line);background:#9a74ff06;justify-content:space-between;align-items:center;gap:18px;margin-top:24px;padding:18px;display:flex}._identity_11csi_90 span,._identity_11csi_90 small{color:#6c727c;letter-spacing:.07em;font:600 6px/1.5 ui-monospace,monospace;display:block}._identity_11csi_90 b{margin:8px 0;font:600 10px/1 ui-monospace,monospace;display:block}._identity_11csi_90 button{border:1px solid var(--violet);color:#b49aff;letter-spacing:.08em;cursor:pointer;background:0 0;padding:12px 16px;font:700 7px/1 ui-monospace,monospace}._attestation_11csi_93{color:#898e98;gap:12px;margin:19px 0;font:500 8px/1.6 ui-monospace,monospace;display:flex}._attestation_11csi_93 input{accent-color:var(--violet)}._error_11csi_94{color:#ff8078;font:650 8px/1.5 ui-monospace,monospace}._run_11csi_95{color:#05060a;letter-spacing:.09em;cursor:pointer;background:linear-gradient(90deg,#e8e8ec,#c6b8ff);border:0;justify-content:space-between;width:100%;padding:19px 21px;font:800 9px/1 ui-monospace,monospace;display:flex}._run_11csi_95:disabled{opacity:.25;cursor:not-allowed}._output_11csi_73{background:radial-gradient(circle at 80% 10%,#9a74ff0f,#0000 30%);padding:57px 4vw 76px}._empty_11csi_98{text-align:center;flex-direction:column;justify-content:center;align-items:center;min-height:600px;display:flex}._empty_11csi_98>div{border:1px solid #9a74ff40;border-radius:50%;width:180px;height:180px;animation:5s ease-in-out infinite _breathe_11csi_1;position:relative}._empty_11csi_98>div:after{content:"";border:1px dashed #1ee6d63b;border-radius:50%;position:absolute;inset:39px}._empty_11csi_98 i{background:var(--violet);width:9px;height:9px;box-shadow:0 0 12px var(--violet);border-radius:50%;position:absolute}._empty_11csi_98 i:first-child{top:-4px;left:50%}._empty_11csi_98 i:nth-child(2){background:var(--cyan);top:50%;right:8px}._empty_11csi_98 i:nth-child(3){background:var(--lime);bottom:13px;left:42px}._empty_11csi_98 i:nth-child(4){background:var(--amber);top:41%;left:-4px}._empty_11csi_98 b{place-items:center;font:500 32px/1 ui-monospace,monospace;display:grid;position:absolute;inset:0}._empty_11csi_98 h2{letter-spacing:-.05em;margin:39px 0 14px;font-size:37px;line-height:.98}._empty_11csi_98 p{color:#797f89;max-width:430px;font-size:12px;line-height:1.75}._verdict_11csi_102{border-bottom:1px solid var(--line);grid-template-columns:1fr 150px;gap:24px;margin-top:32px;padding-bottom:28px;display:grid}._verdict_11csi_102>div>span,._verdict_11csi_102 aside>span{color:var(--violet);letter-spacing:.08em;font:650 7px/1.4 ui-monospace,monospace}._verdict_11csi_102 h2{letter-spacing:-.04em;margin:15px 0 10px;font-size:29px;line-height:1}._verdict_11csi_102 p{color:#9398a1;font:600 8px/1.6 ui-monospace,monospace}._verdict_11csi_102 strong{color:var(--lime);font:700 7px/1 ui-monospace,monospace}._verdict_11csi_102 aside{text-align:center;border:1px solid var(--line);background:#080b12;grid-template-columns:1fr 1fr;align-items:center;display:grid}._verdict_11csi_102 aside b{font:500 29px/1 ui-monospace,monospace}._verdict_11csi_102 aside small{color:var(--amber);font:650 6px/1 ui-monospace,monospace}._verdict_11csi_102 aside i{border-top:1px solid var(--line);grid-column:1/-1}._hypotheses_11csi_105{border-left:1px solid var(--line);margin-top:22px}._hypotheses_11csi_105 article{border-right:1px solid var(--line);border-bottom:1px solid var(--line);padding:18px;position:relative}._hypotheses_11csi_105 article._leading_11csi_105{box-shadow:inset 2px 0 var(--violet);background:#9a74ff11}._hypotheses_11csi_105 span,._hypotheses_11csi_105 small{color:#676d77;font:600 6px/1.4 ui-monospace,monospace}._hypotheses_11csi_105>b{display:block}._hypotheses_11csi_105 article>b{max-width:78%;margin:11px 0 17px;font:650 9px/1.45 ui-monospace,monospace;display:block}._hypotheses_11csi_105 article>div{background:#181b24;height:2px}._hypotheses_11csi_105 article>div i{background:linear-gradient(90deg,var(--violet),var(--cyan));height:2px;display:block}._hypotheses_11csi_105 strong{font:600 18px/1 ui-monospace,monospace;position:absolute;top:50px;right:17px}._hypotheses_11csi_105 small{margin-top:12px;display:block}._hypotheses_11csi_105 p{color:#858a94;margin:8px 0 0;font:550 6px/1.5 ui-monospace,monospace}._plans_11csi_73{margin-top:22px}._plans_11csi_73>header{padding-bottom:13px}._plans_11csi_73>header b{color:var(--violet)}._plans_11csi_73 article{border:1px solid var(--line);border-bottom:0;grid-template-columns:25px 1fr auto 16px;align-items:center;gap:12px;padding:17px;display:grid}._plans_11csi_73 article:last-child{border-bottom:1px solid var(--line)}._plans_11csi_73 article._selected_11csi_106{background:#9a74ff12}._plans_11csi_73 article>span{color:#626873;font:600 7px/1 ui-monospace,monospace}._plans_11csi_73 article b{font:700 8px/1 ui-monospace,monospace}._plans_11csi_73 article small{color:#6f7580;margin-top:7px;font:600 6px/1 ui-monospace,monospace;display:block}._plans_11csi_73 article strong{font:650 7px/1 ui-monospace,monospace}._plans_11csi_73 article i{color:var(--lime);font-style:normal}._debate_11csi_107{border:1px solid var(--line);grid-template-columns:repeat(3,1fr);margin-top:22px;display:grid}._debate_11csi_107 article{min-height:138px;padding:15px}._debate_11csi_107 article+article{border-left:1px solid var(--line)}._debate_11csi_107 span{color:var(--violet);font:650 6px/1 ui-monospace,monospace}._debate_11csi_107 b{margin:18px 0;font:500 25px/1 ui-monospace,monospace;display:block}._debate_11csi_107 p{color:#7d838d;margin:0;font:550 7px/1.55 ui-monospace,monospace}._tests_11csi_108{border-left:1px solid var(--line);border-top:1px solid var(--line);grid-template-columns:1fr 1fr;margin-top:22px;display:grid}._tests_11csi_108 div{border-right:1px solid var(--line);border-bottom:1px solid var(--line);grid-template-columns:1fr auto auto;gap:12px;padding:13px;display:grid}._tests_11csi_108 span,._tests_11csi_108 b,._tests_11csi_108 i{font:600 6px/1 ui-monospace,monospace}._tests_11csi_108 span{color:#747a84}._tests_11csi_108 i{color:var(--lime);font-style:normal}._proof_11csi_109{border:1px solid var(--line);margin-top:22px}._proof_11csi_109>div{padding:15px}._proof_11csi_109>div+div{border-top:1px solid var(--line)}._proof_11csi_109 span{color:#666c77;font:600 6px/1 ui-monospace,monospace;display:block}._proof_11csi_109 b{overflow-wrap:anywhere;margin-top:9px;font:600 7px/1.35 ui-monospace,monospace;display:block}._proof_11csi_109 footer{border-top:1px solid var(--line);justify-content:space-between;gap:12px;padding:14px;display:flex}._proof_11csi_109 footer span,._proof_11csi_109 footer strong{font:650 6px/1 ui-monospace,monospace}._proof_11csi_109 footer strong{color:var(--lime)}._ledger_11csi_73{border-top:1px solid var(--line);margin-top:32px;padding-top:23px}._ledger_11csi_73>p{color:#737984;font:550 8px/1.5 ui-monospace,monospace}._ledger_11csi_73 article{border-bottom:1px solid var(--line);grid-template-columns:57px 1fr auto;align-items:center;gap:13px;min-height:64px;display:grid}._ledger_11csi_73 article>span{color:#626873;font:600 7px/1 ui-monospace,monospace}._ledger_11csi_73 article b{font-size:10px}._ledger_11csi_73 article small{color:#686e78;margin-top:7px;font:600 6px/1 ui-monospace,monospace;display:block}._ledger_11csi_73 article strong{color:var(--lime);font:650 6px/1 ui-monospace,monospace}._footer_11csi_111{border-top:1px solid var(--line);color:#656b75;letter-spacing:.09em;justify-content:space-between;gap:20px;padding:22px 3vw;font:600 6px/1 ui-monospace,monospace;display:flex}._footer_11csi_111 b{color:#8b9099}@keyframes _pulse_11csi_1{50%{opacity:.25}}@keyframes _spin_11csi_1{to{transform:rotate(360deg)}}@keyframes _breathe_11csi_1{50%{filter:brightness(1.15);transform:scale(.96)}}@media (width<=1100px){._topbar_11csi_22{grid-template-columns:1fr auto}._status_11csi_25{display:none}._hero_11csi_38{grid-template-columns:1fr;gap:36px}._hero_11csi_38 aside{max-width:550px}._metrics_11csi_60{grid-template-columns:1fr 1fr}._metrics_11csi_60 article:nth-child(2){border-right:0}._loop_11csi_65{grid-template-columns:repeat(6,1fr)}._court_11csi_71{grid-template-columns:1fr}._compiler_11csi_43{border-right:0;border-bottom:1px solid var(--line)}._quantumField_11csi_49{opacity:.42}}@media (width<=700px){._topbar_11csi_22{height:62px;padding:0 16px}._brand_11csi_23 small,._link_11csi_25{display:none}._hero_11csi_38{min-height:560px;padding:74px 20px 50px}._hero_11csi_38 h1{font-size:51px}._hero_11csi_38 aside{padding:20px}._quantumField_11csi_49{opacity:.3;right:-145px}._metrics_11csi_60 article{min-height:96px;padding:18px}._loop_11csi_65{grid-template-columns:repeat(2,1fr)}._loop_11csi_65 div:nth-child(2n){border-right:0}._compiler_11csi_43,._output_11csi_73{padding:44px 20px 56px}._compiler_11csi_43 h2{font-size:42px}._fields_11csi_76{grid-template-columns:1fr}._fields_11csi_76 ._wide_11csi_78{grid-column:auto}._scenarios_11csi_84,._gates_11csi_88{grid-template-columns:1fr 1fr}._identity_11csi_90{flex-direction:column;align-items:flex-start}._verdict_11csi_102{grid-template-columns:1fr}._verdict_11csi_102 aside{min-height:120px}._debate_11csi_107{grid-template-columns:1fr}._debate_11csi_107 article+article{border-left:0;border-top:1px solid var(--line)}._tests_11csi_108{grid-template-columns:1fr}._footer_11csi_111{flex-wrap:wrap;padding:20px}}@media (prefers-reduced-motion:reduce){._quantumField_11csi_49,._quantumField_11csi_49:before,._empty_11csi_98>div,._status_11csi_25._loading_11csi_34 i{animation:none}}