ProofDiff v0.1.1 — arXiv release

Definitive ProofDiff release for the arXiv paper.

This patch release corrects the provenance record included in v0.1.0. The software includes deterministic normalization of repeated LaTeX command backslashes inside delimited mathematics while preserving raw model responses in run logs.

Validated from a fresh GitHub clone:

• package and wheel build
• 104 offline release tests
• all four live example pipelines without manual intervention

Paper artifact assets:

• proofdiff-v0.1.1-paper-artifacts.zip — exact inputs, accepted outputs, run metadata, rendered views, figures, provenance, and internal checksums
• proofdiff-v0.1.1-paper-artifacts.zip.sha256 — SHA-256 checksum for the ZIP

MIT license for software; CC BY 4.0 for documentation and project artifacts. Model-backed stages are nondeterministic, so later runs may differ from the archived paper outputs.

Archival record

The exact v0.1.1 software snapshot and paper artifacts are archived on Zenodo:

• Version DOI: https://doi.org/10.5281/zenodo.23930759
• Concept DOI: https://doi.org/10.5281/zenodo.23930758

ProofDiff v0.1.0 — arXiv release

First public release of ProofDiff, aligned with the arXiv manuscript.

• Clean public snapshot with no private repository history
• Four paper example pairs
• Locked Python environment, exported schemas, and release tests
• MIT license for software; CC BY 4.0 for documentation and project artifacts
• Validated from a fresh GitHub clone: package build, 104 offline tests, and all four live example pipelines

Model-backed stages are nondeterministic, so later runs may differ from the exact outputs archived with the paper.