All workflows

Workflow runs

• Prove rounded inverse injectivity from eight owner residues (no κ)

  currently running:
  Registered research packages#6925:Pull request#7192openedbypetalas
  petalas:research/w4-1111b-native-obstruction

  Nov 11, 2026In progress
  More actions for workflow run 6925

• Classify polynomial two-gap insertions with exact dimension 64d+50 (no κ)

  currently running:
  Registered research packages#6924:Pull request#7191openedbypetalas
  petalas:research/w6-1111b-polynomial-gap-insertions

  Nov 11, 2026In progress
  More actions for workflow run 6924

• Bound aligned BIT child volume (0% κ change)

  currently running:
  Registered research packages#6923:Pull request#7190openedbyToikY
  ToikY:codex/paired-bit-axis-volume-bound

  Nov 11, 2026In progress
  More actions for workflow run 6923

• Save eight further ADDs in the translated Gaussian reader (no κ)

  failed:
  Registered research packages#6922:Pull request#7189openedbypetalas
  petalas:research/w3-1111b-frontier-obstruction

  Nov 11, 20264m 3s
  More actions for workflow run 6922

• Bound lane-wise BIT IDLE regrouping (0% κ change)

  failed:
  Registered research packages#6921:Pull request#7188openedbyToikY
  ToikY:codex/paired-bit-lanewise-idle-bound

  Nov 11, 20266m 55s
  More actions for workflow run 6921

• Share all paired residue samplers in 14,886 bytes (no κ)

  failed:
  Registered research packages#6920:Pull request#7187openedbypetalas
  petalas:research/w8-1111a-original-step

  Nov 11, 20264m 46s
  More actions for workflow run 6920

• Prove exact repeated-st tariffs for independent monotone prices (no κ)

  failed:
  Registered research packages#6919:Pull request#7186openedbypetalas
  petalas:research/w3-1111a-tail-obstruction

  Nov 11, 20266m 21s
  More actions for workflow run 6919

• Exhibit a field-uniform three-block signature missed by every generic support

  failed:
  Registered research packages#6918:Pull request#7185openedbypetalas
  petalas:research/w9-1111a-frontier-obstruction

  Nov 11, 20263m 59s
  More actions for workflow run 6918

• Classify rational saturated-header Hurwitz orbits (no κ)

  failed:
  Registered research packages#6917:Pull request#7184openedbypetalas
  petalas:research/w10-1111a-original-step

  Nov 11, 20263m 53s
  More actions for workflow run 6917

• Prove exact independent-radical directed-cycle tariff 206 (no κ)

  failed:
  Registered research packages#6916:Pull request#7183openedbypetalas
  petalas:research/w4-1111a-centre-contract

  Nov 11, 20264m 8s
  More actions for workflow run 6916

• Classify exact two-versus-three costs for diagonal cube-zero lifts (no κ)

  failed:
  Registered research packages#6915:Pull request#7182openedbypetalas
  petalas:research/w6-1111a-local-residue-cost

  Nov 11, 20264m 11s
  More actions for workflow run 6915

• Exclude mixed cubic and quintic Clifford response sectors (no κ)

  failed:
  Registered research packages#6914:Pull request#7181openedbypetalas
  petalas:research/w5-1111a-frontier-step

  Nov 11, 20265m 20s
  More actions for workflow run 6914

• Prove the sharp half-shift Gaussian inverse lower envelope (no κ)

  failed:
  Registered research packages#6913:Pull request#7180openedbypetalas
  petalas:research/w7-1111a-frontier-obstruction

  Nov 11, 20264m 22s
  More actions for workflow run 6913

• Prove five A2 targets need five rank-three calls (no κ)

  failed:
  Registered research packages#6912:Pull request#7179openedbypetalas
  petalas:research/w2-1111a-new-obstruction

  Nov 11, 20264m 31s
  More actions for workflow run 6912

• Prove sharp multiplicative-shell growth for every rank alphabet (no κ)

  failed:
  Registered research packages#6911:Pull request#7178openedbypetalas
  petalas:research/w1-1111a-boundary-obstruction

  Nov 11, 20263m 49s
  More actions for workflow run 6911

• Verify formal BIT QUERY 349 removal (0% κ change)

  failed:
  Registered research packages#6910:Pull request#7177openedbyToikY
  ToikY:codex/paired-bit-query349-formal-caller

  Nov 11, 20266m 27s
  More actions for workflow run 6910

• Prove sharp c=6 endpoint chain windows (no κ)

  failed:
  Registered research packages#6909:Pull request#7176openedbypetalas
  petalas:research/w3-1110b-t2-chain-window

  Nov 11, 20264m 49s
  More actions for workflow run 6909

• Certify fixed-profile helper-split first-crossing ceilings for #7000 (no κ)

  failed:
  Registered research packages#6908:Pull request#7175openedbypetalas
  petalas:research/w13-1110b-split-headroom-ladder

  Nov 11, 20264m 39s
  More actions for workflow run 6908

• Exclude the proposed 96-line E8 complement at inner dimension 8k (no κ)

  failed:
  Registered research packages#6907:Pull request#7174openedbypetalas
  petalas:research/w10-1110b-e8-96-line-rank8k

  Nov 11, 20265m 41s
  More actions for workflow run 6907

• Prove a uniform 13q lower bound for five commuting stages (no κ)

  failed:
  Registered research packages#6906:Pull request#7173openedbypetalas
  petalas:research/w9-1110b-five-stage-rank-budget

  Nov 11, 20264m 31s
  More actions for workflow run 6906

• Prove doubled centre Gram stabilization by width ten (no κ)

  failed:
  Registered research packages#6905:Pull request#7172openedbypetalas
  petalas:research/w7-1110b-centre-gram-width-stabilization

  Nov 11, 20265m 3s
  More actions for workflow run 6905

• Bound timed input support for serial MOVE fusions (0% κ change)

  failed:
  Registered research packages#6904:Pull request#7171openedbyToikY
  ToikY:codex/p104-serial-temporal-support-bound

  Nov 11, 20266m 24s
  More actions for workflow run 6904

• Bound scalar COPY savings at one 93-line E8 puncture (no κ)

  failed:
  Registered research packages#6903:Pull request#7170openedbypetalas
  petalas:research/w6-1110b-masked-e8-copy-bill

  Nov 11, 20264m 57s
  More actions for workflow run 6903

• Exhibit a non-coordinate COPY71 completion at the first-failure boundary

  failed:
  Registered research packages#6902:Pull request#7169openedbypetalas
  petalas:research/w12-1110b-first-failure-one-sided-copy

  Nov 11, 20264m 24s
  More actions for workflow run 6902

• Prove the exact E8 Gram-class minimum through 24 deletions (no κ)

  failed:
  Registered research packages#6901:Pull request#7168openedbypetalas
  petalas:research/w2-1110b-gram-class-floor-small-deleted

  Nov 11, 20264m 40s
  More actions for workflow run 6901