._harness_xbrzr_2{isolation:isolate;background:radial-gradient(circle at 52% 18%, color-mix(in srgb, var(--color-radiant-blue) 5.5%, transparent), transparent 31%), linear-gradient(145deg, #fdfdff, #f4f7fe);box-shadow:0 24px 70px color-mix(in srgb, var(--color-absolute-blue) 8%, transparent);border:1px solid #d9e1f0;border-radius:1.5rem;margin:0;position:relative;overflow:hidden}._harness_xbrzr_2:before{z-index:-1;background:linear-gradient(90deg, transparent 49.95%, color-mix(in srgb, var(--color-radiant-blue) 7%, transparent) 50%, transparent 50.05%), linear-gradient(transparent 49.95%, color-mix(in srgb, var(--color-radiant-blue) 5.5%, transparent) 50%, transparent 50.05%);content:"";background-size:72px 72px;position:absolute;inset:0;-webkit-mask-image:radial-gradient(circle at 50% 45%,#000,#0000 80%);mask-image:radial-gradient(circle at 50% 45%,#000,#0000 80%)}._harness-flow_xbrzr_27{grid-template-rows:minmax(154px,auto) 88px minmax(176px,auto);grid-template-columns:minmax(225px,.95fr) 78px minmax(330px,1.42fr) 84px minmax(230px,.98fr);align-items:stretch;padding:2.6rem;display:grid}._node_xbrzr_38{background:var(--color-white);min-width:0;box-shadow:0 14px 34px color-mix(in srgb, var(--color-absolute-blue) 6%, transparent);border:1px solid #d1d9e0;border-radius:1rem;flex-direction:column;justify-content:center;padding:1.45rem 1.5rem;display:flex;position:relative;overflow:hidden}._node_xbrzr_38:before{background:var(--color-radiant-blue);width:4.2rem;height:1px;box-shadow:0 0 12px color-mix(in srgb, var(--color-radiant-blue) 40%, transparent);content:"";position:absolute;top:0;left:1.5rem}._node-label_xbrzr_63{color:var(--color-radiant-blue);font-family:var(--font-mono);letter-spacing:.13em;margin:0;font-size:.58rem;font-weight:700;line-height:1.2}._node_xbrzr_38 h3{letter-spacing:-.02em;margin:.72rem 0 0;font-size:1.08rem;line-height:1.2}._node_xbrzr_38>p:last-child{max-width:32rem;color:var(--color-text-secondary);margin:.62rem 0 0;font-size:.75rem;line-height:1.55}._formaliser_xbrzr_88{grid-area:1/1}._specification-arrow_xbrzr_89{grid-area:1/2}._specification_xbrzr_89{border-color:color-mix(in srgb, var(--color-radiant-blue) 55%, transparent);background:linear-gradient(135deg, var(--color-accent-light), #f6f9ff);box-shadow:0 14px 38px color-mix(in srgb, var(--color-absolute-blue) 7%, transparent), 0 0 30px color-mix(in srgb, var(--color-radiant-blue) 8%, transparent);grid-area:1/3}._contract-exchange_xbrzr_101{flex-direction:column;grid-area:2/3;align-items:center;width:100%;height:100%;display:flex}._contract-exchange_xbrzr_101 i{background:linear-gradient(180deg, var(--color-radiant-blue) 0%, #a9c4ff 50%, var(--color-radiant-blue) 100%);width:1.5px;min-height:7px;box-shadow:0 0 9px color-mix(in srgb, var(--color-radiant-blue) 25%, transparent);background-size:100% 240%;flex:1;animation:8s linear infinite _signal-down_xbrzr_1}._contract-exchange_xbrzr_101 span{border:1px solid color-mix(in srgb, var(--color-radiant-blue) 40%, transparent);background:var(--color-white);color:#2a5bd7;font-family:var(--font-mono);letter-spacing:.1em;white-space:nowrap;box-shadow:0 0 0 5px #fafcffeb, 0 0 22px color-mix(in srgb, var(--color-radiant-blue) 14%, transparent);border-radius:999px;flex:none;padding:.38rem .72rem;font-size:.5rem;font-weight:700;line-height:1}._contract-exchange_xbrzr_101 b,._simple-arrow_xbrzr_140 b,._feedback_xbrzr_141 b{border-top:1.5px solid var(--color-radiant-blue);border-right:1.5px solid var(--color-radiant-blue);flex:none;width:8px;height:8px}._arrow-up_xbrzr_149{transform:rotate(315deg)}._arrow-down_xbrzr_150{transform:rotate(135deg)}._coding-agents_xbrzr_152{grid-area:3/1}._feedback-loop_xbrzr_154{flex-direction:column;grid-area:3/2;justify-content:center;gap:1.7rem;min-width:0;padding:0 .7rem;display:flex}._feedback_xbrzr_141{color:var(--color-radiant-blue);font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;align-items:center;padding-top:1rem;font-size:.51rem;font-weight:700;display:flex;position:relative}._feedback_xbrzr_141 span{white-space:nowrap;position:absolute;top:0;left:50%;transform:translate(-50%)}._feedback_xbrzr_141 i{background:linear-gradient(90deg, var(--color-radiant-blue) 0%, #b7ccff 48%, var(--color-radiant-blue) 100%);background-size:240% 100%;flex:1;height:1.5px;animation:8s linear infinite _signal-right_xbrzr_1}._candidate_xbrzr_194 b{transform:rotate(45deg)}._counterexample_xbrzr_196{color:#8891a4}._counterexample_xbrzr_196 b{border-color:#8891a4;transform:rotate(225deg)}._counterexample_xbrzr_196 i{background:linear-gradient(90deg,#8891a4 0%,#d5dbe6 48%,#8891a4 100%) 0 0/240% 100%;animation-direction:reverse}._theorem-prover_xbrzr_211{border-color:color-mix(in srgb, var(--color-radiant-blue) 40%, transparent);grid-area:3/3}._delivery-arrow_xbrzr_217{grid-area:3/4}._output_xbrzr_219{border-color:color-mix(in srgb, var(--color-radiant-blue) 60%, transparent);box-shadow:0 16px 44px color-mix(in srgb, var(--color-absolute-blue) 9%, transparent), 0 0 30px color-mix(in srgb, var(--color-radiant-blue) 10%, transparent);background:linear-gradient(145deg,#e3ecff,#f2f7ff);grid-area:3/5}._output-title_xbrzr_229{align-items:center;gap:.85rem;display:flex}._output-title_xbrzr_229 h3{margin-top:.45rem}._check_xbrzr_237{border:1px solid color-mix(in srgb, var(--color-radiant-blue) 50%, transparent);background:color-mix(in srgb, var(--color-radiant-blue) 10%, transparent);width:2.1rem;height:2.1rem;color:var(--color-radiant-blue);border-radius:999px;flex:none;place-items:center;font-size:.95rem;display:grid}._certificate_xbrzr_250{background:var(--color-white);color:var(--color-text);border:1px solid #c9d8f5;border-radius:.6rem;align-items:center;gap:.58rem;margin-top:1.25rem;padding:.72rem .78rem;font-size:.68rem;line-height:1.3;display:flex}._certificate_xbrzr_250 svg{fill:none;width:1.08rem;height:1.08rem;stroke:var(--color-radiant-blue);stroke-linecap:round;stroke-linejoin:round;stroke-width:1.5px;flex:none}._simple-arrow_xbrzr_140{align-items:center;min-width:0;display:flex}._simple-arrow_xbrzr_140 i{background:linear-gradient(90deg, color-mix(in srgb, var(--color-radiant-blue) 25%, transparent), var(--color-radiant-blue));flex:1;height:1.5px}._simple-arrow_xbrzr_140 b{transform:rotate(45deg)}._delivery-arrow_xbrzr_217 i{background:var(--color-radiant-blue);box-shadow:0 0 9px color-mix(in srgb, var(--color-radiant-blue) 30%, transparent);animation:6s ease-in-out infinite _output-pulse_xbrzr_1}@media (width<=1000px){._harness-flow_xbrzr_27{grid-template-columns:minmax(185px,.9fr) 58px minmax(275px,1.35fr) 62px minmax(190px,.9fr);padding:2rem}._feedback-loop_xbrzr_154{padding:0 .35rem}._feedback_xbrzr_141{font-size:.46rem}}@media (width<=800px){._harness-flow_xbrzr_27{flex-direction:column;gap:0;padding:1rem;display:flex}._node_xbrzr_38{width:100%;min-height:0;padding:1.3rem}._simple-arrow_xbrzr_140{flex-direction:column;align-self:center;width:1.5px;height:2.5rem}._simple-arrow_xbrzr_140 i{background:linear-gradient(180deg, color-mix(in srgb, var(--color-radiant-blue) 25%, transparent), var(--color-radiant-blue));width:1.5px;height:auto;min-height:1rem}._simple-arrow_xbrzr_140 b{transform:rotate(135deg)}._contract-exchange_xbrzr_101{width:100%;height:5rem}._feedback-loop_xbrzr_154{grid-template-columns:1fr 1fr;gap:1.5rem;width:100%;min-height:4.7rem;padding:.7rem 1.6rem;display:grid}._feedback_xbrzr_141{text-align:center;flex-direction:column;gap:.4rem;padding-top:1.2rem;display:flex;position:relative}._feedback_xbrzr_141 i{background:linear-gradient(180deg, var(--color-radiant-blue) 0%, #b7ccff 48%, var(--color-radiant-blue) 100%);background-size:100% 240%;flex:1;width:1.5px;min-height:1.4rem;animation-name:_signal-down_xbrzr_1}._feedback_xbrzr_141 b{transform:rotate(135deg)}._counterexample_xbrzr_196 b{transform:rotate(315deg)}._counterexample_xbrzr_196 i{background:linear-gradient(#8891a4 0%,#d5dbe6 48%,#8891a4 100%) 0 0/100% 240%}._delivery-arrow_xbrzr_217{width:1.5px;height:2.75rem}}@keyframes _signal-right_xbrzr_1{0%{background-position:200% 0}to{background-position:-40% 0}}@keyframes _signal-down_xbrzr_1{0%{background-position:0 -40%}to{background-position:0 200%}}@keyframes _output-pulse_xbrzr_1{0%,70%,to{opacity:.62}82%{opacity:1}}@media (prefers-reduced-motion:reduce){._contract-exchange_xbrzr_101 i,._feedback_xbrzr_141 i,._delivery-arrow_xbrzr_217 i{animation:none}}