/** * 接线断言:服务端 409 里说「本会话是 full 档」时,桥必须**放行**而不是拦。 * * # 为什么需要这条 * * 409 原本只有一个含义:「这条任务链上没有人类,永远不会有人来点头」→ 当场 block。 * 但 `handler/permission.go` 在**档位不该问人**时也回 409,并在回包里带上 * `permission_mode`。两种 409 的正确反应**相反**: * - 无人可问 → 拦(模型改道走不需要授权的办法); * - full 档 → **放行**(本档工具调用无需审批;拦了就是把能干的活干死)。 * 混为一谈时,一条 full 档会话只要有一封补投邮件(档位漏传 → 默认 workspace), * 这一轮 bash/write/edit 全被拦死。 * * # 为什么读源码而不是跑起来 * * 与 `permission-forward-wiring.test.mjs` 同一个理由:worker 是**子进程入口**、 * 不是可导入的模块(没有 export,靠 `process.on('message')` 接活)。要跑起来需要 * 造一个假的 pi 运行时 + 走完整轮次,改动面远大于这里要钉的一件事: * 「那个放行分支还在、且认服务端给的档位」。 * * # 判据自检 * * 一个永远为真的接线断言比没有更糟,所以下面先证明「拿掉该分支的源码喂给它,它会红」。 */ import assert from 'node:assert/strict'; import { readFileSync } from 'node:fs'; import { dirname, join } from 'node:path'; import { test } from 'node:test'; import { fileURLToPath } from 'node:url'; const HERE = dirname(fileURLToPath(import.meta.url)); const WORKER = readFileSync(join(HERE, '..', 'src', 'worker.mjs'), 'utf8'); /** 从 409 分支里取出「放行」那一支的正文(按花括号配对,不看窗口) */ function releaseBranch(src) { const at = src.indexOf("if (e?.status === 409) {"); if (at < 0) return ''; const open = src.indexOf('{', at); let depth = 0; for (let i = open; i < src.length; i++) { if (src[i] === '{') depth++; else if (src[i] === '}') { depth--; if (depth === 0) return src.slice(open + 1, i); } } return ''; } test('★ 409 说 full 档时放行;plan / 无人可问仍 fail closed', () => { const branch = releaseBranch(WORKER); assert.ok(branch.length > 200, '要能取到 409 分支的正文(取不到说明结构变了,判据要跟着改)'); assert.match(branch, /permission_mode\s*===\s*MODE_FULL/, '409 分支要认服务端回的 permission_mode(回包里有真实档位)'); assert.match(branch, /return;/, 'full 档要**放行**(返回 undefined = 不拦截)'); // 放行必须排在构造 block 之前:否则 reason 先被建出来,逻辑上仍是拦 assert.ok(branch.indexOf('MODE_FULL') < branch.indexOf("block: true"), '放行分支必须在 block 之前'); // 其余 409 照旧拦,并把服务端原文当理由(模型据此改道) assert.match(branch, /block: true/, '非 full 的 409 仍要当场拒绝'); assert.match(branch, /b\.error|b\.detail|b\.suggestion/, '拒绝理由要带服务端原文'); }); test('★ 判据自检:把放行分支拿掉,上面那条必须红', () => { const crippled = WORKER.replace(/if \(b\.permission_mode === MODE_FULL\)[\s\S]*?\n\s*\}\n/, ''); const branch = releaseBranch(crippled); const wouldFail = !/permission_mode\s*===\s*MODE_FULL/.test(branch); assert.equal(wouldFail, true, '拿掉放行分支后判据必须能判红(否则这条接线断言形同虚设)'); });