内容类型
TR
本页面生成自 content/docs/content-types/ — 下方每个小节都链接至其自身的源文件。
✎ Edit TR
folio-assistant 是与内容无关的：该平台对任何特定的论文或指南一无所知。每一种（kind）内容都由一个内容适配器（content adapter，懂得如何验证/构建/渲染该种内容的代码）和一个技能包（skill package，创作形式化体系——作者与大语言模型所做的工作）提供支持。
本页面描述了每种内容类型的形式化体系（formalism）。它特意与任何具体内容保持独立；具体的制品存放在它们各自的内容仓库中。
科学论文与专著
✎ Edit TR
技能包： authoring-math ·
适配器： paper ·
指南： 编写论文
严谨的科学论文与专著，其中的散文和数学内容均有机器校验的 Lean 4 形式化作为后盾，并通过 LaTeX 进行排版渲染。
论文就是文档加上包含 Lean 的块。 上一节中的所有内容在此同样适用：相同的块树、相同的编辑
uses[]图、相同的 QA sidecar、相同的生命周期——以及 Markdown 渲染路径（在未安装 TeX 的机器上起草时即可工作）。正因如此，paper适配器在代码上继承扩展了document适配器。论文所增加的是下方的七种断言为形式化主张的块类型，以及用于检查和排版它们的两个工具链。
- 源模型（Source model）——内容是由类型化块（
definition、theorem、lemma、proof、equation、prose等）构成的树。有关Block、Chapter和Paper，请参阅 TypeScript API 参考。 - 形式化（Formalization）——
lean-formalization和proof-verification技能驱动 Lean；每个类定理（theorem-like）块都可以对照其 Lean 对应项进行追踪，且每一个sorry均可审计。 - 渲染（Rendering）——
latex-authoring加上论文适配器的paper_render_pdf/paper_render_html工具。
文档 folio 无法获得的七种类型，以及它共享的八种类型：
| 块类型 | 标签前缀 | 是否包含 Lean？ | 配置文件 |
|---|---|---|---|
definition | def: | 必需 | 仅限论文 (paper only) |
theorem / lemma / proposition / corollary | thm: / lem: / … | 预期包含 | 仅限论文 (paper only) |
conjecture | conj: | 可选 | 仅限论文 (paper only) |
proof | prf: | 可选 | 仅限论文 (paper only) |
example / remark | ex: / rem: | 可选 | 共享 (shared) |
algorithm / simulator | alg: / sim: | 可选 | 共享 (shared) |
prose / equation / diagram / table | prose: / eq: / fig: / tbl: | 不适用 | 共享 (shared) |
四个“仅限论文”（paper only）行是 schemas/block-kinds.ts 中的 MATH_BLOCK_KINDS；而“共享”（shared）行则是 DOCUMENT_BLOCK_KINDS，作为补集推导得出，以便后续添加的类型不会未经分类。
其中有两行值得进一步审视。definition 是整个划分中最明确的分水岭——它是唯一一个其 lean 字段为必需而非可选的类型，因此即便配置文件允许，文档 folio 也无法容纳它。而“共享”（shared）类型仍然声明了一个可选的 lean：类型系统允许了配置文件所禁止的内容，这正是为什么 content_profile_check 在“该类型是否被允许”之外还有第二条规则。
相关的技能模式：
latex-authoring、
lean-formalization、
proof-verification。
其他——扩展 folio-assistant
✎ Edit TR
新的内容类型是一等公民：添加一个内容适配器（adapter）和一个技能包（package），生命周期、RBAC 以及 MCP 底层管道即可直接获享。请参阅添加内容类型。