AI-Run Modern LaTeX Manuscript Workflow and Replication Packet

This record contains a public, reusable workflow note and sanitized replication material for an AI-run, human-directed pipeline that modernizes public-domain mathematical manuscripts into source-checkable LaTeX, reader PDFs, translations, audit packages, GitHub mirrors, and Zenodo releases. The packet documents the practical workflow: source acquisition and indexing, chunking, TeX transcription, compilation, visual/text auditing, translation passes, reader/artifact packaging, Zenodo publication, GitHub mirroring, and preservation of provenance artifacts. The 2026-06-09 OCR/witness refresh adds a sharper public rule for OCR and math-extraction outputs: OCR, Pix2Text/Pix2TeX-style formula output, VLM output, detector candidates, and AI draft TeX are witness or locator layers until a source-specific audit promotes them. Useful witness packages should keep source authority first, labelled high-resolution crops, source/TeX anchor ledgers, triage statuses, checksums, method limits, and explicit distinction between candidate evidence and promoted repairs. The 2026-06-09 Lean addendum records the local Lean/Lake pathway and the intended use of formal checking. Lean/Lake is treated as a selective formal companion layer for stable theorem statements, definitions, examples, algebraic identities, and calculation lemmas after the TeX/source branch has already been source-compared. It is not a bulk proof that scanned pages, diagrams, typography, historical notation, or prose-level mathematical intent were transcribed faithfully. Corrections and improvements can be suggested through the GitHub repository via issues or pull requests.本数据集包含一份公开可复用的工作流程说明与经脱敏处理的复现材料，用于支撑一个由人工智能驱动、人工主导的流水线，该流水线可将公共领域的数学手稿转化为可溯源校对的LaTeX文件、面向读者的PDF文档、多语言译本、审核套件、GitHub镜像仓库以及Zenodo发布包。 本数据集详细记录了该流水线的完整落地流程：包括源数据获取与索引、文本分块、TeX转录、文件编译、视觉与文本审核、多轮翻译、读者工具与制品打包、Zenodo发布、GitHub镜像创建以及来源溯源制品留存。 2026年6月9日的光学字符识别（Optical Character Recognition, OCR）/见证层更新新增了针对OCR与数学提取输出的更清晰公开规范：OCR结果、Pix2Text/Pix2TeX风格的公式输出、视觉语言模型（Vision-Language Model, VLM）输出、检测器候选结果以及AI生成的TeX草稿，均属于见证层或定位层，直至经过专属源数据审核后才可升级为正式制品。合格的见证数据包应优先保留源数据权威性信息，包括标注的高分辨率截图、源数据/TeX锚定台账、分类处理状态、校验和、方法适用边界，以及候选证据与升级后修正内容的明确区分。 2026年6月9日的Lean补充包记录了本地Lean/Lake工作路径以及形式化验证的预期用途。在TeX/源数据分支完成源数据比对后，Lean/Lake可作为选择性形式化辅助层，用于验证稳定的定理陈述、定义、示例、代数恒等式与计算引理。该工具并非用于整体验证扫描页面、图表、排版格式、历史符号体系或散文式数学表述意图是否被忠实转录。 用户可通过GitHub仓库提交Issue或拉取请求，以提出修正与改进建议。