← AMRAL · BSD Conjecture · Layer 2 · Recomputation · package
RUN-103
| round | RUN-103 |
|---|---|
| gate | src105 |
| A | PARTIAL |
| P5_CANON_BocID | closed NEGATIVELY as posed (B_N is not BKS's Boc_F); re-posed as the smallest missing theorem |
| source | kappa_{397*991}^Kato in H^1(Q, E[11]) (Kato's Euler system, Kolyvagin derivative); its canonical shadow det(loc_n) != 0 |
| mod_11_determinant | nonzero: det(M_loc) = 2, delta-tilde_n != 0 |
| characteristic_zero_lift | UNMEASURED |
| rank_2_independence | PASS by the determinant |
| local_conditions | PASS |
| status · normalization_certificate | CLOSED (architecture), frozen |
| status · DAG | {'A': 'PARTIAL', 'B-G': 'untouched'} |
| status · BSD | OPEN |
Loading…