← AMRAL · BSD Conjecture · Layer 2 · Recomputation · package
RUN-095
| audit | NORMALIZATION AUDIT V2 — Round 030's certificate C1-C10, re-judged with RUN-091..094's closures |
|---|---|
| round | RUN-095 |
| gate | src97 |
| first_blocker_certificate_order | C5 |
| first_blocker_attack_order | C6 |
| first_blocker_dependency_order | C8 |
| normalization_status | NORMALIZATION-UNMEASURED |
| status · C1 | PASS |
| status · C2 | PASS |
| status · C3 | PASS |
| status · C4 | PASS |
| status · C5 | UNMEASURED - first blocker in the certificate's own numbering |
| status · C6-C10 | UNMEASURED |
| status · BSD | OPEN |
Loading…