Proof Regression

Workflow runs for Proof Regression

• Proof Regression

  completed successfully:
  Proof Regression#200:Scheduled
  main

  Oct 26, 202618m 0s
  More actions for workflow run 200

• Proof Regression

  completed successfully:
  Proof Regression#199:Scheduled
  main

  Oct 19, 202616m 31s
  More actions for workflow run 199

• Proof Regression

  completed successfully:
  Proof Regression#198:Scheduled
  main

  Oct 12, 202613m 46s
  More actions for workflow run 198

• Proof Regression

  completed successfully:
  Proof Regression#197:Scheduled
  main

  Oct 5, 202618m 53s
  More actions for workflow run 197

• Proof Regression

  completed successfully:
  Proof Regression#196:Scheduled
  main

  Sep 28, 202617m 43s
  More actions for workflow run 196

• Proof Regression

  completed successfully:
  Proof Regression#195:Scheduled
  main

  Sep 21, 202617m 29s
  More actions for workflow run 195

• Proof Regression

  completed successfully:
  Proof Regression#194:Scheduled
  main

  Sep 14, 202617m 47s
  More actions for workflow run 194

• Proof Regression

  completed successfully:
  Proof Regression#193:Scheduled
  main

  Sep 7, 202619m 7s
  More actions for workflow run 193

• Proof Regression

  completed successfully:
  Proof Regression#192:Scheduled
  main

  Aug 31, 202617m 39s
  More actions for workflow run 192

• Proof Regression

  completed successfully:
  Proof Regression#191:Scheduled
  main

  Aug 24, 202622m 14s
  More actions for workflow run 191

• Proof Regression

  completed successfully:
  Proof Regression#190:Scheduled
  main

  Aug 17, 202619m 24s
  More actions for workflow run 190

• Proof Regression

  completed successfully:
  Proof Regression#189:Scheduled
  main

  Aug 10, 202618m 26s
  More actions for workflow run 189

• Proof Regression

  failed at startup:
  Proof Regression#188:Scheduled
  main

  Aug 3, 2026Startup failure
  More actions for workflow run 188

• Proof Regression

  completed successfully:
  Proof Regression#187:Scheduled
  main

  Jul 27, 202618m 7s
  More actions for workflow run 187

• Proof Regression

  completed successfully:
  Proof Regression#186:Scheduled
  main

  Jul 20, 202616m 34s
  More actions for workflow run 186

• Proof Regression

  completed successfully:
  Proof Regression#185:Scheduled
  main

  Jul 13, 202619m 14s
  More actions for workflow run 185

• Proof Regression

  completed successfully:
  Proof Regression#184:Scheduled
  main

  Jul 6, 202618m 18s
  More actions for workflow run 184

• Proof Regression

  completed successfully:
  Proof Regression#183:Scheduled
  main

  Jun 29, 202616m 36s
  More actions for workflow run 183

• Proof Regression

  completed successfully:
  Proof Regression#182:Scheduled
  main

  Jun 22, 202618m 58s
  More actions for workflow run 182

• proof(numbers): approxGroup witness for float/complex + value-model d…

  completed successfully:
  Proof Regression#181:Commite9ff353pushedbyhyperpolymath
  main

  Jun 21, 202619m 27s
  More actions for workflow run 181

• proof(numbers): approxGroup witness for float/complex + Rational/Symbolic value-model design (gap-005)

  completed successfully:
  Proof Regression#180:Pull request#57openedbyhyperpolymath
  claude/dazzling-albattani-ubS9r

  Jun 21, 202617m 16s
  More actions for workflow run 180

• proof(interp): denotational correspondence harness for eval_data_expr…

  completed successfully:
  Proof Regression#179:Commite6b756epushedbyhyperpolymath
  main

  Jun 21, 202618m 31s
  More actions for workflow run 179

• proof(interp): denotational correspondence harness for eval_data_expr (PROOF-2 / gap-001)

  completed successfully:
  Proof Regression#178:Pull request#55openedbyhyperpolymath
  claude/dazzling-albattani-ubS9r

  Jun 21, 202619m 10s
  More actions for workflow run 178

• proof(types): lift type_preservation past τ=int to the int-represente…

  completed successfully:
  Proof Regression#177:Commit3311ad9pushedbyhyperpolymath
  main

  Jun 21, 202616m 50s
  More actions for workflow run 177

• proof(types): lift type_preservation past τ=int to the int-represented family {int, hex, binary}

  completed successfully:
  Proof Regression#176:Pull request#53openedbyhyperpolymath
  claude/dazzling-albattani-ubS9r

  Jun 21, 202617m 27s
  More actions for workflow run 176