Paper XI — reading and source concordance
All page numbers in the PDF-page column count the cover as page 1. Printed page labels can differ. The actual destinations were resolved from the final source build; historical obligation 66 and current comparison remain separate routes.
Reader choices
| Reader | PDF pages | Purpose |
|---|---|---|
| Main monograph | 111 | Finite theory, restricted arithmetic results, fifteen construction appendices and references. |
| Core visual guide | 53 | Diagrams, examples, conventions and the boundary of the comparison. |
| Lean guide | 239 | Fresh verification, the supplementary implication, forty excerpts and the full selected source catalogue. |
| Research progress paper | 77 | Preserved Parts I–III: constructions, occurrence obstructions, conductors and marking contracts. |
| Conjecture atlas | 36 | Thirty-two worked plates and the explicit remaining obligations. |
The main manuscript's Section 16.1 states the realization contract. Conjecture 66 and the surviving one-candidate comparison are distinct statements within it. The research progress paper's opening contract and Parts II–III retain the later occurrence, conductor and native-marking analysis. Atlas plate V30 specifies the missing native certificate; V32 states the current frontier. The Lean guide's new supplement states exactly what its supplied-candidate implication assumes.
Exact companion routes
The 107 declared route keys produce 108 resolved companion-link actions in the three rebuilt readers. Some keys are aliases for the same destination. Preserved-reader routes have fixed PDF pages; active-source routes also retain their TeX labels and printed page values. Keep all five PDFs together with their delivered filenames.
| Route key | Destination file | PDF page | Printed page | Source label or route type |
|---|---|---|---|---|
arithmetic |
Paper_XI_Conjecture66_Progress_v0.4.0.pdf | 12 | — | fixed preserved-reader page |
arithmetic_atlas |
Paper_XI_Conjecture66_Visual_Atlas_v0.5.0.pdf | 8 | — | fixed preserved-reader page |
atlas_start |
Paper_XI_Conjecture66_Visual_Atlas_v0.5.0.pdf | 1 | — | fixed preserved-reader page |
conductor |
Paper_XI_Conjecture66_Progress_v0.4.0.pdf | 58 | — | fixed preserved-reader page |
conductor_atlas |
Paper_XI_Conjecture66_Visual_Atlas_v0.5.0.pdf | 13 | — | fixed preserved-reader page |
contract |
Paper_XI_Conjecture66_Progress_v0.4.0.pdf | 6 | — | fixed preserved-reader page |
contract_atlas |
Paper_XI_Conjecture66_Visual_Atlas_v0.5.0.pdf | 3 | — | fixed preserved-reader page |
core_lean |
Paper_XI_Lean_Guide_v1.1.0.pdf | 1 | — | fixed preserved-reader page |
core_visual |
Paper_XI_Visual_Guide_v1.1.0.pdf | 1 | — | fixed preserved-reader page |
current_comparison |
Paper_XI_Traditional_v1.1.0.pdf | 34 | 33 | prop:realized_candidate_comparison |
lean_arithmetic |
Paper_XI_Traditional_v1.1.0.pdf | 36 | 35 | sec:arithmetic_progress |
lean_atlas |
Paper_XI_Conjecture66_Visual_Atlas_v0.5.0.pdf | 1 | — | fixed preserved-reader page |
lean_comparison |
Paper_XI_Traditional_v1.1.0.pdf | 34 | 33 | prop:realized_candidate_comparison |
lean_contract |
Paper_XI_Traditional_v1.1.0.pdf | 34 | 33 | conj:arithmetic_realization |
lean_core_visual |
Paper_XI_Visual_Guide_v1.1.0.pdf | 1 | — | fixed preserved-reader page |
lean_finite |
Paper_XI_Traditional_v1.1.0.pdf | 33 | 32 | prop:tame_package |
lean_native |
Paper_XI_Conjecture66_Visual_Atlas_v0.5.0.pdf | 32 | — | fixed preserved-reader page |
lean_progress |
Paper_XI_Conjecture66_Progress_v0.4.0.pdf | 1 | — | fixed preserved-reader page |
lean_research_contract |
Paper_XI_Conjecture66_Progress_v0.4.0.pdf | 6 | — | fixed preserved-reader page |
lean_v01 |
Paper_XI_Conjecture66_Visual_Atlas_v0.5.0.pdf | 3 | — | fixed preserved-reader page |
markings |
Paper_XI_Conjecture66_Progress_v0.4.0.pdf | 67 | — | fixed preserved-reader page |
markings_atlas |
Paper_XI_Conjecture66_Visual_Atlas_v0.5.0.pdf | 22 | — | fixed preserved-reader page |
monomial |
Paper_XI_Conjecture66_Progress_v0.4.0.pdf | 36 | — | fixed preserved-reader page |
obligation_01 |
Paper_XI_Traditional_v1.1.0.pdf | 8 | 7 | prop:monodromy_reconstruction |
obligation_02 |
Paper_XI_Traditional_v1.1.0.pdf | 8 | 7 | prop:scalar_covariance |
obligation_03 |
Paper_XI_Traditional_v1.1.0.pdf | 8 | 7 | thm:formal_atomic |
obligation_04 |
Paper_XI_Traditional_v1.1.0.pdf | 9 | 8 | prop:tame_projectors |
obligation_05 |
Paper_XI_Traditional_v1.1.0.pdf | 9 | 8 | thm:tame_induction |
obligation_06 |
Paper_XI_Traditional_v1.1.0.pdf | 9 | 8 | cor:tame_dimension |
obligation_07 |
Paper_XI_Traditional_v1.1.0.pdf | 9 | 8 | prop:tame_dual |
obligation_08 |
Paper_XI_Traditional_v1.1.0.pdf | 10 | 9 | prop:tame_twist |
obligation_09 |
Paper_XI_Traditional_v1.1.0.pdf | 10 | 9 | prop:mobius_count |
obligation_10 |
Paper_XI_Traditional_v1.1.0.pdf | 11 | 10 | prop:cuspidal_idempotent |
obligation_11 |
Paper_XI_Traditional_v1.1.0.pdf | 11 | 11 | prop:parabolic_annihilation |
obligation_12 |
Paper_XI_Traditional_v1.1.0.pdf | 12 | 11 | prop:frobenius_cycle |
obligation_13 |
Paper_XI_Traditional_v1.1.0.pdf | 12 | 11 | cor:orientation |
obligation_14 |
Paper_XI_Traditional_v1.1.0.pdf | 13 | 12 | thm:gcd_lcm |
obligation_15 |
Paper_XI_Traditional_v1.1.0.pdf | 13 | 12 | cor:gcd_lcm_count |
obligation_16 |
Paper_XI_Traditional_v1.1.0.pdf | 13 | 12 | prop:refined_exponent |
obligation_17 |
Paper_XI_Traditional_v1.1.0.pdf | 14 | 13 | prop:tame_local_polynomial |
obligation_18 |
Paper_XI_Traditional_v1.1.0.pdf | 14 | 13 | cor:tame_tensor_factor |
obligation_19 |
Paper_XI_Traditional_v1.1.0.pdf | 14 | 13 | prop:trivial_tensor_packet |
obligation_20 |
Paper_XI_Traditional_v1.1.0.pdf | 15 | 14 | cor:tame_hom |
obligation_21 |
Paper_XI_Traditional_v1.1.0.pdf | 15 | 14 | prop:tame_conductor |
obligation_22 |
Paper_XI_Traditional_v1.1.0.pdf | 15 | 14 | prop:gauss_magnitude |
obligation_23 |
Paper_XI_Traditional_v1.1.0.pdf | 15 | 14 | prop:gauss_duality |
obligation_24 |
Paper_XI_Traditional_v1.1.0.pdf | 17 | 16 | thm:schrodinger_rep |
obligation_25 |
Paper_XI_Traditional_v1.1.0.pdf | 17 | 16 | prop:heisenberg_trace |
obligation_26 |
Paper_XI_Traditional_v1.1.0.pdf | 17 | 16 | prop:isotropic_selector |
obligation_27 |
Paper_XI_Traditional_v1.1.0.pdf | 18 | 17 | cor:primitive_selector |
obligation_28 |
Paper_XI_Traditional_v1.1.0.pdf | 18 | 17 | prop:cocycle_choice |
obligation_29 |
Paper_XI_Traditional_v1.1.0.pdf | 19 | 18 | prop:commutator_form |
obligation_30 |
Paper_XI_Traditional_v1.1.0.pdf | 19 | 18 | thm:twisted_matrix |
obligation_31 |
Paper_XI_Traditional_v1.1.0.pdf | 19 | 18 | cor:radical_free |
obligation_32 |
Paper_XI_Traditional_v1.1.0.pdf | 20 | 20 | prop:clifford_action |
obligation_33 |
Paper_XI_Traditional_v1.1.0.pdf | 21 | 20 | prop:one_break_form |
obligation_34 |
Paper_XI_Traditional_v1.1.0.pdf | 21 | 20 | thm:one_break_matrix |
obligation_35 |
Paper_XI_Traditional_v1.1.0.pdf | 21 | 20 | prop:one_break_invariance |
obligation_36 |
Paper_XI_Traditional_v1.1.0.pdf | 21 | 20 | prop:tame_stabilizer |
obligation_37 |
Paper_XI_Traditional_v1.1.0.pdf | 22 | 21 | cor:one_break_heisenberg |
obligation_38 |
Paper_XI_Traditional_v1.1.0.pdf | 23 | 22 | prop:type_commutator |
obligation_39 |
Paper_XI_Traditional_v1.1.0.pdf | 23 | 22 | thm:restricted_bridge |
obligation_40 |
Paper_XI_Traditional_v1.1.0.pdf | 24 | 23 | prop:cyclic_discrepancy |
obligation_41 |
Paper_XI_Traditional_v1.1.0.pdf | 24 | 23 | lem:cyclic_linearization |
obligation_42 |
Paper_XI_Traditional_v1.1.0.pdf | 24 | 23 | thm:one_phase_bridge |
obligation_43 |
Paper_XI_Traditional_v1.1.0.pdf | 24 | 23 | cor:bridge_uniqueness |
obligation_44 |
Paper_XI_Traditional_v1.1.0.pdf | 25 | 24 | prop:phase_invariance |
obligation_45 |
Paper_XI_Traditional_v1.1.0.pdf | 25 | 24 | prop:odd_multiplicativity |
obligation_46 |
Paper_XI_Traditional_v1.1.0.pdf | 26 | 25 | cor:characteristic_phase |
obligation_47 |
Paper_XI_Traditional_v1.1.0.pdf | 26 | 25 | prop:fixed_moving |
obligation_48 |
Paper_XI_Traditional_v1.1.0.pdf | 26 | 25 | prop:hyperbolic_phase |
obligation_49 |
Paper_XI_Traditional_v1.1.0.pdf | 26 | 26 | cor:phase_only_test |
obligation_50 |
Paper_XI_Traditional_v1.1.0.pdf | 27 | 26 | prop:refinement_affine |
obligation_51 |
Paper_XI_Traditional_v1.1.0.pdf | 28 | 27 | thm:arf_gauss |
obligation_52 |
Paper_XI_Traditional_v1.1.0.pdf | 28 | 27 | cor:arf_multiplicative |
obligation_53 |
Paper_XI_Traditional_v1.1.0.pdf | 28 | 27 | prop:dyadic_need_q |
obligation_54 |
Paper_XI_Traditional_v1.1.0.pdf | 28 | 27 | prop:quadratic_translation |
obligation_55 |
Paper_XI_Traditional_v1.1.0.pdf | 28 | 27 | thm:quadratic_counts |
obligation_56 |
Paper_XI_Traditional_v1.1.0.pdf | 29 | 29 | thm:matrix_holonomy |
obligation_57 |
Paper_XI_Traditional_v1.1.0.pdf | 30 | 29 | cor:unbased_holonomy |
obligation_58 |
Paper_XI_Traditional_v1.1.0.pdf | 30 | 29 | cor:scalar_holonomy |
obligation_59 |
Paper_XI_Traditional_v1.1.0.pdf | 30 | 29 | prop:projective_holonomy |
obligation_60 |
Paper_XI_Traditional_v1.1.0.pdf | 30 | 29 | prop:holonomy_residual |
obligation_61 |
Paper_XI_Traditional_v1.1.0.pdf | 31 | 30 | cor:quantitative_holonomy |
obligation_62 |
Paper_XI_Traditional_v1.1.0.pdf | 31 | 31 | prop:heisenberg_tensor |
obligation_63 |
Paper_XI_Traditional_v1.1.0.pdf | 32 | 31 | cor:break_phase |
obligation_64 |
Paper_XI_Traditional_v1.1.0.pdf | 32 | 31 | thm:breakwise_bridge |
obligation_65 |
Paper_XI_Traditional_v1.1.0.pdf | 33 | 32 | prop:tame_package |
obligation_66 |
Paper_XI_Traditional_v1.1.0.pdf | 34 | 33 | thm:conditional_atomic |
remaining |
Paper_XI_Conjecture66_Progress_v0.4.0.pdf | 75 | — | fixed preserved-reader page |
remaining_atlas |
Paper_XI_Conjecture66_Visual_Atlas_v0.5.0.pdf | 32 | — | fixed preserved-reader page |
research_start |
Paper_XI_Conjecture66_Progress_v0.4.0.pdf | 1 | — | fixed preserved-reader page |
visual_atlas |
Paper_XI_Conjecture66_Visual_Atlas_v0.5.0.pdf | 1 | — | fixed preserved-reader page |
visual_comparison |
Paper_XI_Traditional_v1.1.0.pdf | 34 | 33 | prop:realized_candidate_comparison |
visual_conductors |
Paper_XI_Conjecture66_Progress_v0.4.0.pdf | 58 | — | fixed preserved-reader page |
visual_contract |
Paper_XI_Traditional_v1.1.0.pdf | 34 | 33 | conj:arithmetic_realization |
visual_lean_input |
Paper_XI_Lean_Guide_v1.1.0.pdf | 33 | 30 | guide:E38 |
visual_lean_signature |
Paper_XI_Lean_Guide_v1.1.0.pdf | 34 | 31 | guide:E40 |
visual_marks |
Paper_XI_Conjecture66_Progress_v0.4.0.pdf | 67 | — | fixed preserved-reader page |
visual_occurrence |
Paper_XI_Conjecture66_Progress_v0.4.0.pdf | 36 | — | fixed preserved-reader page |
visual_recovery |
Paper_XI_Traditional_v1.1.0.pdf | 36 | 35 | sec:arithmetic_progress |
visual_repairs |
Paper_XI_Conjecture66_Visual_Atlas_v0.5.0.pdf | 27 | — | fixed preserved-reader page |
visual_v01 |
Paper_XI_Conjecture66_Visual_Atlas_v0.5.0.pdf | 3 | — | fixed preserved-reader page |
visual_v10 |
Paper_XI_Conjecture66_Visual_Atlas_v0.5.0.pdf | 12 | — | fixed preserved-reader page |
visual_v15 |
Paper_XI_Conjecture66_Visual_Atlas_v0.5.0.pdf | 13 | — | fixed preserved-reader page |
visual_v20 |
Paper_XI_Conjecture66_Visual_Atlas_v0.5.0.pdf | 22 | — | fixed preserved-reader page |
visual_v32 |
Paper_XI_Conjecture66_Visual_Atlas_v0.5.0.pdf | 34 | — | fixed preserved-reader page |
Historical sources
historical/INDEX.json lists every member of the complete recovered v1.0.0 source-and-evidence archive and includes a by_basename map. Duplicate basenames retain all original component paths. Extract that archive separately when using its older scripts and relative links; those historical paths are not current workspace directories.
The current publication sources, source-change index and portable formalization project are directly available in this release. The missing complete Block02 editable archive is an explicit exception. The final ledger gives the current status without changing the meaning of earlier receipts.