Passes 2946-2952: add evidence scope checksum

c07ef1d

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Pass 410-414 Five Frontiers on: pull_request 2

verify

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

exact-certificates

Pass 415-424 Ten Frontiers on: pull_request 2

verify

Runtime Frontier Release Lock on: pull_request 2

runtime-frontier-release-lock

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

exact-python

atlasrep-gap

manuscripts

Levi v5 closure on: pull_request 2

witnesses

rtl

Pass 606 residual factorization on: pull_request 1

factor

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

python-certificates

lean-cover-law-q3

Pass 405-409 Five Frontiers on: pull_request 2

verify

RH claim governance on: pull_request 1

lint-rh-claims

W33-Theory Verification on: pull_request 2

Verify W33 Core Theorems

Compile LaTeX Preprint

pytest on: pull_request 2

test

Levi v4 regression on: pull_request 1

test

Passes 2430-2435 five frontiers on: pull_request 3

frozen-and-pair-obstruction

c5-full-reconstruction

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

certificates

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

python-certificates

lean-cover-law-l1-l4-q3

Passes 435-439 Five Frontiers on: pull_request 2

verify

Passes 2901-2907 Selector Butterfly Observer Blueprint on: pull_request 1

exact-rtl-blueprint

Passes 1330-1334 Modular Triality Atlas on: pull_request 5

exact-python

atlasrep-gap

manuscripts

Recovery Packet on: pull_request 1

recovery-packet

Pass 400-404 Five Frontiers on: pull_request 2

verify-and-freeze

Pass 2937-2945 Global Code Landauer OAM on: pull_request 1

exact-rtl-docs

Pass 434 Field Smith Pairing on: pull_request 1

verify

Passes 440-444 Deep Conductor Release on: pull_request 6

python-certificates

lean-formal-kernel

Pass 2847-2853 Protected Observer and Noisy M36 on: pull_request 1

exact-rtl-docs

Pass 415-429 Fifteen Frontiers on: pull_request 4

materialize

verify

perf: cubic_sym numba benchmark on: pull_request 1

benchmark

Passes 448-452 Characteristic Hjelmslev Release on: pull_request 6

python-certificates

lean-fourier-scaffold

R3 Edgewise Fat Tower on: pull_request 2

r3-edgewise-fat-tower

W33 Theoretical Bounds Verification on: pull_request 1

verify-w33-constants

Rediscovery ratio on: pull_request 2

ratio

GF(2) parity proof CI on: pull_request 1

test-gf2

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

exact-components

atlasrep-gap

manuscripts

Passes 2901-2907 Readable Source and Blueprint Bootstrap on: pull_request 1

materialize-and-rewrite

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

Pass 542 Triality Icosahedral Hjelmslev on: pull_request 1

exact-certificate

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

exact-python

lean

Pass 1335 Brauer Tree and Hecke Corner on: pull_request 1

exact-gap

Pillar 21 smoke on: pull_request 1

pillar21-smoke

W33 Theory CI on: pull_request 5

verify-passes (3.11)

verify-passes (3.12)

Pass 2946-2952 Seven Front Closure on: pull_request 1

exact-rtl-docs

Passes 498-502 Fitting Galois Release on: pull_request 6

python-certificates

lean-support

Passes 2901-2907 One-Shot Master Reconciliation on: pull_request 2

reconcile

Pass 399 Bulk Ramanujan and Quantum Release on: pull_request 2

verify-and-freeze

sage-verification on: pull_request 3

sage-verify

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

python-certificates

lean-perp-step

holonet on: pull_request 2

verify

Passes 2946-2952: add evidence scope checksum

Uh oh!

Select a check to view from the sidebar