Paper Index

Claim boundary papers explain theorem ids prove ambition stays labeled

This index is generated from the paper manifest and links papers to their current status, source file, sidecar roots, theorem ids, and dictionary ids. Paper prose can be ambitious, but proof status still comes from theorem manifests and Lean builds.

Click ids in the generated table to jump between papers, theorem status, and dictionary definitions without losing the source trail.