>>327 補足
>報告書全文 ▶
>https://github.com/katobungen/LANA_report_202607/blob/pdf/LANA_report_202607.pdf
>8. On the logic from theorem 3.11 to corollary 3.12
>9. Points to be clarified

いま、ざっと斜め読みしてみた
P44 Figure 6. The η algorithm
が、キモだろうね

その解説が
直後の 9.1. The η algorithm. で
Step 1〜9まで

9.2. The main goal
9.3. Minimal structure of the η-algorithm.
がまとめか

まさに 乞うご期待
ですね