← AMRAL · BSD Conjecture · Layer 2 · Recomputation · package
RUN-105
| round | RUN-105 |
|---|---|
| gate | src107 |
| B | PASS |
| line | D_MW (x) H_str = D_MW^{(x)2} (x) H^1_f(Q_11,T)^{-1} |
| triangle | RΓ~_ord(Q,T) → RΓ(Z_S,T) → RΓ(Q_11,T^-) ⊕ RΓ_{/ur}(Q_389,T) → (MCS Definition 2.2, by the definition of the cone) |
| status · normalization_certificate | CLOSED (architecture), frozen |
| status · DAG | {'A': 'PASS (cited-theorem route)', 'B': 'PASS', 'C-G': 'untouched'} |
| status · BSD | OPEN |
Loading…