.building-yaps-deck{color:rgb(var(--text-1));font-size:15px;line-height:1.65}.building-yaps-assembly-map{grid-template-columns:minmax(0,1.22fr) 24px minmax(0,1fr) 24px minmax(0,.76fr);align-items:stretch;display:grid}.building-yaps-assembly-inputs{flex-direction:column;gap:7px;min-width:0;display:flex}.building-yaps-assembly-inputs section,.building-yaps-assembly-local,.building-yaps-assembly-surfaces>div>strong{border:1px solid rgb(var(--home-border) / .78);background:rgb(var(--surface-1))}.building-yaps-assembly-inputs section{flex-direction:column;justify-content:center;min-height:54px;padding:9px 10px;display:flex}.building-yaps-assembly-inputs span,.building-yaps-assembly-local>span,.building-yaps-assembly-surfaces>span{color:rgb(var(--text-4));letter-spacing:.01em;font-size:8px;font-weight:500;line-height:1.25}.building-yaps-assembly-inputs strong{color:rgb(var(--text-2));margin-top:4px;font-size:9px;font-weight:500;line-height:1.45}.building-yaps-flow-arrow{color:rgb(var(--text-4));place-items:center;font-size:13px;display:grid}.building-yaps-assembly-local{flex-direction:column;justify-content:center;min-width:0;padding:12px;display:flex}.building-yaps-assembly-local>strong{color:rgb(var(--text-1));margin-top:4px;font-size:11px;font-weight:600;line-height:1.3}.building-yaps-assembly-local ul{border-top:1px dashed rgb(var(--home-border) / .62);margin:10px 0 0;padding:9px 0 0;list-style:none}.post-copy .building-yaps-assembly-local li{color:rgb(var(--text-3));padding-left:9px;font-size:9px;line-height:1.45;position:relative}.post-copy .building-yaps-assembly-local li:before{content:"·";color:rgb(var(--text-4));position:absolute;left:0}.building-yaps-assembly-surfaces{flex-direction:column;min-width:0;display:flex}.building-yaps-assembly-surfaces>span{text-align:center;margin-bottom:7px}.building-yaps-assembly-surfaces>div{flex:1;grid-template-columns:1fr;gap:6px;min-height:0;display:grid}.building-yaps-assembly-surfaces>div>strong{min-width:0;color:rgb(var(--text-2));text-align:center;place-items:center;padding:7px 5px;font-size:9px;font-weight:600;line-height:1.2;display:grid}.building-yaps-cases .building-yaps-case-head,.building-yaps-cases ol>li{grid-template-columns:.8fr 1.45fr 1.15fr 1fr;gap:12px;display:grid}.building-yaps-cases .building-yaps-case-head{color:rgb(var(--text-4));padding:0 11px 7px;font-size:8px;line-height:1.2}.building-yaps-cases>ol{margin:0;padding:0;list-style:none}.building-yaps-cases ol>li{border:1px solid rgb(var(--home-border) / .78);background:rgb(var(--surface-1));align-items:start;padding:11px}.building-yaps-cases ol>li+li{margin-top:7px}.building-yaps-cases strong{color:rgb(var(--text-1));font-size:11px;font-weight:600;line-height:1.35}.building-yaps-cases span,.building-yaps-cases small{color:rgb(var(--text-3));font-size:9px;line-height:1.45}.building-yaps-cases small{color:rgb(var(--text-4))}.building-yaps-conversation-stage{height:208px;padding-left:38px;position:relative}.building-yaps-conversation-lane{color:rgb(var(--text-4));writing-mode:vertical-rl;font-size:8px;line-height:1;position:absolute;left:0;transform:rotate(180deg)}.building-yaps-conversation-human-label{top:26px}.building-yaps-conversation-agent-label{bottom:21px}.building-yaps-conversation-stage>svg{width:calc(100% - 42px);height:calc(100% - 16px);position:absolute;inset:8px 4px 8px 38px;overflow:visible}.building-yaps-conversation-stage>svg>path{fill:none;marker-end:url(#building-yaps-conversation-arrow);stroke:rgb(var(--home-border) / .9);stroke-width:1.25px}.building-yaps-conversation-stage marker path{fill:rgb(var(--text-4))}.building-yaps-conversation-stage>ol{grid-template-columns:repeat(5,minmax(0,1fr));margin:0;padding:0;list-style:none;display:grid;position:absolute;inset:8px 4px 8px 38px}.building-yaps-conversation-stage li{z-index:1;border:1px solid rgb(var(--home-border) / .8);background:rgb(var(--surface-1));text-align:center;flex-direction:column;justify-content:center;align-items:center;width:calc(100% - 10px);min-height:66px;padding:8px 7px;display:flex;position:relative}.building-yaps-conversation-stage li[data-owner=human]{background:color-mix(in srgb, var(--foreground) 3.25%, var(--background));align-self:start}.building-yaps-conversation-stage li[data-owner=agent]{align-self:end}.building-yaps-conversation-stage li>span{color:rgb(var(--text-4));font-variant-numeric:tabular-nums;font-size:8px;line-height:1}.building-yaps-conversation-stage li>strong{color:rgb(var(--text-1));margin-top:5px;font-size:10px;font-weight:600;line-height:1.25}.building-yaps-conversation-stage li>small{color:rgb(var(--text-3));margin-top:3px;font-size:8px;line-height:1.35}.building-yaps-metrics{border-block:1px solid rgb(var(--home-border) / .62);grid-template-columns:repeat(4,minmax(0,1fr));margin-bottom:28px;display:grid}.building-yaps-metrics>div{text-align:center;flex-direction:column;justify-content:center;align-items:center;min-height:74px;padding:12px 10px;display:flex}.building-yaps-metrics>div+div{border-left:1px solid rgb(var(--home-border) / .62)}.building-yaps-metrics strong{color:rgb(var(--text-1));font-variant-numeric:tabular-nums;letter-spacing:-.03em;font-size:18px;font-weight:500;line-height:1.1}.building-yaps-metrics span{max-width:92px;color:rgb(var(--text-4));margin-top:5px;font-size:9px;line-height:1.25}.building-yaps-timeline-track{margin:0;padding:0;list-style:none;position:relative}.building-yaps-timeline-track:before{content:"";border-left:1px solid rgb(var(--home-border) / .75);position:absolute;top:10px;bottom:13px;left:75px}.building-yaps-timeline-track>li{grid-template-columns:59px minmax(0,1fr);gap:34px;padding:0 0 28px;display:grid;position:relative}.building-yaps-timeline-track>li:last-child{padding-bottom:0}.building-yaps-timeline-track>li:before{content:"";border:2px solid rgb(var(--surface-1));background:rgb(var(--text-3));width:9px;height:9px;box-shadow:0 0 0 1px rgb(var(--home-border) / .72);border-radius:50%;position:absolute;top:7px;left:71px}.building-yaps-timeline-date{text-align:right;flex-direction:column;align-items:flex-end;padding-top:2px;display:flex}.building-yaps-timeline-date time{color:rgb(var(--text-3));font-variant-numeric:tabular-nums;font-size:10px;line-height:1.35}.building-yaps-timeline-date span{color:rgb(var(--text-4));font-variant-numeric:tabular-nums;margin-top:3px;font-size:8px;line-height:1.3}.building-yaps-timeline-track>li>div>strong{color:rgb(var(--text-1));font-size:11px;font-weight:600;line-height:1.4;display:block}.post-copy .building-yaps-timeline-track ul{margin:7px 0 0;padding:0;list-style:none}.post-copy .building-yaps-timeline-track ul>li{color:rgb(var(--text-3));padding-left:10px;font-size:10px;line-height:1.5;position:relative}.post-copy .building-yaps-timeline-track ul>li+li{margin-top:3px}.post-copy .building-yaps-timeline-track ul>li:before{content:"·";color:rgb(var(--text-4));position:absolute;left:0}.post-copy a{color:rgb(var(--text-1));-webkit-text-decoration-color:rgb(var(--text-4));text-decoration-color:rgb(var(--text-4));text-underline-offset:3px;text-decoration-thickness:1px}@media (hover:hover) and (pointer:fine){.post-copy a:hover{-webkit-text-decoration-color:rgb(var(--text-1));text-decoration-color:rgb(var(--text-1))}}@media (max-width:640px){.building-yaps-assembly-map{grid-template-columns:1fr}.building-yaps-flow-arrow{height:25px;transform:rotate(90deg)}.building-yaps-assembly-local{min-height:150px}.building-yaps-assembly-surfaces>div{grid-template-columns:repeat(2,minmax(0,1fr))}.building-yaps-assembly-surfaces>div>strong{min-height:42px}.building-yaps-cases .building-yaps-case-head{display:none}.building-yaps-cases ol>li{grid-template-columns:1fr;gap:7px}.building-yaps-cases span:before,.building-yaps-cases small:before{content:attr(data-label) " · ";color:rgb(var(--text-4))}.building-yaps-conversation-stage{height:auto;padding:0}.building-yaps-conversation-stage:before{content:"";border-left:1px solid rgb(var(--home-border) / .75);position:absolute;top:26px;bottom:26px;left:50%}.building-yaps-conversation-stage>svg,.building-yaps-conversation-lane{display:none}.building-yaps-conversation-stage>ol{flex-direction:column;gap:12px;display:flex;position:relative;inset:auto}.building-yaps-conversation-stage li{width:calc(100% - 34px);min-height:62px;padding-inline:10px}.building-yaps-conversation-stage li[data-owner=human]{align-self:flex-start}.building-yaps-conversation-stage li[data-owner=agent]{align-self:flex-end}.building-yaps-metrics{grid-template-columns:repeat(2,minmax(0,1fr))}.building-yaps-metrics>div:nth-child(3){border-left:0}.building-yaps-metrics>div:nth-child(n+3){border-top:1px solid rgb(var(--home-border) / .62)}.building-yaps-timeline-track:before{left:68px}.building-yaps-timeline-track>li{grid-template-columns:52px minmax(0,1fr);gap:33px}.building-yaps-timeline-track>li:before{left:64px}}
.model-checking-deck{color:rgb(var(--text-1));font-size:15px;line-height:1.65}.model-checking-loop ol{grid-template-columns:repeat(5,minmax(0,1fr));gap:7px;margin:0;padding:0;list-style:none;display:grid}.model-checking-loop li{border:1px solid rgb(var(--home-border) / .78);background:rgb(var(--surface-1));flex-direction:column;gap:4px;min-width:0;min-height:96px;padding:9px 10px;display:flex}.model-checking-loop li>span{color:rgb(var(--text-4));letter-spacing:.02em;font-size:8px;font-weight:500}.post-copy .model-checking-loop li strong{color:rgb(var(--text-1));font-size:10px;font-weight:600;line-height:1.3}.post-copy .model-checking-loop li small{color:rgb(var(--text-3));font-size:9px;line-height:1.45}.model-checking-trace-head,.model-checking-trace-steps>li{grid-template-columns:22px repeat(4,minmax(0,1fr));column-gap:8px;display:grid}.model-checking-trace-head{border-bottom:1px solid rgb(var(--home-border) / .65);color:rgb(var(--text-4));letter-spacing:.02em;padding-bottom:8px;font-size:8px;font-weight:500}.model-checking-trace-steps{margin:0;padding:6px 0 0;list-style:none;position:relative}.post-copy .model-checking-trace-steps>li{align-items:baseline;padding:4px 0;font-size:10px;line-height:1.35}.model-checking-trace-index{color:rgb(var(--text-4));font-variant-numeric:tabular-nums;grid-column:1;font-size:8px}.model-checking-trace-actor{display:none}.model-checking-trace-steps>li strong{z-index:1;color:rgb(var(--text-2));font-weight:500;position:relative}.model-checking-trace-steps>li[data-actor=remover] strong{grid-column:2}.model-checking-trace-steps>li[data-actor=git] strong{grid-column:3}.model-checking-trace-steps>li[data-actor=sweep] strong{grid-column:4}.model-checking-trace-steps>li[data-actor=lane] strong{grid-column:5}.model-checking-trace-steps>li[data-harm=true] strong{color:rgb(var(--text-1));font-weight:700}.model-checking-trace-steps>li[data-harm=true] strong:before{content:"× "}.model-checking-trace-git{border-left:1px dashed rgb(var(--text-3) / .75);color:rgb(var(--text-4));grid-area:1/3;align-self:stretch;margin:-4px 0;padding:4px 0 0 6px;font-size:8px}.model-checking-windows-track{grid-template-columns:60% 40%;height:40px;margin:18px 0 0;display:grid;position:relative}.model-checking-windows-labels{color:rgb(var(--text-4));grid-template-columns:60% 40%;margin:6px 0 14px;font-size:8px;font-weight:500;line-height:1.3;display:grid}.model-checking-windows-labels span{padding-right:8px}.model-checking-windows-labels span+span{padding-left:8px}.model-checking-window{border:1px solid rgb(var(--home-border) / .78);background:rgb(var(--surface-1));color:rgb(var(--text-4));align-items:flex-end;padding:0 8px 7px;font-size:8px;font-weight:500;display:flex}.model-checking-window[data-window=next]{border-left:0}.model-checking-window[data-window=walled]{background:repeating-linear-gradient(135deg, rgb(var(--surface-1)), rgb(var(--surface-1)) 6px, color-mix(in srgb, var(--foreground) 4%, rgb(var(--surface-1))) 6px, color-mix(in srgb, var(--foreground) 4%, rgb(var(--surface-1))) 7px);background-position:50% 0;background-size:100% 100%}.model-checking-wall-mark,.model-checking-reset-mark{border-left:1px solid rgb(var(--text-2));color:rgb(var(--text-2));padding-left:4px;font-size:8px;font-weight:600;line-height:1;position:absolute;top:-14px;bottom:0}.model-checking-reset-mark{border-left-style:dashed;border-left-color:rgb(var(--text-3));color:rgb(var(--text-3))}.model-checking-reading-mark{border:1px solid rgb(var(--text-2));background:rgb(var(--surface-1));width:15px;height:15px;color:rgb(var(--text-2));font-variant-numeric:tabular-nums;border-radius:50%;place-items:center;margin-left:-7px;font-size:8px;font-weight:600;display:grid;position:absolute;top:12px}.model-checking-reading-mark[data-lifts=yes]{background:rgb(var(--text-1));color:rgb(var(--surface-1))}.model-checking-readings{counter-reset:reading;margin:0;padding:0;list-style:none}.post-copy .model-checking-readings li{border-top:1px solid rgb(var(--home-border) / .45);counter-increment:reading;grid-template-columns:18px minmax(0,1.3fr) minmax(0,1.2fr) 64px;align-items:baseline;gap:8px;padding:6px 0;font-size:10px;line-height:1.4;display:grid}.model-checking-readings li:before{content:counter(reading);color:rgb(var(--text-4));font-variant-numeric:tabular-nums;font-size:8px}.model-checking-readings li strong{color:rgb(var(--text-1));font-weight:500}.model-checking-readings li span{color:rgb(var(--text-3))}.post-copy .model-checking-readings li small{color:rgb(var(--text-3));text-align:right;font-size:10px}.post-copy .model-checking-readings li[data-lifts=yes] small{color:rgb(var(--text-1));font-weight:600}.model-checking-results table{border-collapse:collapse;table-layout:fixed;width:100%}.post-copy .model-checking-results th,.post-copy .model-checking-results td{border-bottom:1px solid rgb(var(--home-border) / .55);text-align:left;vertical-align:top;padding:8px 8px 8px 0;font-size:10px;line-height:1.45}.post-copy .model-checking-results thead th{color:rgb(var(--text-4));letter-spacing:.02em;font-size:8px;font-weight:500}.model-checking-results thead th:first-child{width:26%}.model-checking-results thead th:nth-child(2){width:11%}.model-checking-results thead th:nth-child(4){width:22%}.model-checking-results tbody th{color:rgb(var(--text-1));font-weight:500}.model-checking-results tbody td{color:rgb(var(--text-2))}.model-checking-results tbody tr:last-child th,.model-checking-results tbody tr:last-child td{border-bottom:0}.model-checking-kind{border:1px solid rgb(var(--home-border) / .9);color:rgb(var(--text-3));margin-left:6px;padding:0 4px;font-size:8px;line-height:1.5;display:inline-block}.model-checking-kind[data-kind=new]{border-color:rgb(var(--text-2) / .7);color:rgb(var(--text-1))}@media (max-width:640px){.model-checking-loop ol{grid-template-columns:minmax(0,1fr)}.model-checking-loop li{grid-template-columns:22px minmax(0,1fr);column-gap:8px;min-height:0;display:grid}.model-checking-loop li>span{grid-row:span 2}.model-checking-trace-head{display:none}.model-checking-trace-steps>li{grid-template-columns:22px 64px minmax(0,1fr)}.model-checking-trace-actor{color:rgb(var(--text-4));grid-column:2;font-size:9px;display:block}.model-checking-trace-steps>li strong,.model-checking-trace-steps>li[data-actor] strong{grid-column:3}.model-checking-trace-git{display:none}.post-copy .model-checking-readings li{grid-template-columns:18px minmax(0,1fr) 56px}.model-checking-readings li span{grid-area:2/2}.post-copy .model-checking-readings li small{grid-area:1/3}}