← AMRAL · BSD Conjecture · Layer 2 · Recomputation · package
| attack | C4 — the actual identification of Θ_aux from the Kummer unit ε = 1 + √2 |
|---|---|
| verdict | UNMEASURED |
| status · C1 | UNMEASURED — auxiliary side built, partner maps missing |
| status · C2 | UNMEASURED — 11-adic valuation/nonvanishing improved, exact unit unresolved |
| status · C3 | PASS |
| status · C4 | UNMEASURED — target is a line, naive arrow refuted |
| status · C5-C7 | BLOCKED BY C4 |
| status · C8 | PARTIAL |
| status · C9-C10 | NOT YET READY |
| status · BSD | OPEN |
Loading…