.home-explained .product-glyph{stroke-width:1.7px;flex-shrink:0;width:24px;height:24px}.home-explained .diagram-heading{color:var(--ink);align-items:center;gap:12px;font-size:15px;font-weight:600;line-height:1.4;display:flex}.home-explained .diagram-heading>.product-glyph{width:28px;height:28px;color:var(--accent-ink)}.home-explained .diagram-heading small{color:var(--muted);margin-top:4px;font-size:12px;font-weight:400;line-height:1.5;display:block}.home-explained .requirement-gap{background:var(--paper);border:1px solid var(--line);border-radius:8px;min-width:0;padding:24px 28px}.home-explained .requirement-gap>figcaption{border-bottom:1px solid var(--line);margin-bottom:24px;padding-bottom:20px}.home-explained .home-diagram-arrow{flex-shrink:0;width:22px;height:22px}.home-explained .home-evidence-mark{flex-shrink:0;width:18px;height:18px}.home-explained .problem-section{grid-template-columns:minmax(0,.9fr) minmax(0,1.1fr);align-items:center;gap:80px;padding-block:80px 96px}.home-explained .problem-copy{margin-top:28px}.home-explained .problem-copy .large-copy{font-size:21px;line-height:1.5}.home-explained .gap-tested{background:var(--green-bg);color:var(--green);border-radius:var(--radius);padding:20px}.home-explained .gap-label{align-items:center;gap:8px;font-size:13px;font-weight:650;display:flex}.home-explained .gap-path{grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);align-items:center;gap:16px;margin-top:24px;font-size:15px;line-height:1.5;display:grid}.home-explained .gap-path>div{flex-direction:column;align-items:flex-start;gap:12px;display:flex}.home-explained .gap-path>div>.product-glyph{stroke-width:1.5px;width:36px;height:36px}.home-explained .gap-unanswered{padding-top:24px}.home-explained .gap-unanswered strong{font-size:15px;font-weight:600}.home-explained .gap-unanswered ul{color:var(--muted);gap:0;margin:16px 0 0 18px;padding:0;font-size:15px;line-height:1.5;list-style:none;display:grid}.home-explained .gap-unanswered li{border-left:1px solid var(--border-strong);align-items:center;gap:14px;padding:10px 0 10px 24px;display:flex;position:relative}.home-explained .gap-unanswered li:before{content:"";border-top:1px solid var(--border-strong);width:12px;position:absolute;top:50%;left:0}.home-explained .gap-unanswered li>span{color:var(--ink);font-weight:550}.home-explained .gap-unanswered small{color:var(--muted);margin-top:2px;font-size:13px;font-weight:400;display:block}.home-explained .process-section{padding-block:80px 48px}.home-explained .section-intro{margin-bottom:40px}.home-explained .section-intro>p{max-width:34ch}.home-explained .process-context{color:var(--muted);margin:0 0 16px;font-size:13px;line-height:1.5}.home-explained .home-process{margin:0;padding:0;list-style:none}.home-explained .home-process>li{border-top:1px solid var(--line);grid-template-columns:minmax(0,.8fr) minmax(0,1.2fr);align-items:center;gap:64px;padding-block:32px;display:grid}.home-explained .home-process h3{align-items:baseline;gap:14px;display:flex}.home-explained .home-process h3>span{letter-spacing:0;background:var(--accent);width:30px;height:30px;color:var(--on-accent);border-radius:50%;flex-shrink:0;place-items:center;font-size:14px;display:grid}.home-explained .home-process-copy>p{color:var(--muted);max-width:70ch;margin:18px 0 0 44px;font-size:17px;line-height:1.7}.home-explained .requirement-expansion,.home-explained .evidence-reconciliation,.home-explained .bounded-task{min-width:0}.home-explained .requirement-unfold-art,.home-explained .evidence-match-art,.home-explained .task-exchange-art{width:100%;height:auto;max-height:220px;display:block}.home-explained .art-ink{color:var(--ink)}.home-explained .art-muted{color:var(--muted)}.home-explained .art-line{color:var(--border-strong)}.home-explained .art-accent{color:var(--accent-ink)}.home-explained .art-paper{fill:var(--paper)}.home-explained .art-wash{fill:var(--ice)}.home-explained .art-proven{color:var(--green)}.home-explained .art-unproven{color:var(--amber)}.home-explained .art-inadmissible{color:var(--red)}.home-explained .workflow-art-caption{grid-template-columns:minmax(0,1fr) auto;align-items:start;gap:8px 16px;max-width:520px;margin:10px auto 0;display:grid}.home-explained .workflow-art-copy strong{font-size:16px;font-weight:600;line-height:1.4;display:block}.home-explained .workflow-art-copy q{quotes:"“" "”"}.home-explained .workflow-art-copy>span:not(.sr-only){color:var(--muted);margin-top:3px;font-size:13px;line-height:1.5;display:block}.home-explained .workflow-art-verdict strong{color:var(--green)}.home-explained .workflow-art-verdict>span:not(.sr-only){color:var(--amber)}.home-explained .workflow-details{min-width:0}.home-explained .workflow-details[open]{grid-column:1/-1}.home-explained .workflow-details summary{min-height:44px;color:var(--accent-ink);justify-content:flex-start;align-items:center;gap:8px;padding:0;font-size:13px;font-weight:550;line-height:1.5;display:flex}.home-explained .workflow-details summary svg{stroke-width:1.5px;flex-shrink:0;width:16px;height:16px}.home-explained .workflow-details[open] summary svg{transform:rotate(180deg)}.home-explained .workflow-details ul{margin:4px 0 8px;padding:0 0 0 18px;font-size:14px;line-height:1.6}.home-explained .workflow-details>p{color:var(--muted);margin:0;padding:0;font-size:13px;line-height:1.5}.home-explained .workflow-record-details li{margin-block:8px}.home-explained .workflow-record-details strong{font-size:13px;font-weight:600;display:block}.home-explained .workflow-evidence-key{flex-wrap:wrap;grid-column:1/-1;gap:8px 18px;font-size:12px;line-height:1.5;display:flex}.home-explained .workflow-evidence-key span{align-items:center;gap:5px;display:inline-flex}.home-explained .workflow-evidence-key svg{stroke-width:1.5px;width:16px;height:16px}.home-explained .workflow-record-details [data-state=PROVEN] strong,.home-explained .workflow-evidence-key [data-state=PROVEN]{color:var(--green)}.home-explained .workflow-record-details [data-state=UNPROVEN] strong,.home-explained .workflow-evidence-key [data-state=UNPROVEN]{color:var(--amber)}.home-explained .workflow-record-details [data-state=INADMISSIBLE] strong,.home-explained .workflow-evidence-key [data-state=INADMISSIBLE]{color:var(--red)}@media (max-width:360px){.home-explained .workflow-art-caption{grid-template-columns:minmax(0,1fr);gap:0}.home-explained .workflow-evidence-key{margin-top:8px}}.home-explained .home-closure-equation{background:var(--inverse);color:var(--on-dark);border-radius:var(--radius);grid-template-columns:minmax(0,1fr) minmax(0,1fr);align-items:center;gap:64px;margin-top:12px;padding:32px 40px;display:grid}.home-explained .home-equation-terms{text-align:center;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr) auto minmax(0,1fr);align-items:center;gap:12px;display:grid}.home-explained .home-equation-terms strong{font-variant-numeric:tabular-nums;margin-bottom:8px;font-size:44px;font-weight:550;line-height:1.1;display:block}.home-explained .home-equation-terms .product-glyph{color:var(--on-dark-muted);margin:0 auto 16px;display:block}.home-explained .home-equation-terms div>span{font-size:13px;line-height:1.5}.home-explained .home-equation-symbol{font-size:24px}.home-explained .home-equation-result{color:var(--on-dark)}.home-explained .home-closure-equation figcaption strong{font-size:22px;font-weight:550;line-height:1.3;display:block}.home-explained .home-closure-equation figcaption>span{color:var(--on-dark-muted);margin-top:12px;font-size:14px;line-height:1.6;display:block}.home-explained .proof-section{grid-template-columns:minmax(0,.9fr) minmax(0,1.1fr);gap:80px;padding-block:96px}.home-explained .proof-copy h2{max-width:14ch}.home-explained .proof-copy .large-copy{margin-top:24px;font-size:21px;line-height:1.5}.home-explained .control-example{border:1px solid var(--line);border-radius:8px;padding:28px}.home-explained .control-example>figcaption{margin-bottom:20px}.home-explained .control-test-identity{flex-direction:column;gap:5px;padding-bottom:20px;font-size:14px;line-height:1.5;display:flex}.home-explained .control-test-identity strong{font-weight:600}.home-explained .control-test-identity span{color:var(--muted)}.home-explained .control-run-heading>span:first-child,.home-explained .control-behavior{align-items:center;gap:8px;display:flex}.home-explained .control-run-heading .product-glyph{width:18px;height:18px}.home-explained .control-behavior{border-top:1px solid var(--line);color:var(--muted);padding:12px 16px;font-size:12px;line-height:1.5}.home-explained .control-behavior .product-glyph{width:18px;height:18px}.home-explained .control-connector .product-glyph{width:20px;height:20px}.home-explained .report-instruction{color:var(--ink);align-items:flex-start;gap:12px;display:flex}.home-explained .report-instruction .product-glyph{color:var(--accent-ink);margin-top:3px}.home-explained .report-explainer-copy>.text-link{margin-top:8px}.home-explained .done-grid{grid-template-columns:minmax(0,.9fr) minmax(0,1.1fr);align-items:center;column-gap:72px}.home-explained .done-rules{grid-column:1/-1;grid-template-columns:repeat(3,minmax(0,1fr));gap:40px}.home-explained .done-rules>div{border:0;border-top:1px solid var(--dark-line);padding:24px 0 0}.home-explained .done-rules dt>.product-glyph{width:28px;height:28px;color:var(--on-dark-muted);margin-bottom:16px;display:block}.home-explained .verdict-change figcaption{margin-bottom:22px;font-size:14px;line-height:1.5}.home-explained .verdict-change .diagram-heading{color:var(--on-dark)}.home-explained .verdict-change .diagram-heading>.product-glyph,.home-explained .verdict-change .diagram-heading small{color:var(--on-dark-muted)}.home-explained .verdict-change>ol{margin:0;padding:0;list-style:none}.home-explained .proof-marks{flex-wrap:wrap;gap:16px;margin:0;padding:18px 12px 0;list-style:none;display:flex}.home-explained .proof-marks li{text-align:center;min-width:38px;color:var(--on-dark-muted);flex:1 0 auto;font-size:12px;line-height:1.5}.home-explained .proof-marks li>div{place-items:center;width:38px;height:38px;margin:0 auto 8px;display:grid;position:relative}.home-explained .proof-marks .home-evidence-mark{width:16px;height:16px;fill:var(--inverse);color:var(--success-on-dark);position:absolute;bottom:-3px;right:-5px}.home-explained .proof-marks [data-state=STALE]{color:#f4d491}.home-explained .proof-marks [data-state=STALE] .home-evidence-mark{color:inherit}.home-explained .verdict-state{border-radius:3px;flex-wrap:wrap;justify-content:space-between;align-items:center;gap:8px 16px;padding:12px 16px;font-size:14px;line-height:1.5;display:flex}.home-explained .verdict-state code{font-size:13px;font-weight:700}.home-explained .verdict-state[data-done=true]{background:var(--green-bg);color:var(--green)}.home-explained .verdict-state[data-done=false]{background:var(--amber-bg);color:var(--amber)}.home-explained .verdict-change li>p{color:var(--on-dark-muted);margin-top:10px;font-size:13px;line-height:1.6}.home-explained .verdict-change-event{color:var(--on-dark-muted);align-items:center;gap:12px;margin-inline:16px;padding-block:20px;display:flex}.home-explained .verdict-change .verdict-change-event p{margin:0}.home-explained .verdict-recovery{border-top:1px solid var(--dark-line);color:var(--on-dark-muted);grid-template-columns:auto minmax(0,1fr);gap:16px;margin-top:22px;padding-top:18px;font-size:14px;line-height:1.6;display:grid}.home-explained .verdict-recovery span{color:var(--on-dark);font-weight:600}.home-explained .faq-section{gap:64px;padding-block:64px}.home-explained .faq-section summary{padding-block:18px;font-size:17px}.home-explained .closing-section{padding-block:56px}.home-explained .closing-content>div{max-width:42ch}.home-explained .purchase-actions{flex-wrap:wrap;align-items:center;gap:12px 24px;display:flex}.home-explained .purchase-guide{min-height:44px;color:var(--on-dark);text-underline-offset:4px;align-items:center;font-size:15px;text-decoration:underline;display:inline-flex}.home-explained .purchase-guide:hover{color:var(--on-dark-muted)}.home-explained .purchase-actions button:disabled{background:var(--terminal-chrome);color:var(--on-dark-muted);border:1px solid var(--dark-line);opacity:1}@media (max-width:1150px){.home-explained .home-process>li,.home-explained .problem-section,.home-explained .proof-section,.home-explained .done-grid{gap:40px}.home-explained .home-process>li{grid-template-columns:minmax(0,.7fr) minmax(0,1.3fr)}.home-explained .home-process-copy>p{margin-left:0}.home-explained .home-closure-equation{gap:32px;padding:28px}}@media (max-width:900px){.home-explained .problem-section{grid-template-columns:1fr}.home-explained .problem-section>.requirement-gap{width:100%;max-width:680px}.home-explained .problem-copy{max-width:65ch}.home-explained .home-process>li{grid-template-columns:minmax(0,1fr);gap:28px}.home-explained .home-process>li:nth-child(-n+3){gap:20px}.home-explained .home-process-copy>p{max-width:65ch}.home-explained .home-process>li>figure{width:100%;max-width:680px}.home-explained .proof-section{grid-template-columns:minmax(0,1fr);gap:32px}.home-explained .proof-copy h2{max-width:22ch}.home-explained .proof-copy>p{max-width:60ch}.home-explained .control-example{width:100%;max-width:680px}.home-explained .done-grid{grid-template-columns:minmax(0,1fr)}.home-explained .done-grid>div>p{max-width:65ch}.home-explained .verdict-change{max-width:680px}.home-explained .done-rules{gap:24px}}@media (max-width:640px){.home-explained .problem-section{gap:32px}.home-explained .home-process>li{padding-block:24px}.home-explained .home-process>li:nth-child(-n+3){gap:16px}.home-explained .home-process h3{gap:12px;font-size:23px}.home-explained .home-process-copy>p{font-size:16px}.home-explained .requirement-gap{padding:20px}.home-explained .home-closure-equation{grid-template-columns:minmax(0,1fr);gap:28px;padding:24px 20px}.home-explained .home-equation-terms{gap:8px}.home-explained .home-equation-terms strong{font-size:38px}.home-explained .home-closure-equation figcaption{border-top:1px solid var(--line);padding-top:22px}.home-explained .home-closure-equation figcaption strong{font-size:20px}.home-explained .done-rules{grid-template-columns:minmax(0,1fr)}.home-explained .done-rules>div{padding-left:44px;position:relative}.home-explained .done-rules dt>.product-glyph{width:24px;height:24px;position:absolute;top:24px;left:0}.home-explained .proof-marks{gap:8px;padding-inline:0}.home-explained .proof-marks li>span{white-space:nowrap}.home-explained .problem-section,.home-explained .proof-section{padding-block:56px}.home-explained .process-section{padding-top:56px}.home-explained .problem-copy .large-copy,.home-explained .proof-copy .large-copy{font-size:19px}.home-explained .control-example{padding:20px}.home-explained .control-run-heading{flex-wrap:wrap;padding:12px}.home-explained .control-example pre{padding:16px 12px}.home-explained .control-behavior{padding:12px}.home-explained .control-connector>span{display:none}.home-explained .faq-section{gap:24px;padding-block:48px}.home-explained .closing-section{padding-block:48px}.home-explained .verdict-recovery{grid-template-columns:minmax(0,1fr);gap:6px}}@media print{.home-explained .home-closure-equation,.home-explained .home-closure-equation figcaption>span{background:var(--paper);color:var(--ink)}.home-explained .home-equation-result,.home-explained .verdict-recovery span{color:var(--accent-ink)}.home-explained .verdict-change li>p,.home-explained .verdict-change-event,.home-explained .verdict-recovery{color:var(--muted)}.home-explained figure,.home-explained .home-process>li{break-inside:avoid}}
.home-explained .terminal-hero{grid-template-columns:minmax(0,.94fr) minmax(0,1.06fr);align-items:center;gap:54px;padding-block:72px 64px;display:grid}.product-pitch h1{letter-spacing:-.04em;text-wrap:initial;overflow-wrap:anywhere;font-size:clamp(50px,4.55vw,66px);font-weight:600;line-height:1.04}.terminal-intro{max-width:48ch;color:var(--muted);margin-block:25px 28px;font-size:20px;line-height:1.55}.product-actions{flex-wrap:wrap;align-items:center;gap:8px 24px;display:flex}.button-product{background:var(--accent);color:var(--on-accent)}.button-product:hover{background:var(--accent-hover)}.product-guide{align-items:center;min-height:44px;font-size:15px;font-weight:550;display:inline-flex}.product-guide:hover{color:var(--accent-ink)}.product-fit{color:var(--muted);margin-top:15px;font-size:13px;line-height:1.5}.purchase-note{color:var(--muted);margin-top:10px;font-size:13px;line-height:1.5}.terminal-example{min-width:0}.terminal-transcript{background:var(--inverse);color:var(--on-dark);border:1px solid var(--dark-line);font-variant-numeric:tabular-nums;border-radius:10px;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:14px;line-height:1.65;overflow:hidden;box-shadow:0 18px 44px #22222220}.terminal-titlebar{background:var(--terminal-chrome);border-bottom:1px solid var(--dark-line);color:var(--on-dark-muted);grid-template-columns:1fr auto 1fr;align-items:center;gap:16px;padding:11px 18px;font-size:12px;line-height:1.5;display:grid}.terminal-window-controls{gap:7px;display:flex}.terminal-window-controls i{background:#ed6a5e;border-radius:50%;width:10px;height:10px;display:block}.terminal-window-controls i:nth-child(2){background:#f4bf4f}.terminal-window-controls i:nth-child(3){background:#62c554}.terminal-shell{justify-self:end}.terminal-body{padding:25px 26px 28px}.terminal-command{align-items:baseline;gap:10px;margin-bottom:24px;display:flex}.terminal-command>span{color:var(--success-on-dark)}.terminal-command code{font:inherit;overflow-wrap:anywhere;min-width:0}.terminal-command code span{white-space:nowrap}.terminal-project{margin-bottom:8px;font-weight:650}.terminal-output>div{grid-template-columns:10ch minmax(0,1fr);gap:14px;margin-top:3px;display:grid}.terminal-output dt{color:var(--on-dark-muted)}.terminal-output dd{overflow-wrap:anywhere;margin:0}#terminal-remaining[data-complete=true]{color:var(--success-on-dark);font-weight:700}.terminal-conclusion{color:#f4d491;align-items:flex-start;gap:12px;margin-block:25px 22px;display:flex}.terminal-conclusion[data-complete=true]{color:var(--success-on-dark)}.terminal-verdict-icon{flex-shrink:0;width:26px;height:26px;margin-top:1px}.terminal-conclusion h2{letter-spacing:0;text-wrap:initial;overflow-wrap:anywhere;font:700 19px/1.4 ui-monospace,SFMono-Regular,Consolas,monospace}.terminal-conclusion p{color:var(--on-dark);max-width:44ch;margin-top:6px;font-size:13px;line-height:1.6}.terminal-next{color:var(--on-dark-muted);overflow-wrap:anywhere}.terminal-next span{color:var(--on-dark);font-weight:600}.terminal-transcript[data-terminal-stage="2"] .terminal-next span{color:var(--success-on-dark)}.terminal-footer{padding-top:18px}.terminal-caption,.terminal-scope{color:var(--muted);font-size:12px;line-height:1.65}.terminal-walkthrough:not([hidden]){flex-wrap:wrap;align-items:center;gap:8px 20px;margin-top:8px;display:flex}.terminal-replay,.terminal-skip{color:var(--ink);text-align:left;text-underline-offset:5px;background:0 0;border:0;min-height:44px;padding:8px 0;font-size:14px;line-height:1.4;text-decoration:underline;text-decoration-thickness:1px}.terminal-replay{align-items:center;gap:9px;font-weight:600;display:flex}.terminal-replay .icon{flex-shrink:0;width:17px;height:17px}.terminal-replay:hover,.terminal-skip:hover{color:var(--accent-ink)}.home-explained .report-section{background:var(--ice);padding-block:80px}.report-explainer{grid-template-columns:minmax(0,.8fr) minmax(0,1.2fr);align-items:start;gap:72px;display:grid}.report-explainer-copy{padding-top:24px}.report-explainer-copy h2{max-width:10ch;margin-bottom:24px}.report-explainer-copy p{max-width:42ch;color:var(--muted);margin-bottom:20px;font-size:18px;line-height:1.65}.report-section .report{border:2px solid var(--report-state-color);box-shadow:none;transition:border-color .2s var(--ease)}.report-section .report-caption{color:var(--muted)}.report-playback{color:var(--muted);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:0 12px;padding:4px 22px 0;font-size:12px;line-height:1.5;display:flex}.report-playback[hidden]{display:none}.report-playback-button{min-height:44px;color:var(--ink);background:0 0;border:0;align-items:center;gap:7px;padding:8px 4px;font-size:13px;font-weight:600;line-height:1.5;display:inline-flex}.report-playback-button svg{stroke-width:1.7px;flex-shrink:0;width:16px;height:16px}.report-playback-button:hover{color:var(--report-state-color)}.report[data-playback=complete] .report-playback>span{color:var(--green)}@media (max-width:1100px){.home-explained .terminal-hero{grid-template-columns:minmax(0,1fr);gap:36px;padding-block:48px}.product-pitch,.terminal-example{width:100%;max-width:720px;margin-inline:auto}.product-pitch h1{font-size:64px}}@media (max-width:900px){.report-explainer{grid-template-columns:minmax(0,1fr);gap:32px}.report-explainer-copy{padding-top:0}.report-explainer-copy h2,.report-explainer-copy p{max-width:65ch}}@media (max-width:640px){.home-explained .terminal-hero{gap:30px;padding-block:30px 40px}.product-pitch h1{max-width:16ch;font-size:clamp(41px,10.8vw,60px)}.terminal-intro{margin-block:20px 22px;font-size:18px}.product-actions{flex-direction:column;align-items:flex-start;gap:4px}.product-actions .button{gap:16px;max-width:100%;padding-inline:18px}.product-fit{margin-top:12px}.terminal-transcript{border-radius:8px;font-size:12px}.terminal-titlebar{gap:10px;padding-inline:14px;font-size:11px}.terminal-body{padding:20px 16px}.terminal-output>div{grid-template-columns:10ch minmax(0,1fr);gap:10px}.terminal-conclusion h2{font-size:17px}.terminal-conclusion p{font-size:12px}.terminal-conclusion{gap:9px}.terminal-verdict-icon{width:22px;height:22px}.home-explained .report-section{padding-block:48px}}@media print{.report-playback,.product-actions,.terminal-walkthrough,.terminal-window-controls{display:none}.home-explained .terminal-hero{display:block}.terminal-transcript,.terminal-titlebar{box-shadow:none;background:#fff;border-color:#777}.terminal-hero :is(p,dt,dd,h1,h2,span),#terminal-remaining[data-complete=true]{color:var(--ink)}}