theory-ingestlisted

# /theory-ingest > 把一篇理论建模论文拆成可复用的研究资产。对着「理论建模通用骨架」的 6 个固定槽位抽取：环境/原语、解概念、结果、论证、比较静态、可检验推论。形式化陈述逐字引用，禁止释义。 ## Inputs - `source`: 本地 `.pdf`、`.tex`，或 `/init` 预处理后的 `raw/tmp/...` 路径。 - `--topic` 可选：当前项目主题，如“管理者短视与耐心资本”。 ## Outputs - `wiki/papers/{slug}.md`（`paper_kind: theory`） - 按需新建或更新： - `wiki/assumptions/*.md` - `wiki/propositions/*.md` - `wiki/hypotheses/*.md`（模型导出的可检验推论） - `wiki/mechanisms/*.md`（填 `## Theoretical Logic`，与实证层共享） - `wiki/foundations/*.md`（解概念、证明框架等可复用规范知识） - `wiki/index.md`、`wiki/log.md` - `wiki/graph/edges.jsonl` ## Workflow ### Step 1: Resolve Source 确认工作目录是项目根目录，包含 `wiki/`、`raw/`、`tools/`。 优先使用 `.venv`： ```bash if [ -x .venv/bin/python ]; then PYTHON_BIN=.venv/bin/python; else PYTHON_BIN=python3; fi ``` 理论论文公式密集，**`.tex` 优先**：有 `.tex` 源码就用源码，公式不会被 PDF 解析毁掉。只有 PDF 时先人工读第一页标题： ```bash "$PYTHON_BIN" - "<source>" <<'PY' import sys, fitz doc = fitz.open(sys.argv[1]) print(doc[0].get_text("text")[:2000]) PY ``` 然后运行： ```bash "$PYTHON_BIN" tools/prepare_paper_source.py --raw-root raw --source <source> --title "<confident-title>" ``` 把返回的 `prepared_path` 作为正文读取入口。 ### Step 2: Extract Along the 6-Slot Skeleton 先打开 `docs/runtime-theory-skeleton.zh.md`，对着 6 个固定槽位抽取。没有明确证据写“未报告”，不猜： 1. **环境 / 原语**：参与人、行动/策略空间、偏好/支付函数、信息结构、时序、技术/约束 2. **解概念**：均衡概念（Nash / 子博弈精炼 / 贝叶斯精炼 / 竞争均衡 …） 3. **结果**：每个命题/定理/引理的形式化陈述 + 成立条件 4. **论证**：每个结果的证明技术 5. **比较静态**：内生量随参数怎么动 6. **可检验推论**：模型导出的、可拿去实证的符号关系 **理论论文没有 variables/datasets/identification/robustness——这些不是