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>

packages/contract/src/admin.ts

@@ -3,7 +3,8 @@ import { z } from "zod"
 import { achievementRaritySchema } from "./achievement"
 import { rankProfileSchema } from "./account"
 import { paginatedSchema, sampleUserSchema } from "./common"
-import { problemDifficultySchema } from "./problem"
+import { reactionKeySchema } from "./content"
+import { problemDifficultySchema, sqlConfigSchema, sqlDisplaySchema } from "./problem"
 
 /**
  * 后台侧的契约。与 oj 侧分开放：同一张表在两侧下发的字段集通常不同
@@ -513,10 +514,10 @@ export const adminProblemListItemSchema = z.object({
   hasAstRules: z.boolean(),
   allowFlowchart: z.boolean(),
   showFlowchart: z.boolean(),
-  // 最高票评价 {type, count}。**当前后端恒传 null** —— 旧后端的
-  // reaction/services.py:get_top_reactions 没有跟着迁过来，这一列现在是空的。
+  // 最高票评价 {type, count}。**只有公开题列表下发**，比赛题列表恒传 null ——
+  // 与旧后端 reaction/services.py:get_top_reactions 的口径一致。
   topReaction: z
-    .object({ type: z.string(), count: z.number().int() })
+    .object({ type: reactionKeySchema, count: z.number().int() })
     .nullable(),
 })
 
@@ -558,8 +559,8 @@ export const adminProblemSchema = z.object({
   astRules: z.unknown(),
   answers: z.array(z.record(z.string(), z.unknown())),
   prompt: z.string().nullable(),
-  sqlConfig: z.record(z.string(), z.unknown()).nullable(),
-  sqlDisplay: z.record(z.string(), z.unknown()).nullable(),
+  sqlConfig: sqlConfigSchema.nullable(),
+  sqlDisplay: sqlDisplaySchema.nullable(),
 })
 
 export const createProblemRequestSchema = z.object({
@@ -588,7 +589,12 @@ export const createProblemRequestSchema = z.object({
   mermaidCode: z.string().nullable().default(null),
   flowchartHint: z.string().nullable().default(null),
   astRules: z.unknown().default(null),
-  sqlConfig: z.record(z.string(), z.unknown()).nullable().default(null),
+  // order_sensitive 缺省补 false —— 与旧后端 SQLConfigSerializer 的
+  // `BooleanField(default=False)` 一致
+  sqlConfig: sqlConfigSchema
+    .extend({ order_sensitive: z.boolean().default(false) })
+    .nullable()
+    .default(null),
 })
 
 export const updateProblemRequestSchema = createProblemRequestSchema

packages/contract/src/problem.ts

@@ -8,6 +8,53 @@ import { paginatedSchema, sampleUserSchema } from "./common"
  * 多出来的值会静默渲染成 undefined。
  */
 export const problemDifficultySchema = z.enum(["Low", "Mid", "High"])
+
+/**
+ * SQL 题配置与展示数据。两者都是 `problem.sql_config` / `problem.sql_display`
+ * 的 **JSONB 原文**，所以键名保持 snake_case —— 回滚时旧后端要读同一份，
+ * 且旧后端 `judge/sql_runner.py:build_display` 产出的就是这个形状
+ * （生产库 9 道 SQL 题逐条比对过，键集完全一致）。
+ *
+ * 写成精确 schema 而不是 `z.record(z.unknown())`：前端原来得自己手抄一份
+ * SQLDisplay 接口才能渲染表格，抄错了没人拦得住。
+ */
+export const sqlConfigSchema = z.object({
+  mode: z.enum(["query", "modify"]),
+  order_sensitive: z.boolean(),
+})
+
+/** 表格里的单元格。SQLite 只会给出这三种；BLOB 在落库前已转成十六进制字符串 */
+const sqlCellSchema = z.union([z.string(), z.number(), z.null()])
+
+const sqlDisplayColumnSchema = z.object({
+  name: z.string(),
+  /** 表达式/聚合列（COUNT(*)、别名）在数据表里无同名列，类型为空串，前端据此隐藏 */
+  type: z.string(),
+})
+
+const sqlResultSetSchema = z.object({
+  columns: z.array(sqlDisplayColumnSchema),
+  rows: z.array(z.array(sqlCellSchema)),
+  total_rows: z.number().int().nonnegative(),
+  truncated: z.boolean(),
+})
+
+export const sqlDisplayTableSchema = sqlResultSetSchema.extend({
+  name: z.string(),
+  /** 被标准答案 DROP 的表：条目用初始数据补齐、rows 清空，前端提示「表已删除」 */
+  dropped: z.boolean().optional(),
+})
+
+export const sqlDisplaySchema = z.object({
+  tables: z.array(sqlDisplayTableSchema),
+  // query 题给结果集，modify 题给改动后的表 —— 两种形态，前端按有没有
+  // changed_tables 分支
+  expected: z.union([
+    sqlResultSetSchema,
+    z.object({ changed_tables: z.array(sqlDisplayTableSchema) }),
+  ]),
+})
+
 export const problemDetailSchema = z.object({
   id: z.number().int(),
   _id: z.string(),
@@ -49,8 +96,8 @@ export const problemDetailSchema = z.object({
   mermaidCode: z.string().nullable(),
   flowchartData: z.record(z.string(), z.unknown()).nullable(),
   flowchartHint: z.string().nullable(),
-  sqlConfig: z.record(z.string(), z.unknown()).nullable(),
-  sqlDisplay: z.record(z.string(), z.unknown()).nullable(),
+  sqlConfig: sqlConfigSchema.nullable(),
+  sqlDisplay: sqlDisplaySchema.nullable(),
 })
 
 export type ProblemDetail = z.infer<typeof problemDetailSchema>
@@ -96,4 +143,8 @@ export type ProblemListItem = z.infer<typeof problemListItemSchema>
 export type ProblemList = z.infer<typeof problemListSchema>
 export type Tag = z.infer<typeof tagSchema>
 export type ProblemAuthor = z.infer<typeof problemAuthorSchema>
+export type SqlConfig = z.infer<typeof sqlConfigSchema>
+export type SqlDisplay = z.infer<typeof sqlDisplaySchema>
+export type SqlDisplayTable = z.infer<typeof sqlDisplayTableSchema>
+export type SqlDisplayColumn = z.infer<typeof sqlDisplayColumnSchema>
 export type YearlyAc = z.infer<typeof yearlyAcSchema>