File the nine AXLE obligations

Each link opens GitHub’s new-issue form with the title and body already filled in. Read it, edit if you want, submit. Nothing is posted until you press the button.

Afterwards: record each number in docs/axle-issue-map.md, then replace the “not yet filed” wording on the pages named in the issue bodies.

1. Regeneration loop invariant after g6 cycles — transfinite case
2. Floquet multipliers for the spiral return map
3. IPR_trib > IPR_fib — formal bound
4. Spectral measure of the transfer operator at a Whitney fold
5. LCH construction for Legendrian action positivity
6. Kernel dimension from contact topology
7. O7 — the asymmetric inner boundary against the symmetric Gronwall bound
8. State the Global Positivity Theorem as a Lean proposition
9. Non-integrability from Baker's theorem

Generated 2026-09-15 from tools/file-axle-issues.sh. The same nine can be filed from a terminal with brew install gh && gh auth login, then bash tools/file-axle-issues.sh.