Pass 2824: make canonical promotion observable on PR

1f7e2e9

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Pass 415-429 Fifteen Frontiers on: pull_request 4

materialize

verify

Pass 394-398 Release and Formula Freeze on: pull_request 1

Passes 2430-2435 five frontiers on: pull_request 3

frozen-and-pair-obstruction

c5-full-reconstruction

Passes 463-467 Chain-Ring Cover Hardware Release on: pull_request 6

python-certificates

lean-cover-law-l1-l4-q3

perf: cubic_sym numba benchmark on: pull_request 1

benchmark

sage-verification on: pull_request 3

sage-verify

Passes 440-444 Deep Conductor Release on: pull_request 6

python-certificates

lean-formal-kernel

Pass 415-424 Ten Frontiers on: pull_request 2

verify

Passes 543-547 Icosahedral Fourier Recurrence Release on: pull_request 2

exact-certificates

Passes 453-457 Cyclotomic Collision FS Release on: pull_request 6

python-certificates

lean-perp-step

Passes 458-462 Document-Guided Structure Release on: pull_request 6

python-certificates

lean-cover-law-q3

Passes 448-452 Characteristic Hjelmslev Release on: pull_request 6

python-certificates

lean-fourier-scaffold

W33 Theoretical Bounds Verification on: pull_request 1

verify-w33-constants

Passes 1340-1344 Cartan Atlas Selector Padic on: pull_request 5

exact-components

atlasrep-gap

manuscripts

pytest on: pull_request 2

test

Passes 468-472 Semisimple Galois Cover Release on: pull_request 2

certificates

Passes 558-562 triality radial localfield noise tensor on: pull_request 5

exact-python

lean

Runtime Frontier Release Lock on: pull_request 2

runtime-frontier-release-lock

Pass 405-409 Five Frontiers on: pull_request 2

verify

Pass 606 residual factorization on: pull_request 1

factor

Pass 542 Triality Icosahedral Hjelmslev on: pull_request 1

exact-certificate

Passes 498-502 Fitting Galois Release on: pull_request 6

python-certificates

lean-support

Passes 435-439 Five Frontiers on: pull_request 2

verify

Pass 410-414 Five Frontiers on: pull_request 2

verify

holonet on: pull_request 2

verify

Passes 1330-1334 Modular Triality Atlas on: pull_request 5

exact-python

atlasrep-gap

manuscripts

Levi v4 regression on: pull_request 1

test

W33-Theory Verification on: pull_request 2

Verify W33 Core Theorems

Compile LaTeX Preprint

Pass 1335 Brauer Tree and Hecke Corner on: pull_request 1

exact-gap

R3 Edgewise Fat Tower on: pull_request 2

r3-edgewise-fat-tower

Passes 1345-1349 Basic Mixed Selector Runtime Fusion on: pull_request 4

exact-python

atlasrep-gap

manuscripts

Pass 399 Bulk Ramanujan and Quantum Release on: pull_request 2

verify-and-freeze

Pass 2820-2824 Blueprint Hardening on: pull_request 1

integrate-audit-compile

Pillar 21 smoke on: pull_request 1

pillar21-smoke

Rediscovery ratio on: pull_request 2

ratio

W33 Theory CI on: pull_request 5

verify-passes (3.11)

verify-passes (3.12)

Levi v5 closure on: pull_request 2

witnesses

rtl

Pass 434 Field Smith Pairing on: pull_request 1

verify

Recovery Packet on: pull_request 1

recovery-packet

Pass 400-404 Five Frontiers on: pull_request 2

verify-and-freeze

GF(2) parity proof CI on: pull_request 1

test-gf2

Pass 2824: make canonical promotion observable on PR

Uh oh!

Select a check to view from the sidebar