4 Commits

Include renames

Author	SHA1	Message	Date
xuyue	d25b5dbe6d	update	2026-09-27 19:36:28 +08:00
xuyueandClaude Opus 5.5	83b9d23c68	perf(前端): zod 移出首屏包，首屏 JS 721KB → 594KB（gzip 237 → 199KB） ... 首屏包里带着整个 zod 运行时（~100KB），来路有三条，缺一条都挪不出去（逐条撤回实测过）： - 契约包没有 sideEffects: false，入口从桶里取任何一个值都会把所有 schema 模块带上。 契约包里没有顶层副作用（核过），加上之后 rolldown 才能按导出摇树 - roles.ts 里的 USER_TYPE / toAdminType 是入口要的，同文件却定义了两个 z.enum。 schema 挪到 admin.ts（唯一用处），roles.ts 文件头写明不许 import zod - 启动就要调的 getWebsiteConfig / getAILoginSummary 在 oj/api.ts 里，而那个文件同步 import 了题目详情、提交详情两个 schema。这两个函数挪到 shared/api.ts；那两道 闸门保持同步 —— submissionDetailSchema 有 .catch()，放行原文和解析结果不等价 - /me 的契约闸门改成 contractDeferred：先放行原文，schema 按需加载后在后台核、只记 日志。userProfileSchema 没有 default / transform，两者等价。动态 import 的目标是 单独的 shared/profileSchema.ts —— 直接 import 契约桶会让 rolldown 重排共享 chunk， 实测首屏反而涨到 1811KB 浏览器实跑核过：登录后 profile 正常加载、profileSchema 按需拉取、无控制台报错； 故意喂一份不符的数据，后台闸门照常打出 [契约] 分歧日志。 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-09-27 15:23:31 +08:00
xuyueandClaude Opus 5	7d15e6aeaa	refactor(契约): 判题产物退回不校验，练一练的形状闸挪到写入侧，运行时闸门收回三处 ... 前四轮把契约当成运行时闸门铺开，复盘下来三块里只有一块是赚的：类型收拢成一份 （语言联合、Problem/Message/ContestRank 的重复派生）留着；另外两块退回来。 ## 判题产物：读出侧不再校验 judgeCaseResultSchema 按采样键集收紧的结果，用根目录那份生产备份全量跑了一遍： 124192 条提交里 9163 条对不上，**RE 8480/8480、TLE 338/338+26、MLE 1/1 全中**， 另有 270 条 WA、47 条 AC。原因不是键集合，是空值和 SQL 链路： - 沙箱在非正常退出的测试点上写 `output_md5: null`，契约写的是 z.string()； - SQL 判题（judge/sql/engine.ts 的 CaseResult）根本没有 `output` 键； - SQL 通过的测试点 `error_message` 是 null，契约写的是 z.string().optional()。 更糟的是失败方式：`info` 是 `union([完整形状, z.object({})])`，对不上的一律落进 第二支被剥成 `{}` 且 parse 成功 —— 管理员详情页的测试点表格**静默消失**，无日志。 JSONB 的形状真相在写入侧（判题机），读出侧再校验一遍只会在两边分叉时丢数据。 所以 `info` 回到 z.unknown()，形状改用 JudgeInfo / JudgeCaseResult 两个 TS 类型 描述（按判题机实际写的形状，不是采样出来的），取值处由 submissionCaseResults() 做唯一需要的运行时判断：有没有 data 数组。statisticInfo 换成 looseObject —— 所有键可选、不剥未知键，对任何对象都不会失败，它的作用是给类型不是当闸门。 ## 练一练：形状闸从读路径挪到写路径 exerciseSchema 的 superRefine 挂在读路径上，而这个 schema 后端也在 parse （routes/content.ts），等于一行脏数据就能让整条学生练习列表 500。同时写入侧的 exerciseDataError **一次都没查过 question**，两边严紧度不一致，脏数据进得来出不去。 exerciseDataByType 保留，改由 exerciseDataError 在写入前查，错误信息按字段翻成 中文给老师看；读路径回到不校验。 ## 运行时闸门收回三处 contract() 从 41 个端点收回到题目详情 / 提交详情 / 用户资料 —— 原本就写了 .parse() 的那三条。留着的理由是「别抛错」（原来 parse 抛 ZodError 会白屏、 后面的 as 又让校验白做），不是校验：前后端同仓、共享同一份 schema，字段漂移 tsc 已经抓了。闸门本身也瘦掉了没人读的 window.__OJ2_CONTRACT_DRIFT__ 那套簿记。 ## 验证 - 生产备份全量：124192 条提交过 submissionDetailSchema / submissionListItemSchema 零失败，其中 112144 条能拿到测试点明细（另外 12048 条本来就是 data:null）； 151 道练习读路径 151/151、写入闸 151/151（老师改旧题不会被新闸挡）； - 反向验证写入闸：缺题干的排序题被拒并给出「题干的格式不对」； - 本地实跑：种一条生产形状的 RE 提交（output_md5: null），管理员详情接口原样 返回 info.data（改之前是 {}）；库里塞一行没有 options 的 mcq，学生端练习列表 照常返回两条而不是 500； - vue-tsc / tsc -p apps/api 均 exit 0，vite build 通过，check:routes 无遮蔽。 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012j1vgeDqay8wKCh8dPgPcH	2026-09-10 04:53:28 -06:00
xuyue	aab0404ed7	refactor(契约): 语言与判题产物的形状收进契约，学生端高频响应接上运行时校验 ... 契约在前端一直只当类型包用：45 处引用里几乎全是 import type，三个 .parse() 后面 还都紧跟一个 as 把校验结果断言回去，等于没校验。这一轮把形状的来源收拢。 ## 语言：三份真相并成一份 前端 utils/types.ts 手写了一份 9 值的语言联合，后端 judge/languages.ts 有自己的一套， 生产库又有一套。手抄那份**漏了 SQL**，而生产库 961 道题里有 9 道 SQL 题、 124191 条提交里有 91 条 SQL 提交 —— 这些提交的 language 在前端类型上是 undefined。 现在唯一来源是契约的 problemLanguageSchema，constants.ts 的显示映射以它为键， 契约里加语言而那边没补映射会当场编译不过。 ## 判题产物：按生产数据实测收紧 judgeInfoSchema / statisticInfoSchema 的形状来自 124191 条提交的实测，不是手抄： - info.data 有 12048 条是 null（编译失败等没有逐测试点结果），前端手抄的 Info 却把 data 写成非空数组 —— 这 12048 条在类型上根本不成立； - info 还允许**空对象**：非管理员看提交详情时后端下发 info: {}（权限投影）。 收紧时必须把它算进去，否则每条非管理员看的提交详情直接 500 —— 本地实测复现过； - statistic_info 的五个键按出现次数定成全部可选；另有 8916 条 JSONB 原文因内嵌 带转义的 shell 输出不是合法 JSON，被后端 objectValue() 兜成 { value: ... }， 所以不能用严格对象，否则这 8916 条会被误判成分歧。 ## 运行时闸门 新增 utils/contract.ts：safeParse 失败时记一条分歧（去重、控制台可见、 window.__OJ2_CONTRACT_DRIFT__ 可查）后**放行原始数据**，不白屏 —— 面向学生的 生产站点，字段空着比整页崩掉可接受。接在 7 条高频链路上：/site、/site/online、 /problems、/problems/:id、/submissions、/submissions/:id、/me。 提交详情的 info 是联合类型，调用方不再直接取 .data，统一走 utils/functions.ts 的 submissionCaseResults()。 ## 验证 - vue-tsc 与 tsc -p apps/api 均 exit 0；vite build 通过； - 契约 schema 直跑真实接口：7/7 通过（自包含脚本，从登录到详情全链路）； - 用生产备份复核收紧后的约束：961 题的 languages 无越界值，template 只出现 C/Python3 两个键 —— 不会因为这次收紧在生产上抛错。	2026-09-10 04:19:41 -06:00