Published June 12, 2026 | Version 2026-06-12 object-level diagram/table audit addendum

AI-Run Modern LaTeX Manuscript Workflow and Replication Packet

  • 1. Independent

Description

Compact workflow and replication record for the Modern LaTeX Editions of Mathematics Manuscripts project. It documents the AI-run scan-to-TeX-to-translation-to-audit-to-publication workflow, including local source acquisition, OCR/math-OCR witness generation, source-image slicing, high-DPI object crops, TeX compilation, web review handoffs, GitHub mirroring, and Zenodo publication.

Latest update. Adds workflow-addendum-20260612-object-level-audit.md, a small public addendum distilled from local diagram/table repair audits. The addendum records that diagram and table promotion should be object-level rather than page-level: a promoted object needs a source object witness, output render witness, stable object ID, and explicit ledger verdict. Full-page screenshots and contact sheets are orientation aids, not authority, and screenshots or crops must not silently replace reconstructed TeX.

Workflow status. The record is a reusable workflow packet, not a claim that any particular mathematical edition is critically complete. OCR, VLM, detector, crop, and candidate-TeX outputs are witness and locator layers unless a source-specific audit promotes them. Source scans and source-object witnesses remain authority for transcription claims.

Corrections and contributions. Workflow corrections, tool notes, reproducibility improvements, and issue reports can be suggested through the GitHub mirror via issues or pull requests: https://github.com/KokunoYumeto/modern-latex-manuscripts.

Notes

Adds workflow-addendum-20260612-object-level-audit.md. This addendum distills local diagram/table audit lessons: promotion of diagrams, tables, determinant displays, and dense formula objects should require a stable object ID, source object witness, output render witness, and explicit ledger verdict. Contact sheets and screenshots are triage/orientation aids, not authority; image-backed objects must be labelled rather than silently treated as reconstructed TeX.

Files

AI-Run Modern LaTeX Workflow Packet - Lean Formal Checking Addendum 20260609.zip

Files (362.6 kB)

Name Size Download all
md5:8751032e8fb7154df2492b4b4c395a82
9.3 kB Preview Download
md5:37a95f037109324be8985e394f207557
10.7 kB Preview Download
md5:050c9a74cb69ab6b35304063baf1e9b2
31.8 kB Preview Download
md5:a854eaff145bcba60b4188516058f6ce
10.0 kB Preview Download
md5:da6c54156824c20dbff4bf2d23a8a61f
33.5 kB Preview Download
md5:606cd186572a442314171042f9b94e35
20.3 kB Preview Download
md5:d5c50c5c01c8b9e0ba3ef4d380c75cd7
83.6 kB Preview Download
md5:00dd3071772ad3de4234cfc53f2c211c
34.3 kB Preview Download
md5:61227796c26124a73234e6a804043a69
102.7 kB Preview Download
md5:927733ee3366032bcce040c4ccfb2c7c
2.6 kB Preview Download
md5:8b11424e3077e7849302022e1f8f079a
3.1 kB Preview Download
md5:b374ee631a57d727c99a0b30d2f27996
2.7 kB Preview Download
md5:7286641f4cfd6955c1519a1f64367eb6
4.9 kB Preview Download
md5:42f1a5e68a40c2e11f6361ed9a0831ac
6.1 kB Preview Download
md5:0a94c42322fc142dcddc495dd7244ebd
4.6 kB Preview Download
md5:ce15dc002a6bfa6578e68983db41bd36
2.5 kB Preview Download

Additional details