.public-v2-shell{width:min(100vw - 2.5rem,80rem);margin-inline:auto}.public-v2-header{border-bottom:1px solid var(--tdb-rule);justify-content:space-between;align-items:end;gap:2rem;padding-block:3rem 2rem;display:flex}.public-v2-header-copy{max-width:52rem}.public-v2-eyebrow{color:var(--tdb-accent);font-family:var(--tdb-font-interface);letter-spacing:.09em;text-transform:uppercase;margin:0 0 .45rem;font-size:.625rem;font-weight:600}.public-v2-title{max-width:34ch;color:var(--tdb-ink);letter-spacing:-.045em;margin:0;font-size:clamp(1.9rem,4vw,2.8rem);font-weight:620;line-height:1.06}.public-v2-lead{max-width:64ch;color:var(--tdb-muted);margin:.8rem 0 0;font-size:.94rem;line-height:1.6}.public-v2-actions{flex-wrap:wrap;gap:.45rem;margin-top:1.25rem;display:flex}.public-v2-button{border:1px solid var(--tdb-accent);border-radius:var(--tdb-radius);background:var(--tdb-accent);color:#fff;justify-content:center;align-items:center;min-height:2.15rem;padding:.5rem .75rem;font-size:.75rem;font-weight:650;text-decoration:none;display:inline-flex}.public-v2-button:hover{border-color:var(--tdb-accent-strong);background:var(--tdb-accent-strong)}.public-v2-button[data-variant=outline]{border-color:var(--tdb-rule-strong);background:var(--tdb-canvas);color:var(--tdb-ink)}.public-v2-button[data-variant=outline]:hover{border-color:var(--tdb-accent);background:var(--tdb-accent-soft);color:var(--tdb-accent)}.public-v2-section{border-top:1px solid var(--tdb-rule);padding-block:3rem}.public-v2-section:first-child{border-top:0}.public-v2-section-head{justify-content:space-between;align-items:end;gap:1.5rem;margin-bottom:1.25rem;display:flex}.public-v2-section-copy{max-width:48rem}.public-v2-section-title{color:var(--tdb-ink);letter-spacing:-.018em;margin:0;font-size:1.1rem;font-weight:660}.public-v2-section-intro,.public-v2-prose{max-width:68ch;color:var(--tdb-muted);font-size:.84rem;line-height:1.62}.public-v2-section-intro{margin:.45rem 0 0}.public-v2-prose p{margin:0}.public-v2-prose p+p{margin-top:.8rem}.public-v2-prose a,.public-v2-link{color:var(--tdb-accent);font-weight:550;text-decoration:none}.public-v2-prose a:hover,.public-v2-link:hover{text-underline-offset:.18em;text-decoration:underline}.public-v2-prose code,.public-v2-code{color:var(--tdb-ink);font-family:var(--tdb-font-code);font-size:.76rem}.public-v2-split{grid-template-columns:minmax(0,.85fr) minmax(28rem,1.15fr);align-items:start;gap:3rem;display:grid}.public-v2-rule-list{border-top:1px solid var(--tdb-rule-strong);margin:0}.public-v2-rule-row{border-bottom:1px solid var(--tdb-rule);grid-template-columns:minmax(8rem,.6fr) minmax(0,1.4fr);gap:1.25rem;padding:.72rem 0;font-size:.76rem;line-height:1.5;display:grid}.public-v2-rule-row dt,.public-v2-rule-row strong{color:var(--tdb-ink);font-weight:620}.public-v2-rule-row dd{color:var(--tdb-muted);margin:0}.public-v2-table-wrap{border:1px solid var(--tdb-rule);background:var(--tdb-canvas);overflow-x:auto}.public-v2-table{border-collapse:collapse;width:100%;min-width:40rem;font-size:.74rem}.public-v2-table th{border-bottom:1px solid var(--tdb-rule-strong);background:var(--tdb-surface);color:var(--tdb-muted);font-family:var(--tdb-font-interface);letter-spacing:.04em;text-align:left;text-transform:uppercase;padding:.5rem .65rem;font-size:.58rem;font-weight:600}.public-v2-table td{border-bottom:1px solid var(--tdb-rule);color:var(--tdb-muted);vertical-align:top;padding:.68rem .65rem;line-height:1.5}.public-v2-table tbody tr:last-child td{border-bottom:0}.public-v2-table th+th,.public-v2-table td+td{border-left:1px solid var(--tdb-rule)}.public-v2-table td:first-child{color:var(--tdb-ink);font-weight:580}.public-v2-note{color:var(--tdb-muted);font-family:var(--tdb-font-interface);margin:0;font-size:.63rem;line-height:1.5}.home-v2{min-height:72vh}.home-v2 .public-v2-header{padding-block:3.5rem 3rem}.home-v2-demo{margin-top:2rem}.home-v2-tabs{border:1px solid var(--tdb-rule);border-radius:var(--tdb-radius);background:var(--tdb-canvas);margin-bottom:.65rem;display:inline-flex}.home-v2 .demo-scenario-tab{min-height:2rem;color:var(--tdb-muted);box-shadow:none;background:0 0;border:0;border-radius:999px;padding:.42rem .95rem;font-size:.78rem;font-weight:550;transition:background .15s,color .15s}.home-v2 .demo-scenario-tab:hover{color:var(--tdb-ink,#0d2137)}.home-v2 .demo-scenario-tab[aria-selected=true]{background:var(--tdb-accent-soft);color:var(--tdb-accent);box-shadow:inset 0 0 0 1px #4f46e547}.home-v2-demo-grid{border:1px solid var(--tdb-rule-strong);background:#09111e;grid-template-columns:repeat(2,minmax(0,1fr));display:grid}.home-v2-demo-pane{background:#09111e;flex-direction:column;min-width:0;height:30rem;display:flex;overflow:hidden}.home-v2-demo-pane+.home-v2-demo-pane{border-left:1px solid #30415a}.home-v2-demo-bar{color:#d7e1ee9e;min-height:2.25rem;font-family:var(--tdb-font-interface);background:#101c2c;border-bottom:1px solid #30415a;align-items:center;gap:.55rem;padding:.45rem .75rem;font-size:.64rem;display:flex}.home-v2-demo-state{color:#8dc8a7;align-items:center;gap:.35rem;margin-left:auto;display:inline-flex}.home-v2-demo-state:before{content:"";background:currentColor;border-radius:50%;width:.35rem;height:.35rem}.home-v2-replay-wrap{background:#101c2c;border-top:1px solid #30415a;padding:.5rem .7rem}.home-v2-replay{border-radius:var(--tdb-radius);color:#d7e1eead;width:100%;min-height:1.8rem;font-family:var(--tdb-font-interface);border:1px solid #40536e;font-size:.62rem}.home-v2-replay:hover{color:#fff;border-color:#8da1bc}.home-v2 .agent-session{flex:1;min-height:0;padding:.85rem;overflow-y:auto}.home-v2 #tdb-call-strip{margin-top:.85rem;display:grid}.home-v2 .mcp-explainer{border:1px solid var(--tdb-rule);background:var(--tdb-canvas);min-height:4.4rem;box-shadow:none;border-radius:.65rem;padding:.7rem .85rem}.home-v2 .mcp-explainer.is-active{border-color:var(--tdb-accent);background:var(--tdb-accent-soft)}.home-v2 .mcp-explainer code{background:var(--tdb-accent-soft);color:var(--tdb-accent);border-radius:5px;padding:0 .4em;font-family:inherit;font-size:.72rem;font-weight:600;display:inline-block}.home-v2 .mcp-explainer.is-active code{background:#ffffffb3}.home-v2 .mcp-explainer span{color:var(--tdb-muted);margin-top:.25rem;font-size:.66rem;line-height:1.4}.home-v2-demo-caption{color:var(--tdb-muted);margin:.8rem 0 0;font-size:.72rem;line-height:1.5}.home-v2-model .public-v2-table td:nth-child(2),.home-v2-model .public-v2-table th:nth-child(2){width:28%}.home-v2-model .ref,.hiw-v2 .ref{color:var(--tdb-accent);text-decoration:underline;text-decoration-color:color-mix(in srgb, var(--tdb-accent) 35%, transparent);text-underline-offset:.17em}.home-v2-workflow{border-top:1px solid var(--tdb-rule-strong);border-left:1px solid var(--tdb-rule);grid-template-columns:repeat(3,minmax(0,1fr));display:grid}.home-v2-workflow-item{border-right:1px solid var(--tdb-rule);border-bottom:1px solid var(--tdb-rule);min-width:0;padding:.85rem}.home-v2-workflow-call{align-items:baseline;gap:.5rem;display:flex}.home-v2-workflow-call span,.home-v2-workflow-call code{font-size:.65rem}.home-v2-workflow-call span{color:var(--tdb-faint)}.home-v2-workflow-call code{color:var(--tdb-accent);font-family:var(--tdb-font-code);font-weight:600}.home-v2-workflow-item h3{color:var(--tdb-ink);margin:.5rem 0 0;font-size:.78rem;font-weight:630}.home-v2-workflow-item p{color:var(--tdb-muted);margin:.3rem 0 0;font-size:.7rem;line-height:1.5}.home-v2-connect-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:2rem;margin-top:1.5rem;display:grid}.home-v2-connect-column{border-top:2px solid var(--tdb-rule-strong);padding-top:.75rem}.home-v2-connect-head{justify-content:space-between;align-items:baseline;gap:1rem;margin-bottom:.75rem;display:flex}.home-v2-connect-head h3{margin:0;font-size:.82rem;font-weight:650}.home-v2-connect-head span{color:var(--tdb-muted);font-family:var(--tdb-font-interface);font-size:.58rem}.connect-card,.connect-more,.home-v2-connect-column{min-width:0}.home-v2-connect-column .code-panel,.home-v2-system-prompt .code-panel,.hiw-v2 .code-panel{border-radius:var(--tdb-radius);box-shadow:none}.home-v2-connect-column .code-panel+.code-panel{margin-top:.65rem}.home-v2-steps{border-top:1px solid var(--tdb-rule);margin:0;padding:0;list-style:none}.home-v2-step{border-bottom:1px solid var(--tdb-rule);grid-template-columns:1.4rem minmax(0,1fr);gap:.45rem;padding:.55rem 0;display:grid}.home-v2-step>span{color:var(--tdb-faint);font-family:var(--tdb-font-interface);font-size:.6rem}.home-v2-step strong{color:var(--tdb-ink);font-size:.72rem;font-weight:620;display:block}.home-v2-step p{color:var(--tdb-muted);margin:.2rem 0 0;font-size:.68rem;line-height:1.45}.home-v2-system-prompt{border-top:1px solid var(--tdb-rule);grid-template-columns:minmax(12rem,.35fr) minmax(0,1fr);align-items:start;gap:1.5rem;margin-top:1.5rem;padding-top:1rem;display:grid}.home-v2-system-prompt h3{margin:0;font-size:.78rem;font-weight:650}.home-v2-system-prompt p{color:var(--tdb-muted);margin:.3rem 0 0;font-size:.7rem;line-height:1.5}.home-v2-system-prompt code{overflow-wrap:anywhere;border:1px solid var(--tdb-rule);background:var(--tdb-surface);color:var(--tdb-ink);font-family:var(--tdb-font-code);padding:.75rem;font-size:.68rem;line-height:1.55;display:block}.home-v2-problems .game-status{min-height:1.8rem;color:var(--tdb-muted);font-family:var(--tdb-font-interface);margin:0;padding:.35rem 0;font-size:.61rem}.home-v2-problems .home-explore-grid{border-top:1px solid var(--tdb-rule-strong);display:block}.home-v2-problems .home-explore-card{border:0;border-bottom:1px solid var(--tdb-rule);min-height:0;color:var(--tdb-ink);box-shadow:none;background:0 0;border-radius:0;grid-template-columns:minmax(8rem,.28fr) minmax(0,1fr) auto;gap:.25rem 1rem;padding:.75rem .2rem;display:grid}.home-v2-problems .home-explore-card:hover{border-color:var(--tdb-rule);background:var(--tdb-accent-soft);box-shadow:none;transform:none}.home-v2-problems .home-explore-card-top{grid-area:1/1/span 3;display:block}.home-v2-problems .home-explore-project{color:var(--tdb-muted);font-family:var(--tdb-font-code);text-overflow:ellipsis;white-space:nowrap;padding:0;font-size:.58rem;display:block;overflow:hidden}.home-v2-problems .home-explore-card h3{grid-column:2;margin:0;font-size:.78rem;font-weight:650}.home-v2-problems .home-explore-card>p{-webkit-line-clamp:2;color:var(--tdb-muted);font-family:var(--tdb-font-math);-webkit-box-orient:vertical;grid-column:2;margin:0;font-size:.72rem;line-height:1.45;display:-webkit-box;overflow:hidden}.home-v2-problems .home-explore-card-badges{grid-column:2;gap:.5rem;margin:0}.home-v2-problems .home-explore-card-badges span{color:var(--tdb-muted);font-family:var(--tdb-font-interface);border:0;padding:0;font-size:.57rem}.home-v2-problems .home-explore-open{color:var(--tdb-accent);white-space:nowrap;grid-area:1/3/span 3;align-self:center;margin:0;padding:0;font-size:.66rem;font-weight:600}.home-v2-feature{border:1px solid var(--tdb-rule);border-left:3px solid var(--tdb-accent);grid-template-columns:minmax(0,1.25fr) minmax(19rem,.75fr);gap:2.5rem;margin-top:2rem;padding:1rem 1.1rem;display:grid}.home-v2-feature-meta{color:var(--tdb-muted);font-family:var(--tdb-font-interface);align-items:center;gap:.55rem;margin:0;font-size:.59rem;display:flex}.home-v2-feature-state{color:var(--tdb-accent);font-weight:650}.home-v2-feature h3{color:var(--tdb-ink);margin:.6rem 0 0;font-size:1rem;font-weight:650}.home-v2-feature-statement{max-width:58rem;color:var(--tdb-ink);font-family:var(--tdb-font-math);margin:.55rem 0 0;font-size:1rem;line-height:1.55}.home-v2-feature-links{flex-wrap:wrap;gap:1rem;margin:.75rem 0 0;font-size:.7rem;display:flex}.home-v2-corpus{grid-template-columns:minmax(0,.8fr) minmax(24rem,1.2fr);gap:3rem;display:grid}.home-v2-stats-state{color:var(--tdb-muted);font-family:var(--tdb-font-interface);margin:1rem 0 0;font-size:.62rem}.home-v2-roadmap{border-top:1px solid var(--tdb-rule);grid-template-columns:minmax(12rem,.35fr) minmax(0,1fr);gap:2.5rem;margin-top:2.5rem;padding-top:2rem;display:grid}.home-v2-roadmap-status{color:var(--tdb-accent);font-family:var(--tdb-font-interface);font-size:.6rem}.home-v2-cite{grid-template-columns:minmax(12rem,.35fr) minmax(0,1fr);align-items:start;gap:2.5rem;display:grid}.hero-band{background:#edeae1}.hero-band .demo-scenario-tab{background:#ffffff8c;border:1px solid #0000}.hero-band .demo-scenario-tab[aria-selected=true]{border-color:var(--tdb-rule,#deded7);color:var(--tdb-accent,#24406e);box-shadow:none;background:#fff}.hero-band .mcp-explainer{background:#fff;border-color:#dcd7c9}.home-v2 .session-live,.home-v2 .packet-live{--demo-serif:KaTeX_Main, "EB Garamond Variable", Georgia, serif}.home-v2 .session-live{border:1px solid var(--tdb-rule-strong,#b9bbb3);border-radius:var(--tdb-radius);background:var(--tdb-canvas,#fff);flex-direction:column;height:36rem;display:flex;overflow:hidden}.home-v2 .session-live-status{color:var(--tdb-muted,#656860);font-family:var(--tdb-font-interface);letter-spacing:.04em;text-transform:uppercase;align-items:center;gap:.4rem;margin:0;font-size:.7rem;font-weight:550;display:flex}.home-v2 .session-live-dot{background:var(--tdb-positive,#35634e);border-radius:999px;width:.375rem;height:.375rem}.home-v2 .session-live .agent-session{scrollbar-color:var(--tdb-rule-strong,#b9bbb3) transparent;scrollbar-width:thin;flex:auto;min-height:0;padding:.9rem .85rem .6rem;overflow-y:auto;mask-image:linear-gradient(#0000,#000 1.1rem calc(100% - 1.1rem),#0000)}.home-v2 .session-live .agent-session::-webkit-scrollbar{width:4px}.home-v2 .session-live .agent-session::-webkit-scrollbar-thumb{background:var(--tdb-rule-strong,#b9bbb3);border-radius:0}.home-v2 .session-live .agent-message{align-items:flex-start;gap:.5rem;margin-bottom:.75rem}.home-v2 .session-live .agent-avatar{border-color:var(--tdb-rule,#deded7);background:var(--tdb-surface,#f8f8f5);width:1.6rem;height:1.6rem;box-shadow:none;flex-basis:1.6rem}.home-v2 .session-live .agent-avatar-assistant{border-color:var(--tdb-rule,#deded7);box-shadow:none;background:#f4efe3}.home-v2 .session-live .agent-message p{border:1px solid var(--tdb-rule,#deded7);border-radius:var(--tdb-radius);background:var(--tdb-surface,#f8f8f5);max-width:94%;color:var(--tdb-ink,#151719);font-family:var(--demo-serif);padding:.55rem .7rem;font-size:.92rem;line-height:1.6}.home-v2 .session-live .agent-message-user p{border-color:color-mix(in srgb, var(--tdb-accent,#24406e) 22%, transparent);background:var(--tdb-accent-soft,#eef2f7);max-width:90%}.home-v2 .session-live .mcp-call-compact{background:0 0;border:0;border-radius:0;align-items:baseline;gap:.4rem;width:auto;max-width:none;margin:-.4rem 0 .8rem 2.1rem;padding:0;display:flex}.home-v2 .session-live .mcp-call-compact:before{color:var(--tdb-rule-strong,#b9bbb3);content:"↳";font-family:var(--tdb-font-code);font-size:.6rem}.home-v2 .session-live .mcp-call-compact code{color:var(--tdb-accent,#24406e);font-family:var(--tdb-font-code);text-decoration:underline;text-decoration-color:color-mix(in srgb, var(--tdb-accent,#24406e) 30%, transparent);text-underline-offset:.18em;font-size:.62rem;font-weight:550}.home-v2 .session-live .mcp-call-compact>span{color:var(--tdb-faint,#8b8d86);font-family:var(--tdb-font-code);text-overflow:ellipsis;white-space:nowrap;font-size:.6rem;overflow:hidden}.home-v2 .session-live-foot{border-top:1px solid var(--tdb-rule,#deded7);background:var(--tdb-surface,#f8f8f5);flex:none;padding:.45rem .85rem}.home-v2 .session-live-foot button{width:100%;color:var(--tdb-muted,#656860);font-family:var(--tdb-font-interface);font-size:.72rem;font-weight:550}.home-v2 .session-live-foot button:hover{color:var(--tdb-accent,#24406e)}.home-v2 .packet-live{--f-established_results:var(--tdb-positive,#35634e);--f-negative_traces:var(--tdb-negative,#8e382f);--f-reusable_artifacts:var(--tdb-accent,#24406e);--f-formalizations:#4a6270;--f-open_questions:var(--tdb-warning,#835b22);border:1px solid var(--tdb-rule-strong,#b9bbb3);border-radius:var(--tdb-radius);background:var(--tdb-canvas,#fff);flex-direction:column;height:36rem;display:flex;overflow:hidden}.home-v2 .packet-live-head{border-bottom:1px solid var(--tdb-rule,#deded7);background:var(--tdb-surface,#f8f8f5);flex:none;justify-content:space-between;align-items:baseline;gap:1rem;padding:.6rem .85rem;display:flex}.home-v2 .packet-live-eyebrow{color:var(--tdb-accent,#24406e);font-family:var(--tdb-font-interface);letter-spacing:.06em;text-transform:uppercase;margin:0;font-size:.7rem;font-weight:620}.home-v2 .packet-live-project{color:var(--tdb-faint,#8b8d86);font-family:var(--tdb-font-interface);margin:0;font-size:.72rem}.home-v2 .packet-live-body{overscroll-behavior:contain;scrollbar-width:thin;flex-direction:column;flex:auto;min-height:0;padding:.85rem;display:flex;overflow-y:auto}.home-v2 .packet-live-piece{flex:none}.home-v2 .packet-live-piece[hidden]{display:none}.home-v2 .packet-live-piece:not([hidden]){animation:.36s cubic-bezier(.2,.7,.3,1) both packet-live-in}@keyframes packet-live-in{0%{opacity:0;transform:translateY(4px)}to{opacity:1;transform:none}}.home-v2 .packet-field-map{border-bottom:1px solid color-mix(in srgb, var(--tdb-accent,#24406e) 14%, var(--tdb-rule,#deded7));background:var(--tdb-accent-soft,#eef2f7);flex:none;margin:-.85rem -.85rem 0;padding:.6rem .85rem .65rem}.home-v2 .packet-field-target{color:var(--tdb-faint,#8b8d86);font-family:var(--tdb-font-interface);letter-spacing:.06em;text-transform:uppercase;justify-content:space-between;align-items:baseline;gap:.75rem;margin:0;font-size:.66rem;font-weight:550;display:flex}.home-v2 .packet-field-target code{color:var(--tdb-muted,#656860);letter-spacing:.04em;margin-left:auto;font-family:inherit}.home-v2 .packet-field-map strong{color:var(--tdb-ink,#151719);font-family:var(--demo-serif);-webkit-line-clamp:3;-webkit-box-orient:vertical;margin-top:.1rem;font-size:.92rem;font-weight:500;line-height:1.4;display:-webkit-box;overflow:hidden}.home-v2 .packet-live[data-picked=false] .packet-field-legend{visibility:hidden}.home-v2 .packet-field-legend{color:var(--tdb-muted,#656860);font-family:var(--demo-serif);align-items:baseline;gap:.35rem;margin:.45rem 0 0;font-size:.74rem;display:flex}.home-v2 .packet-field-legend>span>b{color:var(--tdb-ink,#151719);font-family:var(--tdb-font-code);font-size:.76rem;font-weight:600}.home-v2 .packet-field-arrow{color:var(--tdb-rule-strong,#b9bbb3)}.home-v2 .packet-live-abstain{color:var(--tdb-muted,#656860);font-family:var(--demo-serif);flex:none;margin:.7rem 0 0;padding:.1rem 0;font-size:.76rem;line-height:1.45}.home-v2 .session-live .agent-typing{align-items:center;gap:.3rem;width:fit-content;padding:.62rem .75rem;display:inline-flex}.home-v2 .session-live .agent-typing i{background:var(--tdb-rule-strong,#b9bbb3);width:.34rem;height:.34rem;animation:1.2s ease-in-out infinite agent-typing-dot;animation-delay:calc(var(--dot,0) * .16s);border-radius:999px}@keyframes agent-typing-dot{0%,62%,to{opacity:.4;transform:translateY(0)}30%{opacity:1;transform:translateY(-.16rem)}}@media (prefers-reduced-motion:reduce){.home-v2 .session-live .agent-typing i{animation:none}}.home-v2 .session-live .proof-card{border:1px solid color-mix(in srgb, var(--tdb-accent,#24406e) 30%, var(--tdb-rule,#deded7));border-radius:var(--tdb-radius);background:var(--tdb-canvas,#fff);max-width:94%;padding:.45rem .65rem .5rem}.home-v2 .session-live .proof-card p{background:0 0;border:0;border-radius:0;max-width:none;padding:0}.home-v2 .session-live .proof-card .proof-card-label{color:var(--tdb-accent,#24406e);font-family:var(--tdb-font-interface);letter-spacing:.04em;text-transform:uppercase;font-size:.66rem;font-weight:600}.home-v2 .session-live .proof-card strong{color:var(--tdb-ink,#151719);font-family:var(--demo-serif);margin-top:.18rem;font-size:.92rem;font-weight:500;line-height:1.35;display:block}.home-v2 .session-live .proof-card .proof-card-meta{color:var(--tdb-faint,#8b8d86);font-family:var(--tdb-font-interface);margin-top:.18rem;font-size:.68rem}.home-v2 .session-live .proof-card-open{color:var(--tdb-accent,#24406e);font-family:var(--tdb-font-interface);text-decoration:underline;text-decoration-color:color-mix(in srgb, var(--tdb-accent,#24406e) 35%, transparent);text-underline-offset:.2em;margin-top:.4rem;font-size:.7rem;font-weight:600}.home-v2 .session-live .proof-card-open:hover{text-decoration-color:currentColor}.proof-modal{border:1px solid var(--tdb-rule-strong,#b9bbb3);border-radius:var(--tdb-radius);background:var(--tdb-canvas,#fff);width:min(36rem,100vw - 3rem);max-height:min(34rem,100vh - 6rem);color:var(--tdb-ink,#151719);margin:auto;padding:0;position:fixed;inset:0;overflow:auto;box-shadow:0 18px 48px #0d21372e}.proof-modal::backdrop{background:#0d213766}.proof-modal header{border-bottom:1px solid var(--tdb-rule,#deded7);background:var(--tdb-surface,#f8f8f5);justify-content:space-between;align-items:baseline;gap:1rem;padding:.55rem .9rem;display:flex;position:sticky;top:0}.proof-modal header button{color:var(--tdb-muted,#656860);font-size:1.1rem;line-height:1}.proof-modal header button:hover{color:var(--tdb-ink,#151719)}.proof-modal h3{text-align:center;margin:1.6rem 2.2rem 0;font-family:KaTeX_Main,EB Garamond Variable,Georgia,serif;font-size:1.3rem;font-weight:500;line-height:1.28}.proof-modal-meta{color:var(--tdb-faint,#8b8d86);font-family:var(--tdb-font-interface);text-align:center;margin:.5rem 2.2rem 0;font-size:.68rem}.proof-modal-body{border-top:1px solid var(--tdb-rule,#deded7);color:var(--tdb-ink,#151719);hyphens:auto;text-align:justify;margin:1.1rem 2.2rem 2rem;padding-top:1.1rem;font-family:KaTeX_Main,EB Garamond Variable,Georgia,serif;font-size:1rem;line-height:1.62}.proof-modal-body p{margin:0}.proof-modal-body p+p{text-indent:1.4em;margin-top:.5rem}.proof-modal-body b{font-style:italic;font-weight:400}.proof-modal-body .proof-statement{border-bottom:1px solid var(--tdb-rule,#deded7);text-indent:0;margin-bottom:1.1rem;padding-bottom:.9rem}.home-v2 .packet-live-fields{flex-direction:column;flex:none;margin-top:.15rem;display:flex}.home-v2 .packet-branch{--field-color:var(--tdb-muted,#656860);border-bottom:1px solid var(--tdb-rule,#deded7);animation:.4s cubic-bezier(.2,.7,.3,1) both packet-row-in;animation-delay:calc(var(--row-order,0) * 70ms + .1s)}@keyframes packet-row-in{0%{opacity:0;transform:translateY(-3px)}to{opacity:1;transform:none}}.home-v2 .packet-branch[data-field=established_results]{--field-color:var(--f-established_results)}.home-v2 .packet-branch[data-field=negative_traces]{--field-color:var(--f-negative_traces)}.home-v2 .packet-branch[data-field=reusable_artifacts]{--field-color:var(--f-reusable_artifacts)}.home-v2 .packet-branch[data-field=formalizations]{--field-color:var(--f-formalizations)}.home-v2 .packet-branch[data-field=open_questions]{--field-color:var(--f-open_questions)}.home-v2 .packet-branch-head{text-align:left;align-items:baseline;gap:.45rem;width:100%;padding:.28rem .3rem .28rem .4rem;transition:background .2s,border-color .2s;display:flex}.home-v2 .packet-branch-head:hover:not(:disabled){background:color-mix(in srgb, var(--field-color) 7%, transparent)}.home-v2 .packet-branch[data-open=true] .packet-branch-head{background:color-mix(in srgb, var(--field-color) 8%, transparent)}.home-v2 .packet-branch-head code{color:var(--field-color);font-family:var(--tdb-font-code);font-size:.68rem;font-weight:550}.home-v2 .packet-branch-head>span:last-child{color:var(--tdb-faint,#8b8d86);font-family:var(--tdb-font-code);margin-left:auto;font-size:.6rem}.home-v2 .packet-branch[data-empty=true] .packet-branch-head code{opacity:.45}.home-v2 .packet-caret{width:.4rem;color:var(--field-color);font-family:var(--tdb-font-code);font-size:.55rem;line-height:1;transition:transform .2s}.home-v2 .packet-caret:before{content:"▸"}.home-v2 .packet-branch[data-open=true] .packet-caret{transform:rotate(90deg)}.home-v2 .packet-branch[data-empty=true] .packet-caret{opacity:.28}.home-v2 .packet-branch ul{max-height:0;margin:0;padding:0;list-style:none;transition:max-height .3s;overflow:hidden}.home-v2 .packet-branch[data-open=true] ul{max-height:12rem}.home-v2 .packet-leaf{text-align:left;grid-template-columns:minmax(0,1fr) auto;align-items:baseline;column-gap:.5rem;width:100%;padding:.2rem .3rem .26rem 1.05rem;transition:background .2s;display:grid}.home-v2 .packet-leaf:hover,.home-v2 .packet-leaf[aria-selected=true]{background:color-mix(in srgb, var(--field-color) 10%, transparent)}.home-v2 .packet-leaf strong{color:var(--tdb-ink,#151719);font-family:var(--demo-serif);text-overflow:ellipsis;white-space:nowrap;font-size:.82rem;font-weight:500;line-height:1.3;overflow:hidden}.home-v2 .packet-leaf em{color:var(--field-color);font-family:var(--tdb-font-code);white-space:nowrap;font-size:.56rem;font-style:normal}.home-v2 .packet-detail-live{--field-color:var(--tdb-rule-strong,#b9bbb3);border:1px solid color-mix(in srgb, var(--field-color) 30%, var(--tdb-rule,#deded7));border-radius:var(--tdb-radius);background:#f4f5f8;flex:none;min-height:4rem;margin-top:.6rem;padding:.5rem .65rem .55rem}.home-v2 .packet-detail-live[data-field=established_results]{--field-color:var(--f-established_results)}.home-v2 .packet-detail-live[data-field=negative_traces]{--field-color:var(--f-negative_traces)}.home-v2 .packet-detail-live[data-field=reusable_artifacts]{--field-color:var(--f-reusable_artifacts)}.home-v2 .packet-detail-live[data-field=formalizations]{--field-color:var(--f-formalizations)}.home-v2 .packet-detail-live[data-field=open_questions]{--field-color:var(--f-open_questions)}.home-v2 .packet-detail-live p{margin:0}.home-v2 .packet-detail-kind{color:var(--field-color);font-family:var(--tdb-font-code);font-size:.58rem}.home-v2 .packet-detail-summary{color:var(--tdb-ink,#151719);font-family:var(--demo-serif);font-size:.84rem;line-height:1.45;margin-top:.18rem!important}.home-v2 .packet-detail-edge{color:var(--tdb-faint,#8b8d86);font-family:var(--tdb-font-code);font-size:.58rem;margin-top:.2rem!important}.home-v2 .packet-detail-hint{color:var(--tdb-faint,#8b8d86);font-family:var(--demo-serif);font-size:.8rem}.home-v2 .packet-empty-note{display:none}.home-v2 .packet-live-lean,.home-v2 .packet-live-written{--field-color:var(--f-formalizations);border:1px solid color-mix(in srgb, var(--field-color) 30%, var(--tdb-rule,#deded7));border-radius:var(--tdb-radius);background:color-mix(in srgb, var(--field-color) 5%, #f4f5f8);flex:none;margin-top:.45rem;padding:.4rem .6rem .45rem}.home-v2 .packet-live-written{--field-color:var(--f-established_results);margin-top:.5rem;margin-bottom:.15rem}.home-v2 .packet-live-aside-label{color:var(--field-color);font-family:var(--tdb-font-code);align-items:baseline;gap:.4rem;margin:0 0 .18rem;font-size:.6rem;font-weight:550;display:flex}.home-v2 .packet-live-aside-label code{color:var(--tdb-faint,#8b8d86);margin-left:auto;font-family:inherit;font-size:.56rem;font-weight:400}.home-v2 .packet-live-lean>strong{color:var(--tdb-ink,#151719);font-family:var(--tdb-font-code);text-overflow:ellipsis;white-space:nowrap;font-size:.74rem;font-weight:550;display:block;overflow:hidden}.home-v2 .packet-live-written ul{margin:0;padding:0;list-style:none}.home-v2 .packet-live-written li{grid-template-columns:.5rem minmax(0,1fr) auto;align-items:baseline;column-gap:.4rem;padding:.02rem .2rem;display:grid}.home-v2 .packet-live-written li:before{content:"+";color:var(--field-color);font-family:var(--tdb-font-code);font-size:.64rem}.home-v2 .packet-live-written em{color:var(--field-color);font-family:var(--tdb-font-code);white-space:nowrap;font-size:.56rem;font-style:normal}.home-v2 .packet-live-written strong{color:var(--tdb-ink,#151719);font-family:var(--demo-serif);text-overflow:ellipsis;white-space:nowrap;font-size:.82rem;font-weight:500;overflow:hidden}@media (width<=63.99rem){.home-v2 .session-live{height:22rem}.home-v2 #tdb-call-strip{display:none}.home-v2 .packet-live{height:auto;max-height:none}.home-v2 .packet-live-body{padding-bottom:.9rem}.home-v2 .packet-live-written{margin-top:.45rem}}@media (prefers-reduced-motion:reduce){.home-v2 .packet-live-piece:not([hidden]),.home-v2 .packet-row,.home-v2 .packet-dot-node,.home-v2 .packet-live[data-picked=true] .packet-dot-node.is-selected,.home-v2 .packet-live[data-picked=true] .packet-link{animation:none}.home-v2 .packet-live[data-picked=true] .packet-link{opacity:.4}}.home-v2 .memory-summary{background:#09111e;overflow:hidden}.home-v2 .memory-summary-body{flex-direction:column;gap:.6rem;height:100%;min-height:0;padding:.75rem;display:flex}.home-v2 .memory-piece{display:none}.home-v2 .memory-summary[data-used~=orient] .memory-target,.home-v2 .memory-summary[data-scenario=ask][data-used~=orient] .memory-section-title,.home-v2 .memory-summary[data-scenario=ask][data-used~=orient] .memory-claim,.home-v2 .memory-summary[data-scenario=ask][data-used~=object] .memory-artifact,.home-v2 .memory-summary[data-scenario=open][data-used~=orient] .memory-section-title,.home-v2 .memory-summary[data-scenario=open][data-used~=orient] .memory-claim,.home-v2 .memory-summary[data-scenario=open][data-used~=check] .memory-attempt,.home-v2 .memory-summary[data-scenario=open][data-used~=object] .memory-artifact,.home-v2 .memory-summary[data-scenario=known][data-used~=orient] .memory-section-title,.home-v2 .memory-summary[data-scenario=known][data-used~=orient] .memory-no-match,.home-v2 .memory-summary[data-scenario=new][data-used~=orient] .memory-section-title,.home-v2 .memory-summary[data-scenario=new][data-used~=orient] .memory-no-match,.home-v2 .memory-summary[data-used~=search] .memory-lean,.home-v2 .memory-summary[data-used~=entry] .memory-lean,.home-v2 .memory-summary[data-used~=record] .memory-result{animation:.2s ease-out both memory-v2-in;display:block}@keyframes memory-v2-in{0%{opacity:0;transform:translateY(3px)}to{opacity:1;transform:none}}.home-v2 .memory-target,.home-v2 .memory-item,.home-v2 .memory-lean,.home-v2 .memory-result,.home-v2 .memory-no-match{border-radius:var(--tdb-radius);background:#0f1c2fe6;border:1px solid #48607fad}.home-v2 .memory-target,.home-v2 .memory-result{padding:.65rem .7rem}.home-v2 .memory-target{border-color:#8099bda6}.home-v2 .memory-target header,.home-v2 .memory-result header,.home-v2 .memory-item>div{justify-content:space-between;align-items:center;gap:.65rem;display:flex}.home-v2 .memory-target header span,.home-v2 .memory-result header span,.home-v2 .memory-item span,.home-v2 .memory-lean span,.home-v2 .memory-section-title{color:#aec0d8b8;font-family:var(--tdb-font-interface);font-size:.62rem;font-weight:500}.home-v2 .memory-target code,.home-v2 .memory-result code,.home-v2 .memory-item code{color:#d7e1ee80;font-family:var(--tdb-font-code);font-size:.58rem}.home-v2 .memory-target>strong,.home-v2 .memory-result>strong{color:#e8eef7eb;margin-top:.35rem;font-size:.76rem;font-weight:540;line-height:1.42;display:block}.home-v2 .memory-section-title{color:#d7e1ee73;margin:0 0 .35rem}.home-v2 .memory-items{gap:.35rem;display:grid}.home-v2 .memory-item,.home-v2 .memory-lean{padding:.5rem .6rem}.home-v2 .memory-item>strong,.home-v2 .memory-lean>strong{color:#e0e8f2db;text-overflow:ellipsis;white-space:nowrap;margin-top:.22rem;font-size:.7rem;font-weight:520;display:block;overflow:hidden}.home-v2 .memory-attempt code{color:#d89a94d6}.home-v2 .memory-artifact code,.home-v2 .memory-lean span{color:#7fd6a5c7}.home-v2 .memory-no-match{color:#d7e1ee80;border-style:dashed;padding:.6rem;font-size:.7rem}.home-v2 .memory-result{background:#13302fb8;border-color:#7fd6a585;margin-top:auto}.home-v2 .memory-result header span,.home-v2 .memory-result small{color:#7fd6a5c7}.home-v2 .memory-result small{font-family:var(--tdb-font-interface);margin-top:.3rem;font-size:.58rem;display:block}.about-v2{min-height:calc(100svh - 10rem);padding-bottom:4rem}.about-v2-layout{grid-template-columns:minmax(0,1.4fr) minmax(15rem,.6fr);gap:4rem;padding-top:2rem;display:grid}.about-v2-copy{max-width:66ch;color:var(--tdb-muted);font-size:.94rem;line-height:1.7}.about-v2-copy p{margin:0}.about-v2-copy p+p{margin-top:1rem}.about-v2-copy a{color:var(--tdb-accent);font-weight:550}.about-v2-copy code{color:var(--tdb-ink);font-family:var(--tdb-font-code);font-size:.78rem}.about-v2-details{border-top:1px solid var(--tdb-rule-strong)}.about-v2-detail{border-bottom:1px solid var(--tdb-rule);padding:.65rem 0}.about-v2-detail dt{color:var(--tdb-muted);font-family:var(--tdb-font-interface);letter-spacing:.04em;text-transform:uppercase;font-size:.58rem}.about-v2-detail dd{color:var(--tdb-ink);margin:.25rem 0 0;font-size:.75rem;line-height:1.45}.about-v2-detail a{color:var(--tdb-accent)}.hiw-v2{width:min(100vw - 2.5rem,80rem);min-height:72vh;margin-inline:auto;padding-bottom:4rem}.hiw-v2-nav{z-index:15;border-bottom:1px solid var(--tdb-rule);background:color-mix(in srgb, var(--tdb-canvas) 96%, transparent);backdrop-filter:blur(8px);scrollbar-width:none;gap:1.15rem;padding-block:.65rem;display:flex;position:sticky;top:3.25rem;overflow-x:auto}.hiw-v2-nav::-webkit-scrollbar{display:none}.hiw-v2-nav a{color:var(--tdb-muted);flex:none;font-size:.7rem;font-weight:550;text-decoration:none}.hiw-v2-nav a:hover{color:var(--tdb-accent)}.hiw-v2-section{border-bottom:1px solid var(--tdb-rule);grid-template-columns:minmax(0,.8fr) minmax(28rem,1.2fr);gap:3.25rem;padding-block:2.75rem;scroll-margin-top:7rem;display:grid}.hiw-v2-section:last-of-type{border-bottom:0}.hiw-v2-section-title{color:var(--tdb-ink);letter-spacing:-.015em;margin:0;font-size:1.05rem;font-weight:650}.hiw-v2-text{color:var(--tdb-muted);font-size:.82rem;line-height:1.62}.hiw-v2-text p{margin:0}.hiw-v2-text p+p{margin-top:.75rem}.hiw-v2-text code{color:var(--tdb-ink);font-family:var(--tdb-font-code);font-size:.74rem}.hiw-v2-text a{color:var(--tdb-accent);font-weight:550}.hiw-v2-object-flow{border-top:1px solid var(--tdb-rule-strong);border-left:1px solid var(--tdb-rule);grid-template-columns:repeat(3,minmax(0,1fr));display:grid}.hiw-v2-object{border-right:1px solid var(--tdb-rule);border-bottom:1px solid var(--tdb-rule);min-width:0;padding:.75rem;position:relative}.hiw-v2-object+.hiw-v2-object:before{border-top:1px solid var(--tdb-accent);content:"";width:.6rem;position:absolute;top:50%;left:-.3rem}.hiw-v2-object strong{color:var(--tdb-ink);font-family:var(--tdb-font-interface);font-size:.68rem;font-weight:600;display:block}.hiw-v2-object span{color:var(--tdb-muted);margin-top:.25rem;font-size:.65rem;line-height:1.4;display:block}.hiw-v2-example{min-width:0}.hiw-v2-example>.code-panel+*{margin-top:.75rem}.hiw-v2-fingerprint{border-radius:var(--tdb-radius);background:#09111e;border:1px solid #30415a;overflow:hidden}.hiw-v2-code-head{color:#d7e1ee8c;font-family:var(--tdb-font-interface);background:#101c2c;border-bottom:1px solid #30415a;justify-content:space-between;align-items:center;gap:1rem;padding:.45rem .7rem;font-size:.6rem;display:flex}.hiw-v2-code-head button{border-radius:var(--tdb-radius);color:#d7e1eeb8;min-height:1.7rem;font-family:var(--tdb-font-interface);border:1px solid #40536e;padding:.3rem .5rem;font-size:.58rem}.hiw-v2-code-head button:hover{color:#fff;border-color:#8da1bc}.hiw-v2-code-body{color:#edf0f2;font-family:var(--tdb-font-code);padding:.8rem;font-size:.7rem;line-height:1.6}.hiw-v2-code-muted{color:#d7e1ee85}.hiw-v2-code-row{grid-template-columns:6.5rem minmax(0,1fr);padding:.1rem 0;display:grid}.hiw-v2-example-note{color:var(--tdb-muted);margin:.65rem 0 0;font-size:.7rem;line-height:1.5}.hiw-v2 #hiw-steps{position:relative}.hiw-v2-step-line{background:var(--tdb-rule);width:1px;position:absolute;top:.8rem;bottom:.8rem;left:.3rem}.hiw-v2 #hiw-dot{z-index:2;background:var(--tdb-accent);border-radius:50%;width:.45rem;height:.45rem;position:absolute;left:.08rem}.hiw-v2-steps{margin:0;padding:0 0 0 1.4rem;list-style:none}.hiw-v2 .hiw-step{border-bottom:1px solid var(--tdb-rule);opacity:.45;padding:.7rem 0;position:relative}.hiw-v2 .hiw-step:first-child{border-top:1px solid var(--tdb-rule-strong)}.hiw-v2 .hiw-step.active{opacity:1}.hiw-v2 .hiw-node{border:1px solid var(--tdb-rule-strong);background:var(--tdb-canvas);border-radius:50%;width:.45rem;height:.45rem;position:absolute;top:.95rem;left:-1.3rem}.hiw-v2-step-call{overflow-wrap:anywhere;color:var(--tdb-accent);font-family:var(--tdb-font-code);font-size:.68rem;display:block}.hiw-v2-step-text{color:var(--tdb-muted);margin:.28rem 0 0;font-size:.72rem;line-height:1.48}.hiw-v2-step-result{color:var(--tdb-faint);font-family:var(--tdb-font-code);margin:.28rem 0 0;font-size:.58rem}.hiw-v2-ranking{border:1px solid var(--tdb-rule);background:var(--tdb-canvas);padding:.9rem}.hiw-v2-ranking-title{color:var(--tdb-muted);font-family:var(--tdb-font-interface);margin:0;font-size:.59rem;font-weight:600}.hiw-v2-bars{border-bottom:1px solid var(--tdb-rule-strong);align-items:end;gap:1rem;height:6rem;margin-top:.9rem;display:flex}.hiw-v2-bar-cell{text-align:center;flex-direction:column;flex:1;justify-content:end;min-width:4rem;height:100%;display:flex}.hiw-v2 .hiw-bar{background:color-mix(in srgb, var(--tdb-accent) 65%, white);width:100%;height:4px}.hiw-v2-bar-cell:nth-child(2) .hiw-bar{background:color-mix(in srgb, var(--tdb-accent) 42%, white)}.hiw-v2-bar-cell:nth-child(3) .hiw-bar{background:color-mix(in srgb, var(--tdb-accent) 24%, white)}.hiw-v2-bar-cell:last-child{color:var(--tdb-positive);font-family:var(--tdb-font-interface);justify-content:end;font-size:.58rem}.hiw-v2-bar-cell:last-child:after{border:1px dashed var(--tdb-rule-strong);content:"";border-bottom:0;height:.45rem}.hiw-v2-bar-labels{color:var(--tdb-muted);font-family:var(--tdb-font-interface);text-align:center;grid-template-columns:repeat(4,minmax(0,1fr));gap:1rem;padding-top:.35rem;font-size:.56rem;display:grid}.hiw-v2-table td:first-child{color:var(--tdb-accent);font-family:var(--tdb-font-code);white-space:nowrap;font-size:.67rem;font-weight:500}@media (width<=64rem){.public-v2-split,.hiw-v2-section{grid-template-columns:minmax(0,1fr);gap:1.5rem}.home-v2-corpus{gap:2rem}}@media (width<=48rem){.public-v2-header{flex-direction:column;align-items:start}.home-v2-demo-grid,.home-v2-connect-grid,.home-v2-feature,.home-v2-corpus,.about-v2-layout{grid-template-columns:minmax(0,1fr)}.home-v2-demo-pane+.home-v2-demo-pane{border-top:1px solid #30415a;border-left:0}.home-v2-demo-pane{height:25rem}.home-v2-workflow{grid-template-columns:minmax(0,1fr)}.home-v2-system-prompt,.home-v2-roadmap,.home-v2-cite{grid-template-columns:minmax(0,1fr);gap:1rem}.home-v2-problems .home-explore-card{grid-template-columns:minmax(6.5rem,.28fr) minmax(0,1fr)}.home-v2-problems .home-explore-open{display:none}}@media (width<=36rem){.public-v2-shell,.hiw-v2{width:min(100vw - 1.7rem,80rem)}.public-v2-header,.home-v2 .public-v2-header{padding-block:2rem 1.5rem}.public-v2-section,.hiw-v2-section{padding-block:2rem}.public-v2-section-head{flex-direction:column;align-items:start}.public-v2-actions,.public-v2-actions .public-v2-button{width:100%}.home-v2-tabs{width:100%;display:flex}.home-v2 .demo-scenario-tab{flex:1;padding-inline:.4rem}.home-v2-demo-pane{height:23rem}.home-v2-problems .home-explore-card{grid-template-columns:minmax(0,1fr)}.home-v2-problems .home-explore-card-top,.home-v2-problems .home-explore-card h3,.home-v2-problems .home-explore-card>p,.home-v2-problems .home-explore-card-badges{grid-area:auto/1}.public-v2-rule-row{grid-template-columns:minmax(0,1fr);gap:.2rem}.hiw-v2-object-flow{grid-template-columns:minmax(0,1fr)}.hiw-v2-object+.hiw-v2-object:before{border-top:0;border-left:1px solid var(--tdb-accent);width:1px;height:.6rem;top:-.3rem;left:1rem}.hiw-v2-code-row{grid-template-columns:5.2rem minmax(0,1fr)}.hiw-v2-bars,.hiw-v2-bar-labels{gap:.35rem}.hiw-v2-bar-cell{min-width:0}}@media (prefers-reduced-motion:reduce){.home-v2 .memory-piece{animation:none!important}}@media (width<=63.99rem){.home-v2 .session-live{height:22rem}.home-v2 #tdb-call-strip{display:none}.home-v2 .packet-live{height:auto;max-height:none}.home-v2 .packet-live-body{padding-bottom:.9rem}.home-v2 .packet-live-written{margin-top:.45rem}}.home-search{max-width:46rem;margin:2.2rem auto 0}.home-search-box{background:#fff;border:1px solid #cfc9ba;border-radius:999px;align-items:center;gap:.75rem;padding:.42rem .7rem .42rem 1.3rem;transition:border-color .12s,box-shadow .12s;display:flex;box-shadow:0 2px 6px #0d21370f}.home-search-box:focus-within,.home-search-box:hover{border-color:var(--tdb-accent,#24406e);box-shadow:0 3px 14px #24406e1c}.home-search-box svg{width:1.05rem;height:1.05rem;color:var(--tdb-faint,#8b8d86);flex:none}.home-search-box input{min-width:0;font:400 1.06rem/1.3 var(--tdb-font-interface,inherit);color:var(--tdb-ink,#151719);background:0 0;border:0;outline:none;flex:1;padding:.72rem 0}.home-search-box input::placeholder{color:var(--tdb-faint,#8b8d86)}.home-search-box input::-webkit-search-cancel-button{-webkit-appearance:none}.home-search-actions{flex-wrap:wrap;justify-content:center;gap:.6rem;margin-top:.9rem;display:flex}.home-search-actions a{color:var(--tdb-ink,#151719);cursor:pointer;background:#fff;border:1px solid #cfc9ba;border-radius:.5rem;padding:.6rem 1.2rem;font-size:.86rem;font-weight:600;text-decoration:none}.home-search-actions a:hover{border-color:var(--tdb-accent,#24406e);color:var(--tdb-accent,#24406e)}.home-search-actions a.is-primary{border-color:var(--tdb-accent,#24406e);background:var(--tdb-accent,#24406e);color:#fff}.home-search-actions a.is-primary:hover{filter:brightness(.94);color:#fff}.demo-band{background:#edeae1;border-bottom:1px solid #dcd7c9}.demo-band>div{padding-top:0}.home-opening-band{background:#edeae1}.home-opening-band.demo-band,.home-opening-band.tdb-band-soft{border-block:0}.home-opening-band.home-opening-band-end{border-bottom:1px solid #dcd7c9;display:flow-root}.home-search{position:relative}.home-search-suggest{z-index:40;border:1px solid var(--tdb-rule,#deded7);border-radius:var(--tdb-radius,3px);background:var(--tdb-surface,#f8f8f5);text-align:left;margin:.4rem 0 0;list-style:none;position:absolute;top:3.95rem;left:0;right:0;box-shadow:0 12px 32px #0d21371f}.home-search-suggest:before{border-bottom:1px solid var(--tdb-rule,#deded7);background:var(--tdb-canvas,#fff);content:"problems · best matches · enter for full search";font-family:var(--tdb-font-code,monospace);letter-spacing:.035em;text-transform:uppercase;color:var(--tdb-muted,#656860);padding:.4rem 1rem;font-size:.55rem;font-weight:560;display:block}.hs-votes{min-width:1.9rem;font-family:var(--tdb-font-code,monospace);color:var(--tdb-muted,#656860);font-variant-numeric:tabular-nums;flex:none;align-items:baseline;gap:.2rem;font-size:.66rem;font-weight:650;display:inline-flex}.hs-votes i{color:var(--tdb-faint,#8b8d86);font-size:.5rem;font-style:normal}.field-hue-number-theory{--hue-bg:#e8ebfa;--hue-ink:#4047c8}.field-hue-algebra{--hue-bg:#f1e8fb;--hue-ink:#6d28d9}.field-hue-designs-codes{--hue-bg:#fbe7f1;--hue-ink:#a12a6b}.field-hue-dynamics-probability{--hue-bg:#fbe8e8;--hue-ink:#a13333}.field-hue-graphs{--hue-bg:#fbe9dd;--hue-ink:#9c4a12}.field-hue-combinatorics{--hue-bg:#f8eed6;--hue-ink:#8a6108}.field-hue-mathematical-physics{--hue-bg:#e9f1e0;--hue-ink:#4d7c0f}.field-hue-analysis{--hue-bg:#dcf0ea;--hue-ink:#0f766e}.field-hue-geometry-topology{--hue-bg:#ddeff8;--hue-ink:#0e6a8a}.field-hue-logic-computation{--hue-bg:#e6eaf0;--hue-ink:#475569}.field-hue-other-fields{--hue-bg:#f0f0ed;--hue-ink:#6d7169}.hs-field[class*=field-hue-]{border-color:color-mix(in srgb, var(--hue-ink) 22%, transparent);background:var(--hue-bg);color:var(--hue-ink)}.home-search-suggest[hidden]{display:none}.home-search-suggest{padding:0;overflow:hidden}.home-search-suggest li{border-top:1px solid var(--tdb-rule,#deded7);cursor:pointer;align-items:baseline;gap:.65rem;padding:.55rem 1rem;display:flex}.home-search-suggest li:first-child{border-top:0}.home-search-suggest li strong{min-width:0;color:var(--tdb-ink,#151719);text-overflow:ellipsis;white-space:nowrap;flex:1;font-size:.9rem;font-weight:650;line-height:1.3;overflow:hidden}.home-search-suggest .hs-field{border:1px solid var(--tdb-rule,#deded7);color:var(--tdb-muted,#656860);border-radius:999px;flex:none;padding:.08rem .35rem;font-size:.56rem;font-weight:550}.home-search-suggest .hs-state{background:var(--tdb-accent-soft,#eef2f7);color:var(--tdb-accent,#24406e);border-radius:999px;flex:none;padding:.14rem .35rem;font-size:.55rem;font-weight:600;line-height:1.25}.home-search-suggest .hs-state[data-state*=solved],.home-search-suggest .hs-state[data-state*=proven],.home-search-suggest .hs-state[data-state*=verified]{background:color-mix(in srgb, var(--tdb-positive,#35634e) 11%, white);color:var(--tdb-positive,#35634e)}.home-search-suggest li[aria-selected=true],.home-search-suggest li:hover{background:color-mix(in srgb, var(--tdb-accent-soft,#eef2f7) 30%, transparent)}.home-search-suggest li[aria-selected=true] strong{color:var(--tdb-accent,#24406e);text-underline-offset:.18em;text-decoration:underline}.packet-page-card{border:1px solid var(--tdb-rule,#deded7);background:#fff;border-radius:.45rem;flex:none;margin:.55rem .9rem .85rem;text-decoration:none;display:block;overflow:hidden;box-shadow:0 4px 14px #0d213712}.packet-page-card-band{background:var(--tdb-accent,#24406e);color:#fff;padding:.4rem .65rem;font-size:.66rem;font-weight:680;line-height:1.3;display:block}.packet-page-card-body{gap:.35rem;padding:.55rem .65rem .6rem;display:grid}.packet-page-card-state{justify-self:start}.packet-page-card-thm{border:1px solid color-mix(in srgb, var(--tdb-accent,#24406e) 26%, transparent);background:var(--tdb-accent-soft,#eef2f7);font-family:KaTeX_Main, var(--tdb-font-math,Georgia), serif;color:var(--tdb-ink,#151719);border-radius:.25rem;padding:.45rem .55rem;font-size:.74rem;line-height:1.5;display:block}.packet-page-card-thm b{font-variant:small-caps;color:var(--tdb-accent-strong,#182f52)}.packet-page-card-cta{color:var(--tdb-accent,#24406e);font-size:.68rem;font-weight:650}.packet-page-card:hover .packet-page-card-cta{text-underline-offset:.16em;text-decoration:underline}.packet-theorem{margin-top:.5rem;padding:.85rem 1rem}.packet-theorem p{margin:0;font-size:.95rem;line-height:1.6}.packet-theorem-label{font-variant:small-caps;letter-spacing:.02em;color:var(--tdb-accent-strong,#182f52);font-weight:700}.packet-theorem-name{color:var(--tdb-muted,#656860);font-style:italic}.connect-flow{counter-reset:connect;gap:.75rem;margin:1.5rem 0 0;padding:0;list-style:none;display:grid}.connect-step{border:1px solid var(--tdb-rule,#deded7);background:var(--tdb-canvas,#fff);border-radius:.5rem;min-width:0;padding:.9rem 1rem 1rem}.connect-step-head{color:var(--tdb-ink,#151719);align-items:center;gap:.5rem;margin:0 0 .65rem;font-size:.92rem;font-weight:650;display:flex}.connect-step-num{background:var(--tdb-accent,#24406e);width:1.35rem;height:1.35rem;font-family:var(--tdb-font-code);color:#fff;border-radius:999px;justify-content:center;align-items:center;font-size:.7rem;font-weight:700;display:inline-flex}.connect-step-note{color:var(--tdb-muted,#656860);margin:.6rem 0 0;font-size:.86rem;line-height:1.6}.connect-step-note a{color:var(--tdb-accent,#24406e);text-underline-offset:.16em}.connect-client-bar{border-bottom:1px solid var(--tdb-rule,#deded7);gap:.3rem;margin-bottom:.7rem;display:flex}.connect-client-bar button{font:inherit;color:var(--tdb-muted,#656860);cursor:pointer;background:0 0;border:0;border-bottom:2px solid #0000;margin-bottom:-1px;padding:.35rem .55rem;font-size:.8rem;font-weight:600}.connect-client-bar button:hover{color:var(--tdb-ink,#151719)}.connect-client-bar button[aria-selected=true]{border-bottom-color:var(--tdb-accent,#24406e);color:var(--tdb-accent,#24406e)}.connect-client-panel[hidden]{display:none}.connect-chatgpt-card{grid-template-columns:minmax(0,1.35fr) minmax(17rem,.8fr);gap:1rem;padding:.35rem 0 .15rem;display:grid}.connect-chatgpt-main,.connect-chatgpt-pro{border-radius:.55rem;min-width:0;padding:1rem 1.1rem}.connect-chatgpt-main{border:1px solid color-mix(in srgb, var(--tdb-accent,#24406e) 24%, white);background:color-mix(in srgb, var(--tdb-accent-soft,#eef2f7) 72%, white)}.connect-chatgpt-kicker{font-family:var(--tdb-font-code);letter-spacing:.06em;text-transform:uppercase;color:var(--tdb-accent,#24406e);margin:0;font-size:.65rem;font-weight:650}.connect-chatgpt-main h3{letter-spacing:-.015em;color:var(--tdb-ink,#151719);margin:.35rem 0 0;font-size:1.08rem;font-weight:680}.connect-chatgpt-main>p:not(.connect-chatgpt-kicker){max-width:46rem;color:var(--tdb-muted,#656860);margin:.45rem 0 0;font-size:.86rem;line-height:1.62}.connect-chatgpt-link{align-items:center;width:fit-content;margin-top:1rem;text-decoration:none;display:inline-flex}.connect-chatgpt-pro{border:1px solid var(--tdb-rule,#deded7);background:var(--tdb-surface,#f8f8f5);align-self:stretch}.connect-chatgpt-pro strong{color:var(--tdb-ink,#151719);font-size:.82rem;font-weight:680;line-height:1.45;display:block}.connect-chatgpt-pro p{color:var(--tdb-muted,#656860);margin:.45rem 0 0;font-size:.78rem;line-height:1.58}.connect-chatgpt-pro a{color:var(--tdb-accent,#24406e);text-underline-offset:.16em;font-weight:600}.connect-prompt{border:1px solid var(--tdb-rule,#deded7);border-radius:var(--tdb-radius,3px);background:var(--tdb-surface,#f8f8f5);align-items:flex-start;gap:.6rem;padding:.6rem .7rem;display:flex}.connect-prompt code{min-width:0;font-family:var(--tdb-font-code);color:var(--tdb-ink,#151719);overflow-wrap:anywhere;flex:auto;font-size:.78rem;line-height:1.55}.connect-prompt button{border:1px solid var(--tdb-rule-strong,#b9bbb3);border-radius:var(--tdb-radius,3px);background:var(--tdb-canvas,#fff);font:inherit;color:var(--tdb-muted,#656860);cursor:pointer;flex:none;padding:.2rem .5rem;font-size:.7rem;font-weight:620}.connect-prompt button:hover{border-color:var(--tdb-accent,#24406e);color:var(--tdb-accent,#24406e)}.pm-matrix{grid-template-columns:repeat(var(--matrix-size,14), minmax(0, 1fr));border:1px solid var(--tdb-rule,#e6e3d9);background:var(--tdb-rule,#e6e3d9);gap:1px;display:grid}.pm-matrix span{aspect-ratio:1;background:#fff}.pm-matrix span.is-one{background:var(--tdb-accent,#24406e)}@media (width<=40rem){.home-v2 [role=tablist]{scrollbar-width:none;flex-wrap:nowrap;justify-content:flex-start;padding-bottom:.2rem;overflow-x:auto}.home-v2 [role=tablist]::-webkit-scrollbar{display:none}.demo-scenario-tab{white-space:nowrap;flex:none}.home-v2 .session-live{height:auto;min-height:16rem;max-height:30rem}.tdb-section table{white-space:nowrap;width:100%;display:block;overflow-x:auto}.tdb-section table td,.tdb-section table th{white-space:normal;min-width:9rem}.tdb-section-inner{padding-inline:1rem}.tdb-section-title{font-size:1.5rem;line-height:1.15}.home-search-actions{flex-wrap:wrap}.connect-step{padding:.8rem .75rem}.connect-prompt{flex-direction:column;align-items:stretch;gap:.5rem}.connect-prompt button{align-self:flex-start}.connect-client-bar{scrollbar-width:none;overflow-x:auto}.connect-client-bar button{white-space:nowrap;flex:none}.connect-chatgpt-card{grid-template-columns:1fr;gap:.65rem}.connect-chatgpt-main,.connect-chatgpt-pro{padding:.85rem .9rem}.pm-main{max-height:none;overflow:visible}}.home-explore-carousel-window{margin-top:.65rem;overflow:hidden;mask-image:linear-gradient(90deg,#0000,#000 1rem calc(100% - 1rem),#0000)}.home-explore-carousel-track{width:max-content;animation:home-explore-carousel-move var(--home-explore-duration,128s) linear infinite;will-change:transform;display:flex}.home-explore-carousel-window:hover .home-explore-carousel-track,.home-explore-carousel-window:focus-within .home-explore-carousel-track{animation-play-state:paused}.home-explore-carousel-group{gap:.75rem;padding:.1rem .75rem .65rem 0;display:flex}@keyframes home-explore-carousel-move{to{transform:translate(-50%)}}.home-explore-card{border:1px solid var(--tdb-rule,#deded7);border-radius:var(--tdb-radius,3px);background:var(--tdb-surface,#f8f8f5);width:22rem;min-height:0;box-shadow:none;flex-direction:column;flex:0 0 22rem;padding:0;transition:border-color .15s,transform .15s;display:flex;overflow:hidden}.home-explore-card:hover,.home-explore-card:focus-within{border-color:color-mix(in srgb, var(--tdb-accent,#24406e) 48%, var(--tdb-rule,#deded7));transform:translateY(-2px)}.home-explore-card-main{color:inherit;flex-direction:column;text-decoration:none;display:flex}.home-explore-band{box-sizing:border-box;border-bottom:1px solid var(--tdb-rule,#deded7);background:var(--tdb-accent,#24406e);color:#fff;text-align:center;flex:0 0 3.75rem;justify-content:center;align-items:center;gap:.35rem;height:3.75rem;margin:0;padding:.5rem .7rem;font-size:.74rem;font-weight:680;line-height:1.35;display:flex}.home-explore-band-ref{font-family:var(--tdb-font-mono,ui-monospace, monospace);opacity:.82;flex:none;font-weight:600}.home-explore-banner{z-index:2;color:#4f46e5;letter-spacing:.06em;text-transform:uppercase;background:#ecebfc;border:1px solid #4f46e552;padding:.24rem .62rem;font-size:.76rem;font-weight:750;position:absolute;top:.45rem;right:.45rem}.home-explore-banner[data-state=resolved],.home-explore-banner[data-state=refuted]{color:#fff;border-color:#0000}.home-explore-banner[data-state=resolved]{background:var(--tdb-positive,#356c4b)}.home-explore-banner[data-state=claimed]{color:#4a3b12;background:#f5d979}.home-explore-banner[data-state=refuted]{background:var(--tdb-negative,#9a3c35)}.home-explore-figure{border-bottom:1px solid var(--tdb-rule,#deded7);background:#fff;justify-content:center;align-items:center;height:8.5rem;padding:.5rem;display:flex;position:relative}.home-explore-figure img{object-fit:contain;width:auto;max-width:100%;height:100%;display:block}.home-explore-card-body{flex-direction:column;flex:auto;gap:.55rem;min-width:0;padding:.65rem .75rem .7rem;display:flex}.home-explore-card-body p{font-family:KaTeX_Main, var(--tdb-font-math,Georgia), serif;color:var(--tdb-ink,#151719);-webkit-line-clamp:4;-webkit-box-orient:vertical;margin:0;font-size:.84rem;line-height:1.5;display:-webkit-box;overflow:hidden}.home-explore-card-foot{justify-content:space-between;align-items:baseline;gap:.5rem;margin-top:auto;display:flex}.home-explore-problem-id{font-family:var(--tdb-font-code,monospace);color:#9a9b96;margin-left:auto;font-size:.6rem}.home-explore-card-actions{grid-template-columns:.85fr 1.15fr;gap:.45rem;margin-top:auto;display:grid}.home-explore-card-actions a{text-align:center;border-radius:.3rem;justify-content:center;align-items:center;min-height:2.25rem;padding:.45rem .5rem;font-size:.66rem;font-weight:680;line-height:1.15;text-decoration:none;display:inline-flex}.home-explore-packet-link{border:1px solid var(--tdb-rule-strong,#b9bbb3);background:var(--tdb-canvas,#fff);color:var(--tdb-accent,#24406e)}.home-explore-packet-link:hover{border-color:var(--tdb-accent,#24406e);background:var(--tdb-accent-soft,#eef2f7)}.home-explore-chatgpt-link{border:1px solid var(--tdb-accent,#24406e);background:var(--tdb-accent,#24406e);color:#fff}.home-explore-chatgpt-link:hover{border-color:var(--tdb-accent-strong,#182f52);background:var(--tdb-accent-strong,#182f52);color:#fff}@media (width<=40rem){.home-explore-card{flex-basis:19rem;width:19rem}}@media (prefers-reduced-motion:reduce){.home-explore-carousel-window{overflow-x:auto;mask-image:none}.home-explore-carousel-track{animation:none}.home-explore-carousel-group[aria-hidden=true]{display:none}}.hx-field{background:var(--hue-bg,#f0f0ed);max-width:60%;color:var(--hue-ink,#6d7169);white-space:nowrap;text-overflow:ellipsis;border-radius:999px;padding:.05rem .5rem;font-size:.64rem;font-weight:600;display:inline-block;overflow:hidden}@media (width<=40rem){#tdb-demo{margin-inline:-.35rem}.home-v2 .session-live .agent-session{padding:.7rem .55rem .5rem}.home-v2 .session-live .agent-avatar{display:none}.home-v2 .session-live .agent-message{gap:0}.home-v2 .session-live .agent-message p{max-width:100%;padding:.5rem .6rem;font-size:.88rem;line-height:1.55}.home-v2 .packet-live-body{padding:.6rem .55rem .8rem}.home-v2 .packet-live-eyebrow,.home-v2 .session-live-status{font-size:.56rem}.home-v2 .session-live .katex,.home-v2 .packet-live .katex{vertical-align:middle;max-width:100%;display:inline-block;overflow:auto hidden}}