v3.0 source reorganization: report broken links or stale references here

[timbrigham]

What this thread is for

Release v3.0 reorganized the Lean source into a domain-based layout. If you followed an older link or citation and it no longer resolves, this is the place to tell us, and we will map it to the new location.

What changed in v3.0

The Lean source moved from a flat layout (ZeroParadox/ZPx_*.lean) to a domain-based one (ZeroParadox/<Domain>/<Name>.lean, for example Valuation/Padic.lean, Ordinal/Gentzen.lean, Settheory/SetTheoryAFA.lean). The per-layer namespaces (ZeroParadox.ZPA, ZeroParadox.ZPJ, and so on) were flattened to a single ZeroParadox. The old ZPx_* file paths and namespace prefixes are retired.

What still works, unchanged

• SHA-pinned permalinks (.../blob/<commit-sha>/...) still resolve. They point at a fixed commit, so the old file is preserved exactly as it was.
• Zenodo / DOI snapshots are permanent. Each release's snapshot stays browsable at its DOI.

What may have broken

• blob/main/... links to old paths. A link to .../blob/main/ZeroParadox/ZPJ.lean no longer resolves, because that path is retired on main.
• Citations to old namespaces. For example, ZeroParadox.ZPJ.t_exec is now ZeroParadox.t_exec.

The old-to-new map

Every old-to-new file and declaration is recorded in ssot.json at the repository root:
https://github.com/timbrigham/ZeroParadox/blob/main/ssot.json

If a link broke, the new location is in there.

We swept for this, and may still have missed something

Before the release we ran a source-of-truth-driven sweep to correct stale references across the documentation and the rebuilt PDFs, and a separate review confirmed no stale references remained in the PDF corpus. Even so, a public repository has more references than we can see: permalinks in other people's notes, links from talks or emails, citations we do not know about. If you hit one that broke, drop it in a comment here (or open an issue) and we will map it to its new home.

Thanks for helping keep the trail intact.