.application-field-report main{font-size:17px;line-height:1.65}.application-field-report main h2{font-size:clamp(32px,3.8vw,52px);line-height:1.12;font-weight:600;letter-spacing:-.045em}.application-field-report main h3{font-size:20px;line-height:1.35;font-weight:600}
.application-hero{padding:88px 0 80px;background:var(--midnight);color:var(--n300)}.report-hero-grid{display:grid;grid-template-columns:180px minmax(0,1fr);gap:72px;align-items:end}.report-rail{display:flex;flex-direction:column;gap:10px;font-size:12px;letter-spacing:.02em}.report-rail>span{color:var(--cyan);font-weight:600;letter-spacing:.1em}.report-rail b{font:600 20px/1.15 Montserrat,sans-serif;color:#fff;margin:12px 0}.report-rail i{height:1px;background:#2e5565;margin:8px 0}.report-rail a:hover{color:var(--cyan);text-decoration:underline;text-underline-offset:4px}.application-hero .eyebrow,.application-target .eyebrow,.application-close .eyebrow{color:var(--cyan)}.application-hero h1{font-size:clamp(44px,5.2vw,70px);font-weight:600;line-height:1.03;color:white;margin-top:24px}.application-hero h1 em,.application-target h2 em{font-style:normal;color:var(--cyan)}.hero-lead{max-width:690px;margin-top:28px}
.business-logic,.application-boundary,.application-target,.application-verification{padding:80px 0}.business-logic,.application-verification{background:var(--n50)}.application-boundary{background:var(--mist)}.split-heading{display:grid;grid-template-columns:1.1fr 1fr;gap:72px;align-items:end}.split-heading h2,.application-close h2{margin-top:18px}
.rule-spread{display:grid;grid-template-columns:.8fr 1.25fr;gap:72px;margin-top:48px;align-items:center}.rule-story h3{margin-top:16px}.order-example{margin:24px 0 0}.order-example>div{display:flex;justify-content:space-between;align-items:baseline;gap:16px;padding:12px 0;border-bottom:1px solid var(--n200)}.order-example dt{font-size:14px}.order-example dd{font:500 24px/1.2 Montserrat,sans-serif;color:var(--primary);margin:0}.order-example .order-result{border-bottom:0}.order-result dd{font-size:36px;font-weight:600;letter-spacing:-.04em}.source-excerpt{padding:24px;background:var(--frost);border-left:3px solid var(--blue);min-width:0}.source-excerpt figcaption strong{display:block;color:var(--primary);font-weight:500}.source-excerpt figcaption span{display:block;font-size:12px;margin-top:4px}.application-field-report pre{margin:24px 0 0;overflow:auto;max-width:100%;font:400 14px/1.8 ui-monospace,SFMono-Regular,Consolas,monospace;color:var(--primary);tab-size:2}.application-field-report pre:focus-visible{outline:2px solid var(--blue);outline-offset:4px}.application-field-report p code{font-size:.86em;overflow-wrap:anywhere}.code-note{font-size:14px;margin-top:20px}.demo-note{font-size:12px;margin-top:24px}
.report-image{min-width:0}.application-field-report .phase-image{border:1px solid var(--n200);border-radius:6px;box-shadow:none;background:white;position:relative}.phase-image img{display:block;width:100%;height:auto}.report-image figcaption{font-size:12px;line-height:1.6;margin-top:12px}.enlarge{position:absolute;right:8px;bottom:6px;color:var(--primary);background:var(--n50);border:1px solid var(--n200);padding:2px 8px;font-size:12px;opacity:0;transition:opacity .15s}.phase-image:hover .enlarge,.phase-image:focus-visible .enlarge{opacity:1}.application-boundary .shell>.report-image{max-width:1056px;margin:40px auto 0}.boundary-notes,.verified-behaviours{display:grid;grid-template-columns:1fr 1fr;gap:72px;margin-top:32px}.boundary-notes p,.verified-behaviours p:not(.eyebrow){margin-top:12px}.verified-behaviours h3{margin-top:12px}
.report-example{margin-top:24px}.report-example summary{display:flex;align-items:center;gap:12px;list-style:none;width:fit-content;font-size:14px;color:var(--primary);cursor:pointer}.report-example summary::-webkit-details-marker{display:none}.report-example summary:hover{text-decoration:underline;text-underline-offset:4px;color:var(--blue)}.report-example summary:focus-visible{outline:2px solid var(--blue);outline-offset:5px}.report-example summary>span{position:relative;width:10px;height:10px;flex-shrink:0}.report-example summary>span:before,.report-example summary>span:after{content:"";width:10px;height:1px;background:currentColor;position:absolute;left:0;top:4px}.report-example summary>span:after{transform:rotate(90deg)}.report-example[open] summary>span:after{display:none}.example-content{padding-top:24px;max-width:1080px;margin-inline:auto}.return-example{display:grid;grid-template-columns:1fr 1.35fr;gap:48px;align-items:start}.return-example p{margin-top:12px}.return-example pre{margin:0;background:var(--n50);padding:20px;min-width:0}
.application-target{background:var(--midnight);color:var(--n300)}.application-target h2,.application-target h3{color:#fff}.responsibility-map{margin-top:40px}.responsibility-map>div{display:grid;grid-template-columns:1fr 1.05fr 1fr;gap:36px;padding:20px 0;border-bottom:1px solid #2e5565;align-items:center}.responsibility-map .map-header{font-size:12px;letter-spacing:.06em;color:var(--cyan);padding-top:0}.responsibility-map b{display:block;font-weight:500;color:white}.responsibility-map code{font-size:13px;overflow-wrap:anywhere}.responsibility-map p{font-size:14px}.responsibility-map div[role=cell]>code{display:block;margin-top:6px}.application-target .report-example summary{color:var(--cyan)}.application-target .report-example summary:hover{color:white}.java-example{display:grid;grid-template-columns:1.4fr 1fr;gap:48px;align-items:center}.java-example pre{color:var(--n200);padding:20px;background:var(--primary);margin:0;min-width:0}.java-example p{font-size:14px}.process-note{font-size:14px;margin-top:28px;max-width:880px}.report-link{display:inline-block;margin-top:24px;color:var(--cyan);font-size:14px;font-weight:600;text-decoration:underline;text-underline-offset:5px}.report-link:hover{color:white}
.verification-summary{display:grid;grid-template-columns:1fr 1fr 1.3fr;gap:48px;margin-top:40px;padding:24px 0;border-block:1px solid var(--n300);align-items:center}.verification-summary strong{font:600 48px/1.15 Montserrat,sans-serif;letter-spacing:-.04em;color:var(--primary)}.verification-summary span{display:block;font-size:14px;margin-top:6px}.runtime-status b{font-weight:500;color:var(--primary)}.runtime-status span{color:var(--n600)}.acceptance-note{border-left:3px solid var(--blue);padding-left:24px;margin-top:36px;max-width:950px}.acceptance-note p{margin-top:12px}
.application-close{padding:72px 0;background:var(--primary);color:var(--n200)}.close-grid{display:grid;grid-template-columns:1.1fr 1fr;gap:72px;align-items:center}.application-close h2{color:white}.application-close .button{margin-top:24px}.image-dialog form{text-align:right;margin-bottom:12px}.decision-dialog-close{background:transparent;border:0;padding:6px 10px;font:inherit;font-size:14px;color:var(--primary);cursor:pointer}.decision-dialog-close:hover{text-decoration:underline;text-underline-offset:4px}
@media(max-width:1100px){.report-hero-grid{grid-template-columns:140px minmax(0,1fr);gap:40px}.split-heading,.rule-spread,.boundary-notes,.verified-behaviours,.close-grid{gap:40px}.rule-spread{grid-template-columns:.8fr 1.2fr}.responsibility-map>div{gap:24px}.source-excerpt{padding:20px}}
@media(max-width:800px){.application-field-report main{font-size:16px}.application-hero{padding:56px 0}.report-hero-grid{display:block}.report-rail{display:none}.application-hero h1{font-size:clamp(38px,7vw,56px)}.business-logic,.application-boundary,.application-target,.application-verification{padding:56px 0}.split-heading,.rule-spread,.boundary-notes,.verified-behaviours,.return-example,.java-example,.close-grid{grid-template-columns:1fr;gap:24px}.rule-spread{margin-top:32px}.application-field-report pre{font-size:12px}.source-excerpt{padding:20px 16px}.order-example{margin-top:16px}.application-boundary .shell>.report-image{margin-top:28px}.enlarge{opacity:1;font-size:11px;padding:1px 6px}.responsibility-map{margin-top:28px}.responsibility-map .map-header{display:none}.responsibility-map>div{grid-template-columns:1fr;gap:10px}.responsibility-map div[role=cell]>code{margin-top:3px}.responsibility-map>div>div:nth-child(2){border-left:2px solid var(--cyan);padding-left:12px}.responsibility-map p{margin-top:4px}.verification-summary{grid-template-columns:1fr 1fr;gap:20px;margin-top:28px}.verification-summary strong{font-size:40px}.runtime-status{grid-column:1/-1;border-top:1px solid var(--n200);padding-top:16px}.acceptance-note{padding-left:16px;margin-top:28px}.application-close{padding:56px 0}}