AXLE issues to file

Click Open on GitHub on each. The title and body are filled in; press Submit new issue there. Tick the box when done. Nothing is filed until you submit. Checked 2026-10-01: none of these ten is already open.

0 of 10 filed

1. kappa_lipschitz: Lipschitz bound on the dm3 coupling term
Open on GitHub
body
Cited as 'AXLE Issue #12' on about 25 pages (Book 4 ch10, chE-gtct-alt, ch-eta-dnls, dm3-lab-index, Book 3 mini-course sessions 2-3 and index pages). Real #12 is the separation_theorem eigenvalue-API issue, so this obligation has no issue of its own.

Statement needed: a Lipschitz (or local Lipschitz) constant for K in the coupling eps*(r-1)*exp(-z). Caution from 2026-10-01: exp(-z) is not globally Lipschitz as z -> -infinity, so the statement must carry a domain such as z >= z_min. Skeleton in sessao3-esqueleto-lean.html (K_lip : exists L, LipschitzWith L K).

Source pages: book4/ch10.html, sessao3-esqueleto-lean.html.
2. Outer basin: convergence domain (z(0) hypothesis) for the helical attractor
Open on GitHub
body
book4/ch10-outer-basin-check.py shows the chapter-10 statement 'every r(0) > 1 converges' fails: counterexamples (r0,z0) = (1.5,-2), (2,-1), (1.001,-3), (8,0), (10,0). At z(0)=0 the largest converging r(0) is about 6.896. Coupling 2(r-1)e^{-z} blows up as z -> -infinity (finite-time blow-up).

Needed: state and prove (or refute) convergence for z(0) >= z_min(r(0)), or fix the restricted statement z(0)=0, 1<r(0)<=6.8. Lean statement should carry the hypothesis. Related: #14 (Gronwall integration) and the kappa_lipschitz issue.
3. inner_basin_escape: obstruction to inner-basin escape (null-causality route)
Open on GitHub
body
Cited as #13 in book8/index.html, book8/ch5-regular.html and book8/notes/issue-13-null-causality.md, and as #14 in book8/ch2-event-horizon.html. Real #13 is AutophagyDm3 (Mather + Poincare-Bendixson) and real #14 is Theorem T1 (Gronwall), so neither matches.

Status per the pages themselves: ch2 says the argument does not hold and the obligation reopens; ch5 says the 'PROVED' badge should read open.
4. jackknife_correspondence: contact diffeomorphism tractor-trailer to LAW3M
Open on GitHub
body
Described in book8/notes/issue-12-jackknife-correspondence.md and cited as #12 in book8/ch3-singularity.html and book8/notes/crop-circle-watch-2026-06-25.md. Real #12 is separation_theorem. Needs its own issue.
5. Matrix.minnorm missing from Mathlib: blocks Proof 6 / Chapter 5 zero-sorry
Open on GitHub
body
book4/chIV-orthogonality.html cites 'Issue #15' for this Mathlib gap (about 8 places). Real #15 is an unrelated pasted trading page. Needed: the lemma, or a workaround in AXLE, so that Chapter 5's Lean file has no sorry.
6. P_ON (wrongOrder drv) = 0: formal statement for the wrong operator order
Open on GitHub
body
book4/ch09.html and HVEH/ch09.html cite #15 for this sorry. Real #15 is unrelated.
7. No homotopy between gamma_K and gamma_F: formal statement
Open on GitHub
body
book4/ch09.html and HVEH/ch09.html cite #16 for this sorry (also docs/ml-evidence copy). Real #16 is a discussion thread, not an issue.
8. g_arith: connect to Mathlib vonMangoldt
Open on GitHub
body
book4/ch11.html, chpt11.md, chpt14.md cite #18. Real #18 is a pull request (rename screenshot), and numbers cannot be reused.
9. Critical line as contact symmetry locus: digamma cancellation
Open on GitHub
body
book4/chpt12.md, chpt14.md cite #20. Real #20 is a pull request (README for crop circles). Three different meanings of #20 appear in the corpus.
10. p-adic local coefficient definition
Open on GitHub
body
book4/chpt13.md, chpt14.md cite #21; book4/METHODOLOGY.md also cites #21 for certify_rstar_rigorous.py, a different thing. #21 is not among the 13 open issues (checked 2026-10-01); it is a pull request or a closed item, so it cannot be this issue's number.

After filing, tell Claude the new numbers so they go into docs/axle-issue-map.md and the pages.