[REQ-088] Alpha SessionWorkspace and Workbench integration

[jinjunnn]

Goal

实现 SessionWorkspace shell、legacy adapter 和 Workbench 安全组合。

Parent requirement

jinjunnn/alpha-code#203

Scope

• Deliver the jinjunnn/alpha-code boundary for Alpha REQ-088: Alpha SessionWorkspace and Workbench integration.
• Preserve the parent requirement contract; do not absorb adjacent repository work.

Out of scope

• Work owned by sibling sub-issues or future REQs.

Acceptance criteria

• session/scroll/focus/shortcut parity 与 rollback contract 通过。
• Relevant automated and packaged/runtime checks are attached before closure.

Dependencies

REQ-085/086/087/094。

Verification evidence

• CI/test evidence.
• Security/runtime/product acceptance evidence appropriate to this repository.

[jinjunnn]

REQ-087 spike 结论回写(S41):CONDITIONAL GO。本 issue(REQ-088)激活前置:C1 freeze-base 轮转为 @opencode-ai/app 增加窄 ./surface/session export(逐案走 ADR-029 L3 通道,修订 ADR-027);C2 真引擎 characterization 六项(spike 已留 test.todo);C3/C4 见 docs/spikes/2026-07-12-req087-legacy-session-adapter.md。另有 REQ-094(Artifact Workbench)依赖仍未满足——保持 Blocked。

[jinjunnn]

REQ-088 激活前置 C1/C2 完成(PR #243,squash 3e78a56;本 issue 保持 open,主实现未启动):

• C1 ✅:./surface/session 窄导出(冻结集 vs base-2 delta 恰 1 行;ADR-029 L3 逐案评审表见 ADR-027 修订节);消费面收敛到唯一合法通道(deep import 全仓废除,三层锚点守卫);frontend-freeze-base-3 已铸并推送,verify-freeze-restore.sh 全绿;sync-upstream restore 步已指向 base-3。
• C2 ✅:六项真引擎 characterization 落实(test-live/req087:真 serve 引擎+冻结 renderer+真 Chromium,权限机/PTY/SSE/abort 全真管线),两连跑 6/6;权威门内 todo 清零(锚点防蚀);legacy 基线落盘 baselines/legacy-baseline.json(mount 1040ms/订阅 1/滚动 p95 27.7ms)。
• Characterization 实锤 legacy 怪癖:首次切走 session 时活动终端 recoverTerminal clone 产生恒 1 孤儿 PTY(不线性累积)——adapter parity/rollback contract 以「不劣于 1」为界。
• C3 纪律生效中(锚点红线布防);C4 探针矩阵(Electron 真机 __req087Spike.summary(),back/forward、切 directory/server)= 下一步,完成即可启动 T2 主实现。

[jinjunnn]

C4 探针矩阵真机取证:PASS(S48,证据 docs/audits/2026-07-13-s48-req088-c4/,worktree 待随 S48 PR 入库)。

• 五场景矩阵(S0 基线/S1 快速切换×6/S2 back-forward×3/S3 reload×3/S4 切 directory×6/S5 切真第二引擎往返):稳态 terminalPanels=1、composersVisible≤1、violations Δ=0、TCP/PTY 零累积;孤儿 PTY = 0,优于 C2 legacy 基线(≤1)——adapter 模式 recoverTerminal handoff 正常。
• 双闸口径:ALPHA_SURFACE_SESSION=alpha env-override + localStorage ALPHA_SESSION_SPIKE=1;rollback contract 全链路真机实证(SurfaceBoundary 捕获→记录→reload→env-override 恢复)。
• T2 携带项:① 探针 0ms 采样口径修正(未挂载≠violation,记 pending);② server-awareness 缺口裁决(DialogSelectServer onSelect 在 newLayoutDesigns 下 no-op;alpha 侧栏恒 pin sidecar,跨 server 点击触发 SurfaceBoundary);③ 侧栏接 Comp.preload 消冷入场。
  C1✅ C2✅ C3✅ C4✅ —— REQ-088 主实现(T2 起)现在启动。

[jinjunnn]

REQ-088 T6 takeover 共存审计:判定成立(S48,审计档 docs/audits/2026-07-13-s48-req088-t6-takeover-coexistence.md,commit cea33a1,随 S48 PR 入库)。

• 判定:ComposerTakeover / ModelPickerInject / TimelineInject 在 adapter 模式(session 叶经 ./surface/session 挂进 Alpha 外框)按 DOM 继续生效,「挂载方式无关」成立。依赖三条结构不变量:① takeover 为 AppInterface children 在 router root 挂载一次,与 surface 注入通道正交;② 观察面全部 document 级(body MO + capture 事件 + 全局选择器);③ adapter 在同一 document 渲染同源叶(seam XOR + 窄导出 + 无 iframe)。
• 静态钉测:takeover-adapter-coexistence.test.ts 19 用例/45 断言(含 composer 锚点 knownDead 假死缺口补钉、Kobalte Portal 契约、timeline manifest 外锚点、observer 基线=3 红线)。门禁:19/19 绿(已在 upstream-sync 后新基点 4cc65aa 复验),全量 bun test src 1267 pass,typecheck 干净。
• 退役时点裁决(草案,审计档 §4):去激活/删除两级阶梯——ComposerTakeover Stage C-1(workspace 自渲染 AlphaComposer 的同一 PR 必须带 surface-mode gate,AC8 红线)→ C-2(发布态升 alpha + fallback 观察期后);ModelPickerInject REQ-088 内不具备去激活条件(命令注册面属上游叶,归 REQ-089/091);TimelineInject 按分项迁移清单退役,「在面板打开」pill 为 REQ-088 内首个可裁决项。
• 给 T2 的宿主红线(§3):R1 活叶包裹保持普通流(禁 display:none/position:fixed 包活叶);R2 chrome 一律 data-alpha-* 命名空间(禁与上游锚点同名);R7 takeover 不得移进叶/workspace 内。
• 观察项 O1/O2(双模式同现,不阻塞):真机探针 P3/P4(审计档 §5)顺带取证后回贴处置。

[jinjunnn]

REQ-088 T2 + T3/T4 完成(S48,分支 feat/181-req088-session-adapter,commits 5d6fc77/ae1db6e4/3e73a2da)。

T2 AlphaSessionWorkspace 正式化(取证档 docs/audits/2026-07-13-s48-req088-t2-session-workspace.md):

• spike frame → 正式 session-workspace/:chrome(项目 basename + 会话尾 8 位 + Alpha 徽标,零 upstream context)+ SurfaceBoundary(语义不变)+ CrossServerGuard + 窄导出叶(全仓唯一消费点随迁,§6 断言升级为全 renderer 步进扫描)+ 双闸工厂(闸关 = 上游默认叶);发布态保持 legacy。
• C4 三携带项落地:①探针 0ms 口径修正(未挂载=pending 不计 violation,summary() 新增 pendingSamples);②server-awareness 最小安全解 = CrossServerGuard 有界引导卡(识别不到一律 rethrow 回 SurfaceBoundary,不污染 T5 auto-fallback 崩溃记录;侧栏按 server 禁用因 server.v3 上游私有 persist 无合法读取通道,归 REQ-089/091);③侧栏三处接 preloadSessionLeaf(hover/openSession/startChat,legacy 同受益零重复打包)。
• T6 宿主红线钉测 14 用例:R1 普通流 + 禁 display:none/position:fixed、R2 data-alpha- 命名空间 + 11 个上游锚点 token 零出现、R7 + Stage C-1(不 import 三 takeover / 不渲染 AlphaComposer)。
• 门禁:bun test src 1287 pass(基线 1267)/ typecheck 干净 / verify-freeze-restore.sh base-3 全绿 / alpha-check.sh 三门全绿 / electron-vite build ✓(叶仍单一 lazy chunk)。

T3/T4 live 对比与预算判定:全 PASS,行为差异 0(证据档 docs/audits/2026-07-13-s48-req088-t3t4-live-adapter-comparison.md):

• 方法论:harness 自有 webhost 复刻冻结 entry.tsx 运行态,经包根公开 surfaces prop 注入真 AlphaSessionWorkspace,零冻结文件改动;两半边同 host/引擎/Chromium/会话数据,唯一差异 = 双闸;历史锚点 legacy-baseline.json 未动且经 frozen-legacy 复采校验 host 中性。
• T3(spike §7 OPEN 全项,双边两连跑):AC5 长 timeline 锚定/AC6 terminal 生命周期/permission+abort/AC4 运行时(SSE 1、PTY 0 增长)/焦点返回/CrossServerGuard live 补测——全项一致;recover-clone 孤儿双边恒 1。
• T4 预算:mount +1.5%(< legacy 自身波动)、订阅 1=1、heap −1.0% 无泄漏、滚动 p95 同带(双峰量化判读)、孤儿 PTY 1≤1 —— 全指标 PASS。
• OPEN(无 FAIL):CrossServerGuard rethrow 半边留 T5 演练;webhost≠Electron 生产态差异面 mode 无关归 T5;web 下 fatal 上报 no-op 仅上报侧。

T5 输入判定:C1–C4 + T3/T4 ⇒ 升 auto-fallback 的行为/性能障碍已消除,剩余闭环 = Electron 端到端灰度 + 回退演练。视觉验收 + T6 探针 P1–P6(含 O1/O2 处置)取证进行中,完成后随 S48 PR 收口。

[jinjunnn]

S48 收官:REQ-088 主实现已合并(PR #248,squash)。

• 视觉验收 + P1–P8 真机矩阵全 PASS(证据 docs/audits/2026-07-13-s48-req088-visual/):P8 布局同构(修复前 FAIL 实证:外框缺 width 契约→面板 111px/死区 1154px;af894fc8 修复后与 legacy 逐像素相等,仅 +30px chrome);P7 审查面板定性 = 上游默认折叠 UX+宽度坍缩同根,非 adapter 回归;P1 takeover 四断言/P2 发送链路/P3 装饰/P4 picker/P5 legacy 对照/P6 稳定性全绿,console 0 error。
• 发布态:SURFACE_RELEASE_STATES.session 保持 legacy,双闸不变。T5(auto-fallback 阶梯+灰度+回退演练)与 T7(spike 清理)为本 issue 仅存事项,C1–C4+T2/T3/T4/T6 全部完成——T5 的行为/性能障碍已消除(T3/T4 档判定)。
• 验收发现三项(双模式同现的既有问题,非本 PR 引入,待立项/维护修):
  • O1(需尽快修):ModelPickerInject 弹层锚定全局静默失效——上游 Kobalte 改版后 data-popper-positioner 不存在,CSS 复合选择器永不匹配,home+session、legacy+adapter 全部回落默认位。归 ModelPickerInject 维护修(CSS 与 JS parentElement 兜底同步)。
  • O2(证实死路径):TimelineInject captureSend 读隐藏上游 composer,/xxx 真实命令后 .a-cmd-chip 0→0;建议先摘捕获监听、保留 localStorage 折叠渲染(退役清单 §4.3 更新)。
  • O3(新发现死路径):dirgrid 目录网格——上游已把 read/glob/grep/list 折叠进 context-group 仅渲染标题行,装饰无处附着;可提前摘除。