backend-ts/src/logic-bug-review-2026-11-04.spec.ts
Rama main · réplica de lectura del repositorio original.
/**
* 2026-11-04 逻辑 BUG 审查的验证用例（对应 docs/code-review/2026-11-04-logic-bug-review.md）。
*
* 每个用例按「正确行为」书写。初评为未修复缺陷时用 `bugIt = it.fails` 固化为
* expected-failure（CI 绿色）；**2026-11-04 当日全部修复后转正为普通 it**——
* 本文件即 6 条缺陷的回归测试，任何修复回退都会在此显红。
*
* 说明：BUG-1 的修复是进程级时区对齐（main.ts 最早处 import
* './config/process-timezone.js' → process.env.TZ='Asia/Shanghai'）。本文件同款引入
* 该生产模块复现此前提，再对真实 monthStartLocal/currentPeriodLabel 断言月初边界
* 时刻的输出——宿主时区为何都不影响结果。vitest 3 默认 forks 池按文件隔离进程，
* TZ 副作用不会泄漏到其他 spec。
*/
import { mkdirSync, rmSync, writeFileSync } from 'node:fs';
import { tmpdir } from 'node:os';
import { join } from 'node:path';
import { mkdtempSync } from 'node:fs';
import { afterEach, describe, expect, it, vi } from 'vitest';
// 与 main.ts 入口同款：先把进程时区对齐到 Asia/Shanghai（生产修复机制本身）
import './config/process-timezone.js';
import {
APPROVAL_RULE_DENY_TOKENS_SEED,
buildApprovalHint,
containsDenyToken,
} from './approval-rule/approval-rule-normalize.js';
import { currentPeriodLabel, monthStartLocal } from './budget/budget.service.js';
import { EnvVariableService } from './env/env-variable.service.js';
import type { EnvVariableRepository } from './env/types.js';
import { GrepSearchTool } from './harness/tool/impl/grep-search-tool.js';
import { PathSandbox } from './harness/safety/path-sandbox.js';
import { LlmCallService } from './usage/llm-call.service.js';
// ────────────────────────────────────────────────────────────────────────────
// BUG-1 预算月度窗口时区：进程级 Asia/Shanghai 对齐后，月初边界归上海日历月
// ────────────────────────────────────────────────────────────────────────────
describe('BUG-1 预算月度窗口时区', () => {
// 北京时间 2026-11-01 02:00 = UTC 2026-10-31 18:00：未对齐时 getMonth 取 UTC 的 10 月
it('月初边界时刻 since 应为上海 11 月初，而非宿主本地月的 10 月初', () => {
const boundary = new Date('2026-11-01T02:00:00+08:00');
expect(monthStartLocal(boundary)).toBe('2026-11-01 00:00:00');
});
it('同一时刻的 period 标签也应为上海 11 月', () => {
const boundary = new Date('2026-11-01T02:00:00+08:00');
expect(currentPeriodLabel(boundary)).toBe('2026-11');
});
});
// ────────────────────────────────────────────────────────────────────────────
// BUG-2 审批 denylist 词匹配无 basename 归一：/bin/rm 绕过
// ────────────────────────────────────────────────────────────────────────────
describe('BUG-2 denylist 绝对路径绕过', () => {
// 注意：seed 中的 '-rf' 会命中 '/bin/rm -rf' 的第二 token，掩盖 basename 缺失；
// 需用无 '-rf' 的命令隔离：'/bin/rm x'（仅 rm）或 '/usr/bin/sudo'（无 -rf）。
it('containsDenyToken 应识别 /bin/rm（无 -rf 时）', () => {
expect(containsDenyToken('/bin/rm /tmp/victim', APPROVAL_RULE_DENY_TOKENS_SEED)).toBe(true);
});
it('containsDenyToken 应识别 /usr/bin/sudo', () => {
expect(containsDenyToken('/usr/bin/sudo apt update', APPROVAL_RULE_DENY_TOKENS_SEED)).toBe(true);
});
it('buildApprovalHint 对 /bin/rm 应返回 null（不可放行）', () => {
expect(buildApprovalHint('shell', '{"command":"/bin/rm /tmp/victim"}', APPROVAL_RULE_DENY_TOKENS_SEED)).toBeNull();
});
});
// ────────────────────────────────────────────────────────────────────────────
// BUG-3 denylist 扫描对象被截断为 512 字符：长命令尾部绕过
// ────────────────────────────────────────────────────────────────────────────
describe('BUG-3 denylist 512 截断绕过', () => {
it('rm 位于第 512 字符之后时仍应命中 denylist（buildApprovalHint 必须为 null）', () => {
const cmd = `echo ${'a'.repeat(600)} ; rm -rf /`;
expect(cmd.indexOf('rm')).toBeGreaterThan(512);
// 实现路径是 buildApprovalHint（先 normalize 截断再扫），直传 containsDenyToken 未截断预期为预期内 true，不作本用例证据。
expect(buildApprovalHint('shell', JSON.stringify({ command: cmd }), APPROVAL_RULE_DENY_TOKENS_SEED)).toBeNull();
});
it('长命令中 rm 在 512 之后时 buildApprovalHint 必须为 null', () => {
const cmd = `echo ${'a'.repeat(600)} ; rm -rf /tmp/x`;
expect(buildApprovalHint('shell', JSON.stringify({ command: cmd }), APPROVAL_RULE_DENY_TOKENS_SEED)).toBeNull();
});
});
// ────────────────────────────────────────────────────────────────────────────
// BUG-4 兜底价格缓存把「查库异常」也当「模型不存在」缓存 60s
// ────────────────────────────────────────────────────────────────────────────
describe('BUG-4 价格兜底异常负缓存', () => {
it('lookup 抛异常时不应把 null 写进价格缓存（60s 内后续调用仍应重试）', async () => {
let calls = 0;
const svc = new LlmCallService(
{ insert: vi.fn(async () => 1) } as never,
undefined,
undefined,
async () => {
calls++;
if (calls === 1) throw new Error('DB connection jitter');
return { priceInput: 1, priceCacheRead: 1, priceCacheWrite: 1, priceOutput: 1 };
},
);
const base = {
modelConfig: { id: 42, modelId: 'm-42' },
stream: false,
usage: { promptTokens: 100, completionTokens: 50, totalTokens: 150 } as never,
success: true,
errorMessage: null,
firstTokenMs: null,
durationMs: 10,
retryCount: 0,
systemPrompt: null,
toolsJson: null,
};
// 第一次：lookup 抛异常 → costMicros 应为 null，且不可缓存
await svc.record(base);
// 第二次（同一进程、60s 窗口内）：lookup 恢复，costMicros 应非 null。
// 当前实现缓存了 null，第二次仍 null 而 lookup 只被调用 1 次。
await svc.record(base);
const inserted = (svc as unknown as { repo: { insert: ReturnType<typeof vi.fn> } }).repo.insert.mock.calls;
const secondCost = inserted[1]?.[0]?.costMicros;
expect(secondCost).not.toBeNull();
expect(calls).toBe(2);
});
});
// ────────────────────────────────────────────────────────────────────────────
// BUG-5 环境变量缓存把「查库失败」缓存为空数组
// ────────────────────────────────────────────────────────────────────────────
describe('BUG-5 环境变量失败缓存', () => {
const tmp = mkdtempSync(join(tmpdir(), 'mao-env-bug-'));
afterEach(() => { /* 单用例内自清 */ });
it('listUser 失败时不应把空数组写进缓存（5s 内后续 resolve 仍应拿到变量）', async () => {
let userCalls = 0;
const { encryptAesCbc } = await import('./crypto/aes-cbc.js');
const secret = 'test-secret-1234567890123456';
const goodRow = {
id: 1,
userId: 7,
envKey: 'MY_API_KEY',
envValue: encryptAesCbc('sk-test', secret),
note: null,
};
const repo = {
listSystem: vi.fn(async () => []),
listUser: vi.fn(async () => { userCalls++; if (userCalls === 1) throw new Error('db jitter'); return [goodRow]; }),
listWorkspace: vi.fn(async () => []),
} as unknown as EnvVariableRepository;
const svc = new EnvVariableService(
repo,
secret,
tmp,
{ shellEnvVarsEnabled: async () => true },
undefined,
);
const first = await svc.resolveForSession(7, tmp);
// 第一次失败 → {} 可接受；关键是第二次必须重试查库并注入变量，
// 不能因缓存了 [] 而直接返回 {}
const second = await svc.resolveForSession(7, tmp);
expect(first).toEqual({});
expect(second.MY_API_KEY).toBe('sk-test');
expect(userCalls).toBe(2);
rmSync(tmp, { recursive: true, force: true });
});
});
// ────────────────────────────────────────────────────────────────────────────
// BUG-6 grep_search 负数参数未校验
// ────────────────────────────────────────────────────────────────────────────
describe('BUG-7 grep_search 负数参数', () => {
it('max_output_chars=-10 应报错或钳制，而非返回干净的「0 命中」', async () => {
const root = mkdtempSync(join(tmpdir(), 'mao-grep-neg-'));
mkdirSync(root, { recursive: true });
writeFileSync(join(root, 'a.txt'), 'hello');
// JS 路径（无 rg 时）+ 负上限：charsUsed(0)+size > -10 恒成立 → matches=[] 且无 error
const tool = new GrepSearchTool(new PathSandbox(root));
const out = JSON.parse(await tool.execute(
JSON.stringify({ pattern: 'hello', path: root, max_output_chars: -10 }), root,
)) as { error?: string; matches?: unknown[]; total_matches?: number };
// 正确行为：负数参数应 error（或钳到合法下限后仍返回命中）。当前静默 0 命中会让模型误判「无结果」。
expect(out.error).toBeDefined();
rmSync(root, { recursive: true, force: true });
});
});