:root{--ink:#203934;--muted:#566963;--paper:#f5f2e9;--card:#fffef8;--line:#d2d9cc;--green:#175b49;--mint:#dfead8;--clay:#a24c30;--sand:#f2e3c5;--red:#922f31;font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;color:var(--ink);background:var(--paper);font-synthesis:none}*{box-sizing:border-box}body{margin:0;font-size:16px;line-height:1.6}a{color:var(--green);text-underline-offset:4px}button,input,select,textarea{font:inherit}button,.button,.file-button{display:inline-flex;align-items:center;justify-content:center;gap:12px;background:var(--card);color:var(--ink);border:1px solid #a8b6a3;border-radius:6px;min-height:44px;padding:9px 15px;cursor:pointer;font-weight:650;text-decoration:none;line-height:1.4}button:hover,.button:hover,.file-button:hover{background:var(--mint)}button:disabled{opacity:.55;cursor:wait}.primary{background:var(--green)!important;color:#fff!important;border-color:var(--green)!important}a:focus-visible,button:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible,textarea:focus-visible,[tabindex]:focus-visible{outline:3px solid var(--clay);outline-offset:4px}[hidden]{display:none!important}header,footer{max-width:1320px;margin:auto;display:flex;align-items:center;justify-content:space-between;gap:24px;padding:25px 40px;font-size:14px}header{border-bottom:1px solid var(--line)}header nav{display:flex;gap:24px}.brand{font-weight:850;letter-spacing:.13em;text-decoration:none}.brand span{font-size:11px;color:var(--muted);font-weight:600;letter-spacing:.08em}.skip{position:absolute;top:-100px;left:16px;background:white;padding:10px;z-index:20}.skip:focus{top:8px}main{max-width:1320px;margin:auto}.hero{padding:70px 40px 55px;display:grid;grid-template-columns:1.35fr 1fr;gap:70px;align-items:center}.eyebrow{font-size:11px;letter-spacing:.15em;font-weight:750;margin:0 0 18px;color:var(--muted)}h1{font-family:Georgia,serif;font-weight:400;font-size:clamp(40px,5.1vw,70px);line-height:1.05;letter-spacing:-.035em;margin:0 0 23px}h1 em{font-weight:400;color:var(--green)}h2{font-family:Georgia,serif;font-weight:400;line-height:1.18;font-size:32px;margin:0 0 16px}h3{font-size:19px;line-height:1.3;margin:0 0 16px}.lede{font-size:19px;max-width:630px;line-height:1.65;margin:0 0 26px}.hero-note{background:var(--mint);border-top:3px solid var(--green);padding:30px}.hero-note h2{font-size:29px}.small{font-size:13px;color:var(--muted)}.handoff{display:flex;align-items:center;gap:14px;margin:24px 0}.handoff div{flex:1;border:1px solid #9aaa94;padding:12px;font-size:14px}.handoff strong{font-size:12px;font-weight:500}.argument{display:grid;grid-template-columns:repeat(3,1fr);gap:38px;margin:0 40px;padding:25px 0 35px;border-top:1px solid var(--line)}.argument b{font-size:13px;color:var(--green)}.argument p{font-size:15px;line-height:1.5;margin:8px 0;color:var(--muted)}.workbench{margin:15px 24px 45px;background:var(--card);padding:32px;border:1px solid var(--line);border-radius:12px;scroll-margin-top:15px}.section-head{display:flex;justify-content:space-between;align-items:start;gap:16px}.section-head .eyebrow{margin-bottom:8px}.badge{font-size:12px;border:1px solid var(--line);padding:6px 10px;white-space:nowrap;border-radius:20px}.setup{display:flex;gap:14px;align-items:end;margin:20px 0}.setup label:first-child{flex:1.4}.setup label{flex:1}label{display:block;font-size:13px;font-weight:650}select,input,textarea{display:block;width:100%;padding:10px;border:1px solid #abb7a7;border-radius:5px;background:#fff;color:var(--ink);margin-top:6px;font-size:15px;max-width:100%;min-width:0}select{min-height:44px}.description{font-size:18px;margin-bottom:8px}.assumptions{color:var(--muted);font-size:13px;padding-left:20px;margin:8px 0 24px}.workspace{display:grid;grid-template-columns:1fr 1fr;gap:22px}.model,.finding{padding:24px;border:1px solid var(--line);border-radius:8px;min-width:0}.finding{background:#f0f4e9}.fragment{border-left:3px solid var(--green);padding:10px 13px;margin:12px 0;background:#f5f5ee}.fragment h4{margin:0 0 5px;font-size:15px}.fragment p{font-size:13px;margin:3px 0;overflow-wrap:anywhere}.connection-list{font-size:13px;margin:12px 0;overflow-wrap:anywhere}.connection{padding:6px 0;border-top:1px dashed var(--line)}.resources{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:16px 0}.resources input{max-width:130px}.resources small{display:block;font-weight:400}.status{font-size:14px;margin-bottom:15px}.verdict-title{font:28px/1.2 Georgia,serif;margin:10px 0}.verdict-title.bad{color:var(--red)}.metrics{display:flex;gap:25px;flex-wrap:wrap;padding:16px 0}.metric strong{display:block;font:32px/1 Georgia,serif}.metric span{display:block;font-size:12px;margin-top:6px}.counterexample{background:var(--sand);border-left:3px solid var(--clay);padding:14px;margin-top:10px;font-size:14px}.counterexample h4{font-size:16px;margin:0 0 8px}.counterexample p{margin:6px 0}.counterexample pre{font-size:12px;overflow:auto;max-height:190px;white-space:pre-wrap;overflow-wrap:anywhere}.tabs{display:flex;gap:4px;margin:30px 0 24px;border-bottom:1px solid var(--line)}.tabs button{border:0;border-radius:0;background:none;padding:13px 16px;font-size:14px;border-bottom:3px solid transparent}.tabs button[aria-selected=true]{border-bottom-color:var(--green);color:var(--green)}[role=tabpanel]{padding-bottom:18px}.tokens,.step-list{display:flex;flex-wrap:wrap;gap:9px;margin:18px 0}.token{border:1px solid var(--line);padding:5px 12px;border-radius:24px;font-size:13px}.token b{color:var(--green);margin-right:6px}.step-list button{font-size:13px;background:var(--mint)}.words{display:flex;flex-direction:column;gap:6px;max-height:230px;overflow:auto;border:1px solid var(--line);padding:14px;margin:15px 0 24px;font-size:14px}.words div{border-bottom:1px solid #edf0e6;padding:5px}.schedule{overflow:auto;padding:16px 0}.schedule svg{display:block;max-width:none}details{border-top:1px solid var(--line);padding:16px 0}summary{cursor:pointer;font-weight:650;font-size:14px}.editor{margin-top:26px}.editor p,.save-panel p{font-size:14px}textarea{font:13px/1.5 ui-monospace,monospace;resize:vertical;tab-size:2}.button-row{display:flex;gap:9px;flex-wrap:wrap;margin:15px 0}.save-panel{border-top:1px solid var(--line);padding-top:24px;margin-top:20px}.file-button{position:relative;overflow:hidden;font-size:14px}.file-button input{position:absolute;opacity:0;width:100%;height:100%;inset:0;cursor:pointer;margin:0}.file-button:focus-within{outline:3px solid var(--clay);outline-offset:3px}.afterword{max-width:850px;padding:15px 40px 60px}.afterword h2{font-size:38px}footer{border-top:1px solid var(--line);font-size:12px;color:var(--muted);flex-wrap:wrap}code,pre{font-family:ui-monospace,monospace;overflow-wrap:anywhere}.error{color:var(--red)}.pending{color:var(--clay)}
@media(max-width:850px){.hero{grid-template-columns:1fr;gap:25px;padding:40px 24px}.hero-note{padding:24px}.argument{gap:20px;margin:0 24px}.workbench{margin:10px 12px 30px;padding:22px}.workspace{grid-template-columns:1fr}.setup{flex-wrap:wrap}.setup label{flex-basis:40%;min-width:180px}.setup button{flex:1}.badge{display:none}.section-head h2{font-size:29px}header,footer{padding:20px 24px}.brand span{display:block}header nav{gap:14px;font-size:12px}.afterword{padding:15px 24px 40px}}
@media(max-width:480px){.hero{padding-top:32px}h1{font-size:45px}.argument{grid-template-columns:1fr;gap:8px}.argument div{display:grid;grid-template-columns:75px 1fr;gap:15px}.argument b{margin-top:8px}.workbench{padding:16px}.model,.finding{padding:17px}.setup label{flex-basis:100%}.tabs{gap:0;overflow-x:auto}.tabs button{font-size:12px;padding:10px 8px;min-width:0;flex:1}.afterword h2{font-size:32px}header{align-items:start}.button-row button{font-size:13px}.badge{display:none}}

/* Explanatory views share the checked model and preserve the existing workbench. */
.hero-net{display:block;width:100%;height:auto;margin:18px 0}.orientation{margin:0 40px 35px;padding:32px 0 8px;border-top:1px solid var(--line);scroll-margin-top:18px}.orientation h2{max-width:700px}.direction-grid,.foundation-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:25px}.direction-grid h3,.foundation-grid h3{font-size:17px;margin:0 0 9px}.direction-grid p,.foundation-grid p{font-size:14px;margin:8px 0}.direction-grid{margin:24px 0}.contribution{padding:20px 24px;background:var(--mint);border-left:3px solid var(--green);font-size:16px}.foundation-details summary{font-size:16px}.foundation-grid{margin:25px 0}.layer-number{display:block;color:var(--clay);font:30px Georgia,serif;margin-bottom:12px}.notation{font:21px Georgia,serif!important;color:var(--green)}.scope-note{font-size:14px;color:var(--muted);max-width:1020px}.petri-view{background:#f8f8f0;border:1px solid var(--line);border-radius:8px;padding:20px;margin:22px 0}.petri-view .section-head a{font-size:12px}.net-diagram{overflow:auto;max-width:100%;background:var(--card);border:1px solid var(--line)}.net-diagram svg{display:block;width:100%;min-width:650px;height:auto}.diagram-label{fill:var(--ink);font-size:13px}.diagram-id{fill:var(--muted);font-size:11px}.diagram-event-light{fill:white;font-size:14px}.net-key{display:flex;flex-wrap:wrap;gap:8px 22px;font-size:12px}.monoidal-view{border-top:1px solid var(--line);padding:28px 0 5px;margin-top:25px}.monoidal-view p{font-size:14px}.arrow-signatures{display:flex;gap:8px 18px;flex-wrap:wrap;margin:20px 0 8px}.arrow-signatures p{margin:0}.arrow-signatures p:not(.small){font-family:ui-monospace,monospace;font-size:14px}.arrow-flow{display:flex;align-items:center;justify-content:space-between;gap:12px;background:var(--mint);padding:22px;flex-wrap:wrap;font:19px Georgia,serif;overflow-wrap:anywhere}.arrow-flow>*{min-width:0;max-width:100%}.arrow-object{flex:1;min-width:100px}.arrow-morphism{border:1px solid var(--green);border-radius:4px;padding:12px;background:var(--card);font-weight:400}.place-glossary{display:grid;grid-template-columns:35px minmax(0,1fr);gap:6px 10px;font-size:12px;color:var(--muted);margin:15px 0}.place-glossary dt{font-weight:700}.place-glossary dd{margin:0;overflow-wrap:anywhere}#panel-steps{scroll-margin-top:18px}header nav{flex-wrap:wrap;justify-content:flex-end}
@media(max-width:850px){.orientation{margin:0 24px 25px}.direction-grid,.foundation-grid{grid-template-columns:1fr;gap:18px}.direction-grid{gap:8px}.foundation-grid article{border-bottom:1px solid var(--line);padding-bottom:16px}.contribution{padding:16px}.petri-view{padding:14px}.petri-view .section-head{display:block}.net-key{display:grid;gap:5px}.arrow-flow{padding:14px;font-size:17px}header nav{max-width:50%;gap:8px 16px}}

.boundary-joining{margin:18px 0}.boundary-row{display:flex;align-items:center;justify-content:center;flex-wrap:wrap;gap:10px;padding:15px;background:var(--mint);font-size:12px;overflow-wrap:anywhere}.boundary-port{padding:9px;border:1px dashed var(--green);background:var(--card)}.boundary-row>*{min-width:0;max-width:100%}.boundary-joining p{margin:7px 0 18px}