._1NhTda_page{--ai-accent:#3b6570}._1NhTda_svg{color:#55747c;width:100%;height:auto;margin:16px 0;overflow:visible}._1NhTda_svg rect{fill:#fff;stroke:#8ea8ae;stroke-width:1.5px}._1NhTda_svg ._1NhTda_focusRect{fill:#edf6f5;stroke:#5d8585}._1NhTda_svg text{fill:#34545a;text-anchor:middle;dominant-baseline:middle;font:700 15px system-ui,sans-serif}._1NhTda_svg path{fill:none;stroke:currentColor;stroke-width:1.45px;stroke-linecap:round;stroke-linejoin:round}._1NhTda_svg ._1NhTda_dashed{stroke-dasharray:6 6;opacity:.55}._1NhTda_svg ._1NhTda_smallText{fill:#6d7d81;font-size:12px}._1NhTda_mapGrid{grid-template-columns:repeat(3,minmax(0,1fr));gap:10px;margin:18px 0;display:grid}._1NhTda_mapGrid article{border:1px solid var(--first-border);background:var(--first-soft);border-radius:13px;flex-direction:column;min-height:132px;padding:16px;display:flex}._1NhTda_mapGrid span{color:#64777c;font-size:.74rem;font-weight:850}._1NhTda_mapGrid b{color:#315d65;margin-top:7px}._1NhTda_mapGrid p{color:#5d6d82;margin:6px 0 0;font-size:.84rem}._1NhTda_principle,._1NhTda_contextNote{background:#eff7f6;border-left:4px solid #4c7b80;border-radius:8px 12px 12px 8px;margin:18px 0;padding:16px 18px}._1NhTda_principle p,._1NhTda_contextNote p{color:#566279;margin:5px 0 0}._1NhTda_symbolicGrid,._1NhTda_proofGrid,._1NhTda_constraintGrid,._1NhTda_bayesGrid,._1NhTda_hybridGrid{grid-template-columns:repeat(3,minmax(0,1fr));gap:10px;margin:18px 0;display:grid}._1NhTda_symbolicGrid article,._1NhTda_proofGrid article,._1NhTda_constraintGrid article,._1NhTda_bayesGrid article,._1NhTda_hybridGrid article{border:1px solid var(--first-border);background:#fff;border-radius:12px;padding:16px 17px}._1NhTda_symbolicGrid b,._1NhTda_constraintGrid b,._1NhTda_bayesGrid b,._1NhTda_hybridGrid b{color:#315d65}._1NhTda_symbolicGrid p,._1NhTda_constraintGrid p,._1NhTda_bayesGrid p,._1NhTda_hybridGrid p{color:#56657b;margin:6px 0}._1NhTda_symbolicGrid small{color:#718087;overflow-wrap:anywhere}._1NhTda_proofGrid{grid-template-columns:repeat(2,minmax(0,1fr))}._1NhTda_proofGrid span{color:#66787d;font-size:.75rem;font-weight:850}._1NhTda_proofGrid b{color:#315b64;margin:6px 0;display:block}._1NhTda_proofGrid p{color:#5c6b81;margin:0}._1NhTda_searchExample{border:1px solid var(--first-border);background:#f7faf9;border-radius:13px;margin:16px 0;padding:17px 18px}._1NhTda_searchExample>span{color:#60757a;font-size:.75rem;font-weight:850}._1NhTda_searchExample p{color:#526179;margin:7px 0 12px}._1NhTda_searchExample>div{flex-wrap:wrap;align-items:center;gap:8px;display:flex}._1NhTda_searchExample b{color:#365d64;background:#fff;border-radius:9px;padding:8px 10px}._1NhTda_searchExample i{color:#7b8b8e;font-style:normal}._1NhTda_bayesGrid article{text-align:center}._1NhTda_bayesGrid span{color:#68787d;font-size:.75rem;font-weight:850}._1NhTda_bayesGrid b{margin:6px 0;font-size:1.15rem;display:block}._1NhTda_bayesGrid p{margin:0}._1NhTda_hybridGrid article{min-height:128px}._1NhTda_hybridGrid b{margin-bottom:6px;display:block}._1NhTda_llmFlow{grid-template-columns:1fr 28px 1fr 28px 1fr 28px 1fr;align-items:stretch;gap:7px;margin:18px 0;display:grid}._1NhTda_llmFlow article{border:1px solid var(--first-border);text-align:center;background:#fff;border-radius:12px;flex-direction:column;justify-content:center;padding:15px;display:flex}._1NhTda_llmFlow span{color:#697a7e;font-size:.74rem;font-weight:850}._1NhTda_llmFlow b{color:#315c64;margin-top:6px}._1NhTda_llmFlow i{color:#7a8b8f;text-align:center;align-self:center;font-style:normal}._1NhTda_llmQuestions{grid-template-columns:repeat(2,minmax(0,1fr));gap:9px;margin:15px 0;display:grid}._1NhTda_llmQuestions div{border:1px solid var(--first-border);background:var(--first-soft);border-radius:11px;flex-direction:column;padding:14px 15px;display:flex}._1NhTda_llmQuestions b{color:#325f66}._1NhTda_llmQuestions span{color:#607088;margin-top:5px;font-size:.84rem}._1NhTda_verificationTable{border:1px solid var(--first-border);border-radius:13px;margin:18px 0;overflow:hidden}._1NhTda_verificationTable>div{border-top:1px solid var(--first-border);grid-template-columns:.8fr 1.5fr 1.4fr;gap:10px;padding:12px 15px;display:grid}._1NhTda_verificationTable>div:first-child{border-top:0}._1NhTda_verificationTable ._1NhTda_head{color:#3d5559;background:#edf3f3}._1NhTda_verificationTable span{color:#5d6b80}._1NhTda_humanGrid{grid-template-columns:repeat(2,minmax(0,1fr));gap:10px;margin:15px 0;display:grid}._1NhTda_humanGrid article{border:1px solid var(--first-border);background:#fff;border-radius:12px;padding:17px 18px}._1NhTda_humanGrid b{color:#315c64}._1NhTda_humanGrid p{color:#5e6d82;margin:6px 0 0}._1NhTda_finalCheck,._1NhTda_deepen{border:1px solid var(--first-border);background:#fff;border-radius:18px;margin-top:28px;padding:28px}._1NhTda_finalCheck h2,._1NhTda_deepen h2{margin-top:0}._1NhTda_quizGrid{grid-template-columns:repeat(3,minmax(0,1fr));gap:12px;display:grid}._1NhTda_quizGrid details{border:1px solid var(--first-border);border-radius:12px;margin-top:0;padding:0 13px 12px}._1NhTda_quizGrid details summary{color:#315f66;align-items:center;min-height:62px;display:flex}._1NhTda_linkGrid{grid-template-columns:repeat(5,minmax(0,1fr));gap:10px;margin-top:18px;display:grid}._1NhTda_linkGrid a{border:1px solid var(--first-border);background:var(--first-soft);border-radius:13px;flex-direction:column;min-height:130px;padding:16px;text-decoration:none;display:flex}._1NhTda_linkGrid a:hover{background:#edf6f5}._1NhTda_linkGrid strong{color:#315b63}._1NhTda_linkGrid span{color:#617088;margin-top:7px;font-size:.82rem;line-height:1.55}@media (max-width:980px){._1NhTda_mapGrid,._1NhTda_symbolicGrid,._1NhTda_constraintGrid,._1NhTda_bayesGrid,._1NhTda_hybridGrid{grid-template-columns:repeat(2,minmax(0,1fr))}._1NhTda_quizGrid{grid-template-columns:1fr}._1NhTda_linkGrid{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (max-width:760px){._1NhTda_proofGrid,._1NhTda_humanGrid,._1NhTda_llmQuestions,._1NhTda_llmFlow{grid-template-columns:1fr}._1NhTda_llmFlow i{transform:rotate(90deg)}._1NhTda_verificationTable>div{grid-template-columns:1fr;gap:4px}._1NhTda_verificationTable ._1NhTda_head{display:none}}@media (max-width:560px){._1NhTda_mapGrid,._1NhTda_symbolicGrid,._1NhTda_constraintGrid,._1NhTda_bayesGrid,._1NhTda_hybridGrid{grid-template-columns:1fr}._1NhTda_finalCheck,._1NhTda_deepen{padding:22px 17px}._1NhTda_linkGrid{grid-template-columns:1fr}}
