:host{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}*{box-sizing:border-box}:root{color:#23382b;font-synthesis:none;background:#f7f5ec;font-family:Arial,sans-serif}button,input,textarea,select{font:inherit}button,a{-webkit-tap-highlight-color:transparent}button{cursor:pointer;color:inherit}button:disabled{opacity:.5;cursor:not-allowed}button:focus-visible{outline-offset:4px;outline:3px solid #8ca071}a:focus-visible{outline-offset:4px;outline:3px solid #8ca071}input:focus-visible{outline-offset:4px;outline:3px solid #8ca071}textarea:focus-visible{outline-offset:4px;outline:3px solid #8ca071}select:focus-visible{outline-offset:4px;outline:3px solid #8ca071}body{margin:0}a{color:inherit}#root{min-height:100vh}.landing,.protocol-page,.workbench{--ink:#23382b;--green:#244c37;--paper:#f7f5ec;--line:#dadcd0;--muted:#737d6c;--serif:Georgia,"Times New Roman",serif;--mono:"Courier New",monospace;color:var(--ink);background:var(--paper);min-height:100vh;font-family:Arial,sans-serif}.landing{background-image:radial-gradient(at 82% 26%,#e7e9dc99,#0000 37%)}.site-header,.workspace-header{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;max-width:1240px;height:110px;margin:auto;padding:0 52px;display:flex}.wordmark{letter-spacing:-.35px;align-items:center;gap:13px;font-size:17px;font-weight:600;display:flex}.brand-mark{border:1.5px solid var(--ink);width:36px;height:38px;font-family:var(--serif);letter-spacing:-3px;justify-content:center;align-items:center;padding-right:4px;font-size:25px;font-weight:400;display:flex;position:relative}.brand-mark span{transform:translateY(3px)}.brand-mark i{background:var(--green);border:2px solid var(--paper);width:6px;height:6px;position:absolute;bottom:6px;right:-4px}.site-header nav{align-items:center;gap:35px;display:flex}.site-header nav button{background:0 0;border:0;padding:10px 0;font-size:13px}.site-header nav .nav-app{border-bottom:1px solid var(--ink)}.arrow{padding-left:15px;font-size:19px;line-height:1}.hero{grid-template-columns:1.27fr 1fr;align-items:center;gap:54px;max-width:1240px;margin:auto;padding:92px 52px 100px;display:grid}.eyebrow{font-family:var(--mono);letter-spacing:1.1px;align-items:center;gap:9px;font-size:10px;font-weight:700;display:flex}.status-dot{background:#7f9466;border-radius:50%;flex-shrink:0;width:6px;height:6px;display:inline-block}.eyebrow.light{color:#c0ccac}h1,h2,h3,p{margin:0}h1,h2{font-weight:400}.hero h1{font-family:var(--serif);letter-spacing:-3.8px;margin-top:31px;font-size:clamp(58px,5.7vw,76px);line-height:1.05}.hero h1 em{color:#476143;font-weight:400}.hero-description{color:#687461;max-width:465px;margin-top:27px;font-size:15px;line-height:1.85}.hero-actions{align-items:center;gap:25px;margin-top:34px;display:flex}.button{letter-spacing:.1px;border:1px solid #0000;border-radius:2px;justify-content:center;align-items:center;min-height:48px;padding:14px 21px;font-size:12px;font-weight:600;transition:transform .15s,background .15s;display:inline-flex}.button:hover:not(:disabled){transform:translateY(-1px)}.button.primary{color:#fcfbf4;background:var(--green)}.button.primary:hover:not(:disabled){background:#346348}.button.secondary{background:0 0;border-color:#cfd3c4}.button.secondary:hover:not(:disabled){background:#ebeede}.button.cream{color:#233b2b;background:#f0f0de;margin-top:28px}.button.small{min-height:38px;padding:10px 14px;font-size:11px}.text-button{background:0 0;border:0;padding:10px 0;font-size:12px}.text-button.small{font-size:11px}.hero-footnote{color:#78826f;align-items:center;gap:8px;margin-top:25px;font-size:10px;display:flex}.tiny-square{border:1px solid #7c8c70;width:5px;height:5px}.ledger-illustration{background:#efefe2;border:1px solid #d7dccb;min-height:474px;padding:22px 31px 0;position:relative;box-shadow:14px 15px 0 -5px #e6e9dc}.diagram-top{z-index:1;border-bottom:1px solid #d5dac9;justify-content:space-between;align-items:center;padding-bottom:19px;display:flex;position:relative}.mono{font-family:var(--mono);letter-spacing:.7px;font-size:9px}.diagram-index{font-family:var(--mono);color:#8f9982;font-size:9px}.diagram-line{border-left:1px dashed #bcc7a9;position:absolute;top:78px;bottom:60px;left:51px}.diagram-node{background:#fafaf1;border:1px solid #d3d9c6;padding:18px 19px;position:relative}.claim-node{margin-top:23px}.node-top{font-family:var(--mono);align-items:center;gap:13px;font-size:9px;display:flex}.node-top>span:first-child{color:#909b83}.node-kind{letter-spacing:1px;font-weight:600}.status-badge{font-family:var(--mono);color:#68714c;letter-spacing:.65px;background:#eaeccd;border:1px solid #d8ddb8;border-radius:2px;padding:4px 6px;font-size:8px;display:inline-block}.node-top .status-badge{margin-left:auto}.diagram-node p{font-family:var(--serif);letter-spacing:-.35px;margin-top:16px;font-size:23px;line-height:1.25}.diagram-node small{color:#859076;margin-top:13px;font-size:9px;display:block}.connector{align-items:center;gap:17px;height:38px;padding-left:15px;display:flex;position:relative}.connector>span:first-child{color:#768d62;font-size:22px}.connector .mono{color:#88977a;background:#efefe2;font-size:7px}.evidence-node{padding:16px 19px}.evidence-node p{margin-top:12px;font-size:17px}.evidence-sign{font-family:var(--serif);color:#809368;margin-left:auto;font-size:25px;line-height:12px}.diagram-pills{gap:6px;margin-top:11px;display:flex}.diagram-pills span{color:#798768;background:#edf0e3;padding:4px 6px;font-size:8px}.decision-node{color:#e8edda;background:#2a4936;align-items:center;gap:14px;padding:17px;display:flex;position:relative}.decision-number{font-family:var(--mono);color:#a4b393;font-size:9px}.decision-node strong{font-size:12px;font-weight:400;display:block}.decision-node small{color:#afbea1;margin-top:5px;font-size:8px;display:block}.decision-node>span:last-child{color:#aebe9c;margin-left:auto;font-size:23px}.diagram-bottom{color:#7b886d;align-items:center;gap:8px;height:45px;font-size:9px;display:flex}.diagram-bottom .status-dot{width:4px;height:4px}.principles-section{border-top:1px solid var(--line);max-width:1240px;margin:auto;padding:44px 52px 74px}.section-kicker{font-family:var(--mono);letter-spacing:1px;color:#758167;justify-content:space-between;font-size:9px;display:flex}.principles-heading{justify-content:space-between;align-items:center;gap:40px;margin-top:30px;display:flex}.principles-heading h2{font-family:var(--serif);letter-spacing:-1.5px;font-size:40px;line-height:1.1}.principles-heading p{color:#76806b;max-width:310px;margin-right:5px;font-size:13px;line-height:1.85}.principles-grid{grid-template-columns:repeat(4,1fr);gap:32px;margin-top:48px;display:grid}.principle{border-top:1px solid #ced6c3;padding-top:18px}.principle-number{font-family:var(--mono);color:#859076;font-size:9px}.principle h3{font-family:var(--serif);letter-spacing:-.5px;margin-top:22px;font-size:21px;font-weight:400}.principle p{color:#79836f;margin-top:14px;font-size:11px;line-height:1.9}.gate-section{color:#f1f1de;background:#254434;grid-template-columns:1.5fr 1fr;gap:60px;max-width:1136px;margin:0 auto 58px;padding:48px 45px;display:grid;position:relative;overflow:hidden}.gate-section:after{content:"";pointer-events:none;border:1px solid #4b634955;border-radius:50%;width:450px;height:450px;position:absolute;top:-90px;right:-160px;box-shadow:0 0 0 35px #4b634911,0 0 0 70px #4b634911}.gate-section>div,.gate-note{z-index:1;position:relative}.gate-section h2{font-family:var(--serif);letter-spacing:-1px;margin-top:24px;font-size:38px;line-height:1.15}.gate-section p{color:#b4c2a7;margin-top:18px;font-size:11px;line-height:1.9}.gate-note{border-left:1px solid #5a7050;margin-top:8px;padding-left:38px}.gate-note .mono{color:#bac7aa;font-size:8px}.gate-note h3{font-family:var(--serif);margin-top:25px;font-size:28px;font-weight:400;line-height:1.25}.gate-note p{max-width:220px;margin-top:17px}.gate-note button{color:#dce5ca;background:0 0;border:0;margin-top:23px;padding:0;font-size:10px}footer{border-top:1px solid var(--line);justify-content:space-between;align-items:center;gap:25px;max-width:1240px;margin:auto;padding:28px 52px 34px;display:flex}footer .brand-mark{width:25px;height:28px;font-size:19px}footer .wordmark{gap:10px;font-size:12px}footer>span{color:#8a927e;font-size:10px}footer button{background:0 0;border:0;padding:8px 0;font-size:10px}footer .arrow{padding-left:8px;font-size:15px}.workspace-header{height:90px}.back-button{background:0 0;border:0;align-items:center;gap:9px;padding:7px 0;font-size:19px;display:inline-flex}.back-button span{font-size:11px}.header-tag{color:#89907e}.workspace-main{max-width:1240px;min-height:calc(100vh - 180px);margin:auto;padding:48px 52px 70px}.workbench-title{justify-content:space-between;align-items:flex-end;gap:24px;display:flex}.workbench-title h1{font-family:var(--serif);letter-spacing:-1.6px;margin-top:16px;font-size:43px}.workbench-title h1 span{color:#8c9d75}.local-badge{font-family:var(--mono);letter-spacing:.8px;border:1px solid #d7dccb;align-items:center;gap:7px;margin-bottom:5px;padding:9px 11px;font-size:8px;display:flex}.storage-note{color:#7b856f;align-items:center;gap:12px;padding:15px 0 27px;font-size:10px;display:flex}.storage-note>span{color:#89967b;font-size:19px}.storage-note p{line-height:1.6}.storage-note button{font-size:inherit;background:0 0;border:0;padding:0;text-decoration:underline}.workbench-toolbar{border-top:1px solid var(--line);border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:18px;padding:16px 0;display:flex}.view-buttons{gap:25px;display:flex}.view-buttons button{color:#8a927f;white-space:nowrap;background:0 0;border:0;padding:8px 0;font-size:11px}.view-buttons button.active{color:var(--green)}.view-buttons span{font-family:var(--mono);color:#839174;background:#ecefdf;margin-left:5px;padding:3px 5px;font-size:9px}.empty-state{text-align:center;padding:57px 20px 36px}.empty-graphic{width:83px;height:87px;margin:0 auto 24px;position:relative}.empty-graphic>span{width:58px;height:70px;font-family:var(--serif);color:#8d9a75;z-index:2;background:#f3f3e7;border:1px solid #bfc9ac;place-items:center;font-size:34px;display:grid;position:absolute;top:4px;left:5px}.empty-graphic i{border:1px solid #d0d8bf;width:58px;height:70px;position:absolute;top:13px;left:16px}.empty-graphic b{background:#9eab84;width:6px;height:6px;position:absolute;top:9px;right:6px}.empty-state>.mono{color:#899477;font-size:8px}.empty-state h2{font-family:var(--serif);letter-spacing:-.8px;margin-top:16px;font-size:32px;line-height:1.2}.empty-state h2 em{color:#758761}.empty-state p{color:#7e8971;margin-top:18px;font-size:11px;line-height:1.9}.empty-state .button{margin-top:27px}.empty-state .text-button{color:#7f8c70;margin:14px auto 0;font-size:10px;display:block}.workspace-footer{max-width:1240px}.entry-form{background:#f1f2e6;border:1px solid #d8deca;max-width:680px;margin:28px auto;padding:30px}.form-heading{justify-content:space-between;align-items:flex-start;gap:15px;margin-bottom:27px;display:flex}.form-heading .mono{color:#8a957b;font-size:8px}.form-heading h2{font-family:var(--serif);letter-spacing:-.8px;margin-top:10px;font-size:30px}.form-heading h3{font-family:var(--serif);letter-spacing:-.4px;font-size:24px;font-weight:400}.icon-button{color:#849177;background:0 0;border:0;padding:0 2px;font-size:25px;line-height:20px}.entry-form label{color:#68765c;margin-top:18px;font-size:11px;line-height:1.6;display:block}.entry-form input:not([type=checkbox]),.entry-form textarea,.entry-form select{color:#334c37;background:#fdfdf6;border:1px solid #ced7bc;border-radius:1px;width:100%;margin-top:7px;padding:12px;font-size:12px;line-height:1.6}.entry-form textarea{resize:vertical;min-height:107px}.entry-form input::placeholder,.entry-form textarea::placeholder{color:#a1aa93}.form-grid{grid-template-columns:1fr 1fr;gap:0 18px;display:grid}.form-note{color:#879375;margin-top:20px;font-size:10px;line-height:1.8}.form-actions{justify-content:flex-end;gap:12px;margin-top:23px;display:flex}.compact-form{margin:29px 0 0;padding:22px}.compact-form>.button{margin-top:23px}.check-label{align-items:flex-start;gap:10px;display:flex!important}.check-label input{accent-color:var(--green);flex-shrink:0;width:14px;height:14px;margin:3px 0 0}.message{background:#edf1e1;border:1px solid #d0d9bd;margin-top:21px;padding:14px 17px;font-size:11px;line-height:1.8;position:relative}.message>button{background:0 0;border:0;font-size:20px;position:absolute;top:10px;right:10px}.error-message{color:#875841;background:#f5eae1;border-color:#e1c8b6}.error-message p{margin-top:6px}.error-message span{font-size:10px}.error-message>button{margin-top:8px;padding:4px 0;font-size:11px;text-decoration:underline;display:block;position:static}.denied-message{color:#80733f;background:#f3edda;border-color:#dfd5ad;padding-right:38px}.success-message{padding-right:38px}.loading-state{color:#879376;text-align:center;padding:65px 0;font-size:12px}.claims-layout{border:1px solid var(--line);grid-template-columns:310px 1fr;margin-top:28px;display:grid}.claims-list{border-right:1px solid var(--line)}.claim-card{text-align:left;border:0;border-bottom:1px solid var(--line);background:0 0;width:100%;padding:22px;display:block}.claim-card:last-child{border-bottom:0}.claim-card.selected{background:#ebeedf;box-shadow:inset 3px 0 #6a8057}.claim-card>div{justify-content:space-between;align-items:center;display:flex}.claim-card>div .mono{color:#8b947d;font-size:8px}.claim-card h3{font-family:var(--serif);overflow-wrap:anywhere;-webkit-line-clamp:4;-webkit-box-orient:vertical;margin-top:15px;font-size:20px;font-weight:400;line-height:1.3;display:-webkit-box;overflow:hidden}.claim-card p{color:#899478;margin-top:12px;font-size:9px;line-height:1.7}.claim-card p span{padding:0 4px}.claim-card small{color:#7e896e;align-items:center;gap:6px;margin-top:13px;font-size:8px;display:flex}.local-avatar{color:#73815f;background:#dce3ca;border-radius:50%;flex-shrink:0;place-items:center;width:17px;height:17px;font-size:8px;display:inline-grid}.status-verified{color:#507038;background:#dce8ce;border-color:#c1d4ac}.status-rejected{color:#8a6347;background:#eadbce;border-color:#d9c2ad}.status-superseded{color:#828672;background:#e3e3d9;border-color:#cdcfbf}.claim-detail{min-width:0;padding:29px}.detail-top{align-items:center;gap:15px;display:flex}.detail-top .mono{color:#899477;font-size:8px}.claim-detail>h2{font-family:var(--serif);letter-spacing:-.6px;overflow-wrap:anywhere;margin-top:19px;font-size:29px;line-height:1.35}.detail-metadata{grid-template-columns:1fr 1fr;gap:18px 24px;margin-top:25px;display:grid}.detail-metadata span{font-family:var(--mono);color:#8d977e;letter-spacing:.6px;font-size:7px}.detail-metadata p{color:#6f7c62;overflow-wrap:anywhere;margin-top:6px;font-size:10px;line-height:1.7}.detail-actions{border-bottom:1px solid var(--line);flex-wrap:wrap;align-items:center;gap:10px;margin-top:24px;padding-bottom:26px;display:flex}.detail-actions .text-button{margin-left:2px;font-size:10px}.evidence-heading{justify-content:space-between;align-items:center;gap:15px;margin-top:25px;display:flex}.evidence-heading h3{font-family:var(--serif);font-size:21px;font-weight:400}.evidence-heading .mono{color:#8e987e;font-size:7px}.no-evidence{color:#7d8a6d;border:1px dashed #d2dac2;margin-top:20px;padding:23px 17px;font-size:11px;line-height:1.9}.no-evidence span{color:#9ba68c;font-size:9px}.evidence-list article{background:#eff1e3;border:1px solid #dce1cd;margin-top:18px;padding:19px}.relationship{font-family:var(--mono);letter-spacing:.7px;color:#5e7950;font-size:8px}.relation-contradicts{color:#9c7050}.relation-context{color:#8b8b61}.evidence-list p{overflow-wrap:anywhere;margin-top:14px;font-size:12px;line-height:1.8}.evidence-list small{color:#8b977b;overflow-wrap:anywhere;margin-top:15px;font-size:9px;line-height:1.8;display:block}.evidence-author{color:#8b977b;align-items:center;gap:6px;margin-top:12px;font-size:8px;display:flex}.object-id{color:#a1aa92;overflow-wrap:anywhere;margin-top:27px;font-size:7px}.select-state{text-align:center;color:#869374;padding:85px 5px}.select-state>span{font-family:var(--serif);color:#a1af8b;font-size:37px}.select-state h2{font-family:var(--serif);margin-top:18px;font-size:29px}.select-state p{margin-top:13px;font-size:11px;line-height:1.9}.revision-history{border-top:1px solid var(--line);margin-top:22px;font-size:11px}.revision-history summary{cursor:pointer;color:#768568;padding:15px 0}.revision-history summary span{float:right}.revision-history>div{border-bottom:1px solid var(--line);padding:15px 0}.revision-history p{margin-top:8px;font-size:12px;line-height:1.8}.ledger-panel,.proof-panel{border:1px solid var(--line);margin-top:31px;padding:28px}.panel-heading{justify-content:space-between;align-items:center;gap:20px;display:flex}.panel-heading .mono{color:#8a967b;font-size:8px}.panel-heading h2{font-family:var(--serif);letter-spacing:-.6px;margin-top:12px;font-size:28px}.ledger-summary{border-bottom:1px solid var(--line);color:#8b967b;justify-content:space-between;gap:20px;padding:24px 0 16px;font-size:10px;display:flex}.ledger-summary .mono{overflow-wrap:anywhere;font-size:8px}.ledger-empty{text-align:center;padding:65px 10px}.ledger-empty>span{font-family:var(--serif);color:#a0ac8b;font-size:42px}.ledger-empty h3{font-family:var(--serif);margin-top:12px;font-size:25px;font-weight:400}.ledger-empty p{color:#8b967b;margin-top:14px;font-size:10px;line-height:1.8}.event-row{border-bottom:1px solid var(--line)}.event-row summary{cursor:pointer;align-items:center;gap:18px;padding:17px 0;list-style:none;display:flex}.event-row summary::-webkit-details-marker{display:none}.event-seq{font-family:var(--mono);color:#9aa48b;min-width:28px;font-size:9px}.event-title{text-transform:capitalize;flex:1;font-size:11px}.event-title small{text-transform:none;color:#909c80;margin-top:6px;font-size:8px;display:block}.event-time{font-family:var(--mono);color:#9aa48b;font-size:8px}.event-expand{color:#9aa48b;font-size:17px}.event-row[open] .event-expand{transform:rotate(45deg)}.denied-event .event-title{color:#8b7546}.denied-event .event-title small{color:#a19569}.event-row pre,.raw-proof pre{font-family:var(--mono);color:#687a57;white-space:pre-wrap;overflow-wrap:anywhere;background:#ecefdf;max-height:440px;padding:17px;font-size:9px;line-height:1.9;overflow:auto}.denial-reason{color:#947449;background:#f1ecd8;margin-bottom:15px;padding:12px 15px;font-size:10px;line-height:1.8}.replay-controls{align-items:center;gap:20px;margin-top:25px;display:flex}.replay-controls p{color:#8f9a7e;flex:1;font-size:9px;line-height:1.8}.proof-intro{color:#7f8c70;max-width:750px;margin-top:24px;font-size:11px;line-height:1.9}.proof-sequence{border-top:1px solid var(--line);gap:0;margin-top:30px;display:grid}.proof-sequence span{border-bottom:1px solid var(--line);font-family:var(--mono);color:#839173;padding:16px 0;font-size:10px}.proof-limit{background:#efeddd;border-left:2px solid #ada876;margin-top:32px;padding:19px 21px}.proof-limit .mono{color:#999263;font-size:8px}.proof-limit h3{font-family:var(--serif);color:#787445;margin-top:11px;font-size:20px;font-weight:400}.proof-limit p{color:#8e8d69;max-width:750px;margin-top:12px;font-size:10px;line-height:1.9}.proof-result{background:#e7edda;border:1px solid #cad8b4;align-items:center;gap:17px;margin-top:28px;padding:20px;display:flex}.proof-result>span{color:#6d8554;font-size:24px}.proof-result h3{color:#5e754b;font-size:13px;font-weight:400}.proof-result p{color:#82926d;margin-top:7px;font-size:9px;line-height:1.9}.proof-result.failed{background:#f2e6dc;border-color:#debea6}.proof-checks{margin-top:15px}.proof-checks article{border-bottom:1px solid var(--line);gap:18px;padding:22px 0;display:flex}.proof-checks article>span{flex-shrink:0;width:20px;padding-top:16px;font-size:16px}.check-pass{color:#6f8856}.check-fail{color:#a67859}.proof-checks .mono{color:#9ba48c;font-size:7px}.proof-checks h3{margin-top:7px;font-size:12px;font-weight:400;line-height:1.6}.proof-checks p{color:#89967a;margin-top:9px;font-size:10px;line-height:1.9}.proof-download{align-items:center;gap:20px;margin-top:26px;display:flex}.proof-download>span{color:#929f82;max-width:280px;font-size:9px;line-height:1.8}.raw-proof{border-top:1px solid var(--line);margin-top:23px}.raw-proof summary{color:#8b997c;cursor:pointer;padding:17px 0 0;font-size:10px}.raw-proof summary span{float:right}.protocol-main{max-width:900px;margin:auto;padding:62px 52px 70px}.protocol-main>h1{font-family:var(--serif);letter-spacing:-2.5px;margin-top:27px;font-size:61px;line-height:1.1}.protocol-main>h1 em{color:#637d50}.protocol-intro{color:#79876c;max-width:570px;margin-top:24px;font-size:14px;line-height:1.9}.protocol-main section{border-top:1px solid var(--line);margin-top:48px;padding-top:29px}.protocol-main section>h2{font-family:var(--serif);letter-spacing:-.6px;font-size:31px}.protocol-main section>p{color:#7c8a6e;margin-top:20px;font-size:12px;line-height:2}.invariant-list{counter-reset:rule;margin:20px 0 0;padding:0;list-style:none}.invariant-list li{counter-increment:rule;color:#6d7d5f;border-bottom:1px solid #e4e6d9;gap:20px;padding:15px 0;font-size:12px;line-height:1.9;display:flex}.invariant-list li:before{content:"0" counter(rule);font-family:var(--mono);color:#9ba78b;padding-top:2px;font-size:9px}.protocol-callout{background:#ecefe0;border-left:2px solid #8b9c73;margin-top:22px;padding:22px}.protocol-callout>.mono{color:#8a9977;font-size:8px}.protocol-callout h3{font-family:var(--serif);margin-top:14px;font-size:22px;font-weight:400;line-height:1.4}.protocol-callout p{color:#849273;margin-top:14px;font-size:11px;line-height:1.9}.protocol-callout strong{font-weight:600}.value-table{margin-top:17px}.value-table>div{border-bottom:1px solid #dde1d2;grid-template-columns:1fr 1.7fr;gap:35px;padding:20px 0;display:grid}.value-table h3{color:#5f7550;font-size:12px;font-weight:400;line-height:1.7}.value-table p{color:#899678;font-size:11px;line-height:1.9}.transition-table{border:1px solid var(--line);margin-top:22px}.table-row{border-bottom:1px solid var(--line);color:#7d8d6d;grid-template-columns:1fr 1fr 2.4fr;gap:15px;padding:17px;font-size:10px;line-height:1.8;display:grid}.table-row:last-child{border-bottom:0}.table-head{font-family:var(--mono);letter-spacing:.6px;background:#ecefdf;font-size:8px}.limits-list{margin-top:20px;padding:0 0 0 16px}.limits-list li{color:#879473;margin-bottom:13px;padding-left:6px;font-size:11px;line-height:1.9}.artifact-links{flex-wrap:wrap;gap:12px;margin-top:22px;display:flex}.artifact-links a{border:1px solid #d2dcc2;padding:12px 14px;font-size:10px;text-decoration:none}.artifact-links a:hover{background:#ecf0df}.artifact-links .arrow{padding-left:10px;font-size:15px}@media (max-width:1000px){.site-header,.workspace-header{padding-left:35px;padding-right:35px}.hero{gap:30px;padding:65px 35px 75px}.hero h1{letter-spacing:-3px;font-size:58px}.hero-actions{flex-direction:column;align-items:flex-start;gap:7px}.hero-description{font-size:13px}.ledger-illustration{padding:21px 22px 0}.diagram-node p{font-size:20px}.evidence-node p{font-size:15px}.diagram-line{left:43px}.principles-section{padding-left:35px;padding-right:35px}.principles-grid{gap:23px}.principle h3{font-size:18px}.gate-section{gap:37px;margin-left:35px;margin-right:35px;padding:40px 32px}.gate-note{padding-left:27px}footer,.workspace-main{padding-left:35px;padding-right:35px}.claims-layout{grid-template-columns:250px 1fr}.claim-card{padding:18px}.claim-card h3{font-size:18px}.claim-detail{padding:23px}.detail-actions{gap:7px}.detail-actions .button{padding:10px;font-size:10px}.panel-heading h2{font-size:26px}}@media (max-width:720px){.site-header{height:80px;padding:0 24px}.wordmark{gap:10px;font-size:14px}.brand-mark{width:29px;height:32px;font-size:22px}.site-header nav{gap:15px}.site-header nav button{font-size:10px}.site-header nav .nav-app{display:none}.hero{flex-direction:column;align-items:stretch;gap:44px;padding:46px 24px 59px;display:flex}.hero h1{letter-spacing:-3.7px;margin-top:23px;font-size:61px}.hero-description{max-width:390px;margin-top:22px;font-size:13px}.hero-actions{flex-direction:row;align-items:center;gap:20px;margin-top:25px}.hero-actions .button{padding:14px 16px;font-size:10px}.hero-actions .text-button{font-size:10px}.hero-actions .arrow{padding-left:8px;font-size:16px}.hero-footnote{margin-top:20px;font-size:8px}.eyebrow{letter-spacing:.8px;font-size:8px}.ledger-illustration{width:100%;max-width:440px;min-height:448px;margin:auto;padding:21px 24px 0}.diagram-line{left:45px}.diagram-node p{font-size:22px}.evidence-node p{font-size:17px}.diagram-top .mono{font-size:8px}.principles-section{padding:28px 24px 46px}.section-kicker,.section-kicker .mono{font-size:7px}.principles-heading{margin-top:24px;display:block}.principles-heading h2{font-size:35px}.principles-heading p{margin-top:18px;font-size:11px}.principles-grid{grid-template-columns:1fr 1fr;gap:29px 23px;margin-top:29px}.principle{padding-top:12px}.principle h3{margin-top:17px;font-size:20px}.principle p{margin-top:11px;font-size:10px}.gate-section{margin:0 24px 38px;padding:31px 25px;display:block}.gate-section h2{margin-top:21px;font-size:33px}.gate-section p{margin-top:15px;font-size:10px}.gate-section .button{font-size:10px}.gate-note{border-top:1px solid #55704d;border-left:0;margin-top:30px;padding:25px 0 0}.gate-note h3{margin-top:16px;font-size:24px}.gate-note h3 br{display:none}.gate-note p{max-width:100%;margin-top:12px}.gate-note button{margin-top:16px}footer{flex-wrap:wrap;gap:15px;padding:24px}footer>span{display:none}footer .wordmark{font-size:11px}footer button{font-size:9px}.workspace-header{height:74px;padding:0 24px}.workspace-header .wordmark{font-size:12px}.workspace-header .brand-mark{width:25px;height:28px;font-size:20px}.back-button span{display:none}.workspace-header .text-button{font-size:9px}.workspace-header .arrow{padding-left:7px;font-size:14px}.header-tag{font-size:7px}.workspace-main{padding:31px 20px 48px}.workbench-title{align-items:flex-start}.workbench-title h1{letter-spacing:-1.2px;margin-top:12px;font-size:34px}.workbench-title .eyebrow{font-size:7px}.local-badge{letter-spacing:.25px;white-space:nowrap;margin-top:3px;padding:7px;font-size:6px}.local-badge .status-dot{width:4px;height:4px}.storage-note{gap:8px;padding:12px 0 21px;font-size:8px}.workbench-toolbar{gap:10px;padding:13px 0}.view-buttons{gap:13px}.view-buttons button{font-size:9px}.view-buttons span{margin-left:2px;padding:2px 3px;font-size:7px}.workbench-toolbar>.button{min-height:33px;padding:9px;font-size:9px}.empty-state{padding:46px 6px 28px}.empty-state h2{font-size:30px}.empty-state p{font-size:10px}.empty-state .button{font-size:11px}.empty-state .text-button{font-size:8px}.workspace-footer>.mono{display:none}.workspace-footer{justify-content:flex-end}.entry-form{margin-top:24px;padding:21px}.form-grid{gap:0 13px}.entry-form label{font-size:10px}.entry-form input:not([type=checkbox]),.entry-form textarea,.entry-form select{padding:10px;font-size:12px}.form-heading h2{font-size:28px}.form-note{font-size:9px}.form-actions .button{min-height:41px;font-size:10px}.claims-layout{margin-top:22px;display:block}.claims-list{border-right:0;border-bottom:1px solid var(--line);display:flex;overflow-x:auto}.claim-card{border-bottom:0;border-right:1px solid var(--line);flex-shrink:0;width:226px;padding:18px}.claim-card.selected{box-shadow:inset 0 3px #6a8057}.claim-card h3{-webkit-line-clamp:3;font-size:17px}.claim-card p{font-size:8px}.claim-card small{margin-top:10px;font-size:7px}.claim-detail{padding:22px 19px}.claim-detail>h2{margin-top:16px;font-size:27px}.detail-metadata{gap:17px 20px;margin-top:20px}.detail-actions{gap:9px;margin-top:21px;padding-bottom:22px}.detail-actions .button{min-height:35px;padding:9px;font-size:9px}.detail-actions .text-button{font-size:9px}.evidence-heading{margin-top:23px}.evidence-heading h3{font-size:18px}.evidence-heading .mono{font-size:6px}.evidence-list article{padding:15px}.evidence-list p{font-size:11px}.evidence-list small{font-size:8px}.select-state{padding:46px 5px}.compact-form{margin-top:22px;padding:17px}.compact-form .form-heading h3{font-size:21px}.check-label{font-size:9px!important}.ledger-panel,.proof-panel{margin-top:24px;padding:21px 17px}.panel-heading{align-items:flex-start;gap:12px}.panel-heading .mono{letter-spacing:.4px;font-size:6px}.panel-heading h2{margin-top:10px;font-size:23px;line-height:1.2}.panel-heading .button{flex-shrink:0;min-height:33px;padding:9px;font-size:8px}.panel-heading .arrow{padding-left:6px;font-size:13px}.ledger-summary{gap:12px;padding-top:21px;font-size:8px}.ledger-summary .mono{font-size:6px}.event-row summary{gap:12px}.event-title{font-size:10px}.event-title small,.event-time{font-size:7px}.event-seq{min-width:22px;font-size:8px}.event-row pre,.raw-proof pre{padding:12px;font-size:8px}.replay-controls{margin-top:21px;display:block}.replay-controls p{margin-top:12px;font-size:8px}.proof-intro{margin-top:21px;font-size:10px}.proof-sequence span{padding:14px 0;font-size:8px}.proof-limit{margin-top:25px;padding:17px}.proof-limit h3{font-size:19px}.proof-limit p{font-size:9px}.proof-result{gap:12px;padding:16px 12px}.proof-result h3{font-size:11px}.proof-result p{font-size:8px}.proof-checks article{gap:12px;padding:19px 0}.proof-checks h3{font-size:11px}.proof-checks p{font-size:9px}.proof-download{display:block}.proof-download .button{width:100%;font-size:10px}.proof-download>span{max-width:none;margin-top:13px;font-size:8px;display:block}.protocol-main{padding:41px 24px 47px}.protocol-main>h1{letter-spacing:-2px;margin-top:23px;font-size:49px}.protocol-intro{margin-top:21px;font-size:12px;line-height:1.9}.protocol-main section{margin-top:35px;padding-top:23px}.protocol-main section>h2{font-size:28px}.invariant-list li{gap:15px;padding:13px 0;font-size:11px}.invariant-list li:before{font-size:8px}.protocol-main section>p{font-size:11px}.protocol-callout{padding:19px}.protocol-callout h3{font-size:20px}.protocol-callout p{font-size:10px}.value-table>div{padding:17px 0;display:block}.value-table h3{font-size:11px}.value-table p{margin-top:8px;font-size:10px}.table-row{grid-template-columns:.85fr .95fr 1.6fr;gap:8px;padding:12px 10px;font-size:8px}.table-head{font-size:7px}.limits-list li{font-size:10px}.artifact-links{gap:9px;display:grid}.artifact-links a{font-size:10px}}@media (max-width:375px){.hero h1{font-size:53px}.hero-actions{gap:12px}.hero-actions .button{padding:14px 13px;font-size:9px}.hero-actions .text-button{font-size:9px}.site-header{padding:0 20px}.hero{padding-left:20px;padding-right:20px}.workbench-title h1{font-size:30px}.local-badge{display:none}.view-buttons{gap:9px}.view-buttons button{font-size:8px}.workbench-toolbar>.button{padding:8px;font-size:8px}.form-grid{display:block}.workspace-header .wordmark{font-size:11px}.principle h3{font-size:18px}.ledger-illustration{padding-left:19px;padding-right:19px}.diagram-line{left:40px}.node-kind{font-size:8px}.diagram-node p{font-size:20px}.evidence-node p{font-size:15px}}@media (prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;transition:none!important}}.artifact-links details{border-bottom:1px solid var(--line);min-width:0;padding:14px 0}.artifact-links summary{cursor:pointer;font-size:15px;font-weight:600}.artifact-links pre{white-space:pre-wrap;overflow-wrap:anywhere;background:#eeeee3;max-height:520px;padding:18px;font:12px/1.8 monospace;overflow:auto}.error-message .button{margin:12px 16px 8px 0}@media (max-width:640px){.hero-description,.protocol-main section>p,.limits-list li,.proof-intro,.proof-checks h3,.artifact-links summary{font-size:14px}.proof-checks p,.proof-limit p,.error-message p,.error-message span{font-size:13px}.artifact-links pre{font-size:11px}}