10 Commits

Include renames

Author	SHA1	Message	Date
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	b16e11e85d	fix(题目推荐): 已 AC 过滤下推 SQL、难度按语义排序、难度标签渲染 ... 相似题目推荐（GET /problems/:displayId/similar）三个 bug： - 排除已 AC 的题发生在 limit(5) 之后，候选被筛掉几条就少几条，甚至清零让整块 不渲染。而这个接口只在刚 AC 或连挂三次时才调用，正是最容易全中的时候。 （老栈是 .exclude(...) 在切片之前，重写时引入的回归） - order by difficulty 是 text 字典序，High < Low < Mid，「由易到难」实际是最难的 先上。改成显式 case 排名，并加上共享标签数作为第一排序键、id 兜稳定序。 - 前端 ref<any[]> 盖住了类型错误：getSimilarProblems 已过 filterResult，难度是 中文，模板却在比 'Low' / 'High' 再查 DIFFICULTY 表，结果每条推荐都渲染成黄色 的「中等」。 顺带：比赛题不再发这个请求（接口只在公开题库按 displayId 找，撞号会在比赛中把 题库列给学生）；多余的 id in (子查询) 换成 join 中间表。 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>	2026-09-22 09:24:46 +08:00
xuyueandClaude Opus 5	ed56a209ea	chore(格式): Prettier 统一到全仓，后端和契约一次性格式化 ... 原来只有 `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
xuyue	9675dfbd42	Revert "feat(题目): 样例试运行放出「终端会话」，把输入是怎么喂进去的画给学生看" ... 撤掉 8cd4459。功能本身跑通了（C / C++ / Python3 三条都验过），但界面上不成立： 为了解释「输入是喂进去的」「提示语也算输出」这两件事，每跑一次样例就压两大段 灰色小字，把一个干净的小面板变成了说明书 —— 需要靠一段说明才能看懂的配色， 本身就说明这个设计没做对。 连带撤掉同一批的「结果不自动复位 + 通过/不通过 tag」，回到 bd84599 的样子。 「学生感觉不到输入这一步」这个问题还在，只是不该用这个办法解。教程 04 那边讲 「交到判题狗上要把提示语删掉」的一节保留（那部分和界面无关，本来就成立）， 其中引用本功能的那句话已经删掉并重新发布。	2026-09-02 01:25:19 -06:00
xuyueandClaude Opus 5	8cd4459964	feat(题目): 样例试运行放出「终端会话」，把输入是怎么喂进去的画给学生看 ... 学生在自己电脑上跑，是「程序停下来等我敲、敲完回车再往下走」；判题狗这边输入 是提前备好、一口气喂进去的，屏幕上只剩对和错。这个落差是入门阶段最常见的困惑， 最痛的落地形态是：照着教程写了 printf("请输入温度：")，算得明明对却一直判错。 试运行时给代码套一层前导，程序每读到输入就原样回显到 stdout，用  包成标记。 回来的输出拆两次用：抠掉标记段是程序真正的输出（判定用，和不套前导时一字不差）， 带标记渲染就是一份终端会话。支持 C / C++ / Python3，其余语言照旧直接跑。 只走样例试运行这条路，正式提交判题一个字都不加。 界面上蓝色是喂进去的输入，带虚线下划线的灰字是学生自己打的提示语（一段输出紧 跟着一段输入就是提示语）。把提示语抠掉正好等于期望输出时，把话说死：答案是对 的，删掉提示语就通过。 顺带：样例「测试」的结果不再 2 秒自动复位，按钮固定叫「测试」，通过 / 不通过挪 到旁边的 tag 上。 几个踩出来的坑记在代码注释里：C 不能攒够一行再回显（样例输入不带结尾换行，那个 换行永远等不到，回显会拖到退出时才发生，变成「答案在前、输入在后」）；也不能按 字节回显（中文多字节会被标记撕碎）；行号回退只能对编译错误全量做，stdout 里混着 学生自己打印的东西，printf("%4d | %s") 这种表格题一改就把人家的输出改错了。 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013rpSKCNpVcMhTFhw21YiL7	2026-09-02 01:11:41 -06:00
xuyueandClaude Opus 5	3f6b4102c9	feat(题目): 学生题目页恢复「要求」展示，走新的 astRequirements 字段 ... 旧后端的 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	0b7b08f2cc	refactor(前端): 去掉 { error, data } 信封，api2 改名 api ... 信封是 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	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
xuyue	ae1fb329b5	feat(阶段1): 搬入 ojnext 为 apps/web，未改业务代码	2026-08-06 21:18:16 -06:00