Root · 5 steps
Root · root: registry, redirects, synthesis
All 5 steps, in order
- 03:29 Remark 7.1 · Registry: everything rests on (A3a)
- 03:35 audit: minor defectRemark 7.2 · Registry: (A3a) claimed; audit it
- 04:15 audit: minor defectAudit 7.3 · [Sa08] holds over every char-0 field
- 04:41 audit: minor defectTheorem 7.4 · Verdict: VI holds over F_q((t)) for E6/F4
- 07:22 Summary 7.5 · Verdict after the audit
Brief as sent
(none)