|
|
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），而数据早在 c2a8120 拆掉
转换层后就是 camelCase 了。naive-ui 按 row[key] 取值，取到 undefined 就渲染
空白、不报错 —— 和 d3348f9 是同一个病根。
顺着这条线把整个端点重写了：
**上限不再由调用方传。** `top` 参数原来有三个调用方各传各的（100 / 10 / 0），
而它会覆盖 limit 与 offset、total 却按全量算，正是 36e4ac2 那个「每页都是同样
100 条」的成因。现在 100 写死在服务端，参数只剩 limit / offset。
「全服 Top10」不需要另一个上限，它就是这个榜的第一页。
**排序补了第三档 asc(user.id)。** 前两个键完全相同的学生在真实数据里成片存在
（都是 0/0），没有稳定兜底键时 postgres 每次返回的顺序可以不同，翻页会看到重复
或漏掉的人。老代码缺这一档。
**新增 me（我的全服名次）。** 名次 = 排在我前面的人数 + 1，三个排序键逐级比较，
与列表的 orderBy 逐字对应 —— 少比一级就会出现「显示第 7 名、实际排在表格第 9 行」。
榜上高亮我那一行，名次超出 100 时在 footer 单独给一行。未登录、教师/超管返回 null。
**后台那条搬去 /api/admin/rankings/users**（requireSuperAdmin，无上限）。
原来它走的是公开端点的 top=0 分支，也就是任何匿名请求都能 ?top=0&limit=250
翻走全校学生名单和个性签名 —— 而 /profiles/:username 恰恰为了收紧枚举面才做了
「匿名一律返回空」，注释里还专门点了 /rankings/users 的名。这条页面本来就是
requiresSuperAdmin，它调的另外两个接口也都是 requireSuperAdmin，守卫对得上。
顺手去掉恒真条件 gte(acceptedNumber, 0)：该列是 notNull default 0。
同一次扫了全仓 218 个表格列定义，筛出 70 个没有 render 的（只有这些才靠 key
直接取值），比对全部类型定义里的字段名 —— 除这两处外没有漏网的。`_id` 和
`test_case` 是真字段名，不能改。另外收掉两处同类的雷：
admin/setting/config.vue 手写的 `interface Testcase` 字段名和类型都是错的
（真实数据是 createTime: number，不是 create_time: string），改用契约的
OrphanTestCase；serverColumns 里 last_heartbeat / create_time 两个残留 key
有 render 兜着没出事，一并改正。
实测（造 120 个探针用户，含 3 个 AC 与提交数完全相同的并列，验完已清库）：
122 人时 total=100；offset=95 末页 5 条；offset=100 越界返回空且不发 SQL；
并列三人稳定占据前三；student(ac=2) 拿到 rank=121 走「不在榜上」分支；
把 ac 调到 450 时 rank=4 且表格第 4 行正是 student（名次与行号对得上）；
升成超管后 me 变 null；后台端点 total=121 无上限、keyword=probe_01 命中 10 条、
未登录 401；传 top=1 已被忽略。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
|
2026-08-25 17:57:55 -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 |
|
|
|
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 |
|
|
|
61f74054f9
|
fix(Minor M3): blog / github 加回 URL 校验
旧 account/serializers.py:125,127 是 serializers.URLField，迁移时降级成了
z.string().max(256)。这两个字段会被前端渲染成可点击链接，放任自由字符串等于
允许写入 javascript: 一类伪协议。
只放行 http(s)://，空串表示清空。实测 javascript:alert(1) 与 not a url 均 400，
https://example.com/x 与空串 200。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
|
2026-08-07 07:01:13 -06:00 |
|
|
|
8c00cdc947
|
feat(阶段3): oj 侧端点铺开（基线提交，未经评审）
由外部 agent (Codex) 在本会话额度中断期间完成。原样提交作为基线，
后续修复单独成 commit，便于区分与回退。
覆盖 oj 侧 65 个端点，新增 9 组路由（account/achievement/ai/classroom/
content/contest/flowchart/problemset/site）与对应 Zod 契约。
已核验：tsc --noEmit 退出码 0；API 可启动；/api/problems 返回真实数据；
judge 与 flowchart worker 均 ready。
未核验：权限边界与数据泄露，评审进行中。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
|
2026-08-07 01:25:36 -06:00 |
|
