.overview{border-inline:1px solid var(--verdict-line);grid-template-columns:repeat(12,minmax(0,1fr));max-width:1440px;margin-inline:auto;display:grid;position:relative}.overview .cell{border-bottom:1px solid var(--verdict-line);flex-direction:column;min-width:0;padding:40px;display:flex}.overview .lead,.overview .agents,.overview .tests{grid-column:span 7}.overview .language,.overview .execution,.overview .runtimes{grid-column:span 5}.overview .lead,.overview .execution,.overview .tests{border-right:1px solid var(--verdict-line)}.overview h2{letter-spacing:-.035em;text-wrap:balance;max-width:590px;font-size:24px;line-height:1.24}.overview p,.overview ul{color:#514b57;margin-top:18px;font-size:18px;line-height:1.65}.overview p{max-width:460px}.overview ul{flex-direction:column;gap:8px;padding-left:20px;line-height:1.25;list-style:outside;display:flex}.overview li{padding-left:2px}.overview li::marker{color:#9361e8}.overview a{color:#7144c7;align-self:flex-start;margin-top:auto;padding-top:28px;font-size:15px;font-weight:500}.overview a:hover{text-underline-offset:4px;text-decoration:underline}.overview .access-sample{margin-top:40px}.overview .policy-sample{margin-top:48px}.overview .pills{flex-wrap:wrap;align-content:center;gap:10px;margin-block:auto;padding-top:40px;display:flex}.overview .pills span{color:#615469;background:#faf9fc;border:1px solid #ddd8e4;border-radius:5px;padding:7px 12px;font-size:15px}.overview .query-path{font-family:var(--verdict-font-mono);flex-direction:column;align-items:center;margin-top:40px;font-size:14px;display:flex}.overview .query-path div{gap:12px;display:flex}.overview .query-path div span{color:#695181;background:#faf8ff;border:1px solid #ded8eb;border-radius:4px;padding:8px 24px}.overview .query-path .path-arrow{color:#9a86b6;padding-block:8px}.overview .query-path strong{color:#fff;background:#7144c7;border:1px solid #8452d2;border-radius:5px;padding:12px 46px;font-weight:500;box-shadow:0 5px #e8e0f3}.overview .runtime-options{grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:20px;margin-top:auto;padding-top:40px;display:grid}.overview .runtime-options figure{text-align:center;min-width:0}.overview .runtime-options .runtime-stack{max-width:230px}.overview .runtime-options figcaption{color:#615469;margin-top:8px;font-size:15px;font-weight:500}@media (width<=1050px){.overview .cell{padding:30px}}@media (width<=760px){.overview{border-inline:0;grid-template-columns:1fr}.overview .cell{border-right:0;grid-column:1;padding:30px 26px}.overview .pills{padding-top:24px}.overview .query-path{margin-block:28px 6px}}.engine-section{border:1px solid var(--verdict-line);border-top:0;grid-template-columns:.9fr 1.1fr;align-items:center;gap:70px;max-width:1440px;margin-inline:auto;padding:80px 48px;display:grid}.engine-section h2{letter-spacing:-.05em;text-wrap:balance;max-width:500px;font-size:clamp(30px,3vw,40px);line-height:1.15}.engine-section p{color:#514b57;max-width:510px;margin-top:24px;font-size:18px}.engine-section .proof-graphic{font-family:var(--verdict-font-mono);background:radial-gradient(at 100% 0,#eee7fb,#0000 70%),#faf9fc;border:1px solid #dfd9e8;border-radius:6px;padding:36px;font-size:14px}.engine-section .query,.engine-section .proof-step,.engine-section .proof-result{background:#fff;border:1px solid #d7cde4;border-radius:4px;padding:16px 20px}.engine-section .query{color:#ddd4ed;background:#17161c;border-color:#414145}.engine-section .query span{color:#aaa1b8;margin-bottom:10px;display:block}.engine-section code{font:inherit;white-space:nowrap;display:block;overflow-x:auto}.engine-section .connector{text-align:center;color:#a08bb9;padding-block:8px}.engine-section .proof-step{color:#695181;justify-content:space-between;align-items:center;gap:15px;display:flex}.engine-section .rule-lines{gap:5px;width:100px;display:grid}.engine-section .rule-lines i{background:#cbb7e8;height:3px}.engine-section .rule-lines i:nth-child(2){width:75%}.engine-section .fact-dots{gap:7px;display:flex}.engine-section .fact-dots i{background:#cfbde9;border-radius:2px;width:10px;height:10px}.engine-section .proof-result{color:#654294;background:#ede6f7;border-color:#b89bdc;width:fit-content;margin-inline:auto}.engine-section .proof-result span{margin-right:10px}@media (width<=1000px){.engine-section{grid-template-columns:1fr;gap:40px;padding:60px 32px}.engine-section .engine-copy p{max-width:760px}}@media (width<=760px){.engine-section{border-inline:0;padding:48px 26px}.engine-section .proof-graphic{padding:20px;font-size:12px}}.postgres-section{border:1px solid #414145;color:#fafafa;background:#17161c;border-top:0;max-width:1440px;margin-inline:auto;padding:56px 48px 64px}.postgres-section header{text-align:center}.postgres-section h2{letter-spacing:-.04em;font-size:24px;line-height:1.2}.postgres-section p{color:#d4d4d8;margin-top:16px;font-size:18px}.postgres-section .postgres-card{background:radial-gradient(at 90%,#28505335,#0000 60%),#14151a;border:1px solid #4f8698;border-radius:6px;grid-template-columns:1fr 1fr;align-items:center;gap:40px;max-width:1100px;margin:36px auto 0;padding:40px;display:grid}.postgres-section .eyebrow{color:#8cc8d1;margin:0 0 16px}.postgres-section h3{letter-spacing:-.04em;text-wrap:balance;font-size:30px;font-weight:500;line-height:1.2}.postgres-section button{border:1px solid #ffffff40;border-radius:6px;margin-top:28px;padding:10px 16px;font-size:14px;font-weight:500}.postgres-section button:hover{background:#ffffff10}@media (width<=900px){.postgres-section .postgres-card{grid-template-columns:1fr;gap:24px}}@media (width<=760px){.postgres-section{border-inline:0;padding:40px 26px}.postgres-section .postgres-card{padding:26px}.postgres-section h3{font-size:27px}}.runtime-stack{width:100%;max-width:460px;height:auto;margin-inline:auto;display:block;overflow:visible}@media (width<=760px){.runtime-stack .stack-label{font-size:26px}}.decision-feed{height:184px;font-family:var(--font-mono,monospace);font-size:12px;line-height:1.6;position:relative;overflow:hidden;mask-image:linear-gradient(#0000,#000b 55%,#000 85%)}.decision-row{width:100%;transform:translateY(calc(var(--slot) * 46px));transition:transform .65s cubic-bezier(.22,1,.36,1);position:absolute;top:0;left:0}.decision-row-box{box-sizing:border-box;background:#a78bfa0a;border:1px solid #c4b5fd30;grid-template-columns:66px minmax(0,1fr) 8ch 18px;align-items:center;gap:10px;width:100%;height:38px;padding:4px 8px;display:grid}.decision-outcome,.decision-query{white-space:nowrap;border-radius:3px;justify-self:start;padding:3px 7px}.decision-outcome{box-sizing:border-box;text-align:center;width:66px}.decision-query{box-sizing:border-box;color:#c4b5fd;background:#a78bfa18;max-width:100%;overflow:hidden}.decision-outcome.resolved{background:#a78bfa18;animation:.3s both decision-result}.decision-status{justify-content:center;align-items:center;display:flex}.decision-status svg{width:16px;height:16px;animation:.3s both decision-result}.decision-status.pending{color:#c4b5fd}.decision-spinner{border:1px solid #c4b5fd40;border-top-color:#c4b5fd;border-radius:50%;width:12px;height:12px;animation:.7s linear infinite decision-spin}.decision-outcome.allowed,.decision-status.allowed{color:#86efac}.decision-outcome.denied,.decision-status.denied{color:#fda4af}.decision-row.entering>.decision-row-box{animation:.65s cubic-bezier(.22,1,.36,1) both decision-enter}@keyframes decision-enter{0%{opacity:0;transform:translateY(10px)scale(.94)}to{opacity:1;transform:translateY(0)scale(1)}}@keyframes decision-result{0%{opacity:0}to{opacity:1}}@keyframes decision-spin{to{transform:rotate(360deg)}}@media (width<=639px){.decision-feed{font-size:11px}}@media (prefers-reduced-motion:reduce){.decision-row{transition:none}.decision-row.entering>.decision-row-box,.decision-outcome.resolved,.decision-status svg{animation:none}}.decision-time{color:#a1a1aa;white-space:nowrap;text-align:right}.mutation-feed{height:184px;font-family:var(--font-mono,monospace);font-size:12px;line-height:1.6;position:relative;overflow:hidden;mask-image:linear-gradient(#000 15%,#000b 45%,#0000 100%)}.mutation-row{width:100%;transform:translateY(calc(var(--slot) * 46px));transition:transform .65s cubic-bezier(.22,1,.36,1);position:absolute;top:0;left:0}.mutation-row-box{box-sizing:border-box;background:#a78bfa0a;border:1px solid #c4b5fd30;border-radius:0;grid-template-columns:66px minmax(0,1fr);align-items:center;gap:10px;width:100%;height:38px;padding:4px 8px;display:grid}.mutation-operation,.mutation-fact{color:#c4b5fd;white-space:nowrap;background:#a78bfa18;border-radius:3px;justify-self:start;padding:3px 7px}.mutation-operation{box-sizing:border-box;text-align:center;width:66px}.mutation-fact{max-width:100%}.mutation-row.entering>.mutation-row-box{transform-origin:50%;animation:.65s cubic-bezier(.22,1,.36,1) .22s both mutation-enter}@keyframes mutation-enter{0%{opacity:0;transform:scale(.94)}to{opacity:1;transform:scale(1)}}@media (width<=639px){.mutation-feed{font-size:11px}}@media (prefers-reduced-motion:reduce){.mutation-row{transition:none}.mutation-row.entering>.mutation-row-box{animation:none}}