.worlds-fair-diagram[data-astro-cid-w4i6g6jc]{--wf-paper: #eff1f5;--wf-panel: rgb(255 255 255 / .78);--wf-ink: #1e1e2e;--wf-muted: #5c5f77;--wf-rule: #8c8fa1;--wf-blue: #1e66f5;--wf-teal: #179299;--wf-green: #40a02b;--wf-peach: #fe640b;--wf-mauve: #8839ef;width:min(94vw,58rem);margin:2rem 50% 2.35rem;transform:translate(-50%)}.worlds-fair-diagram__sheet[data-astro-cid-w4i6g6jc]{overflow:hidden;border:2px solid var(--wf-ink);border-radius:.875rem;background:linear-gradient(90deg,rgb(30 102 245 / .08) 1px,transparent 1px),linear-gradient(180deg,rgb(30 102 245 / .08) 1px,transparent 1px),var(--wf-paper);background-size:24px 24px;box-shadow:0 5px #11111b5c;color:var(--wf-ink)}.worlds-fair-diagram__header[data-astro-cid-w4i6g6jc]{border-bottom:2px solid var(--wf-ink);background:#e6e9eff0;padding:.95rem 1.1rem}.worlds-fair-diagram[data-astro-cid-w4i6g6jc] h3[data-astro-cid-w4i6g6jc],.worlds-fair-diagram[data-astro-cid-w4i6g6jc] h4[data-astro-cid-w4i6g6jc],.node-title[data-astro-cid-w4i6g6jc],.factory-diagram__label[data-astro-cid-w4i6g6jc],.factory-diagram__loop-note[data-astro-cid-w4i6g6jc],.verification-diagram__ship[data-astro-cid-w4i6g6jc],.verification-handoff[data-astro-cid-w4i6g6jc],.loop-return[data-astro-cid-w4i6g6jc],.control-diagram__feedback[data-astro-cid-w4i6g6jc],.memory-diagram__root[data-astro-cid-w4i6g6jc]{font-family:ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif}.worlds-fair-diagram[data-astro-cid-w4i6g6jc] h3[data-astro-cid-w4i6g6jc]{margin:0;color:var(--wf-ink);font-size:clamp(1.2rem,2.4vw,1.65rem);line-height:1.1;letter-spacing:-.02em;text-wrap:balance}.worlds-fair-diagram[data-astro-cid-w4i6g6jc] h4[data-astro-cid-w4i6g6jc]{margin:0 0 .65rem;color:var(--wf-ink);font-size:.95rem;line-height:1.2}.node-title[data-astro-cid-w4i6g6jc]{display:block;color:var(--wf-ink);font-size:.9rem;font-weight:820;line-height:1.22;text-wrap:balance}.node-note[data-astro-cid-w4i6g6jc]{display:block;margin-top:.25rem;color:var(--wf-muted);font-size:.75rem;font-weight:600;line-height:1.35}.worlds-fair-diagram[data-astro-cid-w4i6g6jc] figcaption[data-astro-cid-w4i6g6jc]{margin:.85rem auto 0;max-width:44rem;color:var(--ctp-subtext1, #bac2de);font-size:.92rem;line-height:1.6;text-align:center;text-wrap:pretty}.factory-diagram[data-astro-cid-w4i6g6jc],.control-diagram[data-astro-cid-w4i6g6jc],.verification-diagram[data-astro-cid-w4i6g6jc],.memory-diagram[data-astro-cid-w4i6g6jc]{padding:clamp(1rem,2.5vw,1.45rem)}.loop-node[data-astro-cid-w4i6g6jc],.verification-loop[data-astro-cid-w4i6g6jc],.memory-diagram[data-astro-cid-w4i6g6jc] section[data-astro-cid-w4i6g6jc],.memory-diagram__root[data-astro-cid-w4i6g6jc],.verification-diagram__ship[data-astro-cid-w4i6g6jc],.control-diagram__feedback[data-astro-cid-w4i6g6jc]{border:1.5px solid var(--wf-ink);border-radius:.75rem;background:var(--wf-panel)}.loop-node[data-astro-cid-w4i6g6jc],.verification-loop[data-astro-cid-w4i6g6jc],.memory-diagram[data-astro-cid-w4i6g6jc] section[data-astro-cid-w4i6g6jc],.memory-diagram__root[data-astro-cid-w4i6g6jc],.verification-diagram__ship[data-astro-cid-w4i6g6jc]{padding:.85rem}.verification-flow[data-astro-cid-w4i6g6jc],.memory-diagram[data-astro-cid-w4i6g6jc] ul[data-astro-cid-w4i6g6jc]{margin:0;padding:0;list-style:none}.factory-diagram__summary[data-astro-cid-w4i6g6jc]{display:flex;flex-wrap:wrap;gap:.45rem .75rem;align-items:center;justify-content:space-between;margin-bottom:.85rem;border:1.5px solid var(--wf-blue);border-radius:.75rem;background:#1e66f51a;padding:.7rem .85rem}.factory-diagram__label[data-astro-cid-w4i6g6jc]{color:var(--wf-ink);font-size:1rem;font-weight:850;line-height:1.1}.factory-diagram__loop-note[data-astro-cid-w4i6g6jc]{color:var(--wf-blue);font-size:.82rem;font-weight:800;line-height:1.2}.factory-diagram__sequence[data-astro-cid-w4i6g6jc]{display:grid;grid-template-columns:repeat(5,minmax(0,1fr));gap:1rem 1.25rem;margin:0;padding:0;list-style:none}.factory-node[data-astro-cid-w4i6g6jc]{position:relative;min-height:5.6rem;margin:0;border:1.5px solid var(--wf-ink);border-radius:.75rem;background:var(--wf-panel);padding:.78rem .82rem}.factory-node[data-astro-cid-w4i6g6jc]:nth-child(6){grid-column:5}.factory-node[data-astro-cid-w4i6g6jc]:nth-child(7){grid-column:4}.factory-node[data-astro-cid-w4i6g6jc]:nth-child(8){grid-column:3}.factory-node[data-astro-cid-w4i6g6jc]:nth-child(9){grid-column:2}.factory-node[data-astro-cid-w4i6g6jc]:nth-child(10){grid-column:1}.factory-node[data-astro-cid-w4i6g6jc]:not(:nth-child(5n)):after{content:"→";position:absolute;top:50%;right:-1rem;color:var(--wf-blue);font-size:1.15rem;font-weight:950;line-height:1;transform:translateY(-50%)}.factory-node[data-astro-cid-w4i6g6jc]:nth-child(5):after{content:"↓";position:absolute;right:50%;bottom:-1.2rem;color:var(--wf-blue);font-size:1.05rem;font-weight:950;line-height:1;transform:translate(50%)}.factory-node[data-astro-cid-w4i6g6jc]:nth-child(n+6):not(:last-child):after{content:"←";right:auto;left:-1rem}.factory-node[data-astro-cid-w4i6g6jc]:last-child:after{content:"↺";position:absolute;top:-1.15rem;left:.25rem;color:var(--wf-blue);font-size:1.1rem;font-weight:950;line-height:1}.factory-node--signal[data-astro-cid-w4i6g6jc]{border-color:var(--wf-blue)}.factory-node--review[data-astro-cid-w4i6g6jc]{border-style:dashed;border-color:var(--wf-blue);background:#1e66f512}.factory-node--ship[data-astro-cid-w4i6g6jc]{border-color:var(--wf-green)}.factory-node--monitor[data-astro-cid-w4i6g6jc]{border-color:var(--wf-peach);background:#fe640b1a}.control-diagram[data-astro-cid-w4i6g6jc]{display:grid;gap:.9rem}.control-diagram__grid[data-astro-cid-w4i6g6jc]{display:grid;grid-template-columns:repeat(5,minmax(0,1fr));gap:1.05rem 1.25rem;align-items:stretch}.loop-node[data-astro-cid-w4i6g6jc]{position:relative}.loop-node--disturbance[data-astro-cid-w4i6g6jc]{grid-column:5;border-style:dashed;border-color:var(--wf-peach);background:#fe640b1a}.loop-node--goal[data-astro-cid-w4i6g6jc],.loop-node--difference[data-astro-cid-w4i6g6jc],.loop-node--controller[data-astro-cid-w4i6g6jc],.loop-node--actuator[data-astro-cid-w4i6g6jc],.loop-node--system[data-astro-cid-w4i6g6jc]{grid-row:2}.loop-node--goal[data-astro-cid-w4i6g6jc]{grid-column:1;border-color:var(--wf-blue)}.loop-node--difference[data-astro-cid-w4i6g6jc]{grid-column:2;border-color:var(--wf-peach);background:#fe640b1c}.loop-node--controller[data-astro-cid-w4i6g6jc]{grid-column:3;border-color:var(--wf-mauve)}.loop-node--actuator[data-astro-cid-w4i6g6jc]{grid-column:4;border-color:var(--wf-teal)}.loop-node--system[data-astro-cid-w4i6g6jc]{grid-column:5;border-color:var(--wf-blue)}.loop-node--sensor[data-astro-cid-w4i6g6jc]{grid-column:2 / 5;grid-row:3;border-color:var(--wf-green);background:#40a02b1a}.loop-node--goal[data-astro-cid-w4i6g6jc]:after,.loop-node--difference[data-astro-cid-w4i6g6jc]:after,.loop-node--controller[data-astro-cid-w4i6g6jc]:after,.loop-node--actuator[data-astro-cid-w4i6g6jc]:after{content:"→";position:absolute;top:50%;right:-1rem;color:var(--wf-blue);font-size:1.15rem;font-weight:950;line-height:1;transform:translateY(-50%)}.loop-node--disturbance[data-astro-cid-w4i6g6jc]:after{content:"↓";position:absolute;right:50%;bottom:-1.1rem;color:var(--wf-peach);font-size:1.1rem;font-weight:950;line-height:1;transform:translate(50%)}.loop-node--system[data-astro-cid-w4i6g6jc]:after{content:"new state ↓";position:absolute;right:.35rem;bottom:-1.25rem;color:var(--wf-green);font-size:.75rem;font-weight:850;line-height:1}.loop-node--sensor[data-astro-cid-w4i6g6jc]:after{content:"violations ↺";position:absolute;top:-1rem;left:.35rem;color:var(--wf-blue);font-size:.75rem;font-weight:850;line-height:1}.control-diagram__feedback[data-astro-cid-w4i6g6jc]{display:flex;flex-wrap:wrap;gap:.25rem .45rem;align-items:baseline;border-color:var(--wf-blue);background:#1e66f51a;color:var(--wf-muted);padding:.75rem .85rem;font-size:.84rem;font-weight:650;line-height:1.45}.control-diagram__feedback[data-astro-cid-w4i6g6jc] span[data-astro-cid-w4i6g6jc],.control-diagram__feedback[data-astro-cid-w4i6g6jc] strong[data-astro-cid-w4i6g6jc],.control-diagram__feedback[data-astro-cid-w4i6g6jc] em[data-astro-cid-w4i6g6jc]{color:var(--wf-ink)}.control-diagram__feedback[data-astro-cid-w4i6g6jc] span[data-astro-cid-w4i6g6jc]{color:var(--wf-blue);font-size:1rem;font-weight:950}.verification-diagram[data-astro-cid-w4i6g6jc]{display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);gap:1rem;align-items:center}.verification-loop--agentic[data-astro-cid-w4i6g6jc]{border-color:var(--wf-blue)}.verification-loop--ci[data-astro-cid-w4i6g6jc]{border-color:var(--wf-green)}.verification-flow[data-astro-cid-w4i6g6jc]{display:grid;gap:1.1rem;margin:0;padding:0;list-style:none}.verification-step[data-astro-cid-w4i6g6jc]{position:relative;min-height:3.75rem;margin:0;border:1px solid var(--wf-rule);border-radius:.62rem;background:#ffffffad;padding:.58rem .68rem}.verification-step[data-astro-cid-w4i6g6jc]:not(:last-child):after{content:"↓";position:absolute;top:calc(100% + .12rem);right:50%;display:grid;width:1rem;height:1rem;place-items:center;border-radius:999px;background:color-mix(in srgb,var(--wf-paper) 84%,white);color:var(--wf-blue);font-size:.78rem;font-weight:950;line-height:1;transform:translate(50%)}.verification-step--gate[data-astro-cid-w4i6g6jc]{border-color:var(--wf-blue);background:#1e66f512}.verification-step--fix[data-astro-cid-w4i6g6jc]{border-color:var(--wf-peach);background:#fe640b1a}.loop-return[data-astro-cid-w4i6g6jc]{margin:.8rem 0 0;border-radius:.55rem;background:#1e66f514;color:var(--wf-muted);padding:.5rem .6rem;font-size:.78rem;font-weight:750;line-height:1.4}.verification-loop--ci[data-astro-cid-w4i6g6jc] .loop-return[data-astro-cid-w4i6g6jc]{background:#40a02b1a}.verification-handoff[data-astro-cid-w4i6g6jc]{display:inline-flex;align-items:center;justify-content:center;gap:.45rem;min-width:7.5rem;color:var(--wf-blue);font-size:.72rem;font-weight:850;line-height:1.15;text-align:center;text-transform:uppercase}.verification-handoff[data-astro-cid-w4i6g6jc]:before{content:"→";color:var(--wf-blue);font-size:1.35rem;line-height:1}.verification-handoff[data-astro-cid-w4i6g6jc]:after{content:none}.verification-diagram__ship[data-astro-cid-w4i6g6jc]{grid-column:1 / -1;justify-self:center;margin:0;border-color:var(--wf-peach);background:#fe640b1a;color:var(--wf-ink);font-size:.95rem;font-weight:850;text-align:center}.memory-diagram[data-astro-cid-w4i6g6jc]{display:grid;justify-items:center}.memory-diagram__root[data-astro-cid-w4i6g6jc]{min-width:min(20rem,100%);border-color:var(--wf-blue);background:#1e66f51a;color:var(--wf-ink);font-weight:850;text-align:center}.memory-diagram__connector[data-astro-cid-w4i6g6jc]{--connector-line: 1.5px;width:calc(((100% - 1.7rem) * 2 / 3) + 1.7rem);height:2.15rem;background:linear-gradient(var(--wf-rule),var(--wf-rule)) center 1.05rem / 100% var(--connector-line) no-repeat,linear-gradient(var(--wf-rule),var(--wf-rule)) left 1.05rem / var(--connector-line) 1.1rem no-repeat,linear-gradient(var(--wf-rule),var(--wf-rule)) center 1.05rem / var(--connector-line) 1.1rem no-repeat,linear-gradient(var(--wf-rule),var(--wf-rule)) right 1.05rem / var(--connector-line) 1.1rem no-repeat;position:relative}.memory-diagram__connector[data-astro-cid-w4i6g6jc]:before{content:"";position:absolute;top:0;left:50%;width:var(--connector-line);height:1.05rem;background:var(--wf-rule);transform:translate(-50%)}.memory-diagram__branches[data-astro-cid-w4i6g6jc]{display:grid;width:100%;grid-template-columns:repeat(3,minmax(0,1fr));gap:.85rem}.memory-diagram[data-astro-cid-w4i6g6jc] section[data-astro-cid-w4i6g6jc]:nth-child(1){border-color:var(--wf-teal)}.memory-diagram[data-astro-cid-w4i6g6jc] section[data-astro-cid-w4i6g6jc]:nth-child(2){border-color:var(--wf-mauve)}.memory-diagram[data-astro-cid-w4i6g6jc] section[data-astro-cid-w4i6g6jc]:nth-child(3){border-color:var(--wf-green)}.memory-diagram[data-astro-cid-w4i6g6jc] li[data-astro-cid-w4i6g6jc]{position:relative;margin:0;padding-left:1rem;color:var(--wf-muted);font-size:.82rem;font-weight:650;line-height:1.42}.memory-diagram[data-astro-cid-w4i6g6jc] li[data-astro-cid-w4i6g6jc]+li[data-astro-cid-w4i6g6jc]{margin-top:.35rem}.memory-diagram[data-astro-cid-w4i6g6jc] li[data-astro-cid-w4i6g6jc]:before{content:"";position:absolute;top:.64em;left:0;width:.38rem;height:.38rem;border-radius:999px;background:currentColor;transform:translateY(-50%)}[data-theme=latte] .worlds-fair-diagram[data-astro-cid-w4i6g6jc] figcaption[data-astro-cid-w4i6g6jc]{color:var(--ctp-subtext1, #5c5f77)}@media(max-width:860px){.factory-diagram__sequence[data-astro-cid-w4i6g6jc]{grid-template-columns:1fr;gap:.7rem}.factory-node[data-astro-cid-w4i6g6jc],.factory-node[data-astro-cid-w4i6g6jc]:nth-child(n){grid-column:auto}.factory-node[data-astro-cid-w4i6g6jc]:not(:last-child):after,.factory-node[data-astro-cid-w4i6g6jc]:nth-child(5):after,.factory-node[data-astro-cid-w4i6g6jc]:nth-child(n+6):not(:last-child):after{content:"↓";top:calc(100% - .04rem);right:1rem;bottom:auto;left:auto;transform:none}.factory-node[data-astro-cid-w4i6g6jc]:last-child:after{top:-1.1rem;right:1rem;left:auto}.control-diagram__grid[data-astro-cid-w4i6g6jc],.verification-diagram[data-astro-cid-w4i6g6jc],.memory-diagram__branches[data-astro-cid-w4i6g6jc]{grid-template-columns:1fr}.loop-node[data-astro-cid-w4i6g6jc],.loop-node--disturbance[data-astro-cid-w4i6g6jc],.loop-node--goal[data-astro-cid-w4i6g6jc],.loop-node--difference[data-astro-cid-w4i6g6jc],.loop-node--controller[data-astro-cid-w4i6g6jc],.loop-node--actuator[data-astro-cid-w4i6g6jc],.loop-node--system[data-astro-cid-w4i6g6jc],.loop-node--sensor[data-astro-cid-w4i6g6jc]{grid-column:auto;grid-row:auto}.loop-node--goal[data-astro-cid-w4i6g6jc]{order:1}.loop-node--difference[data-astro-cid-w4i6g6jc]{order:2}.loop-node--controller[data-astro-cid-w4i6g6jc]{order:3}.loop-node--actuator[data-astro-cid-w4i6g6jc]{order:4}.loop-node--disturbance[data-astro-cid-w4i6g6jc]{order:5}.loop-node--system[data-astro-cid-w4i6g6jc]{order:6}.loop-node--sensor[data-astro-cid-w4i6g6jc]{order:7}.loop-node--goal[data-astro-cid-w4i6g6jc]:after,.loop-node--difference[data-astro-cid-w4i6g6jc]:after,.loop-node--controller[data-astro-cid-w4i6g6jc]:after,.loop-node--actuator[data-astro-cid-w4i6g6jc]:after,.loop-node--disturbance[data-astro-cid-w4i6g6jc]:after,.loop-node--system[data-astro-cid-w4i6g6jc]:after,.loop-node--sensor[data-astro-cid-w4i6g6jc]:after{content:"↓";top:calc(100% - .04rem);right:1rem;bottom:auto;left:auto;color:var(--wf-blue);font-size:1rem;transform:none}.loop-node--sensor[data-astro-cid-w4i6g6jc]:after{content:"violations ↺";top:-1rem;right:auto;left:.35rem;color:var(--wf-blue);font-size:.75rem}.control-diagram__feedback[data-astro-cid-w4i6g6jc]{display:grid;grid-template-columns:1fr}.verification-handoff[data-astro-cid-w4i6g6jc]:before{content:"↓"}.verification-handoff[data-astro-cid-w4i6g6jc]:after{content:none}.memory-diagram__connector[data-astro-cid-w4i6g6jc]{width:0;height:1rem;background:none}.memory-diagram__connector[data-astro-cid-w4i6g6jc]:before{left:50%;height:1rem;transform:translate(-50%)}}@media(max-width:640px){.worlds-fair-diagram[data-astro-cid-w4i6g6jc]{width:calc(100vw - 1rem);margin-top:1.5rem;margin-bottom:2rem}.worlds-fair-diagram[data-astro-cid-w4i6g6jc] figcaption[data-astro-cid-w4i6g6jc]{padding:0 .65rem;font-size:.86rem}}.worlds-fair-formula[data-astro-cid-ljmasegf]{width:fit-content;max-width:min(100%,46rem);margin:1rem auto 1.15rem;padding:.85rem 1rem;overflow-x:auto;border:1px solid color-mix(in srgb,var(--ctp-surface1, #45475a) 78%,transparent);border-radius:.75rem;background:color-mix(in srgb,var(--ctp-surface0, #313244) 54%,transparent);color:var(--ctp-text, #cdd6f4)}.worlds-fair-formula[data-astro-cid-ljmasegf] code[data-astro-cid-ljmasegf]{display:block;min-width:max-content;padding:0!important;border-radius:0;background:transparent!important;color:inherit!important;font-size:clamp(.95rem,2.2vw,1.08rem);line-height:1.45;letter-spacing:.015em;white-space:nowrap}[data-theme=latte] .worlds-fair-formula[data-astro-cid-ljmasegf]{border-color:color-mix(in srgb,var(--ctp-surface1, #bcc0cc) 82%,transparent);background:color-mix(in srgb,var(--ctp-mantle, #e6e9ef) 76%,white);color:var(--ctp-text, #4c4f69)}