Add files via upload

34328b1

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

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

certificate (3.11)

certificate (3.14)

Graded box convolution on: pull_request 4

verify (3.11)

verify (3.14)

Verify early reset and kernel composition on: pull_request 4

verify (3.11)

verify (3.14)

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

certificate (3.11)

certificate (3.14)

Verify research artifacts on: pull_request 21

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)

Registered research packages on: pull_request 1

plan

replay (research/shared-kernel-packing)

certificate (3.11)

succeeded Oct 17, 2026 in 4m 16s

Loading

Re-running jobs...