---
schema: online-okf-skill-1
okf_schema: online-okf-1
input_commit: c5d5d525765d54262237dd13b408f2b9590f67a3
concept_version:
  store_id: fcfd44a3-3b74-4077-bb28-54e09686ffaa
  epoch: 34e87bb1-94ae-473e-8819-8bf58ed5087f
  committed_seq: 16
  export_revision: 5dd5494dac885d3f32508b96941a9afbe691461a46f932e9c6eff3502d419ded
  manifest_sha256: 2c391ade665ad6762fd98c8704681ca19509af6b3df612a3d2b8c65f2926dce7
generated_by: scripts/export_online_okf_pilot.py
name: limbo137-okf-theorem-proof
description: 定理、证明、公式完整性与页码核验规范
---


# 子 Skill：定理、证明、公式完整性与页码核验（`/okf/skills/theorem-proof.md`）

## 1. 证据纪律（沿用 reading-assistant 模块）
- 证明与被引结论必须来自**显式登记的关联**或**同一小节上下文**；禁止跨节猜测隐式引用，禁止从“看起来像前置定理”的标题推断依赖。
- 每条引用都要能落到 `/okf/evidence/<evidence-id>.json` 中的 `quote`、`quote_sha256`、`locator`（`Document` 路径与 Unicode 码点范围）与 `book_sources`。
- 证据里 `precision` 有三档，引用时必须照抄：`exact-cited-range`（精确命中）、`section-only; quote-not-aligned`（只到节）、`document-only; page-not-registered`（只到书）。

## 2. 页码与锚点
- 概念卡中的 `原书 PDF · PDF 第 N 页` 已转写为 `pdf_page=N` 文本锚点（试点包不再链接 PDF 本体）。
- 印刷页码与 PDF 物理页序是两个量：`source_locator.page_mapping` 为 `not-yet-mapped` 时，只能写 `pdf_page: N`，不得编造印刷页码。
- 引用小节时给出 `https://limbo137.top/<route>`；有 `#first-...` / `#bound-...` / `#node-...` 锚点时一并给出。

## 3. 公式与定理块
- 保持 `$$...$$` 与 `$...$` 原样，不截断求和范围、积分测度、上下标与 `\tagEllipsis` 编号。
- 定理/定义/引理的编号（如 `(3.28)`）是引用锚点；改写措辞时保留编号。
- 若英文块与中文译文块在量词、符号或前提上不一致：并列两处原文，标注差异，并以英文块为准。

## 4. 回答模板
```
结论：<一句话>
依据：<书名> §<小节>（[链接](https://limbo137.top/<route>)）(pdf_page: <N 或 not-recorded>, source_category: <类别>)
原文：> <保持 LaTeX 完整的英文块片段>
中文对照：（可选，注明 translation 与 review_status）
数据版本：input_commit <前 8 位> · concept_version <token>
```