:root{--paper:#f7f6f1;--ink:#192922;--muted:#637068;--line:#d4dcd3;--green:#115b43;--blue:#245d85;--amber:#875115;--human:#5d486e}
*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:24px}body{margin:0;background:var(--paper);color:var(--ink);font-family:-apple-system,BlinkMacSystemFont,'Apple SD Gothic Neo','Noto Sans KR',sans-serif;font-size:17px;line-height:1.75;word-break:keep-all;overflow-wrap:break-word}a{color:var(--green);text-underline-offset:4px}button,select{font:inherit}button{cursor:pointer}button:focus-visible,a:focus-visible,select:focus-visible{outline:3px solid #b25b30;outline-offset:3px}header.top{max-width:1240px;margin:auto;padding:22px 30px;border-bottom:1px solid var(--line);display:flex;justify-content:space-between;gap:20px;font-size:12px;letter-spacing:.09em}header.top strong{font-size:14px}.draft{color:#945126}.layout{max-width:1240px;margin:0 auto;padding:55px 30px 100px;display:grid;grid-template-columns:175px minmax(0,1fr);gap:50px}.toc{font-size:13px}.toc>div{position:sticky;top:28px}.toc a{display:block;color:var(--muted);text-decoration:none;padding:10px 0;border-bottom:1px solid var(--line)}.toc a:hover{color:var(--green)}.toc small{display:block;line-height:1.6;margin-top:20px;color:var(--muted)}article{min-width:0}h1{font-size:clamp(33px,4.2vw,52px);letter-spacing:-.055em;line-height:1.17;margin:10px 0 25px;max-width:780px}article>p:first-of-type{font-size:21px;line-height:1.6;color:#48584f;margin-bottom:45px}h2{font-size:28px;line-height:1.35;letter-spacing:-.035em;margin:65px 0 24px}h3{font-size:21px;line-height:1.4;margin:30px 0 14px}p{margin:18px 0}strong{font-weight:700}code{font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:.85em;background:#e9eee7;padding:2px 5px;border-radius:3px;overflow-wrap:anywhere}pre{background:#edf1ea;border:1px solid var(--line);padding:18px;overflow:auto;line-height:1.55;border-radius:3px;tab-size:2;font-size:14px;white-space:pre}pre code{padding:0;background:none;font-size:inherit;overflow-wrap:normal}blockquote{margin:24px 0;border-left:3px solid var(--green);padding:2px 22px;color:#315344}.table-wrap{overflow-x:auto;margin:25px 0;border:1px solid var(--line)}table{border-collapse:collapse;width:100%;font-size:14px;line-height:1.6;min-width:610px}th,td{text-align:left;vertical-align:top;padding:13px 14px;border-bottom:1px solid var(--line)}th{background:#e7ede4;font-weight:700}tr:last-child td{border:0}.footnote{margin-top:45px;font-size:13px;color:var(--muted)}.footnote p{margin:8px 0}.footnote li{margin-bottom:12px}.footnote-ref{text-decoration:none}.figure{margin:35px 0;padding:28px;border:1px solid #bcc9bb;background:#fffef9;box-shadow:0 3px 0 #e2e8de;min-width:0}.figure figcaption{margin-bottom:23px}.figure .eyebrow{font-family:ui-monospace,monospace;color:var(--green);font-size:11px;letter-spacing:.1em;display:block;font-weight:700}.figure h3{margin:6px 0 8px;font-size:22px}.figure .caption{font-size:13px;line-height:1.65;color:var(--muted);margin:10px 0 0}.legend{display:flex;gap:8px;flex-wrap:wrap;margin:14px 0 22px;font-size:11px}.legend span,.pill{border:1px solid var(--line);padding:3px 8px;border-radius:3px;display:inline-block}.blue{color:var(--blue);background:#eef5fb;border-color:#bdd2e3!important}.amber{color:var(--amber);background:#fcf4e7;border-color:#dbc7a6!important}.green{color:var(--green);background:#edf6ed;border-color:#b5cfb7!important}.purple{color:var(--human);background:#f3eff8;border-color:#cec0dc!important}.boundary{border:2px solid;border-radius:4px;padding:18px;min-width:0}.boundary h4{font-size:15px;margin:0 0 12px}.boundary .node{background:#fff;padding:13px 12px;border:1px solid #d8e0d7;border-radius:3px;margin:8px 0;line-height:1.6;color:var(--ink);font-size:13px}.node b,.node code{display:block}.node small{font-size:11px;color:var(--muted)}.flow{display:grid;grid-template-columns:minmax(0,1fr) 95px minmax(0,1fr);align-items:stretch;gap:12px}.connector{display:flex;flex-direction:column;justify-content:center;text-align:center;font-size:11px;color:var(--muted);line-height:1.5}.connector b{font-size:26px;color:var(--green)}.connector b:after{content:'→'}.down{text-align:center;font-size:16px;color:var(--muted);line-height:1.2;margin:4px}.row-note{font-size:12px;padding:12px 14px;border-left:3px solid #ba8d50;background:#fcf4e7;margin:16px 0;line-height:1.65}.record{border:1px solid var(--line);padding:12px 16px;margin-top:14px;font-size:12px;background:#edf6ed}.record b{display:block}.explorer-title{font-size:15px;margin:25px 0 10px}.explorer{display:grid;grid-template-columns:245px minmax(0,1fr);gap:0;border:1px solid var(--line);min-width:0}.file-list{padding:8px;background:#edf0e9}.file-list button{display:block;text-align:left;font-family:ui-monospace,monospace;font-size:11px;line-height:1.6;padding:8px;width:100%;background:transparent;border:0;color:#405546;overflow-wrap:anywhere}.file-list button[aria-pressed=true]{background:#155a44;color:#fff;border-radius:2px}.file-detail{min-width:0;overflow:hidden}.file-detail header{padding:13px 16px;background:#f7faf5;border-bottom:1px solid var(--line)}.file-detail header strong{display:block;font-size:13px;font-family:ui-monospace,monospace;overflow-wrap:anywhere}.file-detail header p{font-size:12px;line-height:1.6;margin:8px 0 0;color:var(--muted)}.file-detail pre{border:0;margin:0;background:#fff;max-height:330px;min-height:250px;font-size:12px;line-height:1.6;padding:16px}.mobile-file-picker{display:none}.source-note{font-size:11px!important;line-height:1.6!important;color:var(--muted)}.compare{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:12px}.compare-card{border:1px solid var(--line);padding:16px;min-width:0}.compare-card h4{font-size:18px;margin:0}.compare-card .sub{font-size:11px;color:var(--muted);min-height:36px;margin:4px 0 12px;line-height:1.5}.compare-card .node{font-size:12px;padding:11px;border:1px solid var(--line);margin:8px 0;background:#f5f8f1}.compare-card .node b{font-size:12px}.compare-card .edge{font-size:10px;line-height:1.4;color:var(--muted);text-align:center}.compare-card .edge:before{content:'↓';display:block;font-size:17px}.compare-card .limit{font-size:11px;border-top:1px dashed #b2bfb0;padding-top:12px;line-height:1.6;color:#665040}.proof-controls{margin-top:23px;border-top:1px solid var(--line);padding-top:18px}.proof-controls button{border:1px solid var(--green);border-radius:3px;background:transparent;color:var(--green);font-size:12px;padding:6px 12px;margin:0 7px 6px 0}.proof-controls button[aria-pressed=true]{background:var(--green);color:#fff}.proof-readout{display:grid;grid-template-columns:minmax(0,1fr) 165px;gap:14px}.proof-readout pre{margin:8px 0 0;font-size:12px}.verdict{align-self:center;font-size:13px;line-height:1.6}.verdict b{font-size:24px;display:block}.build{display:grid;grid-template-columns:210px minmax(0,1fr);gap:20px}.step-list{display:flex;flex-direction:column;gap:6px}.step-list button{border:1px solid #cbd8ca;background:#f5f7f1;text-align:left;font-size:12px;padding:10px 12px;line-height:1.4}.step-list button span{display:inline-block;margin-right:8px;font-family:ui-monospace,monospace;color:#6a7c6c}.step-list button[aria-pressed=true]{background:#155a44;border-color:#155a44;color:white}.step-list button[aria-pressed=true] span{color:#bedaca}.step-list button:after{content:'↓';float:right;color:#7a8c7b}.step-list button:last-child:after{content:''}.step-detail{border-left:3px solid #7c9b7a;padding-left:20px;font-size:13px;min-width:0}.step-detail h4{font-size:20px;line-height:1.4;margin:0 0 15px}.step-detail dl{margin:0}.step-detail dt{font-size:11px;font-weight:700;color:var(--green);margin-top:17px}.step-detail dd{margin:4px 0;line-height:1.65}.step-detail pre{font-size:11px;margin:10px 0}.return-link{display:inline-block;background:#fbefe1;color:#8a4d20;border:1px solid #d9bb91;font-size:12px;padding:8px 10px;margin-top:15px;text-align:left}.llm-lanes{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:14px}.llm-role{padding:17px;border:1px solid;min-width:0}.llm-role h4{margin:0;font-size:17px}.llm-role .tag{font-size:10px;margin-bottom:8px;display:block;font-weight:700}.llm-role dl{font-size:12px;line-height:1.65}.llm-role dt{font-weight:700;margin-top:16px}.llm-role dd{margin:4px 0}.llm-role code{font-size:11px}.llm-role.judge{border-style:dashed}.llm-code{padding:15px;margin-top:15px;text-align:center;border:2px solid #669274;background:#edf6ed;font-size:13px}.llm-code b{display:block;font-size:16px}.llm-code small{display:block;color:var(--muted)}.return-top{text-align:right;font-size:13px;margin-top:35px}.review-notice{border:1px solid #dbc7a6;background:#fcf4e7;padding:14px 18px;font-size:13px;margin-top:32px}.footer{border-top:1px solid var(--line);padding:24px 30px;text-align:center;font-size:12px;color:var(--muted)}@media(max-width:1000px){.layout{grid-template-columns:135px minmax(0,1fr);gap:25px}.figure{padding:20px}.explorer{grid-template-columns:200px minmax(0,1fr)}.compare{gap:8px}.compare-card{padding:12px}}
@media(max-width:760px){body{font-size:16px;line-height:1.75}header.top{padding:17px 20px;font-size:10px}.layout{display:block;padding:30px 20px 65px}.toc{margin-bottom:30px}.toc>div{position:static}.toc nav{display:flex;gap:6px 14px;flex-wrap:wrap}.toc a{padding:4px 0;font-size:11px}.toc small{display:none}h1{font-size:35px;line-height:1.2}article>p:first-of-type{font-size:18px;margin-bottom:32px}h2{font-size:25px;margin-top:48px}.figure{padding:17px;margin:28px 0}.figure h3{font-size:20px}.flow,.compare,.llm-lanes{grid-template-columns:1fr}.connector{padding:7px}.connector b:after{content:'↓'}.connector small{display:inline}.boundary{padding:14px}.compare-card .sub{min-height:0}.compare-card{padding:16px}.explorer{display:block}.file-list{display:none}.mobile-file-picker{display:block;padding:10px;background:#edf0e9}.mobile-file-picker label{font-size:11px;display:block}.mobile-file-picker select{display:block;font-size:12px;max-width:100%;width:100%;padding:9px;border:1px solid #afc3ae;background:white;color:var(--ink)}.file-detail pre{min-height:230px;max-height:300px;font-size:11px}.build{display:block}.step-list{display:grid;grid-template-columns:1fr 1fr;gap:7px}.step-list button{font-size:11px;padding:10px 8px}.step-list button:after{content:''}.step-detail{margin-top:20px;padding-left:14px}.proof-readout{display:block}.verdict{margin-top:12px}.verdict b{display:inline;font-size:20px;margin-right:10px}pre{font-size:12px;padding:14px}.figure code{word-break:break-all}.llm-role{padding:17px}.legend{font-size:10px}.table-wrap{margin-left:0;margin-right:0}.footnote{font-size:12px}table{font-size:12px}th,td{padding:10px 12px}.record{font-size:11px}.review-notice{font-size:12px}.footer{padding:20px}.source-note{overflow-wrap:anywhere}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}

.top a{color:inherit;text-decoration:none}.skip-link{position:absolute;top:-90px;left:20px;z-index:10;background:white;padding:12px}.skip-link:focus{top:10px}.published{color:var(--muted);letter-spacing:.03em}.download-panel{border:1px solid var(--line);background:#edf6ed;padding:16px 20px;margin:22px 0}.download-panel p{font-size:14px;margin:8px 0}.copy-code{display:block;margin:-8px 0 15px auto;border:1px solid var(--green);background:var(--paper);color:var(--green);border-radius:3px;padding:5px 12px;font-size:12px}.file-detail .copy-code{margin:8px 12px 12px auto}.copy-status{font-size:12px;color:var(--muted);min-height:1.75em}.reading-page{max-width:1000px;margin:0 auto;padding:40px 24px 80px}.reading-page article>p:first-of-type{font-size:17px;margin-bottom:24px}.reading-page pre{max-height:650px}.reading-page h1{font-size:36px}main:focus{outline:none}.source-code{white-space:pre}.source-code code{font-size:12px}@media(max-width:760px){header.top{flex-wrap:wrap;gap:6px}.download-panel{padding:13px}.reading-page{padding:28px 20px 60px}.reading-page h1{font-size:30px}}

.proof-readout>pre{grid-column:1;grid-row:1}.proof-readout>.verdict{grid-column:2;grid-row:1}.proof-readout>.copy-code{grid-column:1;grid-row:2;justify-self:end;align-self:start}