Mathematics · proofs · software

READING_CONCORDANCE.md

Paper XII: Patching Support, Hecke Packets, and Conditional Automorphic Completion

READING_CONCORDANCE.md

Download original file

Original Markdown with line links

Paper XII — three-reader concordance

Reading release 1.0.0, 10 October 2026. Page numbers below are physical PDF pages, including the cover. Keep the three delivered filenames together. Printed statement and lesson numbers remain the fallback when a viewer refuses local-file links.

94 registered routes produce 95 annotations because one label wraps. All target pages and PDF XYZ coordinates were checked.

Route Source / PDF page Target / PDF page Link text
main-v-3 traditional / 2 Paper_XII_Visual_Guide_v1.0.0.pdf / 4 V3
main-l-3.1 traditional / 2 Paper_XII_Lean_Guide_v1.0.0.pdf / 5 4
main-v-10 traditional / 2 Paper_XII_Visual_Guide_v1.0.0.pdf / 11 V10
main-l-6.9 traditional / 2 Paper_XII_Lean_Guide_v1.0.0.pdf / 16 8
main-v-11 traditional / 2 Paper_XII_Visual_Guide_v1.0.0.pdf / 12 V11
main-l-6.16 traditional / 2 Paper_XII_Lean_Guide_v1.0.0.pdf / 17 9
main-v-12 traditional / 2 Paper_XII_Visual_Guide_v1.0.0.pdf / 13 V12
main-l-8.2 traditional / 2 Paper_XII_Lean_Guide_v1.0.0.pdf / 19 10
main-v-15 traditional / 2 Paper_XII_Visual_Guide_v1.0.0.pdf / 16 V15
main-l-8.11 traditional / 2 Paper_XII_Lean_Guide_v1.0.0.pdf / 20 11
main-v-23 traditional / 2 Paper_XII_Visual_Guide_v1.0.0.pdf / 24 V23
main-l-10.5 traditional / 2 Paper_XII_Lean_Guide_v1.0.0.pdf / 20 11
main-v-17 traditional / 2 Paper_XII_Visual_Guide_v1.0.0.pdf / 18 V17
main-l-12.6 traditional / 2 Paper_XII_Lean_Guide_v1.0.0.pdf / 22 12
visual-1 visual_guide / 2 Paper_XII_Traditional_v1.0.0.pdf / 34 Main statement 12.6
visual-2 visual_guide / 3 Paper_XII_Traditional_v1.0.0.pdf / 8 Main statement 3.3
visual-3 visual_guide / 4 Paper_XII_Traditional_v1.0.0.pdf / 7 Main statement 3.1
visual-4 visual_guide / 5 Paper_XII_Traditional_v1.0.0.pdf / 8 Main statement 3.3
visual-5 visual_guide / 6 Paper_XII_Traditional_v1.0.0.pdf / 29 Main statement 10.5
visual-6 visual_guide / 7 Paper_XII_Traditional_v1.0.0.pdf / 14 Main statement 6.3
visual-7 visual_guide / 8 Paper_XII_Traditional_v1.0.0.pdf / 14 Main statement 6.4
visual-8 visual_guide / 9 Paper_XII_Traditional_v1.0.0.pdf / 14 Main statement 6.5
visual-9 visual_guide / 10 Paper_XII_Traditional_v1.0.0.pdf / 19 Main statement 7.3
visual-10 visual_guide / 11 Paper_XII_Traditional_v1.0.0.pdf / 15 Main statement 6.11
visual-11 visual_guide / 12 Paper_XII_Traditional_v1.0.0.pdf / 16 Main statement 6.16
visual-12 visual_guide / 13 Paper_XII_Traditional_v1.0.0.pdf / 20 Main statement 8.2
visual-13 visual_guide / 14 Paper_XII_Traditional_v1.0.0.pdf / 19 Main statement 7.4
visual-14 visual_guide / 15 Paper_XII_Traditional_v1.0.0.pdf / 31 Main statement 11.1
visual-15 visual_guide / 16 Paper_XII_Traditional_v1.0.0.pdf / 24 Main statement 8.11
visual-16 visual_guide / 17 Paper_XII_Traditional_v1.0.0.pdf / 21 Main statement 8.7
visual-17 visual_guide / 18 Paper_XII_Traditional_v1.0.0.pdf / 34 Main statement 12.6
visual-18 visual_guide / 19 Paper_XII_Traditional_v1.0.0.pdf / 7 Main statement 3.1
visual-19 visual_guide / 20 Paper_XII_Traditional_v1.0.0.pdf / 7 Main statement 3.1
visual-20 visual_guide / 21 Paper_XII_Traditional_v1.0.0.pdf / 10 Main statement 4.2
visual-21 visual_guide / 22 Paper_XII_Traditional_v1.0.0.pdf / 12 Main statement 5.2
visual-22 visual_guide / 23 Paper_XII_Traditional_v1.0.0.pdf / 28 Main statement 10.3
visual-23 visual_guide / 24 Paper_XII_Traditional_v1.0.0.pdf / 29 Main statement 10.5
visual-24 visual_guide / 25 Paper_XII_Traditional_v1.0.0.pdf / 29 Main statement 10.5
visual-25 visual_guide / 26 Paper_XII_Traditional_v1.0.0.pdf / 30 Main statement 10.9
visual-26 visual_guide / 27 Paper_XII_Traditional_v1.0.0.pdf / 34 Main statement 12.6
visual-27 visual_guide / 28 Paper_XII_Traditional_v1.0.0.pdf / 34 Main statement 12.6
lean-completion lean_guide / 2 Paper_XII_Traditional_v1.0.0.pdf / 29 companion-completion theorem
lean-visual23 lean_guide / 2 Paper_XII_Visual_Guide_v1.0.0.pdf / 24 Visual lesson V23
lean-five lean_guide / 2 Paper_XII_Traditional_v1.0.0.pdf / 34 five-gate theorem
lean-visual17 lean_guide / 2 Paper_XII_Visual_Guide_v1.0.0.pdf / 18 Visual lesson V17
claim-3.1 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 7 3.1
claim-3.2 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 8 3.2
claim-3.3 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 8 3.3
claim-3.4 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 9 3.4
claim-4.2 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 10 4.2
claim-5.1 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 12 5.1
claim-5.2 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 12 5.2
claim-5.3 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 12 5.3
claim-5.4 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 12 5.4
claim-6.2 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 13 6.2
claim-6.3 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 14 6.3
claim-6.4 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 14 6.4
claim-6.5 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 14 6.5
claim-6.7 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 15 6.7
claim-6.8 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 15 6.8
claim-6.9 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 15 6.9
claim-6.11 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 15 6.11
claim-6.12 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 16 6.12
claim-6.16 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 16 6.16
claim-6.18 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 18 6.18
claim-6.19 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 18 6.19
claim-7.1 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 19 7.1
claim-7.2 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 19 7.2
claim-7.3 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 19 7.3
claim-7.4 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 19 7.4
claim-7.5 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 19 7.5
claim-8.2 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 20 8.2
claim-8.3 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 21 8.3
claim-8.4 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 21 8.4
claim-8.7 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 21 8.7
claim-8.8 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 23 8.8
claim-8.10 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 23 8.10
claim-8.11 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 24 8.11
claim-8.12 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 24 8.12
claim-9.3 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 26 9.3
claim-9.4 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 26 9.4
claim-9.5 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 26 9.5
claim-9.6 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 27 9.6
claim-10.3 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 28 10.3
claim-10.4 lean_guide / 30 Paper_XII_Traditional_v1.0.0.pdf / 28 10.4
claim-10.5 lean_guide / 31 Paper_XII_Traditional_v1.0.0.pdf / 29 10.5
claim-10.7 lean_guide / 31 Paper_XII_Traditional_v1.0.0.pdf / 30 10.7
claim-10.9 lean_guide / 31 Paper_XII_Traditional_v1.0.0.pdf / 30 10.9
claim-11.1 lean_guide / 31 Paper_XII_Traditional_v1.0.0.pdf / 31 11.1
claim-11.2 lean_guide / 31 Paper_XII_Traditional_v1.0.0.pdf / 31 11.2
claim-12.2 lean_guide / 31 Paper_XII_Traditional_v1.0.0.pdf / 33 12.2
claim-12.4 lean_guide / 31 Paper_XII_Traditional_v1.0.0.pdf / 33 12.4
claim-12.5 lean_guide / 31 Paper_XII_Traditional_v1.0.0.pdf / 34 12.5
claim-12.6 lean_guide / 31 Paper_XII_Traditional_v1.0.0.pdf / 34 12.6

Other PDFs for this work

Original file and source record

This copy matches the recorded source file. Its publication here does not change the work’s review status.

SHA-256: d50aebe31c7fc132eecd7eca57d9cfaaa378ca0070e81c83b0b90db1a6240ccc

Original source on GitHub

Back to Paper XII: Patching Support, Hecke Packets, and Conditional Automorphic Completion