Skip to content

Keep verification guidance readable in the local workbench #70

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Chumaniac merged 2 commits into from
Nov 12, 2026
Merged

Keep verification guidance readable in the local workbench #70

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
467de62
Keep verification guidance readable in the local workbench
Nov 12, 2026
fc4ebba
Merge remote-tracking branch 'origin/main' into codex/product-workspa…
Nov 12, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 7 additions & 6 deletions src/workbench/page.ts
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ export const workbenchStyle = `
/* SkillSync: porcelain surfaces and steel-blue selection. */
:root{background:#eef1f4;color:#263443;--line:#d8dfe5;--muted:#626e7b;--sidebar:#e4e9ef;--panel:#f3f5f7;--accent:#3d5e7b;--accent-deep:#29445d;--accent-soft:#e2eaf1}
body,.workspace-main{background:#eef1f4}.app-sidebar{background:#e4e9ef;border-color:#d0d8e1}.app-brand{color:#243d53}.app-mark{width:32px;height:32px;background:#2d465d;color:#e5edf3;border-color:#526e85;box-shadow:inset 0 1px #ffffff28,0 2px 4px #20344c12}
.sidebar-label{color:#667b8c;font-size:11px;letter-spacing:.06em}.task-nav button{color:#526273;box-shadow:none}.task-nav button:hover{background:#d9e1e9}.task-nav button[aria-pressed=true]{background:#f7fafc;color:#29445d;box-shadow:0 1px 4px #243d5312,inset 2px 0 #547794;font-weight:550}.sidebar-bottom{color:#526273;border-top-color:#c7d2dc}
.sidebar-label{color:#526777;font-size:11px;letter-spacing:.06em}.task-nav button{color:#526273;box-shadow:none}.task-nav button:hover{background:#d9e1e9}.task-nav button[aria-pressed=true]{background:#f7fafc;color:#29445d;box-shadow:0 1px 4px #243d5312,inset 2px 0 #547794;font-weight:550}.sidebar-bottom{color:#526273;border-top-color:#c7d2dc}
.workspace-bar{background:#f8fafb;border-bottom-color:var(--line)}.workspace-status{color:#526b7d;background:transparent;padding:0}.workspace-status::before{content:'';display:inline-block;width:5px;height:5px;background:#597f6b;border-radius:50%;margin-right:7px}
.page-heading{padding:0 0 24px;background:transparent;border:0;border-bottom:1px solid #d0d8e1;border-radius:0}.page-heading h1{color:#243d53;font-weight:550;letter-spacing:-.035em}
#task-single,#task-batch,#task-history,#result,#fix,.operation-reconnect{border-radius:11px;border-color:#d8dfe5;background:#fff;box-shadow:0 1px 2px #243d5305,0 8px 28px #243d5305}h2{color:#29445d;font-size:17px}#task-single>h2,#task-batch>h2,#task-history>h2{border-bottom:1px solid #e6ebef;padding-bottom:16px}
Expand All @@ -26,20 +26,21 @@ input,select{border-color:#bcc8d2;background:#fbfcfd;color:#263443;box-shadow:in
@media(max-width:720px){.page-heading{padding:0 0 20px}.workspace-status{font-size:11px}.app-mark{width:30px;height:30px}}

/* A scope-to-evidence workbench, using real summary counts and mounted task controls. */
main{max-width:1240px}.page-heading{padding-bottom:22px;margin-bottom:24px}.workbench-eyebrow{font-size:10px!important;letter-spacing:.14em;margin:0 0 10px!important;color:#647f94!important}.page-heading h1{font-size:30px;margin-bottom:10px}.task-panel-heading{display:flex;align-items:center;justify-content:space-between;gap:14px;border-bottom:1px solid #e5ebef;padding-bottom:16px;margin-bottom:20px}.task-panel-heading h2{margin:0}.read-only-pill{font-size:11px;white-space:nowrap;padding:5px 10px;border:1px solid #cad7e1;border-radius:20px;color:#3d5e7b;background:#f5f9fb}
#task-single,#task-batch,#task-history,#result,#fix{padding:26px;border-radius:18px;box-shadow:0 2px 3px #243d5306,0 10px 30px #243d5305}h2{font-weight:550}.workbench-journey{display:flex;gap:20px;align-items:center;list-style:none;margin:0 0 24px;padding:0;color:#6c7d8b;font-size:11px}.workbench-journey li{display:flex;align-items:center;gap:8px;flex:1}.workbench-journey li:not(:last-child)::after{content:'';height:1px;flex:1;margin-left:4px;background:#dce4ea}.workbench-journey span{display:grid;place-content:center;border:1px solid #cddae4;border-radius:50%;width:25px;height:25px;flex-shrink:0;font-size:10px;color:#3d5e7b;background:#f4f8fb}
.selection-options{gap:14px}.selection-options label{position:relative;padding:20px 16px;min-height:104px;border-radius:13px;background:#f7f9fb;transition:border-color .18s,background-color .18s}.selection-options label:has(input:checked){background:#edf3f8;border-color:#6f91ab;box-shadow:inset 3px 0 #547794}.selection-options strong{display:block;font-size:14px;font-weight:550;margin-bottom:6px}.selection-options small{line-height:1.7}.selection-options legend{font-size:12px;color:#6c7d8b;padding-bottom:12px}.mode-help{font-size:12px;line-height:1.75;background:#f4f7f9}.row.actions{gap:10px}#verify{min-width:150px;border-radius:9px;min-height:44px}.row input{min-height:46px}.operation-reconnect{display:grid;grid-template-columns:auto minmax(0,1fr) auto;align-items:center;gap:18px;padding:14px 18px;background:#f5f8fa;border:1px dashed #c7d5df;border-radius:12px;margin-bottom:10px;box-shadow:none}.operation-reconnect h2{font-size:12px;margin:0;color:#50697c}.operation-reconnect p{font-size:12px;margin:0;color:#6c7d8b}.operation-reconnect button{font-size:11px;min-height:34px;padding:5px 10px}.operation-status{margin-bottom:18px}.operation-status p{font-size:12px}.operation-status button{font-size:11px;min-height:34px}
#result>h2{margin-bottom:22px}#task-summary{padding:0;border:0;background:transparent}#summary-title{font-size:23px;line-height:1.5;letter-spacing:-.025em;margin:0 0 10px;font-weight:550;color:#29445d}#summary-next{font-size:13px;color:#626e7b;line-height:1.8;max-width:70ch}#summary-counts{display:grid;grid-template-columns:repeat(auto-fit,minmax(120px,1fr));gap:12px;padding:0;margin:22px 0;list-style:none}#summary-counts li{padding:16px;border:1px solid #dae3e9;background:#f6f9fb;border-radius:12px;min-width:0}#summary-counts li:first-child{background:#3d5e7b;border-color:#3d5e7b;color:#fff}#summary-counts span{display:block;font-size:11px;color:#6c7d8b}#summary-counts li:first-child span{color:#dce7ef}#summary-counts strong{display:block;font-weight:500;font-size:29px;line-height:1.4;letter-spacing:-.03em;font-variant-numeric:tabular-nums}#result>button{margin:4px 6px 12px 0;font-size:12px}#comparison{font-size:12px}#report{border-radius:12px;background:#f4f7f9}
main{max-width:1240px}.page-heading{padding-bottom:22px;margin-bottom:24px}.workbench-eyebrow{font-size:10px!important;letter-spacing:.14em;margin:0 0 10px!important;color:#526b7c!important}.page-heading h1{font-size:30px;margin-bottom:10px}.task-panel-heading{display:flex;align-items:center;justify-content:space-between;gap:14px;border-bottom:1px solid #e5ebef;padding-bottom:16px;margin-bottom:20px}.task-panel-heading h2{margin:0}.read-only-pill{font-size:11px;white-space:nowrap;padding:5px 10px;border:1px solid #cad7e1;border-radius:20px;color:#3d5e7b;background:#f5f9fb}
#task-single,#task-batch,#task-history,#result,#fix{padding:26px;border-radius:18px;box-shadow:0 2px 3px #243d5306,0 10px 30px #243d5305}h2{font-weight:550}.workbench-journey{display:flex;gap:20px;align-items:center;list-style:none;margin:0 0 24px;padding:0;color:#536777;font-size:11px}.workbench-journey li{display:flex;align-items:center;gap:8px;flex:1}.workbench-journey li:not(:last-child)::after{content:'';height:1px;flex:1;margin-left:4px;background:#dce4ea}.workbench-journey span{display:grid;place-content:center;border:1px solid #cddae4;border-radius:50%;width:25px;height:25px;flex-shrink:0;font-size:10px;color:#3d5e7b;background:#f4f8fb}
.selection-options{gap:14px}.selection-options label{position:relative;padding:20px 16px;min-height:104px;border-radius:13px;background:#f7f9fb;transition:border-color .18s,background-color .18s}.selection-options label:has(input:checked){background:#edf3f8;border-color:#6f91ab;box-shadow:inset 3px 0 #547794}.selection-options strong{display:block;font-size:14px;font-weight:550;margin-bottom:6px}.selection-options small{line-height:1.7}.selection-options legend{font-size:12px;color:#536777;padding-bottom:12px}.mode-help{font-size:12px;line-height:1.75;background:#f4f7f9}.row.actions{gap:10px}#verify{min-width:150px;border-radius:9px;min-height:44px}.row input{min-height:46px}.operation-reconnect{display:grid;grid-template-columns:auto minmax(0,1fr) auto;align-items:center;gap:18px;padding:14px 18px;background:#f5f8fa;border:1px dashed #c7d5df;border-radius:12px;margin-bottom:10px;box-shadow:none}.operation-reconnect h2{font-size:12px;margin:0;color:#50697c}.operation-reconnect p{font-size:12px;margin:0;color:#536777}.operation-reconnect button{font-size:11px;min-height:34px;padding:5px 10px}.operation-status{margin-bottom:18px}.operation-status p{font-size:12px}.operation-status button{font-size:11px;min-height:34px}
#result>h2{margin-bottom:22px}#task-summary{padding:0;border:0;background:transparent}#summary-title{font-size:23px;line-height:1.5;letter-spacing:-.025em;margin:0 0 10px;font-weight:550;color:#29445d}#summary-next{font-size:13px;color:#626e7b;line-height:1.8;max-width:70ch}#summary-counts{display:grid;grid-template-columns:repeat(auto-fit,minmax(120px,1fr));gap:12px;padding:0;margin:22px 0;list-style:none}#summary-counts li{padding:16px;border:1px solid #dae3e9;background:#f6f9fb;border-radius:12px;min-width:0}#summary-counts li:first-child{background:#3d5e7b;border-color:#3d5e7b;color:#fff}#summary-counts span{display:block;font-size:11px;color:#536777}#summary-counts li:first-child span{color:#dce7ef}#summary-counts strong{display:block;font-weight:500;font-size:29px;line-height:1.4;letter-spacing:-.03em;font-variant-numeric:tabular-nums}#result>button{margin:4px 6px 12px 0;font-size:12px}#comparison{font-size:12px}#report{border-radius:12px;background:#f4f7f9}
.history-workspace{display:grid;grid-template-columns:minmax(0,1.15fr) minmax(270px,.85fr);gap:24px;align-items:start}.history-browser{min-width:0}.history-comparison{margin:0;position:sticky;top:20px;padding:20px;border-radius:13px;background:#f3f7fa}.history-comparison>h3{margin-top:0}.history-comparison p{font-size:12px;color:#657886}.history-comparison-counts{gap:14px}.history-filters{background:#f6f8fa;padding:16px;border:1px solid #dce4ea;border-radius:12px}.history-filters label:first-child{margin-top:0}#history-list>p{display:flex;gap:8px;align-items:center;flex-wrap:wrap;padding:16px;border:1px solid #dce4ea;border-radius:12px;background:#fff}#history-list>p>span{flex-basis:100%;font-size:12px;line-height:1.8}#history-list button{margin:0;font-size:11px;min-height:34px;padding:5px 9px}#history-info{font-size:12px;color:#657886}
@media(max-width:1000px){.history-workspace{grid-template-columns:minmax(0,1fr)}.history-comparison{position:static}}@media(max-width:720px){#task-single,#task-batch,#task-history,#result,#fix{padding:18px;border-radius:14px}.page-heading h1{font-size:26px}.workbench-journey{gap:8px;font-size:10px}.workbench-journey li{gap:5px;line-height:1.5}.workbench-journey span{width:22px;height:22px}.workbench-journey li:not(:last-child)::after{display:none}.selection-options{grid-template-columns:minmax(0,1fr)}.selection-options label{min-height:88px;padding:17px 14px}.operation-reconnect{grid-template-columns:minmax(0,1fr);gap:8px}.operation-reconnect button{justify-self:start;min-height:44px}#summary-counts{grid-template-columns:repeat(2,minmax(0,1fr));gap:8px}#summary-counts li{padding:13px}#summary-counts strong{font-size:26px}.read-only-pill{font-size:10px}#history-list button{min-height:44px}}


/* Reading order: scope, outcome, then full evidence. */
.summary-context{font:12px ui-monospace,monospace;color:#526b7d;overflow-wrap:anywhere;padding:10px 12px;border:1px solid #dce4ea;border-radius:5px;background:#f7fafc}
#task-summary[data-attention=true]{border-left:3px solid #9b742f;padding-left:18px}#summary-counts li:first-child{background:#f6f9fb;border-color:#dae3e9;color:#29445d}#summary-counts li:first-child span{color:#6c7d8b}
#task-summary[data-attention=true]{border-left:3px solid #9b742f;padding-left:18px}#summary-counts li:first-child{background:#f6f9fb;border-color:#dae3e9;color:#29445d}#summary-counts li:first-child span{color:#536777}
@media(min-width:1100px){main{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:0 24px;align-items:start}.page-heading,#task-batch,#task-history,footer{grid-column:1/-1}#task-single{grid-column:1;grid-row:2 / span 3}.operation-reconnect,.operation-status{grid-column:2}#result{grid-column:2;grid-row:4 / span 4}#fix{grid-column:1}#report{min-height:420px}.selection-options{grid-template-columns:1fr}.operation-reconnect{grid-template-columns:1fr auto}.operation-reconnect h2{grid-column:1/-1}}
@media(max-width:720px){.app-sidebar{position:sticky;top:0;z-index:10;padding:12px 18px}.app-brand{padding-bottom:10px}.task-nav{margin-top:0}.sidebar-label{display:none}.task-nav button{font-size:12px}#result-title,#selection,#fix-title{scroll-margin-top:150px}}

:root{--muted:#526576}
`;

export const workbenchScript = `"use strict";
Expand Down
Loading