586c88f629
build(数据库): 改用 drizzle migration，加提交列表索引、清掉 Django 残留
...
Deploy / deploy (push) Has been cancelled
一条线上的三件事：让 drizzle 的迁移机制真正可用 → 用它加索引 → 用它清掉
不再需要的 Django 表，最后接进部署和 CI。
## 1. 让 drizzle-kit generate 可用
原本以为不能用：只加一个索引，generate 却吐出一堆噪音，其中 5 条
`DROP SEQUENCE auth_*/django_*` 打到生产库上会直接搞坏旧后端。
逐个查下来全是 `pull` 出的基线自己不能 round-trip，都是可修的：
- **快照里的 Django 序列**：tablesFilter 只过滤表、不过滤它们的序列。
已从 0000_snapshot.json 清掉。
- **bigint 上限精度**：pull 生成的 `maxValue: 9223372036854775807` 是 JS
number 字面量，round-trip 成 ...776000，每次 generate 都多出 10 条
ALTER COLUMN。改成字符串。
- **表达式索引的 opclass**：problem_tag_name_ci_unique 在快照里带
opclass，drizzle 自己序列化不出来，导致每次 drop + recreate。已去掉。
改完 `generate` 是干净的 no-op。
两个改不掉、只能绕的写进了 CLAUDE.md：索引 `.desc()` 生成 SQL 时会被丢
（单列索引不写方向即可，Postgres 用 Index Scan Backward 服务 ORDER BY
DESC，实测同样 0.08ms）；migrator 把所有语句包一个事务，
CREATE INDEX CONCURRENTLY 跑不了。
最容易吃亏的是 drizzle 没有 --fake-initial：对已有数据的库直接 migrate
会从 0000 跑起、撞表回滚，**而且 exit 1 但一个错误都不打印**。
## 2. 0001 提交列表索引
`WHERE contest_id IS NULL ORDER BY create_time DESC LIMIT n` 用不上现有的
contest_create_time_idx (contest_id, create_time DESC) —— Postgres 不把
`IS NULL` 当成能吃掉首列、从而继承第二列有序性的等值条件。把
enable_seqscan / enable_bitmapscan 全关掉逼它用也不肯，宁可走单列
contest_id 索引再全量排序。于是每翻一页都 Parallel Seq Scan 扫完整张表。
换成部分索引后谓词由索引自己保证，索引序就是查询要的排序序。生产快照
（12.3 万条提交）实测首页取 10 行：61.8ms / 读 18936 blocks →
0.22ms / 读 34 blocks。端到端 94ms → 6ms。
真正要命的不是单次 61ms，是每个请求都要把 169MB 的表刷一遍
shared_buffers —— 一节课几十个学生同时开提交列表，磁盘和缓存直接被打穿。
## 3. 0002 删掉 Django 残留
确认旧 Django 后端不再使用、也不再作为回滚路径。删前核实过：没有任何
OJ2 保留的表引用这 7 张，3 条外键全在它们内部（所以不用 CASCADE，真有
漏网的会报错而不是被悄悄级联掉）；5 个序列都由各自的表 owned，随
DROP TABLE 一并消失；数据全是 Django 自身元数据。tablesFilter 随之移除。
**回滚路径就此作废** —— CLAUDE.md 开头和 runbook 的「回滚保证」「七、回滚」
都改了。这条迁移已在本机 dev 库和生产快照副本上跑通，**生产库尚未执行**。
## 4. migrate 接进部署与 CI
deploy.sh 在构建之后、起栈之前跑 `oj2-api migrate`，失败就中止部署（旧
容器原样还在跑）。CI 走的也是 deploy.sh，所以不用给 GitHub 配数据库凭据，
也不用把生产库对外开放。
迁移文件**不内嵌进二进制**，随镜像装在 /usr/local/share/oj2/migrations。
这样 drizzle 的 migrate() 能原样用 —— 靠 _journal.json 自动发现，新增迁移
不用改任何代码，和 Django 扫 migrations/ 是一回事。内嵌就得为每条迁移
手写一行 import，那是迟早会漏的账。（CLAUDE.md 里「单二进制不能读文件」
那条讲的是 node_modules 和 import.meta.dir 推路径，按显式绝对路径读一个
数据目录不在此列。）
三道闸门，都是写完测出来才补上的：
- **破坏性迁移拦截**：DROP TABLE / DROP COLUMN / DROP SCHEMA /
ALTER COLUMN ... TYPE / TRUNCATE 命中就退出 4，需要
`OJ2_ALLOW_DESTRUCTIVE=1` 显式放行。DROP INDEX / DROP CONSTRAINT 不算，
拦了只会让人习惯性带上放行开关。扫描前先剥注释，避免误报。
- **基线缺失**：退出 3 并直接打印该敲的 SQL。注意判的是
`max(created_at) < 0` 而不是「表不存在」—— 表存在而为空（上次迁移失败
留下的）同样是没基线。
- **迁移目录读不到**：这是最可能犯的错（Dockerfile 漏拷），原本是 drizzle
的堆栈，现在直接说该检查哪一行。
另外发现 0000_crazy_gateway.sql 是 pull 的产物，**整份被 /* */ 包着，
可执行语句 0 条**，所以这个库根本不能靠迁移自举建表。原先写的「空库就从
0000 建」跑起来会炸在一个和真实原因毫不相干的 unterminated /* comment 上。
现在如实说明：结构只能来自 docs/specs/schema.sql 或生产 dump。
验证：镜像内编译（ARTIFACTS=build）出的真实镜像跑完五种场景 —— 拦截、
放行、幂等、无基线、漏拷目录，全部符合预期；dev 形态同样五种场景全过。
tsc / 路由遮蔽 / deploy.sh 语法 / generate no-op 都通过。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-26 07:56:30 -06:00
2ee61756b8
perf(提交列表): count 去掉无谓 join、只取序列化用得到的列
...
用户反馈「HEADER 点提交后页面空白一段时间才有数据」。拿生产快照
（12.3 万条提交 / submission 表 169MB）在本机实测，问题分两头。
**后端**（本次改的）：
- count 无条件 `innerJoin(problem)`，但 problem 只有按题号筛选时才出现在
where 里。带 join 的 count 走 seq scan 78ms，去掉 join 走索引 7.5ms。
- 行查询 `select submission.* + problem.*` 把两张表所有列都拉回来，包括
submission.code（学生源码）、info、ip，以及 problem 的 description /
hint / samples / answers / flowchart_data / sql_display —— 这些字段 map
的时候一个都没用上。改成只 select 需要的列。
canViewSubmission 的参数类型随之从整行 $inferSelect 收窄成实际用到的
字段，完整行结构上仍然满足，详情接口调用不受影响。
公开列表和比赛列表两处是同一份代码，一起改了。
**前端**：
- list.vue 静态 import 了四个只在默认关闭的 n-modal 里用的组件，其中两个
统计面板还只有老师看得见。光 chart.js 就 197KB，进页面前必须先下完。
改成 defineAsyncComponent 后本路由增量下载 675KB / 59 个文件 →
375KB / 43 个文件。
- n-data-table 没传 :loading，等接口这段时间表格就是一片空白，连转圈都
没有 —— 这是「页面空白」最直接的观感来源。用 try/finally 包，接口抛错
不会把转圈卡死。
- isAuthed 变化时重复拉了一次今日提交数。它不看登录态，onMounted 那次
就够了。列表本身仍然重拉（要更新提交编号列的可点击状态），那次不是
浪费；本想用 userStore.isFinished 把首次请求延后，但 getProfile() 一旦
reject，isFinished 会永远停在 false，匿名用户就再也看不到列表了。
还有一个更大头的原因是索引用不上，导致每次翻页全表扫 169MB，那部分
需要加索引，走下一个提交。
验证：起真实 API 打生产快照，匿名 / 已登录 / myself / 题号筛选 /
语言+状态 / today / offset=5000 / 比赛列表全部 200，响应体大小前后一致
（2990 bytes），字段没丢。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-26 07:55:47 -06:00
a9332df6bd
update
Deploy / deploy (push) Has been cancelled
2026-08-26 00:28:18 -06:00
7b6bfeb6fb
fix(标签): /problem-tags 计数漏过滤隐藏题和赛题
...
Deploy / deploy (push) Has been cancelled
标签列表按题目数 > 0 过滤，但计数没有像 /problems 那样限制
visible=true 且非赛题，导致标签在首页出现、点进去却一道题都没有。
同时把旧仓库冻结政策收紧写进 CLAUDE.md：从今天起旧仓库零改动，
不再有内部小修的例外，所有后续工作只落在 OJ2。
Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com >
2026-08-26 00:22:05 -06:00
d3365ecb32
ci(部署): actions/checkout v5→v7、actions/cache v4→v6
...
Deploy / deploy (push) Has been cancelled
`oven-sh/setup-bun` 已经在最新大版本（v2.2.0 属于 v2 线），不动。
**actions/cache v4 → v6** 是这次的实际收益：v4 跑在 **node20** 上，GitHub 正在
退役这个 runtime；v6 是 node24，和另外两个 action 一致。v6.0.0 的改动是「迁到
ESM + 更新依赖」，没有输入输出上的破坏性变更。
⚠️ cache v5 起要求 Actions Runner >= 2.327.1。这里 `runs-on: ubuntu-latest`
是 GitHub 托管的、始终满足；哪天换自建 runner 要留意这条（已写进 yml 注释）。
**actions/checkout v5 → v7**：v5 本来就跑在 node24，运行时没变。两条标了
BREAKING 的改动都打不到这个工作流：
- `allow-unsafe-pr-checkout`（更安全的 pull_request_target 默认值）已经反向
移植到 v2 到 v6 所有线，v5 上本来就有；
- v7.0.0 的「block checking out fork pr」只影响 `pull_request_target` 和
`workflow_run`。
本工作流的触发器只有 `push: main` 和 `workflow_dispatch`，两者都不涉及。
版本按仓库原有习惯钉大版本号，没钉到 patch。
验证：只做了 YAML 语法校验 —— **这条工作流要真的 push 到 github 才跑得起来，
本机验不了**。下次 `git push github main` 时留意一下 Actions 那边。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-26 00:01:28 -06:00
75dd9bfa42
fix(提交): 独立的 /submission/:id 页面上「复制回到题目」抛 problemID
...
## 复现与根因
在 `/submission/<提交id>` 这个独立页面点「复制回到题目」，必抛：
Error: Missing required param "problemID"
`detail.vue` 的 `problemID` 是**可选** prop，但 `copyToProblem()` 无条件把它塞
进 `router.push({ params: { problemID } })`。三个组件调用方（提交列表弹框、
题目页提交弹框、后台 ACM 助手）都显式传了这个 prop，所以弹框里一直是好的；
而路由 `submission/:submissionID` 配的是 `props: true`，只喂得进
`submissionID` —— 那条路上这个 prop 恒为 undefined。
组件想自己兜底也兜不了：`submissionDetailSchema` 只有 `problemId`（内部数字
id），没有拼路由要用的 display id（`problem._id`）。
ojnext 里是**一模一样**的代码，不是这次重写引入的。
## 改法
后端补 `problemDisplayId`：`submissionDetail()` 本来就 join 了 problem 表，
不额外查库。前端 `props.problemID ?? submission.problemDisplayId`。
## ⚠️ 还剩一条边没关
非管理员看到的 `contestId` 是被抹掉的（`full ? contestId : null`，对齐旧后端
`SubmissionSafeModelSerializer` 的 exclude，把关的是角色不是归属）。所以**学生
自己的比赛提交**从这个独立 URL 打开时，组件判断不出它属于比赛，会跳到公开题
路由 `/problem/<显示编号>`，那里查的是 `contestId is null`，落到「题目不存在」。
改之前这条路是抛异常，改之后是跳错地方 —— 都不对，但主路径（非比赛提交）现在
是对的。要彻底关掉得让后端把 `contestId` 也发给**提交本人**（不只是管理员），
那是在动一条刻意对齐旧后端的决定，留给你定。另外这条路由**全站没有任何入口
链接**（查过了），只有直接输 URL 或外部链接才会到。
## 验证
真起服务、真点按钮：
- 修之前：点击不跳转，控制台 `Missing required param "problemID"`，
Vue 警告里能看到 `<Detail submissionID="..." >` 确实没有 problemID。
- 修之后：无异常，跳到 `/problem/1004`（那条提交对应的题），
编辑器里是这条提交的代码（`n = int(input())…`），语言也带过去了。
- 回归：走提交列表弹框（有传 prop 的那条路）照样无异常、照样跳 `/problem/1004`。
- tsc(apps/api) 0 error、check:routes 168 条无遮蔽、vue-tsc 0 error、build 通过。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 23:59:46 -06:00
dd6a6a04eb
refactor(密码): 删掉 PASSWORD_HASH_UPGRADE，无条件写 argon2
...
Deploy / deploy (push) Has been cancelled
上一个 commit 把五个写入点收进 hashPassword，顺手把开关默认值翻成了 true 并
留下 false 分支当退路。这个退路是假的，删掉。
**开关只能拦住将来，修不了已经发生的。** 等真到了要把旧站拉回来的那天，活跃
账号早就都被登录/重置密码升成 argon2 了，这时候设 `=false` 一个也救不回来。
正经退路是切换手册「万一已经改坏了」那节的脚本 —— 拿 `raw_password` 重算
Django 的 `make_password`，能修已经变成 argon2 的账号。留着一个永远轮不到它
上场的开关，只是给后来人多一件要读懂的东西。
删掉的：`config.passwordHashUpgrade`、`hashDjangoPbkdf2` 和它那套 Django 参数
（1200000 迭代 / 22 位 salt / RANDOM_STRING_CHARS）、两个 compose 里的
`PASSWORD_HASH_UPGRADE` env。auth.ts 的登录升级变成无条件。
保留的：
- `hashPassword()` —— 虽然现在只是一行 argon2，但「只有一个地方写密码」正是上
一个 commit 的重点。五处各写各的才是当初那个 bug 的根。
- `verifyPassword` 的 **pbkdf2 分支** —— 生产库 1710 个账号全是 Django 写的
pbkdf2（迭代次数 120000～1200000），只会在各自下次登录时才迁移。删了就是
全站登不上。代码注释里写死了这句话。
- 切换手册里的 `raw_password` 恢复脚本，以及回滚流程里新加的「密码要额外处理」
那一步。
## 验证
改完重跑了一遍关键路径（临时造一个 Django 生成的 120000 迭代老哈希）：
- 存量账号登录 200 → 哈希变成 argon2 → 再登 200 → 错密码 401
- 后台重置密码 → argon2 → 新密码能登录
- 注册 → argon2 → 能登录
tsc(apps/api) 0 error、check:routes 168 条无遮蔽、vue-tsc 0 error、build 通过、
两个 compose `config -q` 通过。测试用户已删干净。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 23:50:55 -06:00
694e147a21
fix(密码): 五个写入点统一走 hashPassword，默认切 argon2
...
## 那道「单向门」其实一直开着
`PASSWORD_HASH_UPGRADE` 是并行试跑第一天撞出来的补丁：新后端把 Django 的
pbkdf2 升级成 argon2 之后，旧后端验不了，登录过新站的学生回滚就登不上
（phase5 切换手册里记着这件事）。当时的修法是给**登录时的自动升级**加个开关，
默认关闭。
但写密码的地方有五个，开关只管住了一个：
POST /users 注册
PUT /admin/users/:id 管理员改密码
POST /admin/users 批量导入用户
POST /admin/users/:id/reset-password 重置密码 ← 老师天天在用
登录成功后的自动升级 ← 只有这一处受开关管
后面四处无条件 `Bun.password.hash(argon2id)`。也就是说开关关得好好的，
**老师给学生点一次「重置密码」，那个账号就回不去旧站了** —— 而「老师帮学生
查/改密码」正是这套系统的日常功能，`raw_password` 那一列存在的理由就是它。
所以那半年里「默认关闭 = 回滚安全」是个假象。
## 改法
五处统一走 `auth/password.ts` 的 `hashPassword()`，开关两个方向都变成真的：
- `true`：五处全写 argon2id，登录时把存量 pbkdf2 顺手升级掉。
- `false`：五处全写 Django 格式的 `pbkdf2_sha256$1200000$<22位salt>$<base64>`，
登录时也不动存量哈希 —— 两边都验得了。
新加的 `hashDjangoPbkdf2` 逐项对齐 Django 6 的 `PBKDF2PasswordHasher`：
1200000 迭代、22 位 salt、`RANDOM_STRING_CHARS` 字符集、sha256/32 字节。
**默认值定成 `true`** —— 旧站今天下线了，没有回滚路径要照顾。要把旧站拉回来
就先设 `PASSWORD_HASH_UPGRADE=false`，切换手册三处说明都改了。
⚠️ `verifyPassword` 的 pbkdf2 分支**永远不能删**，代码和注释里都写了：生产库
1710 个账号全是 Django 写的 pbkdf2（迭代次数 120000～1200000，跨了好几个
Django 版本），它们只会在各自下次登录时才升级成 argon2。
## 顺带：dev seed 只有学生号
`seed:dev` 只建 `student`（普通用户），本机想测后台得手工往库里塞 email 和
user_profile —— 而缺 user_profile 的表现极其隐蔽：`/api/me` 返回
profile-not-found → 前端 getMyProfile 抛异常 → localStorage 的 authed 存不进去
→ **所有 /admin 路由被守卫静默弹回首页**，不报错。我在这上面卡了很久。
现在 seed 同时建学生和超管（`devadmin` / `devadmin123`），profile 和 email 一起
建好，并且写密码也走 hashPassword。另外加了一道防呆：DATABASE_URL 不是本机时
直接拒绝执行 —— 这个脚本会重置密码并把明文写进 raw_password，其中一个还是超管，
对着生产库跑一次就是把超管密码改掉。要绕过设 `OJ2_SEED_FORCE=true`。
## 验证
全程拿**旧后端那个真的 Django venv** 对打，不是照着文档推：
- 事实核对：Bun 写的 `$argon2id$…` 在 Django 里 `identify_hasher` 抛
`Unknown password hashing algorithm ''`；换成 Django 格式 `argon2$argon2id$…`
能识别，但 `verify()` 抛 `Couldn't load 'Argon2PasswordHasher' algorithm
library: No module named 'argon2'`（旧后端确实没装 argon2-cffi）。
原注释说的「格式对了也验不了」结论对，机制略有出入。
- 双向互验：OJ2 写的哈希 Django `check_password` 通过、错密码不通过；
Django `make_password` 写的哈希 OJ2 `verifyPassword` 也认。
- 默认（argon2）：拿 Django 现造一个 120000 迭代的老哈希塞进库，登录 200 →
哈希变成 argon2 → 再登一次仍 200。
- 退路（`=false`）：同一个老哈希登录 200 且**哈希不变**；走后台「重置密码」
之后落库是 `pbkdf2_sha256$1200000$…`，**旧站的 Django 验这个新密码通过**。
- 一次 1200000 迭代约 107ms（写密码时的开销；验旧哈希的开销本来就在）。
- tsc(apps/api) 0 error、check:routes 168 条无遮蔽、vue-tsc 0 error、build 通过。
测试用户（pwtest1 / legacyuser）已删干净，本机库用新 seed 复位。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 23:47:02 -06:00
36a4663193
chore(前端): 清掉四处零引用的死代码
...
Deploy / deploy (push) Has been cancelled
按名字扫了一遍 api 层导出和 utils 常量，四处全仓零引用：
**`getContestProblem`**（admin/api.ts）—— 和紧挨在它上面的 `getProblem` 逐字
相同，同一个 URL、同一个类型。旧后端 admin 侧比赛题和公开题是两个端点，合并
之后这个壳留下来了。
**`createMessage`**（oj/api.ts）—— 两代前端都只有定义没有调用。参数名还是旧
后端那套（recipient / submission），函数体里再映射成契约的
recipientId / submissionId，等于给一个不存在的调用方写了个兼容层。
d3b05b8noreply@anthropic.com >
2026-08-25 23:32:50 -06:00
3f6b4102c9
feat(题目): 学生题目页恢复「要求」展示，走新的 astRequirements 字段
...
Deploy / deploy (push) Has been cancelled
旧后端的 ProblemSerializer.Meta.exclude 没排掉 ast_rules，学生拿到的是规则原文，
题目页上那块「要求」（「if 条件 出现 2 次」之类）是显示的。阶段 3 泄露评审刻意
收掉了它，只留 hasAstRules 布尔值 —— 报告里当时就写了：
「新的更安全，但如果 ojnext 有地方读 ast_rules 的具体内容（比如提示"必须用
for 循环"），需要补个专门的字段。」
前端确实有（ProblemContent.vue 的 astRulesForDisplay + 整块渲染），但那个字段
一直没补。结果是这块在 OJ2 上**永远拿不到数据**，代码还在、没人报错。12 道题
受影响；学生只有提交失败后才能从 statistic_info.ast_results 里看到要求。
现在按评审自己的建议补上：oj 侧题目详情（含比赛题）多一个 astRequirements，
**只有渲染要用的两个字段**：
{ description: "if 条件 出现 2 次", kind: "count" }
文案由后端生成，engine / target 这些内部字段不出现在响应里 —— 收紧保留，
展示恢复。实测响应里搜不到 "engine" 也搜不到 "if_statement"。
## 顺带合掉一堆重复
描述文案原来有两份几乎一样的实现：判题机 ast.ts 里一份（写进 ast_results）、
ProblemContent.vue 里一份（题目页用）。现在统一成 ast.ts 的 describeAstRule，
两边共用。差异只在 min/max 同时给出时的措辞（生产库里没有这种规则，实际输出
逐字不变），另外判题机现在也能用上节点类型的中文名 —— 没写 label 的规则以前
判题结果里显示 `必须使用 function_definition`，现在是 `必须使用 函数定义`。
节点类型中文名那 15 条原来在 AstRulesEditor.vue（下拉 options）和
ProblemContent.vue（NODE_TARGET_LABELS）各手抄一份，收进契约的
AST_NODE_TARGET_LABELS，编辑器的下拉现在从它生成。
前端删掉 NODE_TARGET_LABELS / ruleDescription / ruleTagType 共 ~80 行，
`Problem` 类型里那个 oj 侧根本不下发的 astRules 幽灵字段也去掉了。顺带修掉
一处潜在重复渲染：原来 message 非空时 ruleDescription 返回 message、模板里
又单独渲染一次 message（生产库 message 全是空串，所以没露出来）。
## 一个坑：契约里差点搞出循环引用
astRequirements 一开始放在 admin.ts，problem.ts 去 import 它 —— 而 admin.ts
本来就 import problem.ts。**tsc 一声不吭地过了**，运行时才炸：
ReferenceError: Cannot access 'astRequirementsSchema' before initialization
所以整块 AST schema 从 admin.ts 挪到了 problem.ts（本来也是题目域的东西），
admin.ts 反过来从那边取。这类环 tsc 抓不到，加跨文件 schema 引用时得实跑一次。
## 验证
tsc(apps/api) 0 error、check:routes 168 条无遮蔽、vue-tsc 0 error、build 通过。
起服务实打：
- 把生产库那条规则种进本地库，匿名请求 /api/problems/1001：astRequirements 是
`{"Python3":[{"description":"if 条件 出现 2 次","kind":"count"}, ...]}`，
响应里没有 astRules、没有 engine、没有 if_statement。
- 浏览器打开题目页，「要求」那块活了：`要求 | if 条件 出现 2 次 | else 子句 出现 2 次`。
- 后台编辑页展开「代码规则检查」，两条规则正常渲染成
`出现次数 | if 条件 | 精确`，下拉选项（现在从契约生成）正确。
- 直接调 describeAstRule / checkAst / astRequirements：三种 kind 分类正确，
engine 认不出的规则被丢掉，null 和非对象都回落成 null。
- oj 侧 3 页 + 后台 4 页走查无重定向、console 无报错。
冒烟改动已还原（problem 2 的 ast_rules 复位成 null）。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 23:27:40 -06:00
f919d41199
refactor(契约): AST 代码要求收进契约，三份各写各的合成一份
...
同一个形状原来在三个地方各定义了一份，三份都不一样：
apps/api/src/judge/ast.ts engine target outer inner label message exact min max
apps/web/src/utils/types.ts engine target message min max
AstRulesEditor.vue（本地） engine target label message exact min max
ProblemContent.vue（本地） engine target label message exact min max
判题机那份是真的（evaluateRule 按 engine 分支读哪几个字段），契约里则压根没有，
`astRules: z.unknown()`。后果是后台编辑器写得出 label 和 exact、判题机也认，
但 utils/types.ts 那个类型描述不了它们 —— 生产库 12 道带 AST 规则的题里，
15 条规则带 label、6 条带 exact，全都在类型之外。
现在契约里一份 astRuleSchema，四处都指向它。engine 收成枚举，列全判题机
实现的十种。**存量数据核过**：12 道题逐条过新 schema，12/12 通过。
顺带三件：
- `astRules` 的响应和请求 schema 从 z.unknown() 换成 astRulesSchema。之前
engine 写错一个字母能存进去，判题机 evaluateRule 走 `default: return null`
静默跳过 —— 老师设了规则、规则不生效、没有任何提示。现在保存时就 400，
错误信息把十个合法值列出来。
- judge/run.ts 的 astRulesForLanguage 原来是整片 `rules as AstRule[]` 硬转，
改成逐条 safeParse：认不出的丢掉那一条，行为和 evaluateRule 的 default 分支
一致，只是提前到读取处，也不再骗类型系统。
- 判题机实现了 must_have_nesting，但后台编辑器没有对应选项，目前只能手工造
数据才用得上。枚举里留着并加了注释，没有顺手去补 UI（那是加功能不是清理）。
## 验证
tsc(apps/api) 0 error、check:routes 168 条无遮蔽、vue-tsc 0 error、build 通过。
起服务实打：
- 把生产库那条带 label/exact 的规则种进本地库，后台题目详情 200、字段齐全；
原样 PUT 回去 200，库里 label 和 exact 都在（旧类型描述不了的那两个）。
- engine 传 "must_do_magic" → 400，错误信息列出十个合法值。
- 直接调 checkAst：三条规则（两条合法 + 一条 engine 认不出）进去，判题机收下
两条；两个 if/else 的代码 passed=true，一个的 passed=false，描述文案
「if 条件 出现 2 次」正确用上了 label。
冒烟改动已还原（problem 2 的 ast_rules 复位成 null，测试标签删掉）。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 23:15:52 -06:00
3f55d231c3
refactor(契约): samples / answers / testCaseScore 补回旧后端的校验
...
Deploy / deploy (push) Has been cancelled
旧后端这三个字段都是逐字段校验的（CreateSampleSerializer /
CreateAnswerSerializer / CreateTestCaseScoreSerializer），新后端一路写成
`z.record(z.string(), z.unknown())`，**比旧的松**。松出来的不只是少拦几个
错误请求，还有一处静默的落库形状漂移。
## test_case_score 会越存越胖，而且 score 变成字符串
上传接口的响应有六个键，前端 `{...entry, score}` 原样往回传。旧后端的 DRF
serializer 只认 input_name / output_name / score，多的直接丢，所以生产库
956 行 test_case_score **全部只有三个键**、7990 条 score 全部是 int
（前端算出来是 `(100/n).toFixed(0)` 这种字符串，IntegerField 收下时转了）。
新后端不做这件事，往后在 OJ2 上新建或编辑的题会存六个键、score 是字符串 ——
和旧后端写出来的不是一个形状。这列判题机不读，不影响判题，但它是回滚要
原样交回去的持久化数据，不该在这上面分叉。
现在三个精确 schema 顶上：problemSampleSchema / problemAnswerSchema /
problemTestCaseScoreSchema。zod 的 object 默认剥未知键，和 DRF 同一个行为；
score 用 `z.coerce.number().int().min(0)`，对齐 IntegerField 的收字符串转整数。
前端跟着改：`Testcase` 从 `TestCaseEntry & { score: string }`（六键+字符串分数）
换成契约的 ProblemTestCaseScore（三键+整数），三处构造点只挑落库要的键。
detail.vue 那处写成 `Number((100 / n).toFixed(0))` —— 取值和原来逐字相同，
只是不再包成字符串，分数算法一个字没动。AdminProblem 的 Omit 列表也短了两项
（samples / testCaseScore 现在契约里就是准的），只剩 answers 要把 language
收窄成 LANGUAGE。
## 顺带：一段被 @ts-ignore 压着的死代码
admin/problem/detail.vue 上传测试点那里有
// @ts-ignore
if (res.error) { ... }
—— 拿 { error, data } 信封当返回值判。上一个 commit 拆信封时正是因为
@ts-ignore 压着，vue-tsc 没报出来。res 现在是 UploadTestCaseResponse，
没有 error 这个键，这个分支永远进不去。失败本来就走 catch。
（全仓另外两处 @ts-ignore 查过了，是 skulpt 和 wangeditor 没类型定义，正常。）
## 生产数据依据
956 道题逐条扫过备份：samples 947 条 {input,output} + 9 条空数组（SQL 题没
样例）；answers 268 条 {code,language} + 633 null + 55 空数组；
test_case_score 956 条全是三键，score 全 int。收紧不会打到任何存量行。
## 验证
tsc(apps/api) 0 error、check:routes 168 条无遮蔽、vue-tsc 0 error、build 通过。
起服务实打了写路径：
- 后台题目详情 200，三个 schema 都 parse 得过存量数据。
- 故意造脏 PUT：score 传字符串 "20" + 塞进 stripped_output_md5 / input_size /
output_size，落库是干净的 `{input_name, output_name, score: 20(int)}`；
samples 和 answers 里塞的多余键同样被剥掉。
- 三个错误载荷都按预期 400：samples 缺 output、answers 缺 code、score 传负数。
- 浏览器里打开后台题目编辑页，点提交 → PUT 200 → 跳回列表，库里形状正确。
（顺带发现 tags 为空的题在编辑页点提交会被 `tags.min(1)` 挡下 400 —— 旧后端
`allow_empty=False` 也是这个行为，不在本次范围。）
冒烟改动已还原：problem 2 的 answers 复位成 []，测试用的「冒烟」标签删掉。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 23:04:41 -06:00
5c772319e9
refactor(契约): 公告两侧形状分开，判题状态码从契约派生
...
Deploy / deploy (push) Has been cancelled
## 公告：一个 schema 兼两种形态，兼出两处谎
前端 utils/types.ts 只手抄了**后台那份**公告形状，oj 侧也拿它当类型用。可
apps/api/src/routes/content.ts 的 `/announcements` 列表既不下发 content 也不
下发 visible —— 于是类型声称列表行有这两个键、运行时都是 undefined。今天没炸
只是因为组件恰好没读（正文是点开后另拉一次详情）。
契约那边则是另一头：announcementSchema 把 content 写成 `.optional()`，让一个
schema 同时兼列表和详情。代价是**详情**拿到的 content 类型也成了
`string | undefined`，组件只能 ?? 兜底。
现在两边都按后台侧早就在用的套路拆开：content 必填，列表用
`.omit({ content: true })` 派生。四个类型各归各位：
oj 列表 AnnouncementListItem 无 content、无 visible
oj 详情 Announcement 有 content、无 visible
后台列表 AdminAnnouncementListItem 无 content、有 visible
后台详情 AdminAnnouncement 有 content、有 visible
前端手抄的 Announcement / AnnouncementEdit / AnnouncementListItem 全部删掉，
AnnouncementEdit 改成从请求体派生（`CreateAnnouncementRequest & { id: number }`）。
后端 content.ts 的列表端点跟着换成 announcementListItemSchema —— 它本来就没
传 content，输出一字不变。
## SUBMISSION_RESULT 不再手抄
`-2 | -1 | 0 | ... | 10` 这 11 个码是从后端抄的，改成 `JudgeStatus | 9`：
后端那部分从契约派生，9 是前端本地的「正在提交」伪状态（后端永远不下发，
所以契约里没有，见 constants.ts 的 SubmissionStatus.submitting）。
这样 CLAUDE.md 说的「三处同步」才真的有人守：**实测过**，往
judgeStatusSchema 加一个 `z.literal(11)`，constants.ts 的 JUDGE_STATUS 立刻
报 TS2741 缺 '11' 的映射，加不上标签就编译不过。
顺带 useSubmissionMonitor.ts 里两处裸 `9`（各带一句 `// 9 = submitting`）
换成 SubmissionStatus.submitting，注释就不用写了。
## 顺手
TestcaseUploadedReturns 这个改名 re-export 去掉，直接用契约的
UploadTestCaseResponse（全仓 2 处引用）。
**没动 transforms.ts。** 之前把它记成「旧前端字段名的化石」，看下来判断有误：
filterResult 里 difficulty 要查 DIFFICULTY 映射表转中文、rate 要 getACRate 算、
status 要把 myStatus 翻成 passed/failed/not_test —— 是实打实的视图模型，不是
单纯改名。改它只会把计算逻辑挪个地方。
## 验证
tsc(apps/api) 0 error、check:routes 168 条无遮蔽、vue-tsc 0 error、vite build
通过。因为动了后端响应 schema，起服务实跑了公告的四条路径：
- curl 三个端点逐个核对键集：oj 列表无 content/visible 且只出可见的那条、
oj 详情有 content、后台列表有 visible 无 content 且两条都在。
- 浏览器里 oj 公告列表渲染正常、点开正文能出来；后台列表两行齐全；
编辑页表单载入正确；改标题保存 PUT 200，库里 title 变了、visible/top 没被
带歪，保存后跳回列表并重新拉取。
（agent-browser 的 `find text 保存 click` 打不到 naive-ui 的按钮 handler ——
不发请求也不报错，一开始误判成保存坏了。改用 DOM 上直接 .click() 就正常，
是自动化的坑，不是应用的问题。）
冒烟用的两条公告已删干净。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 22:54:01 -06:00
0b7b08f2cc
refactor(前端): 去掉 { error, data } 信封，api2 改名 api
...
Deploy / deploy (push) Has been cancelled
信封是 Django 时代的形状：拦截器手工造一个**恒为 null** 的 error 字段，再把
真正的载荷塞进 data。后端 http.ts 的 success 其实只返回 { data }，那个 error
从头到尾没人用 —— 全站成功路径读 res.error 的只有 admin/api.ts 的
resetPassword 一处，而它自己就是个把信封拆开再重新包一遍的 shim。
代价是每个调用点都要 .data 一次：47 个组件、3 个 api 层文件、200 多处。
现在拦截器直接返回 response.data.data，ApiResponse<T> 退化成 T，文件末尾那句
`as unknown as Api2Client` 的类型谎言也少了一层。失败路径不动，仍然 reject
`{ error: 错误码, data: 文案 }` —— 和成功路径不对称是故意的，成功没有错误码
可言，接口注释里写清楚了。
顺带把 api2 改回 api：utils/ 下早就没有 api.ts 了，"2" 是迁移期用来和旧
client 区分的，现在只剩下让人多想一秒的作用。
## 怎么改的
**没有全局 sed。** 先把客户端的返回类型从 Promise<ApiResponse<T>> 改成
Promise<T>，让 vue-tsc 把每一处报出来（210 条），再按它给的 file:line:col
精确删 `.data`（192 处），剩下的手工处理：
- 6 处 `const { data } = await ...` 解构 → `const data = await ...`
- 3 个 api 层函数（getProfile / getProblem / getSubmission）自己手工造信封，
改成直接返回值；getProfile 的返回类型跟着从 ApiResponse<Profile|null>
变成 Profile|null
**类型检查抓不到的，人工把剩下的每一处 `.data` 过了一遍** —— 载荷本身带
data 字段、或者载荷是索引签名时，`res.data` 照样过类型。这一遍捞出三条真 bug：
- `getTutorialList` 的载荷是 `{ [key: string]: TutorialListItem[] }`（按
python / c 分组）。索引签名让 `res.data` 编译通过、运行时是 undefined ——
改完信封之后教程列表会**两个 tab 全空且不报错**。实跑确认过修好了。
- `createExercise` / `updateExercise` 返回 `res.data`，而 Exercise 自己有
data 字段（练习内容）。两个调用方都不看返回值，所以类型和运行时都不响。
- `getSimilarProblems` 的 `.then(r => ({ ...r, data: r.data.map(...) }))`
删掉 .data 之后变成往对象里摊一个数组，能跑但形状是错的。
另外两处是**对的**，加了注释免得下次被"顺手清理"掉：
StatisticsPanel 的 `res.data` 是契约 submissionStatisticsSchema 自己的 data
字段（每个学生一行）；download.ts 是独立 axios 实例，`res.data` 是 axios 的
响应体（zip 二进制，不走信封）。
## 验证
tsc(apps/api) 0 error、check:routes 168 条无遮蔽、vue-tsc 0 error、vite build
通过。**因为这改动碰的是每一个请求，静态检查不够，起了全套服务用浏览器实跑：**
- oj 侧 12 个页面 + 后台 13 个页面逐个打开，断言没有重定向、console 无报错。
- 关键页面进一步断言渲染出了真数据（后台用户列表 3 行、题目列表 10 行、
站点配置表单三个输入框有值、教程列表分组正确）。
- 三条写路径实打：重置密码（库里 student123 → 531554，表格当场刷新）、
公告可见性开关（走 getAnnouncement + editAnnouncement，就是手改解构那处，
库里 visible t → f）、提交代码（POST → 判题机真跑出 -2 → 提交列表和详情页
都正确渲染状态、语言、代码）。
- /rank 有一条 `{error: "class-missing"}` 的未捕获 reject，stash 掉本次改动
复现同样报错，**是既有问题**，不在本次范围内。
本地 dev 库为了打通后台测试改了三处，都只影响本机：devadmin 补了 email 和
user_profile 行（原来缺这两样，getProfile 报 profile-not-found，AUTHED 存不
进去，所有 /admin 路由被守卫弹回首页）、密码重置成 devpass123。冒烟用的教程/
公告/提交三条测试数据已删干净，题目和用户的提交计数也回滚了。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 22:42:20 -06:00
b35118f32e
update
Deploy / deploy (push) Has been cancelled
2026-08-25 21:21:20 -06:00
66d51dfd83
chore(账号): 删掉没人调的 refreshUserProblemDisplayIds
...
Deploy / deploy (push) Has been cancelled
oj/api.ts 里那句 `// TODO: 这个API有问题` 是从 ojnext 原样搬过来的，**说的是
旧后端的 bug，移植时已经修掉了**。旧的 ProfileProblemDisplayIDRefreshAPI：
ids = list(acm_problems.keys())
display_ids = [... filter(id__in=ids, visible=True).values_list("_id")]
id_map = dict(zip(ids, display_ids))
zip 把「dict 键顺序」和「查询返回顺序」硬凑成对，题目一旦被隐藏或删除
display_ids 就比 ids 短 —— 轻则编号张冠李戴写进库，重则 id_map[k] KeyError。
account.ts 那版是按 id 建 Map、查不到就不动，是对的。留着这条 TODO 只会让
下一个人去查一个不存在的 bug。
顺带查出来：这个函数**两代前端都只有定义、没有任何调用点**。端点清单把
/api/profile/fresh_display_id 标成「前端有调用」是提取脚本匹配到了函数定义
里的 http.get 字面量，不是调用，属于假阳性。前端这个死导出删掉。
后端端点保留 —— 教师改了题目编号之后，学生 acm_problems_status 里缓存的
_id 只有它能刷，是这份缓存唯一的入口。加注释写清它是干嘛的、为什么现在没人
调（要接 UI 从这儿开始）、以及旧后端那版错在哪。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 19:02:37 -06:00
9653f1541a
refactor(契约): SQL 展示数据进契约，topReaction 收成枚举
...
d3b05b8noreply@anthropic.com >
2026-08-25 19:02:25 -06:00
ed9d9f65bf
chore(部署): deploy.sh 结尾别再把 NPM 当待办事项
...
Deploy / deploy (push) Has been cancelled
反代早就配好了，每次部署完还提示「还差 NPM 那一步」是噪音。改成只报站点
地址，把 Websockets Support / client_max_body_size 200M 降级成「别关」的
提醒 —— 只有改 WEB_PORT 时才需要回 NPM 动一下。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 18:36:08 -06:00
6356643cc9
ci(部署): 部署走 GitHub Actions，产物挪到 runner 上编
...
Deploy / deploy (push) Has been cancelled
服务器性能差，镜像 builder 阶段（1238 个包的 bun install + bun compile +
vite build）首次约 5 分钟，光前端就 160s。改成在 runner 上编好 dist/oj2-api
和 apps/web/dist，rsync 过去，服务器那边只剩几条 COPY。
服务器自己编的能力没有砍掉。Dockerfile 顶部加了全局 ARG ARTIFACTS：
build（默认） builder 阶段自己编，只要有 docker 就能手动部署
prebuilt 用构建上下文里现成的产物，builder 不进构建图
实现是两个 scratch 阶段归一成 /artifacts/ 布局，再用变量阶段名
FROM artifacts-${ARTIFACTS} 选一个，运行时阶段不关心产物是谁编的。
deploy.sh 加 --prebuilt：产物缺失在自检就 die；顺带检测 buildx —— 没装的话
compose 会退回 classic builder，那个不看依赖图、所有阶段挨个跑，产物白编
（结果正确但不省时间），黄字提醒不阻断。
.dockerignore 末尾放行两个产物路径，必须在 dist/ 那些规则之后，
dockerignore 是最后一条匹配说了算。
顺手删掉 apps/web/.github/ —— 从 ojnext 抄来的残留，路径不对（GitHub 只认
仓库根的 .github/workflows/）从来没跑过，内容也是 ojnext 的。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 18:30:22 -06:00
d3b05b8629
refactor(契约): 补齐 80 个类型导出，前端不再手抄形状
...
契约原来有 184 个 schema 但只导出了 104 个类型，缺的那 80 个前端只能照着
手抄一遍 —— 这是「表格列静默空白」那一类 bug 的根因（d3348f9、2edb8cf，
以及上一个 commit 修的 Top100 两列）。现在 186 个 schema 对 186 个类型，
一一对应，下次要用直接 import。
补导出是机械的（fooSchema → Foo），零命名冲突。真正有价值的是换的过程中
契约逼出来的 5 处分歧 —— 手抄那份在说谎，而 vue-tsc 拦不住，因为类型说它是对的：
- Tutorial.createdBy 手抄成了可选的 `User`（即 AdminUser，带 email、
rawPassword），后端下发的是必有的 SampleUser。读 createdBy.email 会拿到
undefined。列表页因此被迫写 `row.createdBy?.username` 和 `row.createdAt!`，
换成契约类型后两处断言都不需要了。
- TutorialListItem 手抄成 `Omit<Tutorial, "content">`，但后端列表接口连 code
一起省了 —— 类型声称 code 在。
- Testcase 手抄成 `{input_name, output_name, score}`：响应实际有 5 个字段，
且**没有 score**。score 是上传完成后前端按测试点数量平分补上去的，手抄那份
把本地字段说成了响应字段。现在写成 `TestCaseEntry & { score: string }`。
- Tag 手抄成 `{id, name}`，契约是 `{id, name, problemCount}` —— shared/api.ts
只好用 `Tag & { problemCount: number }` 把丢掉的补回来。
- CreateMessage 是旧后端按名字投递的形状（sender/recipient/submission），
契约要的是 recipientId/submissionId。全仓零引用，删掉。
同时删掉另外两个零引用的手写类型：LANGUAGE_SHOW_LABEL、UserAdminType；
本地重复的 SampleUser 换成契约的；oj/problem/list.vue 里本地第三份 Tag 改成
`ContractTag & { checked: boolean }`。
需要收窄的一律**从契约派生再收窄**，字段名跟着契约走，只有真正本地的那一两个
键是自己的：
export type Exercise = Omit<AdminExercise, "data"> & { data: 七种题型的联合 }
export type SubmitCodePayload =
Omit<CreateSubmissionRequest, "language"> & { language: LANGUAGE }
保留不动的窄化：StatisticInfo / SubmissionInfo（判题 JSONB 原文，snake_case）、
SQLDisplay*、ProblemFiltered（视图模型）、Exercise*Data（契约里 data 就是
Record<string, unknown>，七种题型结构不同，后端本来也不校验）。
types.ts 的手写 interface 从 31 个降到 22 个。
顺带修的代码：admin/tutorial/detail.vue 新建教程的表单对象缺三个后端产出的
字段，加了 TutorialEdit（对齐 BlankProblem / BlankContest 的写法）；三处测试点
上传原来是拿响应对象原地塞 score，改成 map 出新对象，分数算法一字未改。
验证：apps/api tsc(7.0.2) 0 error、check:routes 168 条无遮蔽、
apps/web vue-tsc 0 error、vite build 通过。改动绝大部分在类型层，运行时只有
测试点上传那三处（等价替换）—— **那条路径要传 zip 才能实跑，没有实打**，
只做了代码等价性核对。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 18:07:01 -06:00
78a2fb4fce
feat(排行榜): 重写全服 Top100，补上「我的排名」，后台那条挪进 admin
...
起因是 Top100 的「已解决」「提交数」两列一直空白：列的 key 还是
snake_case（accepted_number / submission_number），而数据早在 c2a8120d3348f936e4ac2noreply@anthropic.com >
2026-08-25 17:57:55 -06:00
6e905085a1
chore(依赖): 后端升到 TypeScript 7，前端被 vue-tsc 挡住留在 5.9
...
apps/api 单独嵌套 typescript ^7.0.2，`bun run --filter '@oj2/api' typecheck`
从此跑的是原生版；根和 apps/web 留在 5.9.3。api 在 TS 7 下 0 error，
另外塞了个故意写错的文件复检过，确认它真在报错、不是静默跳过。
前端升不了：vue-tsc 启动时要 require.resolve("typescript/lib/tsc")，
而 TS 7 的 exports 里已经没有这个子路径，直接
ERR_PACKAGE_PATH_NOT_EXPORTED。vue-tsc@latest 就是仓库里的 3.3.11，
还没有支持 TS 7 的版本 —— 它 peer 写的是 typescript >=5.0.0，范围太松，
装上去不报冲突、一跑就炸。读源码看到 resolveTscPath 里唯一的适配分支是认
@typescript/typescript6，可见 Vue 侧目前给的路只到 6。硬上的代价是丢掉
刚清零的前端类型门禁，不值得。
顺带清掉一处假配置：apps/web 原本声明着 "typescript": "^7.0.2"，是
ae1fb32noreply@anthropic.com >
2026-08-25 17:39:50 -06:00
0e1e024fa4
chore(依赖): 升一批 patch/minor，锁死 mermaid-legacy 和 TypeScript 大版本
...
后端：@node-rs/jieba 2.0.1→2.0.2（含精确 pin 的 -linux-x64-gnu）、
bullmq 6.0.9→6.2.2、postgres→3.4.9、sql.js→1.14.2、web-tree-sitter→0.26.13；
hono ^4.0.0→^4.13.4 与 zod ^4.0.0→^4.4.3 只是把范围收紧到实装版本。
前端：@codemirror/view→6.43.9、highlight.js→11.12.0、mermaid→11.17.2、
naive-ui→2.45.2、pinia→4.0.3、y-codemirror.next→0.3.6、vite→8.2.2、
@types/node→26.3.0。
刻意没动两个：
- mermaid-legacy（npm:mermaid@^9.4.3）保持 9.4.3，vite 的 build target
也没碰 —— 机房 Chrome < 94 的兜底，legacy polyfill 产物照常生成。
- typescript 停在 5.9.3（只把根上的范围从 ^5.7.0 收到 ^5.9.3）。
7.0.2 是 Go 原生重写版，另开一个 commit 处理。
踩到的坑记一笔：`bun install` 不清理旧的嵌套副本。升完 @codemirror/view 后
md-editor-v3/node_modules/ 下留着一份 6.43.8，vue-tsc 立刻报
dispatchTransactions 私有属性冲突 —— 看起来像版本不兼容，其实
md-editor-v3 要的是 ^6.38.2，6.43.9 完全满足。当时全仓有十几处这种残留。
**升完依赖必须 rm -rf node_modules && bun install 再验类型**，否则会
对着一堆假的类型冲突查半天。
验证（删空 node_modules 重装后）：apps/api tsc 0 error、check:routes 167 条
无遮蔽、apps/web vue-tsc 0 error、vite build 通过、单二进制在仓库外起得来
并打库返回真数据、jieba 原生模块 dev 与编译两种形态都验过、BullMQ 两个
worker 正常 ready。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 17:39:06 -06:00
a03e22e60f
chore(前端): 删掉三个从 ojnext 搬来就没人用的文件
...
阶段 1 是「原样搬入、不改业务代码」，所以 ojnext 里已经死掉的东西也一起
搬了过来。这三个文件全仓零引用：
- utils/permissions.ts（usePermissions / checkRoutePermission）
- oj/ai/components/StreakStats.vue
- shared/components/IconButton.vue
确认方式：在 apps/web 全部 .ts / .vue / .json / .html / .js 里搜这五个名字
（排除文件自身）零命中；两个组件也不在自动生成的 components.d.ts 里，
permissions.ts 的两个导出同样不在 auto-imports.d.ts 里 —— 也就是说
它们连自动导入的注册都没拿到，不存在「模板里隐式用到」的可能。
permissions.ts 在 ojnext 里也是死的，不是搬运过程产生的。
vue-tsc 0 error，vite build 通过。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 17:37:58 -06:00
25c6e99c54
feat(后台): 补回「最高票评价」列，重写时漏掉了
...
管理端题目列表的「反馈」列一直是空的：前端渲染逻辑还在，后端两处
硬编码 topReaction: null —— 旧后端的 reaction/services.py:get_top_reactions
没有跟着迁过来，阶段 0 的清单也没抓到。
新增 services/reaction.ts，口径逐条对齐旧实现：
- 按 (problem_id, type) 分组计数，取票数最高的那个；
- 并列时按 reactionKeySchema 的定义顺序取靠前的，与前端 REACTIONS 的顺序
一致（旧后端是 TYPE_ORDER，已核对两边七个 key 的顺序与内容完全相同）；
- 只返回有评价的题目，没有的题调用方兜 null。
比库里可能残留、但前端已经下掉的类型多了一道跳过：不跳的话一个不再展示的
类型会以并列最优的身份把真正的最高票挤掉。
只有公开题列表下发，比赛题列表不下发 —— 与旧后端一致（旧的 top_reaction
只出现在 ProblemAPI，ContestProblemAPI 没有），前端那一列的注释也是这么写的。
实测：造 3 票 learned + 1 票 too_easy 取到 learned/3；interesting 与
too_hard 各 1 票时取到 too_hard（定义顺序在前）；插一条 obsolete_kind
不影响结果；无评价的题返回 null。探针数据已清理。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 14:08:09 -06:00
1198895b54
refactor(前端): vue-tsc 清零，type-check 可以当 CI 门禁了
...
接上 vue-tsc 时有 143 条既有错误，上一批迁移带走 89 条，这里把剩下的清完。
大部分是噪音（未使用的回调参数、死变量、少数 unknown），但里面躺着两个真问题：
- 个人主页查不存在的用户会抛：getProfile 返回 null 时后面照样取
.acmProblemsStatus，靠 `!` 压着。加了早返回。
- getProblemSetProgress 我上一批标错了类型：后台这个接口返回的是裸数组，
不是分页信封（和 oj 侧的 /user-progress 不一样）。已改正并加注释区分。
其余处理：
- 未使用的回调参数按 TS 约定加 `_` 前缀（v-for 的项、供子类重写的空钩子、
路由守卫的 from）；确认无用的局部变量直接删（clickX/clickY 算了点击位置
但飞出方向用的是随机角度，hasToday 下面已经用 lastDateOnly 判过，
prefix 算了周/月但标签里没用上）。
- App.vue 的 highlight.js 注册：Promise.all([...]).then(m => m.map(x => x.default))
会把元组塌成 (HLJSApi | LanguageFn)[]，hljs 上就找不到 registerLanguage。
改成逐个取 .default。
- 给一批 api 补上契约类型（getMetrics / getHitokoto / getTutorials /
formatCode / getProblemBeatRate / getClassUsernames 等），契约相应补了
8 个 z.infer 导出。
- ContestRank.submissionInfo 和 AcmHelperItem.acInfo 在 api 边界窄化成
SubmissionInfo —— 契约里是 Record<string, unknown>（JSONB 原文）。
- FlowchartEditor 的 TS2589：vue-flow 的 Node 嵌套太深，ref<Node[]>([]) 的
UnwrapRef 推导撞上实例化层级上限，改成 ref([]) as Ref<Node[]>。
- api2.ts 的响应拦截器**故意**不返回 AxiosResponse（要把 { data } 信封剥掉），
类型上确实说不通，没硬掰，写注释说明为什么用断言。
- 题目列表的「随机」按钮在模板里一直是注释状态，对应的 getRandom 和
getRandomProblemID 一并删除（后端 /problems/random 保留不动）。
验证：vue-tsc 0 条，apps/api tsc、check:routes、web build 全通过；
修过 key 的列都打接口确认过字段真实存在。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 14:04:10 -06:00
3d501e8b69
fix(试运行): 流程图/SQL 会往 Judge0 发出 language_id: undefined
...
Judge0 的语言 id 表里只有 C/C++/Java/Golang/JavaScript/Python2/Python3，
而 code.language 的类型包含 Flowchart 和 SQL —— 前者不是可执行代码，
后者由本站自己的 SQL 沙箱判，都走不到 Judge0。之前直接索引拿到 undefined
就发出去了。
改成 Partial<Record<LANGUAGE, number>>，取不到就提前返回提示。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 14:03:51 -06:00
d3348f994d
fix(前端): 一批表格列静默空白，题单进度点「移除」还会抛
...
没有 render 的列，naive-ui 直接按 key 取 row[key]。上一批把响应字段改成
camelCase 之后，这些列的 key 还留着 snake_case，取不到值就渲染成空白 ——
排行榜、题单进度、AI 报告、后台首页共 13 处。
这类问题类型检查够不着（列 key 是字符串），是扫「没有 render 的列 key 里
还带下划线」的组合才找出来的。
同一张表还有两处更严重的：
- 「用户」列 key 写的是 user.username，但后台 /admin/problem-sets/:id/progress
下发的是扁平的 username，没有嵌套 user。
- 点「移除」emit 的是 row.user.id —— row.user 是 undefined，直接抛，
学生根本移不掉。
test_case 那两处保留：读的是判题机 info.data 的原始键。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 14:03:51 -06:00
c2a81209d7
refactor(前端): 拆掉 camelCase→snake_case 转换层，契约成为唯一真相
...
utils/legacy.ts 是迁移期的临时层：新后端一律 camelCase，而组件读的还是
旧 Django 的 snake_case，于是在 api 层做一次递归键名重写。它自己的注释就
写了「迁移完成后这一层应当整体拆掉」。现在拆了。
代价不只是那 96 处包装：每个响应都要递归遍历整个对象重写一遍键名，而且
utils/types.ts 和 packages/contract 是两份真相 —— 手抄的那份还抄歪了好几处。
做法是按域推进，每域都用 vue-tsc 相对基线做差，确认零新增错误后再往下走。
前端的类型现在一律以契约为准，只在必要处窄化（比如 languages/template 的键
窄化成 LANGUAGE），删掉的重复定义包括 WebsiteConfig、LoginSummary、
AchievementSummary、ProblemSet、Contest、User、Profile、AdminTag、
StuckProblem 等等，其中 ClassComparison 有两个组件各手抄了一份。
## 顺带修掉的真 bug
- 管理端公告列表的「可见」开关每次都 400：列表响应被契约 omit 掉了 content，
而更新接口要求 content 必填，toggleVisible 把列表行原样回传。而且是乐观
翻转、不 await 不 catch，管理员看到开关动了、实际没存也没有提示。
改成先 GET 整条再 PUT，加失败提示。
- 删有提交的题时只显示笼统的「删除失败」：前端还在 match 旧 Django 的英文
文案，而后端返回的是 problem-has-submissions + 中文。连同另外 8 处同类
匹配一起改成判错误码 —— 文案是后端随时能改的，match 文案改一个字就静默失效。
- SubmissionStatus.time_limit_exceeded 写成 `1 | 2`，TS 按位或算成 3，和
memory_limit_exceeded 撞了同一个值。后端 judge/status.ts 里这是分开的
两个码，按后端拆成 cpu_/real_ 两项。当前没有代码读这两个成员，但
CLAUDE.md 明确要求判题状态码三处同步。
- 流程图历史翻到没有提交的那一页会直接抛：契约里 submission 是 nullable，
被 any 掩盖成看起来非空。补了 null 分支。
## 契约里被逼出来的三处不诚实
- grade 写成 z.string()，但 averageGrade() 在没有可用数据时返回空串，
前端三张图表拿它查 Record<Grade,...> 会查出 undefined。按实际收紧成
z.enum([...,""])，四个查表点都补了「无评级」分支。
- difficulty 写成 z.string()。核对过生产库 dump：956 道题只有
Low/Mid/High 三个值（761/149/46）。收紧成枚举。
- topReaction 写成 z.string()，既对不上前端渲染的 {type,count}，也对不上
旧后端 get_top_reactions 下发的形状。改成正确形状并注明当前恒传 null。
## 明确保留 snake_case 的 54 处
判题沙箱原始输出（cpu_time/exit_code/output_md5/compile_output）、
statistic_info 内容（err_info/time_cost/ast_results）、submission_info
JSONB（is_ac/ac_time/error_number，回滚时旧后端还要读）、SQL 判题引擎的
total_rows/order_sensitive/changed_tables、WebSocket 的 submission_id、
以及数据库选项键 enable_maxkb。每一处都在类型定义旁写了为什么不能改。
language 没有跟着收紧契约 —— 它是配置项、随时可能加语言，收紧会让新语言
在后端 parse 时直接抛。改在 api 边界一处窄化。
## 另外
- utils/http.ts 整个模块已是死代码（四处引用全是 import type），删除。
- profile 的 blog/github/school/major/language 五个字段全链路空转，没有
任何组件读，从契约到类型一并摘除（数据库列不动）。
- admin/account.ts 往 user_profile 塞的 totalScore 是 OI 模式遗留，表里
没这一列。Drizzle 按表定义拼列名会把它静默丢弃，所以没出过错，是死代码。
验证：vue-tsc 143 → 54 条且无新增，apps/api tsc、check:routes、web build
全通过；各域响应形状逐条打接口核对过。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 13:44:24 -06:00
b5edd6faf5
fix(比赛): 后台「审核」按钮从来不显示，老师进不去 ACM 审核页
...
判的是 `props.contest.rule_type === "ACM"`，而 rule_type 是阶段 0 砍掉
OI 模式时删掉的字段 —— 后端和契约里都不存在，`undefined === "ACM"`
恒为 false。路由、页面、接口都在（实测 acm-helper 返回 200），只有这个
入口按钮被自己判没了。
比赛只有 ACM 模式，条件直接去掉。
这条本来就在 vue-tsc 的既有错误里（TS2339: Property 'rule_type' does
not exist），只是之前没人跑，所以没人看见。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 13:43:45 -06:00
ae71055818
chore(前端): 接上 vue-tsc，模板里的字段名从此有类型检查
...
vite 不做类型检查，改错一个字段名只会在运行时变成静默 undefined ——
tsconfig.app.json 本来就 include 了 .vue，只是没人跑。装上 vue-tsc，
加 `bun run type-check`。
实测确认它能查到模板里的属性访问（往模板塞一个不存在的字段，如实报错）。
注意：它查不出模板编译错误（比如 v-model 绑了非 lvalue 的表达式），
所以 build 还是要跑，两者不能互相替代。
当前有 143 条既有错误，都是历史遗留，本次不清理。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-25 13:43:37 -06:00
604857b25e
fix(一言): 接回真数据集，之前线上返回的是三条硬编码
...
/quotes/random 在阶段 3 基线里只铺了个桩（三条写死的句子），读盘逻辑没移植，
所以 oj2.xuyue.cc 上一直是假数据——和 DATA_DIR 无关，哪儿部署都一样。
数据本来就在服务器上、位置也已经对上：旧栈挂 ./data/backend:/data，Django 的
HITOKOTO_DIR 就是它下面的 hitokoto/；OJ2 的 api 挂的是同一个目录。所以
Dockerfile 里跟着 TEST_CASE_DIRECTORY 写死 /data/hitokoto 即可，不用搬文件。
按分类懒加载并常驻，但只留前端用得上的 hitokoto/from 两个字段：原样缓存
7160 条要 2.5MB，裁完 1.4MB，而 api 容器只有 512m。读不到数据集时回落到
内置三条，不影响启动（本机 dev 默认就走这条）。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-16 10:20:00 -06:00
36e4ac2f78
fix(排行榜): top 参数吃掉了分页，全服 Top100 每页都是同样 100 条
...
/rankings/users 里 top>0 时直接 limit(top).offset(0)，limit 和 offset 全被
覆盖；total 又是全量人数，于是分页器算出几十页、页页内容相同。
改成 top 只当上限：total 按 top 截断，分页在这 N 条之内正常推进，越界页
返回空且不发 SQL。top=0（管理端）行为不变。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-16 10:08:43 -06:00
854895e162
docs(手册): 把密码哈希这道单向门写进回滚一节
...
三处：
- 第一节「回滚保证（已实测）」加了更正框：那句「零差异」只成立在表结构层面。
演练比对的是列，比不出「新站登录过的账号旧后端验不了」这种语义上的单向门。
- 第四节试跑注意事项加一条：PASSWORD_HASH_UPGRADE 必须关着。
- 第七节回滚加了前提说明，以及「万一已经改坏了」的修复步骤 ——
查范围的 SQL，加上用旧后端的 manage.py shell 从 raw_password 重算 pbkdf2。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-16 09:59:12 -06:00
face92a5dc
fix(登录): 默认不再把 Django 的 pbkdf2 升级成 argon2 —— 这是道单向门
...
试跑第一天就出事了：在 oj2 上登录过的账号，回旧站 oj.xuyue.cc 登不上，WS 也连不上
（旧站的 Channels 认 session，没登录自然连不上，两个症状同一个根因）。
`routes/auth.ts` 原来在登录成功后把 pbkdf2 哈希重算成 argon2id 写回库。问题是：
- Bun 写出来的是 `$argon2id$v=19$…`，Django 存 argon2 是 `argon2$argon2id$v=19$…`
（多一个算法标签、没有开头的 `$`）。Django 按 `$` 切第一段当算法名，拿到空串，认不出。
- 更彻底的一点：旧后端的 pyproject.toml 里**根本没有 argon2-cffi**，
格式对了也验不了。
所以这不只是双跑的问题 —— 一次性切换后的回滚窗口内同样成立：学生登录过新站，
回滚之后就登不上了。演练时比对的是表结构「逐列一致」，比不出这种语义上的单向门。
改成 `config.passwordHashUpgrade` 控制，**默认关闭**，并在两份 compose 的
environment 里显式声明 `PASSWORD_HASH_UPGRADE`（原来根本没透传，想开也开不了）。
等确定不会再回滚了再打开。
## 验证（真库真容器，不是看代码）
schema.sql 起库 + 造一个 Django 格式的 pbkdf2 用户（密码已知），跑新栈实测：
- 默认形态：登录 200，库里的哈希**仍是** `pbkdf2_sha256$260000$…`，容器里
PASSWORD_HASH_UPGRADE 为空
- 对照组 PASSWORD_HASH_UPGRADE=true：登录 200，哈希变成 `$argon2id$v=19$m=655…`
—— 正是生产库现在的样子，锁死可复现
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-16 09:57:43 -06:00
e060327de4
fix(部署脚本): sh docker/deploy.sh 会挂在 pipefail，自己换 bash 重跑
...
Debian 的 /bin/sh 是 dash，没有 pipefail，一上来就 `Illegal option -o pipefail`。
在 set 之前加一行守卫，非 bash 就 exec 换 bash 重新执行（只用 dash 也认的语法）。
实测：本机 /bin/sh 指向 bash，所以这条得在容器里的真 dash 上验 ——
带守卫的版本正常往下跑（停在 docker/.env 不存在，因为只挂了脚本没挂仓库）；
去掉守卫的对照版本在 dash 下直接 Bad substitution + 语法错误。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-16 09:37:06 -06:00
eadfa0b04a
fix(部署脚本): 改成在服务器上直接跑，加 --check
...
上一版是从本机 rsync + ssh 过去的，不是想要的形态。改成服务器上跑：
代码怎么上去（rsync / 以后的 git pull）不归它管，脚本只管起栈。
五道自检，前两道是这次在服务器上真撞到的失败：
compose 版本 ≥ 2.20 depends_on.required 是那版才有的字段
DATA_DIR 卷指向 OJ2/data → 中止（空数据，且不报错）
DB_HOST DATABASE_URL 还指着 oj-postgres → 中止
JUDGE_STATE_DIR 没设的话新旧两个判题机共用运行目录
旧栈还活着 oj-postgres / oj-redis 是新栈的上游
--check 只做只读校验，不建目录不动容器（mkdir 挪到起栈那一段了）。
## 跑出来的两个问题
1. 版本比较写反了。原来用 `sort -V -C` 判「这两行本来就有序」，结果本机
compose 5.4.0 被判成「太老」。改成取 min(2.20, ver)，在 1.29.2 / 2.19.9 /
2.20.0 / 2.24.5 / 5.4.0 / 0 六个值上逐个验过分界。
2. --check 里的 mkdir 会真的建目录，本机跑直接撞权限。挪走了。
自检全路径实跑过：旧栈没起时正确拦下；造两个同名容器冒充旧栈后全绿通过；
抹掉 DATA_DIR / DB_HOST 两条守卫都按预期中止并打出可操作的提示。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-16 09:34:39 -06:00
eb849ca5ab
fix(镜像): apt 换清华源、去掉用不上的 ca-certificates；补部署脚本
...
## apt-get update 在服务器上卡死
不是慢，是挂住不返回 —— 本机构建从来没事，所以演练没暴露。换清华源。两个细节：
- trixie 的源是 deb822 格式，在 `/etc/apt/sources.list.d/debian.sources`，
老的 `sources.list` 在这个基底里是**空文件**，改它没有任何效果。
- **只能换主机名、必须保持 http。** https 源会在这一步失败，因为镜像里还没有根证书。
`ARG APT_MIRROR` 可覆盖。
## ca-certificates 是多余的
原注释写「给 AI 接口的 https 出站用」，不成立：Bun 和 Node 一样内嵌了一份根证书，
走自己那份，不读系统的 /etc/ssl/certs。
实测：把探针二进制丢进裸 debian:trixie-slim（没有 ca-certificates）请求
api.deepseek.com，握手正常、返回 401（没带 key），和装了的镜像行为一致。
去掉之后重新构建，clang-format / ruff 都在，https 出站照旧，487MB → 483MB。
哪天镜像里加了用 OpenSSL 做 TLS 的东西（curl、wget 之类），这条要重新考虑，
注释里写了。
## docker/deploy.sh
没有 git remote 时的部署路径：本机 rsync 推代码 → 服务器上构建 → 起栈 → 冒烟。
默认不推 docker/.env（两边不是一回事，覆盖掉是静默故障），要同步显式 --env。
起栈前两道守卫，就是今天在服务器上真撞到的那两种失败：DATA_DIR 没生效（卷指向
OJ2/data）、DB_HOST 没生效（DATABASE_URL 还指着试跑形态下并不存在的 oj-postgres）。
两道守卫都用当天那份坏 env 正反跑过：齐全时放行，抹掉这两个变量时都触发。
两半的语法也都 `bash -n` 过（远端那半是 heredoc，单独渲染后再查的）。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-16 09:30:50 -06:00
1a059d0b88
feat(切换): 支持并行试跑，新站先挂 oj2.xuyue.cc 跑几天
...
设计文档写的是「不双跑不灰度」，这次改主意了。理由：「只换前后端」形态下新栈
本来就不碰数据库进程，双跑的增量风险只剩「两个后端同时写同一个库」这一条；
换来的是**正式切换退化成改一行 NPM 上游**，比停机切换更稳，回滚也不用停任何容器。
## 两个新变量
WEB_PORT 对外端口。8080 还被旧 backend 占着（机房是 81）
JUDGE_STATE_DIR 判题机运行状态目录
JUDGE_STATE_DIR 是必须的：不设的话新旧两个 judger 会同时往
`data/judge_server/{run,log}` 里写。默认值用嵌套写法跟着 DATA_DIR 走
（`${JUDGE_STATE_DIR:-${DATA_DIR:-../data}/judge_server}`，compose 支持嵌套默认值，
试过），所以一次性切换那条路径完全不受影响。
test_case 和 public/upload 仍然共享 —— 那是故意的，测试点和题面图片两边必须
看到同一份。
## 手册
新增第四节「并行试跑」，后面章节顺移（原四~九 → 五~十），两处交叉引用一并改了。
第五节拆成两条路径：试跑过的只需改 NPM 上游 + 事后停旧栈；没试跑的走原来那套。
第七节回滚同理。
试跑那节写明了三件容易踩的：NPM 的 Websockets Support 必须打开（漏了的话页面
一切正常，唯独「判题中…」永远不动，而刷新一下结果就出来，自测很难发现）、
两边登录态不互通、以及双写的是真实数据不是沙盒（别在 oj2 上办正式比赛）。
## 验证
试跑形态 `config` 解析：判题机目录落到 judge_server_oj2、端口 8090、test_case
仍指向共享的那份；不设新变量时默认值一个没变（judge_server / 8080）。
四份 compose `config -q` 全通过。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-16 09:04:16 -06:00
cbff292551
feat(切换): compose 支持「只换前后端」，接着用旧栈的 postgres/redis
...
演练把一件事盖住了：当时是把生产 dump 恢复进 `OJ2/data/postgres` 的，
所以没人发现新 compose 在 `OJ2/docker/` 下，`../data` 解析出来是 `OJ2/data`，
而旧栈用的是 `<部署目录>/data`（服务器上是 `/root/OJDeploy/data`）。
照原手册切过去，postgres 会在一个空目录上初始化一个全新的空库 —— 站点起得来，
但没有用户没有题、判题全挂、题面图片 404。旧数据完好，回滚正常，但当天会白吓一场。
## 改法
三组 env 旋钮，默认值保持原样，不影响本机和演练那条路：
DATA_DIR 所有数据卷的根，默认 ../data
DB_HOST/PORT 默认 oj-postgres:5432
REDIS_HOST/PORT 默认 oj-redis:6379
postgres 和 redis 挪进 `profiles: ["local-data"]`，默认不起 —— 否则会跟旧栈
那两个抢 5445 / 5446。配套给 depends_on 加 `required: false`：实测严格的
depends_on 碰上未启用的 profile 会让整个 project 直接 invalid，不是可选项。
代价写进注释了：自带数据形态下 postgres 起不来时 compose 只警告不中止。
给 api / worker 加 host-gateway 映射，DB_HOST 填 host.docker.internal 就行，
不用去猜 docker0 的网段。数据库流量不出本机。
school 那套的 7 个挂载点同样换成 DATA_DIR —— 机房那台也有自己的旧数据目录，
测试点和题面图片都在里面，同一个坑。
## 验证
用 docs/specs/schema.sql 起了个发布在宿主机 5445 的 postgres 冒充旧栈：
正好 4 个容器（没有 postgres/redis）、oj-api healthy、首页与 /api/site
/api/problems 200、未登录进后台 401。读写两个方向都验了 —— 那个库的
pg_stat_activity 里有来自 172.17.0.1 的 postgres.js 连接，judge_server 表里
也出现了新判题机写进去的心跳行。
四份 compose 的 `config -q` 全通过。
手册第三、四、六节按这个形态重写：停旧栈改成只 stop oj-backend / oj-judge
（旧判题机会争 data/judge_server/run，旧 backend 占着 8080），回滚变成把这两个
再 start 起来，数据库进程全程不停。
**DATA_DIR 漏填不会报错**（它有默认值），是切换当天唯一会静默走歪的地方，
手册里给了 `config | grep source:` 的自查和两种症状的区分。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-16 08:57:25 -06:00
2c6f8d11f3
fix(前端): 接回阶段 2 临时关掉、之后忘了打开的配置推送和 MaxKB
...
扫前端死代码时发现 apps/web 比 ojnext 多两个"没人调用的导出"：
useConfigUpdate 和 useMaxKB。查下去不是死代码，是**搬运时丢的接线** ——
ojnext 的 App.vue 调了这两个，apps/web 的没调，那里留着一句：
// 配置推送和 MaxKB 仍属于 Phase 3；在它们迁入前不连接旧 WebSocket。
阶段 2 因为后端还没有 /ws/config 而暂时关掉，说好阶段 3 迁完再开，然后就忘了。
阶段 3 早已完成。
表现是两个**静默**的功能缺失：管理员改站点配置后学生要刷新才生效；
知识库挂件根本不出现。都不报错，所以此前所有验证都没发现 ——
包括我昨天那轮浏览器走查，因为我不知道该期待它们出现。
## 验证
后端侧本来就是齐的（POST /admin/website 里已经调 publishConfigUpdate）。
接回来之后实测：
- 浏览器控制台出现 `[WebSocket] 连接成功: ws://localhost:8080/ws/config`
（之前根本不会连）
- 改站点名 → 收到 8 条 config_update 推送
- **页面全程不刷新，站点名从"判题狗-推送测试"自己变成"判题狗-实时生效了"**
中途我一度断言"configUpdateChannel 没有任何发布者"，那是错的 ——
路由调的是封装函数 publishConfigUpdate，我 grep 的是常量名。
## 顺带：两边前端的死代码规模已对齐
各 7 个没人调用的导出函数 + 2 个没人引用的 .vue。检测器已确认
unplugin-vue-components 只解析 Naive UI（无 src/components 目录），
本地组件必须显式 import，所以"没人 import"的判定是可靠的；
并用 3 个明确在用的导出反测过检测器本身。这批还没删。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-08 07:29:41 -06:00
9a63883f30
docs(阶段4评审): 更正一处对旧后端的错误判断
...
对照表原写 DashboardInfoAPI / RandomUsernameAPI「旧后端任何人可读，含班级用户名
枚举」——不成立。两条都在 /api/admin/ 下，AdminRoleRequiredMiddleware
（account/middleware.py:36）在中间件层就要求登录且 is_admin_role()。
「无装饰器」是真的，「任何人可读」不是。
真实缺口只是「任何管理员可读，而非仅超管」，严重度差很多。
修旧后端时按这条去查，会白改一处不存在的漏洞。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-08 06:50:21 -06:00
95625d6711
refactor: 另外两处守卫也收到注册行上
...
走查题单进度时撞到 `/problem-sets/:id/user-progress` 对学生 403 —— 那是**正确**的
（它是给教师看全班进度的），但守卫又写在 handler 体内。评审的 M3 只列了 3 处，
按同一模式扫全仓，还有 2 处：
content.ts POST /messages isSuperAdmin
problemset.ts GET /problem-sets/:id/user-progress isTeacherOrAbove
改用 requireSuperAdmin / requireTeacher，理由同 M3：守卫要能从注册行上看出来，
不然下一个人加同类端点容易漏掉那个 if。
实测档位没变：学生两条都 403，教师看全班进度 200。
路由遮蔽检查仍然干净。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-08 06:28:44 -06:00
2edb8cfb0d
fix(前端): 我改 /api2 前缀时漏了 5 处；修 4 个字段名不匹配；收紧 .gitignore
...
浏览器走查 + 真实 AI 调用暴露出来的，都是「接口好的、界面坏的」，
只靠脚本打 API 永远发现不了。
## 一、AI 功能和测试用例下载全都会 404（我今天造成的）
把 api2.ts 的 baseURL 从 /api2 改成 /api 时，只改了走 axios 实例的调用，
漏掉 5 处不走它的：
oj/store/ai.ts AI 题解分析 原生 fetch("/api2/...")
oj/problem/.../SubmissionResult.vue AI 提示 原生 fetch
oj/rank/list.vue AI 班级分析 原生 fetch
oj/class/pk.vue AI 班级 PK 原生 fetch
utils/download.ts 测试用例下载 独立 axios，baseURL "/api2/admin"
生产的 Caddy 只认 /api，这 5 条全是 404。阶段 0 的端点清单里就写着
「盲点 2：4 处用原生 fetch」「盲点 3：download.ts 是独立 axios 实例」——
我今天读过那份文档，还是漏了。
修完实测四条 AI 链路全通（真实 DeepSeek 调用）：
/api/ai/analysis 200 SSE 176 分片 5.2s start→delta→done→end 完整
/api/ai/hint 200 2.4s 且未泄露参考答案
/api/ai/class-analysis 200 12.6s
/api/ai/class-pk-analysis 200 12.6s
落库确认（ai_analysis 新增，model=deepseek-v4-flash 与旧后端一致）。
hint 对别人的提交回 404 是**正确**的，它用 userId 限定只能看自己的。
## 二、4 个字段名永久对不上（重写引入的回归）
适配器只在**大写字母**前插下划线：`top10Avg` → `top10_avg`；
而旧 Django 给的是 `top_10_avg`（数字前也有）。前端还按旧名读。
影响比"三列空白"大：`row.top_10_avg.toFixed(2)` 在 undefined 上抛异常，
Vue 放弃整个子树 —— 班级PK 和班级排名页的**整个「分层统计」面板都不显示**
（Q1/Q3/四分位距/标准差/前10%/中间80%/后10%/人数 全没了），控制台还不报错。
修完实测：前10%均值 194.80、中间80%均值 93.79、后10%均值 49.40 全部出现。
写脚本按这个规律全仓扫过，确认只有这 4 个，改完复查归零。
## 三、.gitignore 差一点把生产库提交上去
原来只忽略 data/test_case/ 和 data/judge_server/，而 compose 会在
data/postgres/ 生成**整个数据库**（含 raw_password 明文列）、data/redis/、
data/backend/（学生上传的文件）。这次 `git add -A` 报权限错误才发现 ——
只因为 postgres 容器用别的 uid、目录读不了才没提交成功。改成忽略整个 data/。
已确认历史里从没提交过这些。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-08 05:37:24 -06:00
34ae9b032c
fix(后台): SQL 测试点脚本读不出来时不能静默留一片空白编辑器
...
用浏览器把前后台走了一遍（这是第一次真的在界面上验证，之前全是脚本打 API）。
唯一找到的真问题在 SQLTestcaseEditor：
onMounted(async () => {
try { ... } catch {} // ← 静默吞掉
})
已有脚本读取失败时被 catch{} 吞掉，编辑器保持初始的 3 个空白项 ——
和「这题本来就没测试点」长得一模一样，教师完全看不出发生了什么。
改成：新题和旧格式测试点（404 problem-not-found / 409 not-sql-test-case）仍然
静默留空，那本来就是对的；其它失败挂一条 alert，并且把可操作的部分说全 ——
后端那句"测试点信息读取失败"只讲了现象，教师需要知道的是「下面是空模板、
直接存不会生效」。
保存本身是安全的，已实测：拿一道真实 SQL 题，在编辑器空白的状态下点提交，
test_case_id、测试点数（3）、sql_config 全部未变 —— 后端读不到测试点信息会
拒绝整个保存（400），不会把测试点清空。所以这条只是提示缺失，不是数据风险。
## 走查过程中的一次自我更正
中途我一度报告"保存返回 400 而界面没有任何错误提示"，那是错的：提示是正常
显示的，我第一次等了 4 秒才检查，而 Naive UI 的提示 3 秒就自动消失了。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-08 05:19:23 -06:00
516929461f
docs: 拿阶段 0 的权威清单核对交付，110/110 零缺口
...
之前那个正则脚本只能说"没发现缺口"，证明不了"没有缺口"。这次拿阶段 0 人工裁决过的
端点清单来对 —— 那 110 条 KEEP 是「必须搬」的权威名单，逐条对到新后端。
**结果 110/110 全部有对应实现，零缺口。**
87 条词元化后自动匹配上；剩下 23 条是 API 重新设计导致路径本来就对不上的，
逐条人工落实，没有一条是真的漏了。一度以为 /api/register 没实现，
查下去是改叫 POST /api/users 了。
把其中**猜不到的那 10 条改名**记进了清单（problemset → problem-sets 这类
一眼能猜的没列）。日后排查「这个功能以前的接口现在在哪」，看这张表就够了：
/api/register → POST /api/users
/api/logout → DELETE /api/auth/session
/api/hitokoto → GET /api/quotes/random
/api/pickone → GET /api/problems/random
/api/user_activity_rank → GET /api/rankings/activity
/api/profile/fresh_display_id → POST /api/me/problem-display-ids/refresh
……
最后一条 /api/judge_server_heartbeat/ → /api/judge-server/heartbeat 单独标了：
判题沙箱镜像是原样复用的，靠 compose 的 BACKEND_URL 找后端，改这条要同步改
compose，否则判题机静默离线。已核对三套 compose 都是新路径。
也写明了方法的局限：词元匹配只能提示「这两条像是同一个」，证明不了行为一致 ——
行为一致靠的是两轮独立评审和阶段 5 的实跑演练，不是这张表。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-08 04:11:39 -06:00
967e9ef7f7
feat: 路由遮蔽检查脚本；切换前把前后端接口逐条对了一遍
...
## 切换前核对：前端调的接口后端有没有漏
写脚本把前端 224 个调用点和后端注册的路由逐条比对。**零缺口** —— 唯一报出来的
一条是我的正则被嵌套括号截断了（`users/${encodeURIComponent(...)}/badges`），
后端那条路由是有的。「后端有、前端没调」那 25 条也逐个看过，全是脚本的假阳性
（把 `.get("user")` 这类非路由调用当成了路由）和假阴性（前端用三元表达式拼路径，
正则看不见，比如 `GET /me` 其实在 shared/api.ts 里被调）。
结论是没发现缺口，但这个脚本不够可靠、不足以证明"一定没有"，所以没留进仓库。
## 路由遮蔽检查（留成常驻脚本）
比"有没有漏"更值得防的是遮蔽：**Hono 按注册顺序匹配，不是静态优先**。
`/problems/:id` 注册在 `/problems/random` 前面的话，后者永远进不去 ——
不报错、不警告，只是静默走进前一条的 handler。阶段 4 真实发生过一次，
两个教师用的分析端点被吃掉，一直到评审才发现。
全仓 167 条路由按真实注册顺序扫：**零遮蔽**。
这个结论敢下，是因为检测器本身也验了：
- 自检用例里放了阶段 4 那个历史真实案例，能抓到；边界（两边都是参数、
段数不同、不同前缀）不误报
- 核对了 24 个 router 全在扫描范围内，没有漏扫
- 反向验证：往 problem.ts 末尾加一条注册在 `:displayId` 之后的字面量路由，
脚本立刻报出来并 exit 1
未经验证的检测器报"没问题"是没有意义的 —— 这个教训今天已经吃过两次
（tree-sitter 那次、SQL 内存那次）。
脚本落在 apps/api/src/scripts/check-route-shadowing.ts，
`bun run --filter '@oj2/api' check:routes`，加完路由跑一下。
CLAUDE.md 里也写了。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-08 03:42:37 -06:00
f6bc42f534
docs: 给 OJ2 补一份自己的 CLAUDE.md；Dockerfile 拷上 bunfig.toml
...
## bunfig.toml 没拷进容器，才是那批「本地能过、容器过不了」的根因
bunfig.toml 里设了 `linker = "hoisted"`，但 Dockerfile 只拷了 package.json 和
bun.lock，于是容器里用的是默认的 isolated 布局（包都在 node_modules/.bun/ 下），
本地靠"提升"才解析得到的包在容器里一律 Could not resolve —— 而本地构建始终是好的，
只有镜像构建才炸。之前是一个一个补直接依赖补过去的（那是对的、该保留），
这里让两边布局一致，是第二道保险。
带上之后装 622 个包（isolated 是 1238），镜像重建通过，二进制在容器里
serve + healthcheck 正常。
顺手补了 main.ts 帮助文本里漏掉的 healthcheck 子命令（compose 里把 command
写错时，看到的就是这行）。
## OJ2/CLAUDE.md
OJ2 是独立仓库，之前没有自己的项目指引。写了一份，重点是几条「不知道就会踩」的：
- **本机 Docker 可用**，整套依赖和上线演练都能在本机跑 —— 别沿用上一代
"本机跑不起来后端"的旧假设
- 单二进制不能依赖 node_modules，`.node` 资源导入 dev 和编译两种形态行为不同，
**改完两种形态都要跑**
- SQL 判题 spawn 的是二进制自己，入口必须有 argv 分发，那道递归闸不能删
- 判题状态码三处同步、raw_password 要保留、比赛只有 ACM、前端要兼容老 Chrome
- 不写迁移：新旧后端跑同一套表结构，这是回滚能成立的前提
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-08 03:37:45 -06:00
a47e051a49
docs(阶段5): 补验 WebSocket 经 Caddy 与机房那套 compose
...
演练报告里原来有两块是没验过的，补上：
## WebSocket 经 Caddy
学生盯着「判题中…」变成结果就靠这条路，而它经过 Caddy 的 handle /ws/*，
是配置最容易写错、又只在生产才暴露的一段。实测 upgrade 成功，301ms 内
收到两条推送：judging → finished（AC）。
## 机房那套 compose.school.yml
和服务器那套差别不小（没有 postgres、连远程库、端口 81、COOKIE_SECURE=false），
之前一次都没跑过。留下 oj-postgres 当「远程库」、其余换成 school 栈跑了一遍：
连库、首页、题目列表、登录、WS、完整判题全通。
其中特意验了 **Cookie 没带 Secure** —— 带了的话机房（http 直连 IP）会出现
「登录成功但立刻又变未登录」，是那种看起来毫无头绪的故障。
顺带确认机房的拓扑是「本地 Redis + 本地判题沙箱 + 远程库」，
判题不跨公网，只有数据库查询走公网。
演练用的是 docs/specs/schema.sql 只灌结构，盘上不留学生数据；跑完已清干净。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-08 03:33:00 -06:00
c59ecd6dbb
fix(SQL 沙箱 Minor): 让题目的 memoryLimit 对学生真正生效
...
## M-1
题目写 64MB 也没意义 —— 唯一的硬顶是子进程那个固定 512MB 的 ulimit -d，
学生实际能吃到 8 倍。旧实现是 setlimit(SQLITE_LIMIT_LENGTH, memoryLimit)
把单值长度贴着题目内存限，但 sql.js 的 wasm 没导出 sqlite3_limit（已核对导出表），
复刻不了。
改成引擎侧按字节记账（ByteBudget）：取行时累加，单值超限或结果集累计超限都按 MLE 拒。
max_page_count 管的是库文件页数，管不住「一个 SELECT 拼出一个巨大的值」，所以两者
不重复。查询题和增删改题（dumpTables）两条路都记账，受信脚本不记。
实测 6 条，关键是**同一句 SQL 在 4MB 的题上被拦、在 64MB 的题上放行**，
证明限制跟着题目走而不是一刀切。
第一版测试用的是 100MB 的值，结论是错的：wasm 堆触顶时的兜底和我的记账器报的是
同一句「单个数据值超出内存限制」，大值根本分不清是谁拦的。换成 8MB 才测得准。
这个教训写进注释了。
M-1 的第二半（max_page_count 学生可自行调大）在 I-1 拦 PRAGMA 时已一并修掉。
## M-3
阶段 5 的分阶段兜底超时顺带解决：出题人预览死循环从 25s 降到 13005ms 实测。
## M-2 不修
「强制两个测试点期望结果不同」会把合法出题也挡掉（刻意用两组数据验证同一边界、
结果恰好相同），代价是老师被一条看不懂的错误拦住。评审也确认与旧实现一致、非回归。
更合适的是提示而非拒绝，但要动契约和后台前端。理由写进评审文档，免得下次又当新发现。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com >
2026-08-08 02:27:35 -06:00
