Independently audit helper450 with exact forward basis execution

a207869

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Sign in for the full log view

Registered research packages on: pull_request

plan

replay (research/k8-hpe450-forward-audit)

Verify terminal elimination on the paired-cube bit word on: pull_request 1

certificate (3.11)

certificate (3.14)

Verify recycled bit registers on the paired-cube bit word on: pull_request

certificate (3.11)

certificate (3.14)

Graded box convolution on: pull_request 3

verify (3.11)

verify (3.14)

Verify research artifacts on: pull_request 52

verify (3.11, community)

verify (3.11, producers)

verify (3.11, certificates)

verify (3.11, ternary)

verify (3.11, research)

verify (3.11, tests)

verify (3.11, strips)

verify (3.11, clones)

verify (3.11, positive)

verify (3.11, joint)

verify (3.11, pair)

verify (3.11, partial-gauge)

verify (3.11, three-stage-cover)

verify (3.11, paired-cube)

verify (3.11, recycled-bit)

verify (3.11, entrance-banks)

verify (3.13, community)

verify (3.13, producers)

verify (3.13, certificates)

verify (3.13, ternary)

verify (3.13, research)

verify (3.13, tests)

verify (3.13, strips)

verify (3.13, clones)

verify (3.13, positive)

verify (3.13, joint)

verify (3.13, pair)

verify (3.13, partial-gauge)

verify (3.13, three-stage-cover)

verify (3.13, paired-cube)

verify (3.13, recycled-bit)

verify (3.13, entrance-banks)

verify (3.14, community)

verify (3.14, producers)

verify (3.14, certificates)

verify (3.14, ternary)

verify (3.14, research)

verify (3.14, tests)

verify (3.14, strips)

verify (3.14, clones)

verify (3.14, positive)

verify (3.14, joint)

verify (3.14, pair)

verify (3.14, partial-gauge)

verify (3.14, three-stage-cover)

verify (3.14, paired-cube)

verify (3.14, recycled-bit)

verify (3.14, entrance-banks)

ranked-pair-finite

formal (historical)

formal (gaussian)

formal (matrix)

Verify early reset and kernel composition on: pull_request 3

verify (3.11)

verify (3.14)

plan

succeeded Oct 15, 2026 in 1m 5s

Loading

Re-running jobs...