._harness_1tj68_10{isolation:isolate;background:radial-gradient(circle at 52% 18%,#2c6bff0e,#0000 31%),linear-gradient(145deg,#fdfdff,#f4f7fe);border:1px solid #d9e1f0;border-radius:1.5rem;margin:0;position:relative;overflow:hidden;box-shadow:0 24px 70px #0f1c3f14}._harness_1tj68_10:before{z-index:-1;content:"";background-color:#0000;background-image:linear-gradient(90deg,#0000 49.95%,#2c6bff12 50%,#0000 50.05%),linear-gradient(#0000 49.95%,#2c6bff0e 50%,#0000 50.05%);background-position:0 0,0 0;background-repeat:repeat,repeat;background-size:72px 72px;background-attachment:scroll,scroll;background-origin:padding-box,padding-box;background-clip:border-box,border-box;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_1tj68_40{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_1tj68_4{background:#fff;border:1px solid #d1d9e0;border-radius:1rem;flex-direction:column;justify-content:center;min-width:0;padding:1.45rem 1.5rem;display:flex;position:relative;overflow:hidden;box-shadow:0 14px 34px #0f1c3f0f}._node_1tj68_4:before{content:"";background:#2c6bff;width:4.2rem;height:1px;position:absolute;top:0;left:1.5rem;box-shadow:0 0 12px #2c6bff66}._node-label_1tj68_76{color:#2c6bff;letter-spacing:.13em;margin:0;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:.58rem;font-weight:700;line-height:1.2}._node_1tj68_4 h3{color:#0f1c3f;letter-spacing:-.02em;margin:.72rem 0 0;font-size:1.08rem;font-weight:500;line-height:1.2}._node_1tj68_4>p:last-child{color:#555e70;max-width:32rem;margin:.62rem 0 0;font-size:.75rem;line-height:1.55}._formaliser_1tj68_5{grid-area:1/1}._specification-arrow_1tj68_104{grid-area:1/2}._specification_1tj68_5{background:linear-gradient(135deg,#e8efff,#f6f9ff);border-color:#2c6bff8c;grid-area:1/3;box-shadow:0 14px 38px #0f1c3f12,0 0 30px #2c6bff14}._contract-exchange_1tj68_116{flex-direction:column;grid-area:2/3;align-items:center;width:100%;height:100%;display:flex}._contract-exchange_1tj68_116 i{background:linear-gradient(#2c6bff 0%,#a9c4ff 50%,#2c6bff 100%) 0 0/100% 240%;flex:1;width:1.5px;min-height:7px;animation:8s linear infinite _signal-down_1tj68_1;box-shadow:0 0 9px #2c6bff40}._contract-exchange_1tj68_116 span{color:#2a5bd7;letter-spacing:.1em;white-space:nowrap;background:#fff;border:1px solid #2c6bff66;border-radius:999px;flex:none;padding:.38rem .72rem;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:.5rem;font-weight:700;line-height:1;box-shadow:0 0 0 5px #fafcffeb,0 0 22px #2c6bff24}._contract-exchange_1tj68_116 b,._simple-arrow_1tj68_155 b,._feedback_1tj68_5 b{border-top:1.5px solid #2c6bff;border-right:1.5px solid #2c6bff;flex:none;width:8px;height:8px}._arrow-up_1tj68_164{transform:rotate(315deg)}._arrow-down_1tj68_165{transform:rotate(135deg)}._coding-agents_1tj68_167{grid-area:3/1}._feedback-loop_1tj68_169{flex-direction:column;grid-area:3/2;justify-content:center;gap:1.7rem;min-width:0;padding:0 .7rem;display:flex}._feedback_1tj68_5{color:#2c6bff;letter-spacing:.08em;text-transform:uppercase;align-items:center;padding-top:1rem;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:.51rem;font-weight:700;display:flex;position:relative}._feedback_1tj68_5 span{white-space:nowrap;position:absolute;top:0;left:50%;transform:translate(-50%)}._feedback_1tj68_5 i{background:linear-gradient(90deg,#2c6bff 0%,#b7ccff 48%,#2c6bff 100%) 0 0/240% 100%;flex:1;height:1.5px;animation:8s linear infinite _signal-right_1tj68_1}._candidate_1tj68_209 b{transform:rotate(45deg)}._counterexample_1tj68_211{color:#8891a4}._counterexample_1tj68_211 b{border-color:#8891a4;transform:rotate(225deg)}._counterexample_1tj68_211 i{background:linear-gradient(90deg,#8891a4 0%,#d5dbe6 48%,#8891a4 100%) 0 0/240% 100%;animation-direction:reverse}._theorem-prover_1tj68_226{border-color:#2c6bff66;grid-area:3/3}._delivery-arrow_1tj68_232{grid-area:3/4}._output_1tj68_4{background:linear-gradient(145deg,#e3ecff,#f2f7ff);border-color:#2c6bff99;grid-area:3/5;box-shadow:0 16px 44px #0f1c3f17,0 0 30px #2c6bff1a}._output-title_1tj68_244{align-items:center;gap:.85rem;display:flex}._output-title_1tj68_244 h3{margin-top:.45rem}._check_1tj68_5{color:#2c6bff;background:#2c6bff1a;border:1px solid #2c6bff80;border-radius:999px;flex:none;place-items:center;width:2.1rem;height:2.1rem;font-size:.95rem;display:grid}._certificate_1tj68_5{color:#1a1a2e;background:#fff;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_1tj68_5 svg{fill:none;stroke:#2c6bff;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.5px;flex:none;width:1.08rem;height:1.08rem}._simple-arrow_1tj68_155{align-items:center;min-width:0;display:flex}._simple-arrow_1tj68_155 i{background:linear-gradient(90deg,#2c6bff40,#2c6bff);flex:1;height:1.5px}._simple-arrow_1tj68_155 b{transform:rotate(45deg)}._delivery-arrow_1tj68_232 i{background:#2c6bff;animation:6s ease-in-out infinite _output-pulse_1tj68_1;box-shadow:0 0 9px #2c6bff4d}@media (width<=1000px){._harness-flow_1tj68_40{grid-template-columns:minmax(185px,.9fr) 58px minmax(275px,1.35fr) 62px minmax(190px,.9fr);padding:2rem}._feedback-loop_1tj68_169{padding:0 .35rem}._feedback_1tj68_5{font-size:.46rem}}@media (width<=800px){._harness-flow_1tj68_40{flex-direction:column;gap:0;padding:1rem;display:flex}._node_1tj68_4{width:100%;min-height:0;padding:1.3rem}._simple-arrow_1tj68_155{flex-direction:column;align-self:center;width:1.5px;height:2.5rem}._simple-arrow_1tj68_155 i{background:linear-gradient(#2c6bff40,#2c6bff);width:1.5px;height:auto;min-height:1rem}._simple-arrow_1tj68_155 b{transform:rotate(135deg)}._contract-exchange_1tj68_116{width:100%;height:5rem}._feedback-loop_1tj68_169{grid-template-columns:1fr 1fr;gap:1.5rem;width:100%;min-height:4.7rem;padding:.7rem 1.6rem;display:grid}._feedback_1tj68_5{text-align:center;flex-direction:column;gap:.4rem;padding-top:1.2rem;display:flex;position:relative}._feedback_1tj68_5 i{background:linear-gradient(#2c6bff 0%,#b7ccff 48%,#2c6bff 100%) 0 0/100% 240%;flex:1;width:1.5px;min-height:1.4rem;animation-name:_signal-down_1tj68_1}._feedback_1tj68_5 b{transform:rotate(135deg)}._counterexample_1tj68_211 b{transform:rotate(315deg)}._counterexample_1tj68_211 i{background:linear-gradient(#8891a4 0%,#d5dbe6 48%,#8891a4 100%) 0 0/100% 240%}._delivery-arrow_1tj68_232{width:1.5px;height:2.75rem}}@keyframes _signal-right_1tj68_1{0%{background-position:200% 0}to{background-position:-40% 0}}@keyframes _signal-down_1tj68_1{0%{background-position:0 -40%}to{background-position:0 200%}}@keyframes _output-pulse_1tj68_1{0%,70%,to{opacity:.62}82%{opacity:1}}@media (prefers-reduced-motion:reduce){._contract-exchange_1tj68_116 i,._feedback_1tj68_5 i,._delivery-arrow_1tj68_232 i{animation:none}}