.project-intro{padding-block:48px 32px}.project-intro h1{font-size:clamp(48px,5vw,70px)}.example-note{font-size:12px;color:var(--muted);line-height:1.7}.project-columns{display:grid;grid-template-columns:1fr 1.1fr;gap:50px;border-top:1px solid var(--line);padding-top:30px}.project-step{min-width:0}.project-step h2{font-size:32px;margin-bottom:25px}.project-step label:not(.sr-only){display:block;font-size:13px;font-weight:600;margin:22px 0 9px}.project-step input:not([type=file]),.project-step select{width:100%;padding:12px;border:1px solid var(--line);border-radius:4px;background:var(--white);color:var(--ink);min-height:45px}.folder-picker{display:grid!important;gap:10px;border:1px dashed var(--accent);border-radius:5px;background:var(--soft);padding:20px;cursor:pointer}.folder-picker strong{font-size:15px}.folder-picker span{font-size:12px;line-height:1.7;font-weight:400;overflow-wrap:anywhere}input[type=file]{max-width:100%;font-size:12px}input[type=file]::file-selector-button{padding:9px;border:1px solid var(--line);border-radius:3px;background:var(--white);color:var(--ink);font:inherit;margin-right:12px}.file-scope,.task-help{font-size:12px;line-height:1.8;color:var(--muted)}.task-help{font-size:14px}.contract{border:1px solid var(--line);border-radius:4px;margin:14px 0}.contract summary{font-size:13px;padding:13px;cursor:pointer}.contract textarea{resize:vertical;max-height:600px;width:100%;border:0;border-top:1px solid var(--line);background:var(--white);color:var(--ink);padding:15px;font:12px/1.7 var(--mono);tab-size:2}.run-project{display:flex;justify-content:space-between;align-items:center;gap:30px;border-block:1px solid var(--line);padding:20px 0;margin:25px 0 40px}#project-notice{font-size:14px;line-height:1.7}#project-notice.error{color:var(--rust)}.run-project .button{min-width:190px}.run-project .file-scope{margin-bottom:0}#project-result{padding-bottom:50px}#result-source{font-size:13px;color:var(--muted);line-height:1.8}.project-progress{display:flex;flex-wrap:wrap;gap:9px;list-style:none;padding:0;margin:25px 0}.project-progress li{font:10px/1.6 var(--mono);padding:8px 10px;background:var(--soft);border:1px solid var(--line);border-radius:4px}.result-actions{display:flex;gap:15px;margin-top:22px;flex-wrap:wrap}#project-reasons{font-size:14px;line-height:1.8;margin-block:20px}#project-diff{max-height:350px;font-size:11px;line-height:1.8;white-space:pre-wrap;overflow-wrap:anywhere;background:var(--white)}@media(max-width:760px){.project-columns{grid-template-columns:1fr;gap:25px}.project-intro{padding-top:32px}.run-project{align-items:flex-start;flex-direction:column;gap:15px}.run-project .button{width:100%}.project-progress{gap:6px}.project-progress li{font-size:9px}.project-step h2{font-size:29px}}
.task-builder fieldset{border:1px solid var(--line);border-radius:5px;margin:16px 0;padding:14px;display:grid;grid-template-columns:1fr 1fr;gap:10px}.task-builder legend{font-size:13px;font-weight:600;padding:0 5px;max-width:100%;line-height:1.6}.task-builder fieldset label{margin:0!important;font-size:11px!important;line-height:1.6}.task-builder fieldset input,.task-builder fieldset select{padding:8px!important;font-size:12px;min-height:38px!important}.task-builder fieldset label:nth-of-type(3){grid-column:1/3}.remove-step{justify-self:start;background:transparent;color:var(--muted);font-size:11px;border:0;text-decoration:underline;padding:4px;min-height:30px}.add-step{padding:10px 14px;border:1px solid var(--line);border-radius:4px;background:var(--white);font-size:12px;color:var(--ink)}.functional-summary{background:var(--soft);padding:15px;border-radius:4px;font-size:12px;line-height:1.7;margin-top:20px}.functional-summary p{margin:6px 0 0;font-family:var(--mono);font-size:11px;overflow-wrap:anywhere}
button.folder-picker{width:100%;text-align:left;font:inherit;color:var(--ink);margin:22px 0 9px}button.folder-picker:hover{border-style:solid;background:var(--white)}button.folder-picker:focus-visible{outline:3px solid var(--focus);outline-offset:4px}
.capture-toolbar{display:flex;align-items:center;flex-wrap:wrap;gap:10px;margin:20px 0;padding:14px;background:var(--soft);border:1px solid var(--line);border-radius:5px}.capture-toolbar label{margin:0!important}.capture-toolbar select{width:auto!important;max-width:100%;font-size:12px}.capture-toolbar button,#save-assertion,#unfreeze-task,#use-template,.task-builder button,.functional-summary button{padding:9px 12px;border:1px solid var(--line);background:var(--white);color:var(--ink);border-radius:4px;font:12px/1.5 inherit;cursor:pointer}.app-preview{width:1280px;height:800px;border:1px solid var(--line);background:white}.app-preview iframe{border:0;width:1280px;height:800px}#capture-panel{grid-column:1/-1}#capture-panel[hidden]{display:none}#capture-panel:not([hidden]){position:relative;margin:20px 0}#capture-panel .app-preview{transform-origin:top left}#capture-notice,#freeze-status,#checkpoint-note{font-size:13px;line-height:1.8;color:var(--muted)}#freeze-task{margin-top:20px}#attempt-timeline article{border-left:3px solid var(--accent);padding:10px 22px;margin:24px 0;background:var(--soft)}#attempt-timeline h3{font:14px/1.7 var(--mono)}#attempt-timeline p{font-size:13px;line-height:1.8;overflow-wrap:anywhere}#checkpoint-assertions{display:grid;grid-template-columns:1fr 1fr;gap:10px}#checkpoint-assertions p{font:11px/1.8 var(--mono);overflow-wrap:anywhere}#project-diff{white-space:pre;overflow:auto;max-height:550px}.task-builder input[type=radio]{width:auto!important;min-height:20px!important}.task-builder p{grid-column:1/-1;overflow-wrap:anywhere;font-size:12px}.functional-summary button{margin-left:8px}.project-columns:has(#capture-panel:not([hidden])){grid-template-columns:1fr}.project-columns:has(#capture-panel:not([hidden])) .project-step:first-child{max-width:650px}button:disabled{cursor:default;opacity:.5}.project-step:has(#capture-panel:not([hidden])){max-width:none}#capture-panel{overflow:auto;max-width:100%}
.app-preview{width:100%;height:calc(800px * var(--capture-scale,1));overflow:hidden}.app-preview iframe{transform:scale(var(--capture-scale,1));transform-origin:top left}
#task-outcome{font-size:16px;line-height:1.8;border-left:3px solid var(--accent);padding-left:14px;overflow-wrap:anywhere;margin:16px 0}
#project-result>.section-heading>div:first-child{min-width:0;flex:1}#project-result>.section-heading>div:last-child{flex:0 0 160px;text-align:right}
.real-form-case{border-top:1px solid var(--line);margin-top:26px;padding-top:22px;max-width:780px}.real-form-case h2{font-size:30px;letter-spacing:-1px}.real-form-case p{font-size:14px;line-height:1.8}.real-form-case .eyebrow{font-size:10px}.real-form-case .button{margin-right:20px}.real-form-case .case-links{display:flex;gap:20px;flex-wrap:wrap;margin-top:15px;font-size:13px}
#form-data-editor p{font-size:13px;line-height:1.7;max-width:650px}#form-values>div{display:flex;align-items:center;gap:10px;margin:10px 0}#form-values button,#add-form-value{padding:10px 12px;border:1px solid var(--line);background:var(--white);color:var(--ink);border-radius:4px;cursor:pointer;white-space:nowrap}#form-values input{flex:1;min-width:0}#form-data-editor[hidden],#attribute-editor[hidden],#scalar-value-editor[hidden]{display:none}
#form-values textarea{flex:1;min-width:0;min-height:45px;resize:vertical;padding:12px;border:1px solid var(--line);border-radius:4px;background:var(--white);color:var(--ink);font:inherit}
#baseline-gates{font:12px/1.7 var(--mono);color:var(--muted);margin-bottom:4px}.recorded-verifier{border:1px solid var(--line);padding:12px 16px;border-radius:4px;font-size:12px;margin:14px 0}.recorded-verifier summary{cursor:pointer}.recorded-verifier pre{white-space:pre-wrap;overflow-wrap:anywhere;max-height:300px;overflow:auto;font:11px/1.7 var(--mono)}#reason-provenance{margin-bottom:8px}
#project-verdict{display:inline-block;white-space:normal;line-height:1.6}#project-verdict[data-verdict=VERIFIED_FAIL]{border-color:var(--rust);color:var(--rust)}#project-verdict[data-verdict=NOT_TESTED],#project-verdict[data-verdict=INCONCLUSIVE]{border-color:var(--muted);color:var(--muted)}
#selected-attempt-heading,#run-final-verdict{font:12px/1.6 var(--mono);color:var(--muted)}#gate-summary{font:15px/1.8 var(--mono);font-weight:600}#gate-explanation{font-size:21px;font-weight:600;margin-bottom:6px}#project-reasons{overflow-wrap:anywhere;margin-top:0}.attempt-select{display:block;text-align:left;border:1px solid var(--line);border-radius:4px;padding:12px;background:var(--white);color:var(--ink);font:14px/1.6 var(--mono);cursor:pointer;width:100%}.attempt-select[aria-pressed=true]{border:2px solid var(--accent);background:var(--soft)}.attempt-select:focus-visible,#evidence-history a:focus-visible{outline:3px solid var(--focus);outline-offset:3px}.attempt-reason{cursor:pointer}#attempt-timeline details{font-size:12px}#evidence-history{border-block:1px solid var(--line);padding:16px 0;margin:22px 0;font-size:13px;line-height:1.8}#evidence-history[hidden]{display:none}#evidence-history summary{cursor:pointer;font-weight:600}#evidence-history ol{padding-left:24px}#evidence-history li{padding:14px 0;border-bottom:1px solid var(--line)}#evidence-history h3{font-size:16px;margin:0}#evidence-history p{margin:8px 0}.evidence-meta{color:var(--muted);font-size:12px}.evidence-links{display:flex;flex-wrap:wrap;gap:8px 20px;margin:12px 0}#evidence-history pre{font:11px/1.7 var(--mono);white-space:pre-wrap;overflow-wrap:anywhere}#project-result{scroll-margin-top:20px}

.evidence-groups{padding-left:1.2em}.evidence-groups>li{margin:1.4em 0}.evidence-groups h3{margin:0 0 .3em}.evidence-groups ul{margin:.5em 0 0;padding-left:1.1em}.evidence-groups ul li{margin:.35em 0;overflow-wrap:anywhere}

[data-local-only][hidden],#evidence-index[hidden]{display:none!important}
#model-call{border-left:3px solid var(--accent);background:var(--soft);padding:14px 18px;margin:20px 0;font-size:13px;line-height:1.7}#model-call h3{font-size:15px;margin:0 0 6px}#model-call p{margin:6px 0;overflow-wrap:anywhere}#model-call .model-meta{font:12px/1.7 var(--mono)}