# Conversion fidelity assessment

The proof of concept converts the full PMath 340 source, not an excerpt. Instructor: Michael Rubinstein. Notes: Benjamin Smith. Term: Winter 2006. The original disclaimer and corrections contact are retained.

## Method and preservation

Downloaded the requested `.tex` (77,715 bytes) and `.pdf` (353,994 bytes, 31 pages) using temporary Dropbox download URLs. Originals are stored unchanged under `originals/`; revision IDs and SHA-256 fingerprints are recorded in `provenance.json`. No Dropbox mutations were performed. Pandoc 3.12.1 reads the original source, expands custom macros, and emits native MathML. A small postprocessor restores numbering and adds website navigation.

## Structural checks

- All 5 sections, 20 subsections, and 1 subsubsection retained. The contents sidebar follows the original two-level table of contents.
- All 57 theorem-like environments and 32 proof environments retained, checked by environment type against the LaTeX.
- All 8 tabular environments and 4 body footnotes retained.
- 1,476 MathML expressions; conversion emits no warnings and contains no MathML error nodes. This is a parser check, not proof of mathematical equivalence.
- Internal anchors, footnote backlinks, equation reference, local file links, and original checksums validated by `verify.py`.
- All 57 generated statement labels matched labels extracted from the original PDF.
- Browser checks: topic filtering returned the expected quadratic reciprocity sections; the reading link navigated to its chapter; the PDF panel expanded and collapsed. Desktop and 390-pixel phone layouts were visually checked, with no page-wide horizontal overflow at phone width. The original PDF page 2 was rendered for comparison with the first proposition and proof. Embedded PDF rendering is browser-dependent; the separate open/download links are provided as a fallback.

## Repairs made in the generated edition

Pandoc initially numbered theorem-like statements consecutively from 1 to 57. Restored the shared counter that resets at each section (e.g. Proposition 1.1, Lemma 2.1, Theorem 5.2), following the source declarations. Added stable statement anchors. Restored the single numbered equation as (1), with a working link from Proposition 2.22's proof to its `sigma` target. Originals are unaffected.

## Differences and limits

- HTML reflows text; page breaks, page numbers, exact fonts, line breaks, and print spacing are not reproduced.
- The three-column example in section 3.1 becomes a linear reading sequence. Its expressions remain present.
- Long equations and tables scroll horizontally rather than shrinking; this matters on phones.
- Body footnotes move to the end. The author's title-page corrections footnote is represented by the footer contact.
- Index markup and print-only commands do not create a web index. Search filters sections by their text and TeX annotations; it is not symbolic mathematical search or a cross-course search engine.
- Browser-native MathML rendering varies. The PDF is the reference for exact typesetting; legacy browsers and screen readers have not been exhaustively tested.
- Review is structural and sampled visual comparison, not a line-by-line mathematical audit of all 31 pages.

## Existing source issues retained

The Bernoulli proof's base case uses `t+1+1-(t+1)` and the following Big-Oh paragraph contains a missing closing parenthesis. The partitions theorem contains `\sum_{k=1}^[\infty`, putting the bracket in the exponent. These are present in the original LaTeX and have not been silently corrected. The source also contains personal uncertainty notes in footnotes; these remain intact. A separate editorial pass should distinguish source corrections from conversion fixes.