← AMRAL · BSD 猜想 · 二 · 計算與重現 · 證據包
RUN-102
| round | RUN-102 |
|---|---|
| gate | src104 |
| C10 | PASS / canonical |
| state | T0 |
| canonical_reduced_comparison | Psi_red = Psi_4 Psi_3 Psi_2 Psi_1^{-1} in the reduced category |
| preferred_flat_section | s_can = the class of Psi_red |
| rho | 1 |
| what_a_PASS_means | PC-001 normalization certificate C1-C10 CLOSED as architecture; BSD OPEN; Round 030's post-normalization DAG A-G is next |
| status · C1-C9 | PASS |
| status · C10 | PASS / canonical |
| status · normalization_certificate | CLOSED as architecture |
| status · R0 | PASS (category C) |
| status · BSD | OPEN |
載入中…