xuyue/OJ2
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
605 Commits 1 Branch 0 Tags
309ca0ece25dd91feda31d3934fbaff82cb606d4
Commit Graph
51 Commits
Author SHA1 Message Date
xuyueandClaude Opus 5.5 309ca0ece2 refactor(前端): 全站共用的班级下拉、胶囊配色挪出提交列表目录，编辑器不再偷读题目页的 store
Deploy / deploy (push) Canceled after 0s
Details 
- classLabel / groupClassOptions / classSelectOptions 挪到 utils/classes.ts，useTone 挪到
  shared/composables/tone.ts：原来放在 oj/submission/ 下，被前台、后台、shared 引了 50 多处
- 流程图编辑器的草稿键改由题目页传进来（键名不变，学生存着的草稿照样读得到）。原来编辑器
  自己读题目页的 store 和路由拼，后台出题页也用这个组件，那边 store 是空的
- SQL 表名补全改由题目页传表进来。原来补全直接读题目页的 store，自学页的 SQL 代码块会
  补出上一道看过的题的表名

实跑：提交列表、题目页、排名、后台题目页、SQL 题、流程图题打开无报错；SQL 题输入 stu
补出 students；流程图加一步，草稿照旧存在 flowchart-v2-problem-<题号>。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-16 14:59:55 +08:00
xuyueandClaude Opus 5.5 02e2fa7d9b feat(后台): 手机上也能用了——菜单收进左边抽屉，列表一行一张卡，不用再横着滑 
- 侧栏手机上不再占一列图标，顶栏左边 ☰ 拉出整张菜单，按返回键先关菜单
- 题目、比赛、用户、公告、题单列表手机上一项一张卡：名字一行、小字一行、按钮一行，
  「学生看得到」开关单独一列靠右
- 卡点分析、AI 报告手机上点开一项整屏看，返回键关掉；年度趋势、自学情况、首页改成上下排
- 出题页、教程编辑、题单编辑、标签、设置手机上排成一列；测试数据「删掉」手机上常驻
- 弹框一律收进屏幕宽度

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-16 11:21:58 +08:00
xuyueandClaude Opus 5.5 cea2c7f102 fix(手机): 比赛排名表看不出能往右滑；班级 PK 每周图日期字太小；后台题目列表「藏着的」被切掉
Deploy / deploy (push) Canceled after 0s
Details 
- 比赛排名：手机上名字、做对、用时就占满一屏，每题的格子全在屏幕外。列收窄，前一两道题的格子露出来
- 班级 PK：每周人均横轴在手机上是 10px 的「10月12日」，改成 12px 的「10/12」
- 后台题目列表：手机上「全部 / 学生看得到 / 藏着的」换小号按钮，放不下就横着滑

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-15 12:44:57 +08:00
xuyueandClaude Opus 5.5 30bff2acc4 style(后台): 后台各张列表都改成斑马底纹（题目、用户、比赛、公告、练一练记录、标签、AI 报告、成就） 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-13 14:45:22 +08:00
xuyueandClaude Opus 5.5 6470f56f87 fix(后台): 用户、题目、比赛、公告、标签几张列表的操作不再收进 ⋯，直接摆在行尾；名字和题目那列不再吃掉整行的空，创建日期不再折成两行 
1366 宽的屏上题目列表、比赛列表的按钮都放得下；题目的知识点多于两个时只摆一个加「+N」。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-13 14:29:56 +08:00
xuyueandClaude Opus 5.5 c59e31eeb2 feat(后台标签): 标签页改成知识点、主题左右两栏，一眼看出每个标签挂了几道题；改名、换分类、删除收进 ⋯，没归类的单独放最上面 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-13 14:04:06 +08:00
xuyueandClaude Opus 5.5 97049d562b feat(后台题目): 题目列表重排——1366 屏上不用横滚就看得到「学生看得到」开关；一行只剩「编辑」和 ⋯，有人交过的题删除直接灰掉；勾几道一次放出、藏起、加减知识点 
去掉内部 ID、难度、看不懂的「功能」图标和反馈表情几列；题目名点了就是编辑。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-13 13:27:39 +08:00
xuyueandClaude Opus 5.5 6e946c99fb feat(出题): 参考流程图改用画布画，「让学生自己画」不再要参考图
Deploy / deploy (push) Canceled after 0s
Details 
- 学生画的图现在按例子和测试数据评（拼成程序跑），参考图用不上了：「让学生自己画」
  只剩一句说明，保存前改成检查有没有例子；「给学生的提示」那一栏去掉（学生从来看不到，
  16 道题也都没填）
- 「给学生看一张参考流程图」改用学生画图的同一个编辑器，存结构树（problem.flowchart_data，
  原来是死列），Mermaid 由后端照它生成，题面里的图和学生交的图同一套形状
- 「AI 照 Python 答案画一张」改成出结构树，直接摆在画布上接着改；for 循环画成
  计数变量 + 当型循环
- 老题手写的 Mermaid 照旧给代码框，旁边「改用画布画」

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-12 21:39:50 +08:00
xuyueandClaude Opus 5.5 6f47ad8358 perf(Markdown): 题面、教程、AI 提示每次打开都去 unpkg.com 拉四个库，机房网络下又慢又不稳 
md-editor-v3 的 MdPreview 不管正文里有没有代码、公式，都会从 unpkg.com 加载
highlight.js、katex、mermaid、echarts（mermaid 还是另一份 11.x）。而我们只用到最基础的
Markdown：题面 95% 是富文本存的 HTML，教程是标题、表格、图片，AI 输出是标题、列表、
表格、少量代码块，库里一处公式、mermaid 都没有。

- 显示：新组件 shared/components/Markdown.vue，直接用 markdown-it，代码高亮走本地的
  highlight.js（和练一练共用 shared/highlight.ts，补了 C++ / SQL）。9 处 MdPreview 全换掉。
  正文默认 16px，教程也统一成 16px。
- 编辑：后台教程编辑器换成项目已有的 CodeMirror，加一排格式按钮；图片可以按按钮选、
  粘贴、拖进来，都是先上传再插入。md-editor-v3 从依赖里删掉。
- AI 生成的内容（AI 提示、AI 分析、班级报告）不再放行原生 HTML：学生能在代码里诱导
  AI 吐出 <img onerror>，老师在后台一打开就执行。库里 1196 条 AI 输出没有一个 HTML
  标签，关掉不影响显示。题面、教程照旧放行。
- 长英文改成在单词之间折行，原来 break-all 会把 "I live" 断成 "I l / ive"。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-12 14:02:54 +08:00
xuyueandClaude Opus 5.5 cd75d42a64 feat(年度趋势): 后台年度趋势改成「这届和往届比」，比往届差的题排在最前面
Deploy / deploy (push) Canceled after 0s
Details 
- 选一届和往届（或另一届）比，两边都至少 20 人做过的题才比；分比往届差 / 差不多 / 比往届好三组，一题一根哑铃条
- 侧栏「历年概况」改回「年度趋势」，地址换成 /admin/problem/trend

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-12 13:10:18 +08:00
xuyueandClaude Opus 5.5 318ffac90f feat(年度趋势): 历年概况那张表只有一堆数、看不出趋势；改成按届比，这届和往届在同一批题上逐题比一次就对 
- 新接口 /problem-analytics/grades：每道题在各届（班号前两位）的人数和一次就对人数
- 删掉 /problem-analytics/yearly 和只给它用的学年时间函数

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-12 13:10:18 +08:00
xuyueandClaude Opus 5.5 0980ea858a feat(卡点分析): 后台卡点分析按知识点 → 题 → 一道题重做，年度趋势改名历年概况只留逐学年总表
Deploy / deploy (push) Canceled after 0s
Details 
- 选班后只列这个班课上布置过的题，右栏换成「交了几次才对」和交得最多的人
- 历年概况可以导出表格；旧地址 top_ac_trend 跳到新页面

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-12 12:55:49 +08:00
xuyueandClaude Opus 5.5 b2c802174c feat(卡点分析): 「卡住」原来数的是错过一次的人，做的人多的题全排在前面；改成看一次就对、交几次才对，能按班级和时间段筛 
- 卡点按「人 × 题」算：一次就对、做对之前交了几次、还没做对几人，带知识点；一道题给每个人的情况、错在哪、全站历年一次就对
- 年度趋势换成历年概况：学年按 9 月切（原来按自然年），进行中的学年和去年同期并排
- 删掉旧的 /problem-analytics/stuck 全站前 40 和 /ac-trend

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-12 12:55:49 +08:00
xuyueandClaude Opus 5.5 eaab224ba8 feat(出题): 测试数据最多 20 组，几百组的题提交详情截图截不下 
上传 zip 超过 20 组直接报错（编程题、SQL 题都算）；出题页加满 20 组后「加一组」
「AI 想几组输入」变灰，导入超过 20 组的 zip 在浏览器里就拦下，改老题超了不让保存。
上限在契约 TEST_CASE_MAX_CASES。线上超过 20 组的题已经手工缩到 20 组。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-10 14:07:30 +08:00
xuyue 2224478294 fix
Deploy / deploy (push) Canceled after 0s
Details
2026-10-09 21:35:34 +08:00
xuyueandClaude Opus 5.5 dd10e64b38 style(出题页): 左边写的地方放大、右边「学生看到的样子」缩小，右边能收起来专心写
Deploy / deploy (push) Canceled after 0s
Details 
编程题、SQL 题两张出题页一起改：两栏 3 : 2，右栏头上「收起 ›」，收起后剩一条竖着的「学生看到的样子」点了再展开；收没收记在本机

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-09 21:03:50 +08:00
xuyueandClaude Opus 5.5 4ef2794552 fix(后台): 出题页读回来的测试数据每组多一行空白；导入大包后原来的例子丢了
Deploy / deploy (push) Canceled after 0s
Details 
- 测试点文件末尾的换行读回来时去掉（上传时补回去），比对改没改过也按去掉后的比，没改的题不会白白重传
- 导入超过 100 组的 zip 时先把例子拿下来再切成「不展开」，例子不再丢
- 「不展开」时保存栏改说「加一个例子」；刚导入还没保存时不给「下载 zip」（下到的是库里的旧数据）

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-09 20:14:36 +08:00
xuyueandClaude Opus 5.5 ba5b9ada0e feat(后台): 编程题出题页重做——左边写，右边是学生看到的样子；例子和测试数据的输出都由标准答案跑出来，改老题能直接看、改测试数据 
- 例子就是测试数据里勾了「当例子」的几组，不再手抄输出；老题的例子不在测试数据里的补到最后
- 改了答案，输出变了的那组标黄、写清原来存的是什么；答案在某组上报错就挡住保存
- 没存标准答案的老题输出手写；太大的测试数据（>100 组或单文件 >32KB）只能导入 / 下载 zip
- 预制代码只写学生看得到的那段，前后藏起来的代码收进折叠；语法要求先拿标准答案自测
- 流程图两个互斥开关改成三选一；时间 / 内存限制能改了；草稿只给新建页
- 后端：读回测试点原文、语法要求自测、AI 想测试输入三个接口

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-09 20:07:34 +08:00
xuyueandClaude Opus 5.5 033a245abb feat(SQL 题): 增删改题除了第 1 组，其余测试数据可以一行都不改——用来抓学生多改（WHERE 写漏、写宽）
Deploy / deploy (push) Canceled after 0s
Details 
原来每组数据都必须有被标准答案改到的行，所以「这组里没有研发部，看学生会不会把别的部门也改了」
这种测试数据建不了。现在只有第 1 组（题面上给学生看的那组）还要求改到行；其余组一行都没改时
出题页写「一行都没改」、预览写「执行后所有表都没有变化」。删掉第 1 组、别的组顶上来时自动按
新位置重查。判题本来就不管这一条，不受影响。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-09 19:17:42 +08:00
xuyueandClaude Opus 5.5 2cb39fd96b feat(后台): SQL 题有了自己的出题页——左边写，右边就是学生看到的样子，改答案、改数据马上重跑 
- 「新建题目」先选编程题还是 SQL 题，选了就不能改；编辑时按题目本身进对应的页
- SQL 出题页（设计稿「SQL 出题页」方案 B）：测试数据一组一行，改完自动重跑，
  跑不通的用中文说原因；保存时才打包上传测试点，不用再手动「预览」「上传」
- 新建时存草稿，误关页面不丢
- 编程题出题页去掉 SQL 那一堆分支（以前勾上 SQL 会静默清掉语法要求和流程图）
- 题目列表能按题型筛，SQL 题标题后面挂标签

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-09 18:59:15 +08:00
xuyueandClaude Opus 5.5 25d3296410 feat(SQL 题): 增删改题的期望结果标出执行后变了的格子，删掉的行写清是哪几行 
学生原来只能拿两张表逐格对，看不出要改的是哪几行。现在改过的格子、新插的行标黄，
删掉的行在表下面写「删掉了 2 行（id 是 2、3）」。按第一列配对，对不上就不标。
数据表和期望结果抽成一个组件，后台出题页的预览也用它。
题型判断统一走契约的 isSqlProblem()。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-09 18:59:15 +08:00
xuyue bde387e8bc fix
Deploy / deploy (push) Canceled after 0s
Details
2026-10-08 12:29:35 +08:00
xuyueandClaude Opus 5.5 eb32676de4 feat(题目): 「运行例子」「自己输入」改用和提交同一台判题机——例子上跑出什么样，提交在这几个例子上就是什么样
Deploy / deploy (push) Canceled after 0s
Details 
原来试运行走另一台 Judge0：C 是 GCC 9、编译参数也不一样，Python 的语法错误回来的是运行错误，
没有题目的时间内存限制和代码模板，例子上的结果常和提交对不上。现在走本站判题机
（POST /trial-runs），同一套编译命令、这道题的限制和模板，对不对也由判题机比。

- 不落库、不算提交、不进判题队列：api 进程里自己排队，全站同时 TRIAL_CONCURRENCY 批
  （服务器 2、机房 4），每人最多两批，排满或等超过 30 秒就请学生过一会儿再点
- 死循环不停打印时判题机回包会很大，超过 16MB 就掐断，告诉学生输出太多、停不下来
- Python 语法错误用和提交一样的说明：第几行、中文标点标红、一键换成英文
- 运行时错误和提交用同一个解析，说清楚第几行、为什么（下标越界、int() 转换失败、段错误……）；
  比赛里照旧只给按结果码的那一句
- 语法没过、服务没跑成时，标题不再说「N 个例子没对上」
- 后台「生成测试点」一并迁过来，编译警告不会再写进 .out；Judge0 的地址和调用全部删掉

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-09-29 08:09:44 +08:00
xuyueandClaude Opus 5.5 d07459928d feat(标签): 题目列表的标签分成「知识点」「主题」两组，新建的标签在后台标出待归类
Deploy / deploy (push) Canceled after 0s
Details 
- 迁移 0022：problem_tag 加 category（knowledge / theme）和 category_confirmed；
  存量 25 个题材、题集类标签归主题，其余归知识点，全部记为已确认
- 前台题目列表按两组显示标签，组内按题目数从多到少
- 后台标签管理：每行切换分类；出题时新建的标签默认知识点、标「待归类」并排在最前，
  页头提示待归类数量，可点「确认」保留默认；加分类筛选
- 新接口 PUT /admin/problem-tags/:id/category，设置分类即视为确认

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-09-27 20:38:43 +08:00
xuyueandClaude Opus 5.5 d3823430f9 feat(后台): 侧栏分组带图标、可收起，加顶栏；所有后台页面统一页头
Deploy / deploy (push) Canceled after 0s
Details 
- 侧栏按 概览 / 教学内容 / 学情分析 / 站点管理 分组，去掉超管菜单里的重复项；
  菜单项的角色与路由守卫一一对应，没有题目权限的教师不再看到点了就被踢回首页的「题目」
- 顶栏：面包屑、回到前台、明暗切换、用户菜单（退出登录）；窄屏侧栏自动收起
- 新增 PageHeader：标题 + 右侧主操作 + 下方筛选栏，编辑页带返回按钮
- 卡点分析 / 年度趋势 / 标签管理从题目列表的按钮挪进侧栏
- 首页改成统计卡片 + 班级排名卡片；设置页按钮移到卡片右上角
- 题目、比赛、题单、用户列表的「选项」列固定在右侧，不再被挤出屏幕

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-09-27 19:54:42 +08:00
xuyue d25b5dbe6d update
Deploy / deploy (push) Canceled after 0s
Details
2026-09-27 19:36:28 +08:00
xuyueandClaude Opus 5.5 5ae830a7f9 refactor: 一批名不副实的命名改掉（只动一端，不碰契约） 
后端：
- getUserByToken → authenticateToken：它会删会话、续 TTL、记在线，不是纯读
- todayStart → dayStart(instant)：本来就接受任意时刻，不只是「今天」
- objectValue → asRecord，删掉 4 份一模一样的私有拷贝和 `as toObject` 别名
- 报错文案 "does not exists" / "Already be a public problem" 改通顺

前端：
- utils/types 里 Contest / User / Problem 三个别名删掉：Contest 原来指后台
  比赛、契约里同名的却是学生侧。现在 Contest = 学生侧、AdminContest = 后台，
  后台用户表单叫 AdminUserForm，题目详情直接用 ProblemDetail
- SubmissionInfo → ContestSubmissionInfo，免得和 submission.info 撞名
- utoa / atou → compressToBase64 / decompressFromBase64（实际是 zlib + base64），
  encode / decode → base64EncodeUtf8 / base64DecodeUtf8
- filterResult → toProblemRow、toProblemListItem → toAdminProblemRow，
  行字段 submission / rate → submissionCount / acRate
- 组件：Modal → AddFromLibraryModal、Form → EditorToolbar、
  ContestEditor → BasicEditor（题单也在用它）、rank 的 Index → RankMedal、
  Name → UserNameCell、Password → PasswordCell、ContestType → ContestAccessTag

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-09-27 16:08:21 +08:00
xuyueandClaude Opus 5.5 f8b04af4ea chore: 加 oxlint，现存 19 条 warning 清零
Deploy / deploy (push) Canceled after 0s
Details 
原来只有 Prettier，没有任何 lint。根目录加 `bun run lint`（oxlint，覆盖后端、前端、
契约，--deny-warnings：有一条就算失败），CLAUDE.md 常用检查里加上。

现存 19 条顺手清掉：
- 11 处未使用的 import / catch 参数 / 回调参数
- oj/store/problem.ts：`...problem.value?.languages` 展开可能是 undefined
  （外层 if 已经保证非空，去掉 ?.）
- admin/problem/detail.vue：`contestId = contestId` 自赋值，删掉
- judge/sql/engine.ts：注释里的 `/*x*/` 示例原来靠零宽空格防止提前闭合注释，
  改成 `*\/`
- 其余：多余的 !!、new Array(n)、展开里多余的 `|| {}`

两边类型检查、前端构建、后端单二进制编译都过。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-09-27 15:25:27 +08:00
xuyueandClaude Opus 5.5 7a390323fe refactor(前端): 接口错误改成 ApiError 类，catch 不再写 any 
拦截器原来 reject 一个裸对象 `{ error, data }`，没有类型也没有类型守卫，于是 46 处
`catch (err: any)` 直接读 `err.data` / `err.error` —— 代码 bug 抛出的 TypeError 也按
接口错误读，弹出来的是 undefined 或英文。

- utils/api.ts：reject 改成 `ApiError extends Error`，字段名沿用 error（错误码）/
  data（文案），存量读法语义不变；加 isApiError / errorCode / errorMessage。
  errorMessage 对非接口错误一律用 fallback，不把 TypeError 的英文甩给学生
- 46 处 catch 全部换掉 any（45 处接口错误 + pythonSyntaxCheck 里 Skulpt 的错误对象）
- 断网等没有响应体的情况，文案从英文 "Request failed" 换成「网络异常，请检查网络后重试」

浏览器实跑核过：登录密码错误仍显示「用户名或密码不正确」（错误码分支）、
接口错误 reject 出来是 ApiError、网络不通时拿到中文文案、非接口错误走 fallback。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-09-27 15:12:40 +08:00
xuyueandClaude Opus 5 8b4d8899f9 feat(判题机): 自建镜像升级工具链，语言收敛到 C / C++ / Python
Deploy / deploy (push) Canceled after 0s
Details 
上游 QingdaoU/JudgeServer 停更在 2024-04（registry 上的 latest 和 1.6.1 是同一份
镜像，编译器停在 gcc-13），没有新版可拉，所以自己重编。docker/judge/ 是只改工具链
的 Dockerfile 分叉，server/ 和 Judger/ 从上游固定 commit b28aa56 拉，一行没动。

镜像 oj2-judge-2（不在任何 registry 上：本机 build.sh --save → scp → docker load）
- gcc/g++ 13 → 14.2，Python 3.12 → 3.13.5，都是 trixie 默认
- Go / JDK / Node 整套删掉：前端的题目语言复选框从来只给 C / C++ / Python / SQL，
  12 万条提交里 Java 44 条、Golang 15、JavaScript 3，全是很早以前的
- 体积 1.1GB → 433MB；默认走清华源，构建 12 分钟 → 40 秒（--no-mirror 换回官方）
- deploy.sh 加一道自检：镜像不在本机就中止，并打印该跑的三条命令

C 的编译参数加三个 -Wno-error（implicit-function-declaration / int-conversion /
incompatible-pointer-types）：gcc-14 把它们从 warning 提成了 error，而 -w 压不住。

语言值统一成 Python（迁移 0019 / 0020）
- 0019：Python3（104527 条提交）与 Python2（3 条）并成 Python，一并改掉 937 道题的
  languages、75 个 template 键、15 个 ast_rules 键、257 条 answers、1235 个用户的
  成就指标 _languages（languages_used 重算，总和 1928 → 1925，少的 3 个是同时用过
  两种 Python 的人）
- 0020：把 Java / JavaScript / Golang 从 84 道题的可选语言里摘掉 —— 不摘的话那些题
  的语言下拉还能选 Java，提交必 SYSTEM_ERROR
- 契约新增 normalizeLanguage() 别名表，判题侧一律走 judgeConfigFor()：旧客户端
  localStorage 里的 Python3、迁移前排进队列的任务都还能判；协作的语言归一也走它，
  否则上线那一刻学生页面里的 Python3 会静默落到 C
- 回滚要连数据一起回，只滚代码会让所有 Python 提交变 SYSTEM_ERROR

实跑
- 判题冒烟 docker/judge/smoke.ts 13 条全过：三种语言、六种状态码、gcc 宽松度
- 拿备份里的真实代码逐文件比对新旧镜像的编译结果，0 差异：C 提交 1951 份
  （1725 过 / 226 CE）、C++ 882 份、Python 2000 份、20 篇 C 教程的 93 个代码块。
  不加那三个 -Wno-error 的话，C 有 26 份会从能过变成 CE
- 迁移在灌了 12.4 万行真实数据的一次性库里跑过：0 残留、没有题目被清空；
  dev 库用真正的执行器跑通
- check:ast 56 个 target 全过，前后端 typecheck 均 0

顺带记下一个升级之前就有的坑（现在随 Go 一起消失，写在 README 里）：GOCACHE 指向
容器的 tmpfs，判题机重启后第一次 Go 提交是冷构建，Go 1.22 要 5.6 秒 CPU、超过 3 秒
的编译预算，于是重启后第一个交 Go 的学生必吃一次 CE，后面的人缓存热了又都正常。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
 2026-09-20 06:24:05 -06:00
xuyueandClaude Opus 5 ed56a209ea chore(格式): Prettier 统一到全仓，后端和契约一次性格式化
Deploy / deploy (push) Has been cancelled
Details 
原来只有 `apps/web` 在 Prettier 下（配置在 `apps/web/.prettierrc.toml`、脚本在
web 的 package.json），后端和契约从来没格式化过 —— 手写在 100 列上下，`db/schema.ts`
还是 drizzle-kit pull 留下的 tab 缩进。两套口径分叉久了，跨端改一处就得记着「这边
什么风格」。

- 配置搬到根目录 `.prettierrc.toml`，内容不变（`semi=false`，其余全默认，
  printWidth 80 —— 和前端已有的格式一致，不另立一套宽度）；
- 脚本统一成根目录 `bun run fmt`，覆盖 `apps/*/src`、`apps/web/tests` 和两个构建
  配置；web 自己那份 `fmt` 和重复的 prettier 依赖删掉；
- `.prettierignore` 挡掉两类不该碰的：drizzle-kit 生成的 `src/db/meta/` 结构快照
  （它是 db:generate 的比对输入，只该由 drizzle-kit 写）、unplugin 每次 dev 都会
  重写的 `auto-imports.d.ts` / `components.d.ts`；
- 全量跑了一遍。纯格式，无行为改动：api typecheck / check:routes / check:ast、
  前端 type-check 全过，起 api 打了接口确认正常。前端这 39 个文件的小改动是
  prettier 版本漂移（类型断言的换行口径变了），不是新配置带来的。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
 2026-09-16 08:27:34 -06:00
xuyueandClaude Opus 5 cc51e305cf refactor(时区): 常量收进契约、SQL 统一走 localTime，去掉会话时区与 TZ 兜底
Deploy / deploy (push) Has been cancelled
Details 
- TIME_ZONE / TIME_ZONE_OFFSET_MINUTES 移到 packages/contract/src/time.ts，
  前后端共用一份，不再各写一遍靠注释对齐。
- apps/api/src/time.ts 新增 localTime(列)，替换散落 7 处的
  `at time zone ${TIME_ZONE_SQL}`；ac-trend 的 where 复用同一个 year 表达式。
- /problems/:displayId/yearly-ac 漏写了时区、按 UTC 切年，被会话时区兜底掩盖；
  改为按东八区切（只影响每年 12-31 北京 0–8 点的提交归年）。
- 删掉数据库连接的 TimeZone 和 Dockerfile 的 TZ：正确代码不依赖它们，
  它们只会在线上掩盖漏写处、让 dev 与线上答案不同。
- time.ts：calendarDayYearsAgo/pad 并入 shiftMonthsByCalendar，startOfCalendarDay
  并入 todayStart，localWeekday 改用 getUTCDay，删掉历史叙述注释。
- 前端 zonedParts 改为固定偏移 + getUTC*（与后端、日期选择器同一写法），
  去掉 Intl formatToParts；10 万次 299ms → 11ms。zonedYear 去掉按浏览器时区的兜底。
- 两份 CLAUDE.md 同步；n-date-picker 那条过时说明改成现用法。

验证：新旧「近两年起点」21359 个时刻 0 差异、localWeekday 0 差异、
前端固定偏移与 Intl 在 America/New_York 下 47821 个时刻 0 差异；
localTime 在 select/group by/where 复用可用；fix-achievement-hours 预演仍为 148 / 60。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01K1d8B3f4SXJwDvUY625eQd
 2026-09-14 06:06:52 -06:00
xuyueandClaude Opus 5 4c0c38445c fix(时区): 日历口径收回东八区，读出的时刻统一成 ISO 并保留微秒 
旧栈 Django 按 Asia/Shanghai 算日历，OJ2 重写时这个锚点丢了：容器和数据库会话
都是 UTC，于是「今日提交」在北京时间 0–8 点是空的，「凌晨/早起提交次数」整体偏
8 小时，热力图、AC 趋势年份、近两年活跃人数也各按进程时区切。

- 新增 apps/api/src/time.ts 作为唯一锚点（固定 +8 偏移，不依赖进程 TZ / tzdata），
  todayStart、成就小时/日期键、热力图、月份平移、年份夹逼全部改走它；
  SQL 里按日历切的一律显式 at time zone。
- db/index.ts：连接会话时区设为东八区（兜底）；给 timestamptz(1184) 挂 parser，
  读出统一成 ISO 8601 UTC，撤掉为拿 PG 文本形状写的 ::text。parser 保留微秒 ——
  生产库 12.3 万条提交几乎全带微秒，截成毫秒会让翻页分界行和班级 AC 排名的
  <= min(create_time) 把自己排除（翻页每页丢一条、排名少 1）。
- 前端 parseTime/zonedParts/zonedYear 按 Asia/Shanghai 渲染，n-date-picker 做
  toPickerValue/fromPickerValue 平移，站内不再按浏览器时区取时间部件。
- Dockerfile 设 TZ=Asia/Shanghai 作为第二道兜底。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01K1d8B3f4SXJwDvUY625eQd
 2026-09-14 05:55:17 -06:00
xuyueandClaude Opus 5 a6ba5cdf07 refactor(AST): 两张 target 表合成一张，加节点类型漏配在结构上不再可能 
契约的 AST_NODE_TARGETS_BY_LANGUAGE 是 target → 中文名，judge/ast.ts 的 mappings 是
target → tree-sitter 节点类型，同一批键分在两个包里，靠一句「两边必须同增同减」的注释
维持。只加一边是静默错判：老师给 C 题选到只有 Python 有的 list_comprehension，判题机
拿裸名去比节点类型，C 的语法树里永远不存在它，于是「必须使用列表推导式」永远失败、
「不能使用 f-string」永远通过，两头都不报错，只有学生受着。

现在一个 target 一条 { label, node }：label 给后台下拉和题目页，node 给判题机。加 target
而漏配节点类型在结构上就不可能了。judge/ast.ts 的 mappings 整张删掉，解析统一走契约的
astTargetNodeType()（节点查 node，运算符查运算符表 —— 那张表的值本身就是要比的 token，
判题机原来抄的 and→&& 三条取值逐个相同，纯属重复）。

顺带把同一份数据的四份拷贝收成一份：C 的 14 条原来在契约和判题机里各抄了两遍
（C 一份、C++ 一份），现在 C++ 逐条引用 C_NODE_TARGETS；运算符表的 C++ 改成
{ ...C_OPERATOR_TARGETS, "<<", ">>" }。C++ 那几条仍逐条列出而不是 spread，是为了保住
下拉框的显示顺序（C++ 独有的几条插在中间）。

## 验证

行为零变化，是逐个 target 机械比对过的：把 HEAD 版的两张表原样取出来，对三种语言的
全部 target 比对「label / 运算符文案 / tree-sitter 解析结果 / 下拉框顺序」四项 ——
C 37 个、C++ 47 个、Python3 43 个，全部一致，键集与顺序也一致。

实跑：给题目 1004 配两条 Python3 规则（必须有 for 循环、不能用 f-string），交一发没有
for 循环的正确答案，判成 AST_CHECK_FAILED(10)，statistic_info.ast_results 为
「必须使用 for 循环 / 不通过」「不能使用 f-string / 通过」—— label 与 node 两半都走到了。
再交一发带 for 循环的，判成 ACCEPTED(0)。

tsc、vue-tsc、vite build、单二进制编译均通过。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012j1vgeDqay8wKCh8dPgPcH
 2026-09-10 19:30:35 -06:00
xuyueandClaude Opus 5 25b86ec17e refactor(提交): 删掉从来没用起来的「提交互相可见」
Deploy / deploy (push) Has been cancelled
Details 
problem.share_submission（题目级）和 submission.shared（单条）两个开关，连同
判定分支一起删掉。

生产备份（2026-08-07）里的实际用量：956 道题只有 2 道开过 share_submission，
还都是 contest_id=1 的比赛题 —— 比赛未结束时那条分支根本走不到，等于一天都没
生效过。123140 条提交里 shared=true 的有 40 条，39 条在 2022 年、1 条在
2023-03-30，之后近三年零使用；出题页从来没给过题目级开关，单条分享的入口在更早
那版前端上，ojnext 和 OJ2 都没搬过来，OJ2 里 PUT /submissions/:id 一个调用方
都没有。

canViewSubmission 剩下三条：本人 / 管理员（比赛中的 Student Admin 除外）/ 本题
作者，其余一律看不到。结尾的 `shareSubmission || shared` 没了；它上面那条「比赛
未结束一律不给」也一并去掉 —— 走到那里的必然不是这三种人，现在无论比赛与否都是
false，留着是重复的。allowShared 参数随之消失，它唯一的用途就是分享开关的归属
校验。

一并删掉：PUT /submissions/:id、响应里的 shared / canUnshare（列表、详情、站内
信内嵌三处）、题目详情与后台题目里的 shareSubmission、shareSubmissionRequestSchema，
以及新建提交时那句 shared: false（列上本来就有 default false）。

两个数据库列保留不删，只在 schema.ts 上注明已停用：删列是破坏性迁移，而留着不读
不写零成本，还留着那 40 条的历史痕迹。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01XvmqDsZNyUo9P3sFQtoWVB
 2026-09-07 07:18:41 -06:00
xuyueandClaude Opus 5 2256597838 fix(后台建题): 修好 dev 代理走错服务，以及新建页带出上一题 id、超长标签报英文 
三处不相干的小毛病，都在「新建/编辑题目」这条路上。

vite 的 /api 代理写的是 localhost:3000。api 用 Bun.serve 起、只绑 IPv4 的
0.0.0.0:3000，而 Node 解析 localhost 时 ::1 排在前面 —— 别的项目的 dev server
一占 [::1]:3000，两边端口就不冲突（一个 v4 一个 v6，谁都不报错），浏览器发出的
/api/* 整个落到那个站上，表现是后台一进就被弹回首页。改成 127.0.0.1。

新建页和编辑页共用同一个 localStorage 草稿键，而编辑页会把服务器数据连 id 一起
写进去。没保存就离开的话，这个 id 跟着草稿漂到新建页：「下载测试点」下的是那道旧
题的包，SQL 测试点编辑器也会去回显那道旧题的脚本。新建分支进来先把 id 摘掉。

新标签没有长度限制，超过 32 字要到保存时才撞出 zod 的英文原文（Too big:
expected string to have <=32 characters）。把 32 提成契约里的
PROBLEM_TAG_MAX_LENGTH，输入框拿它做 maxlength，validateNewTags 再兜一道粘贴
绕过的情况，提示换成中文。校验的松紧没动，32 字仍然存得进、33 字仍然拦下。

editContestProblem 和 editProblem 函数体逐字相同（都是 PUT admin/problems/:id，
比赛由后端从题目自己推导），合成一个。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01XvmqDsZNyUo9P3sFQtoWVB
 2026-09-07 07:18:23 -06:00
xuyueandClaude Opus 5 d1d071ff7b fix(后台): 测试用例生成器允许无输入的测试点
Deploy / deploy (push) Has been cancelled
Details 
「这行算不算数」原来判的是 `f.in.trim()`，把「这题没有输入」和「这行我还没
填」撞成了同一种状态。打印类题目（输出星号矩形、只靠 print 的格式化输出题）
输入留空 → 点「先运行」整行被删 → 一行不剩 → 「上传」永远是灰的，老师只能
往输入框里塞个「无」才存得下去，那两个字节就真的进了 stdin。8019 / 8020 /
8021 三道题的 1.in 就是这么变成 3 字节「无」的。

拆成两个判据：

- hasOutput —— 有输出且没报错，这一行才打进 zip，输入空不空无所谓；
- isFilled  —— 输入或输出任一非空，只用来在「先运行」里筛掉面板上的空占位行，
  全没填时留一行当无输入题跑。

canUpload 保留原来那条守卫：填了输入却没跑出输出的行仍然挡住上传。「先运行」
不再要求先填输入。

后端本来就收空的 .in（processTestCaseZip 无非空校验），已上线的 8007、P003
的 1.in 就是 0 字节，卡住的一直只有这个面板。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AdMvixPo27sWFrUmk6ZStZ
 2026-09-07 06:29:23 -06:00
xuyueandClaude Opus 5 498fc1ceca fix(后台): 会话吊销、导入查重、练习题校验，以及一批后台页面的小毛病
Deploy / deploy (push) Has been cancelled
Details 
后台代码审查后的一批修复。

后端：
- 改密码 / 重置密码 / 禁用账号现在真的把该用户所有设备的会话删掉。原来只
  publishSessionRevoked 广播断 WebSocket，HTTP 拿着旧 cookie 照样能用到会话
  自然过期 —— 给被盗用的账号改密码等于没改。为此在 Redis 里补了反向索引
  user-sessions:<id>（createSession 写入、登出和失效路径清理、跟着会话续期）。
- 导入用户补齐校验：邮箱走 z.email()、批内查重、库内查重，用户名和邮箱各报各的；
  用户名和邮箱都归一成小写，和登录的 lower(username) 比较口径对齐。以前导入这条
  路什么都不查，而前端占位邮箱按「班级+批内序号」拼，同一个班导第二批必然重号，
  那两个账号从此在后台保存一次就撞 409、再也改不动。前端生成的占位邮箱同步加了
  每批随机后缀。
- PUT /users/:id 的邮箱查重改比 lower(email)，存量大小写混着的数据也能拦住。
- 删用户的裸 catch 收窄成只认外键冲突 23503（顺 cause 链找，drizzle 0.45 把驱动
  错误包了一层），别的错照常抛 500，不再把连接故障说成「该用户还有历史数据」。
- 练习题 data 补语义校验（services/exercise.ts）：没有 {{空位}} 的填空题、空选项的
  选择题、越界的下标等一律拒收。以前后端零校验，坏数据只有学生端会撞到。
- PUT /judge-servers/:id 改用 queryInteger，非数字 id 回 404 而不是 500。
- 比赛克隆不加归属校验是**有意的**（快速再开一场以前的比赛；保密边界在师生之间不在
  教师之间），把这条政策和它的副作用写进注释，免得反复被当成漏洞。

前端：
- 编辑用户弹窗的「班级」输入框改成只读 —— 它一直是个改了没用的控件，班级由后端从
  用户名推导。
- 新建用户预填唯一占位邮箱、角色默认改成实际会建出来的 Regular User、密码留空直接拦。
- 比赛题目列表的列过滤写的是 top_reaction，实际 key 是 topReaction，空列一直没被滤掉。
- AI 生成流程图加 try/finally，接口失败不再把按钮卡在 loading。
- 单个判题机删除后刷新表格；后台首页显示在线判题机数量（后端一直在下发）。
- 下载测试点失败时读 Blob 里的错误信封弹提示，不再毫无反应。
- 练习题编辑器补上和后端一致的前置校验。

验证：tsc / vue-tsc / vite build / check:routes 全过；后端每条改动都在本机起服务
实跑确认（会话吊销、导入各种重复、练习题七种题型、外键 409、非数字 id）。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01RC5uL72UY9aZFuTvUKe2jv
 2026-09-06 08:41:54 -06:00
xuyueandClaude Opus 5 f38444c97a fix(代码规则): 给 C 题配的规则一半是哑弹，C++ 题根本配不了
Deploy / deploy (push) Has been cancelled
Details 
后台的节点下拉是一张 C/Python 混在一起的 15 条表，整份铺给每种语言。给 C 题选到
只有 Python 有的 list_comprehension、f-string，规则存得进去，判题时拿裸名去比节点
类型，C 的语法树里永远不存在它——「必须使用列表推导式」永远失败、「不能使用
f-string」永远通过，两头都不报错，只有学生受着。反过来 mappings 支持的 do_while、
switch、struct、include 在表里没有，编辑器根本选不到。

标签表改成按语言分组，和判题机 mappings 的键集逐条对齐；保存时校验规则与语言是否
匹配，不匹配给中文提示。C 的 target 从 8 个可用变成 14 个。

C++ 接上了 tree-sitter-cpp，386 道 C++ 题从此能配规则。它继承 tree-sitter-c 的语法，
C 那 14 个 target 实测全部通用，另加范围 for、类定义、try-catch、throw、namespace、
模板、lambda、using 共 22 个。调用形态和 C/Python 都不同，一并处理：a.push_back()
和 p->push_back() 是 call_expression + field_expression，不是 Python 的 attribute；
std::sort(...) 的 function 是 qualified_identifier 而不是 identifier，所以额外比一次
:: 末段，否则学生写没写 using namespace std 会得到不同判定。

一起收掉的几处：

- Java/Golang/JavaScript 配的规则一条都不会跑，题目页却照常把它们渲染成「要求」
  挂给学生看。现在后台不给这些语言开 tab，下发给学生的要求也按语言过滤。
- 「出现次数」不填数字存下来是一条恒真规则，描述还退化成光秃秃一个「for 循环」。
  切换引擎时给默认值，保存时拦下，读取时整条丢弃。
- 次数规则失败只说「if 条件 出现 2 次 ✗」，学生不知道自己写了几次，补上「当前 N 次」。
  旧栈的引擎其实算了这个数，但 checker 只取 describe，算完就扔。
- must_have_nesting 的文案没走标签表，学生看到的是「必须使用 for_loop 嵌套」。
- 运算符文案给的是逻辑名，C 题的学生看到「必须使用 and 运算符」，而 C 里写的是 &&。

语义校验放在 astRulesError() 而不是 zod 的 refine 上：astRulesSchema 同时用于读后台
题目详情，在读路径上抛错会让历史脏数据把整个题目详情打不开。保存前先 pickAstRules()
剔除够不着的分组再校验，否则早年配过 C++ 规则的题会把老师锁死——tab 里看不到那组
规则，保存却被拦下。

生产库那 17 条规则（全是 Python3 的 must_exist_node / count_node）行为不变，逐条实跑
核对过。C++ 的 22 个节点 target、25 个运算符也逐个跑了，没有恒假的哑弹。改了带 wasm
内嵌的 ast.ts，dev 和编译两种形态都验过。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
 2026-08-27 11:53:37 -06:00
xuyueandClaude Opus 5 9e41855610 fix(流程图): 点进去空白的 tab、以及「渲染成功」这个只进不出的开关 
## 两个开关同时打开会做出一个空 tab

后端在 `allowFlowchart` 为真时把 `mermaidCode` 置成 null（不能把标准答案下发给
正要自己画图的学生，见 routes/problem.ts）。而前端 `tabOptions` 只看
`showFlowchart` 就把 "flowchart" 加进选项，面板那边却要求
`showFlowchart && mermaidCode` —— 两个开关都打开时，选项存在、面板不存在，
URL 里带 `?tab=flowchart` 就会选中一个渲染不出任何东西的页签。

三个断点条件还各不相同（两处要求两者都有，第三处只看 showFlowchart，那处会拿
null 去渲染 ProblemFlowchart）。统一成一个 `canShowFlowchart`。

后台那边把「显示标准流程图」在允许提交流程图时置灰并说明原因，再补一个 watch
把存量数据里两个都开着的情况纠正掉 —— 它们本来就是互斥的。

## 「渲染成功」只进不出

保存前的校验靠 `mermaidRenderSuccess`，而 MermaidEditor 只在成功时 emit、
这个 ref 也就只会从 false 变 true，永不复位。**先写对、再改坏，照样能存进库。**

改成上报渲染结果本身（`render-state`），并在 modelValue 一变就立刻打回
「未验证」，等防抖后的渲染真跑完再报结论 —— 只挂防抖那一支的话，改完 300ms 内
点保存读到的还是上一次的结论，刚改坏的代码会被当成校验通过。宁可让出题人多等
一下，也不能放脏数据进库。

实测：改动后 50ms 读到 false（此时保存会被拦），渲染完成后回到 true；
贴一段坏语法则一直是 false。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
 2026-08-27 06:27:02 -06:00
xuyueandClaude Opus 5 3f6b4102c9 feat(题目): 学生题目页恢复「要求」展示，走新的 astRequirements 字段
Deploy / deploy (push) Has been cancelled
Details 
旧后端的 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
xuyueandClaude Opus 5 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
xuyueandClaude Opus 5 3f55d231c3 refactor(契约): samples / answers / testCaseScore 补回旧后端的校验
Deploy / deploy (push) Has been cancelled
Details 
旧后端这三个字段都是逐字段校验的（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
xuyueandClaude Opus 5 0b7b08f2cc refactor(前端): 去掉 { error, data } 信封，api2 改名 api
Deploy / deploy (push) Has been cancelled
Details 
信封是 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
xuyueandClaude Opus 5 9653f1541a refactor(契约): SQL 展示数据进契约，topReaction 收成枚举 
d3b05b8 把 SQLDisplay* 列进「保留不动的窄化」，理由是契约那边就是
Record<string, unknown>。这次把那个碗底扫了 —— 因为「契约说不知道形状、
前端手抄一份来渲染」正是那个 commit 修的五处分歧的同一个模子。

SQL 题两个 JSONB 列现在有精确 schema：sqlConfigSchema、sqlDisplaySchema、
sqlDisplayTableSchema、sqlDisplayColumnSchema。键名保持 snake_case，是
problem.sql_config / sql_display 的原文，回滚时旧后端要读同一份。前端
utils/types.ts 里手抄的 SQLConfig / SQLDisplay / SQLDisplayTable /
SQLDisplayColumn 共 30 行删掉改成 re-export，Problem 和 AdminProblem 的
Omit 列表各短两项。手抄那份把 SQLDisplayColumn.type 写成了可选，后端一直
是必有的空串。

后端跟着收紧：commonChecks / generateSqlDisplay 的 Record<string, unknown>
换成 SqlConfig，`sqlConfig.mode === "modify" ? "modify" : "query"` 这句防御
删了 —— 现在类型上就只有那两个值。请求侧 createProblemRequestSchema.sqlConfig
也不再是 record：mode 是枚举、order_sensitive 缺省补 false，正好是旧后端
SQLConfigSerializer 的口径（新后端之前反而比旧的松，什么都收）。

顺带修 adminProblemListItemSchema.topReaction 的注释：写着「当前后端恒传
null，get_top_reactions 没跟着迁过来」，但 admin/problem.ts:257 早就在调了，
只有比赛题列表恒 null。这条注释会骗人去补一个已经存在的实现。类型同时从
z.string() 收成 reactionKeySchema —— getTopReactions 本来就把库里认不出的
类型滤掉了，只是类型上没体现，前端因此得在 transforms.ts 写
`as AdminProblemFiltered["topReaction"]`，现在那个强转和 `?? null` 一起没了。
服务层里的 `as ReactionKey` 换成 isReactionKey 类型守卫。

**收紧 JSONB 的 schema 会把「存量数据形状不对」从静默降级变成 500，所以实打了：**

- 从生产库备份捞出 9 道 SQL 题的 sql_config / sql_display 原文，逐条过新
  schema，9/9 通过；键集与旧后端 judge/sql_runner.py:build_display 的产出
  逐字一致（columns/name/rows/total_rows/truncated，expected 两形态）。
- 把其中 query 形态、modify 形态各一条种进本地库，起 API 打 oj 详情和后台
  详情共四个端点，全 200，expected 两种分支都正确解析。
- topReaction：插两条并列票，按 reactionKeySchema 顺序正确取到 confusing；
  再插一条库里已下掉的类型，被守卫滤掉返回 null。

另：`bunx vue-tsc --noEmit` 不带 -p 是**无效的**，根 tsconfig.json 是
"files": []，塞个类型错误进去照样 exit 0。要跑 `bun run type-check`
（-p tsconfig.app.json），这次的结论出自它。tsc(apps/api) 0 error、
check:routes 168 条无遮蔽、vite build 通过。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
 2026-08-25 19:02:25 -06:00
xuyueandClaude Opus 5 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
xuyueandClaude Opus 5 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
xuyueandClaude Opus 5 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
xuyueandClaude Opus 5 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
xuyueandClaude Opus 5 cd5dd16f3b feat(阶段4): 测试用例压缩包上传与下载 
POST  admin/test-cases
  GET   admin/problems/:id/test-cases   （返回 zip 二进制）

落盘格式必须与判题沙箱镜像的约定一致（沙箱直接读挂进去的目录），已用真判题验证：
上传 zip → 建题 → 提交 Python 解法 → 沙箱读到用例并判出 Accepted。

安全与健壮性上比旧后端多做的几件事：

- **zip slip 从设计上进不来**：不遍历压缩包条目，只按精确文件名（`N.in`/`N.out`/`N.sql`）
  取内容，条目名一律不参与路径拼接。实测带 `../../etc/passwd` 条目的包能正常处理，
  且只取到 1.in/1.out。
- 单文件 32MB、解压后总量 128MB、测试点数 500 的上限，防 zip bomb 与写满磁盘 ——
  旧后端一概没有，机房那台机器盘写满之后判题也会一起挂。
- 坏 zip 返回 400 而不是 500。

对齐旧后端的细节：CRLF→LF 归一；`stripped_output_md5` 按 Python `bytes.rstrip()`
的口径只剥尾部 ASCII 空白后再算（实测与 hashlib.md5 结果一致）；编号从 1 起连续、
遇缺口即停；SQL 包至少 2 个测试点（题目页会展示测试点 1 的期望结果，只有一个时
学生可以对照着硬编码 AC）；目录 0710、文件 0640。

## 顺带修掉一个只在判题时才暴露的路径 bug

config 里的相对路径（data/test_case、data/avatar、data/upload）原先按进程 cwd 解析，
而起服务的方式会把 cwd 切到 apps/api/，于是测试点落在 apps/api/data/ 下 ——
但 docker/compose.dev.yml 把**仓库根**的 data/test_case 挂进判题沙箱。两边不是同一个
目录，新传的测试点判题时会「找不到测试数据」，且只在真正判题时才暴露。
改成一律按仓库根解析，实测沙箱能看到新传的目录。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
 2026-08-07 16:42:54 -06:00