forked from bai/curriculum-project-hub
sjfhsjfh
3ebe4b754d
Remove filler/redundant patterns: 钉死/钉, 本模块, likec4 画不出/画得出, 臆造, 散文, 分歧点测试, 纯 plumbing, 恰好, 留白, 宪法第N条, 刻意. No code definitions changed, only doc comments.
11 lines
602 B
Lean4
11 lines
602 B
Lean4
/-!
|
|
# QuestionBank —— 题库(骨架,核心关系 OPEN)
|
|
|
|
题库是与工程文件并列的资产(类比 DAW 的 sample library):有自身结构的实体,又是最
|
|
典型的可复用单元,lesson 会引用它。但**题库与 element 的关系尚未决策**,且用户明确
|
|
指出"纯引用可能不够"——element 内联题目数据 / lesson 持指向题库条目的引用 / 两者并存?
|
|
|
|
这是一个 `OPEN` 分歧点。此处不替它选解——不建 `QuestionRef` 也不建
|
|
内联结构,只在此 surface。待专门 ADR 落定后再填。本文件当前不引入任何承诺性声明。
|
|
-/
|