← AMRAL · BSD Conjecture · Layer 2 · Recomputation · package
RUN-097
| round | RUN-097 |
|---|---|
| gate | src99 |
| R0 | PASS |
| composite | Psi = Psi_4 . Psi_3 . Psi_2 . Psi_1^{-1} : C_aux (x) (partner line) -> C_arith, over H_Gamma-lines |
| positive_control_accepted | True |
| sharp_question_1 | LR proves equal regulator images, then equality of CLASSES by Prop C1.1 (injectivity): line-level |
| status · C1-C4 | PASS |
| status · R0 | PASS |
| status · C5 | PASS |
| status · C6 | UNMEASURED |
| status · C7 | UNMEASURED |
| status · C8 | PASS |
| status · C9-C10 | UNMEASURED |
| status · BSD | OPEN |
Loading…