All workflows

Workflow runs

• README: lead with the results, move the session log into a collapsed …

  failed:
  Lean Action CI#28:Commit53dfa6fpushedbyJakeWeinstein
  main

  Sep 3, 202632m 4s
  More actions for workflow run 28

• Small readme update

  failed:
  Lean Action CI#27:Commit85ece73pushedbyJakeWeinstein
  main

  Sep 3, 20261h 23m 47s
  More actions for workflow run 27

• Readme Disclaimer

  failed:
  Lean Action CI#26:Commitf300907pushedbyJakeWeinstein
  main

  Sep 3, 20263m 1s
  More actions for workflow run 26

• Split the paper and development log into a separate repository

  failed:
  Lean Action CI#25:Commitab62991pushedbyJakeWeinstein
  main

  Sep 3, 20263m 45s
  More actions for workflow run 25

• Add Apache-2.0 copyright headers to all Lean source files

  failed:
  Lean Action CI#24:Commit5c982efpushedbyJakeWeinstein
  main

  Sep 3, 20261m 33s
  More actions for workflow run 24

• Add Apache-2.0 license; ignore vendored PDFs and nohup.out

  failed:
  Lean Action CI#23:Commit885d5capushedbyJakeWeinstein
  main

  Aug 31, 202629m 10s
  More actions for workflow run 23

• Docs: the exp-log grid theorem and the mixed FE in README, HANDOFF, a…

  failed:
  Lean Action CI#22:Commita346f83pushedbyJakeWeinstein
  main

  Aug 31, 20261h 2m 12s
  More actions for workflow run 22

• Docs: the omega^2-hardness theorem in README, HANDOFF, and the phase log

  failed:
  Lean Action CI#21:Commit89a485epushedbyJakeWeinstein
  main

  Aug 31, 20261h 5m 25s
  More actions for workflow run 21

• Remove stray agent worktree dirs from index; ignore .claude/

  failed:
  Lean Action CI#20:Commitf0b7ff2pushedbyJakeWeinstein
  main

  Aug 29, 20261m 49s
  More actions for workflow run 20

• The fleet: five parallel provers, five open problems, five victories

  failed:
  Lean Action CI#19:Commit5af5c76pushedbyJakeWeinstein
  main

  Aug 29, 202659m 12s
  More actions for workflow run 19

• The Fractal Kernel Theorem: an open question settled

  failed:
  Lean Action CI#18:Commit5bb565fpushedbyJakeWeinstein
  main

  Aug 29, 20262m 57s
  More actions for workflow run 18

• The exponential functional equation via the partial-sum Cauchy product

  failed:
  Lean Action CI#17:Commit3c1a240pushedbyJakeWeinstein
  main

  Aug 29, 20263m 24s
  More actions for workflow run 17

• Canonical transfinite sums and the exponential as a function

  failed:
  Lean Action CI#16:Commitca30556pushedbyJakeWeinstein
  main

  Aug 29, 20261m 49s
  More actions for workflow run 16

• Arbitrary-function integration resolved: the Galaxy Kernel Theorem an…

  failed:
  Lean Action CI#15:Commitafefae6pushedbyJakeWeinstein
  main

  Aug 29, 20261m 29s
  More actions for workflow run 15

• Integration on the surreals: the Fundamental Theorem of Calculus, and…

  failed:
  Lean Action CI#14:Commit5c859aepushedbyJakeWeinstein
  main

  Aug 29, 20262m 52s
  More actions for workflow run 14

• Handoff: battle plan for canonical sums and exp-as-function

  failed:
  Lean Action CI#13:Commit1ddd551pushedbyJakeWeinstein
  main

  Aug 29, 20261m 29s
  More actions for workflow run 13

• Riemann collapse + e^(1/ω): the negative program closes, the positive…

  failed:
  Lean Action CI#12:Commit8329994pushedbyJakeWeinstein
  main

  Aug 29, 20261m 30s
  More actions for workflow run 12

• Docs: record the Transfinite Summation Theorem

  failed:
  Lean Action CI#11:Commit637e4bcpushedbyJakeWeinstein
  main

  Aug 29, 20261m 33s
  More actions for workflow run 11

• The Transfinite Summation Theorem: every strictly dominating series h…

  failed:
  Lean Action CI#10:Commit86cf283pushedbyJakeWeinstein
  main

  Aug 29, 20261m 49s
  More actions for workflow run 10

• Documentation: README with headline results + full technical handoff

  failed:
  Lean Action CI#9:Commit3d1f21dpushedbyJakeWeinstein
  main

  Aug 29, 20261m 30s
  More actions for workflow run 9

• Update roadmap: phases 4 done

  failed:
  Lean Action CI#8:Commite0b4f65pushedbyJakeWeinstein
  main

  Aug 29, 20261h 0m 22s
  More actions for workflow run 8

• Derivatives at every finite surreal point via exact Taylor expansion

  failed:
  Lean Action CI#7:Commita58ad11pushedbyJakeWeinstein
  main

  Aug 29, 202656m 48s
  More actions for workflow run 7

• Transfinite summation: the geometric series sums to ω/(ω-1) without c…

  failed:
  Lean Action CI#6:Commit8dd5908pushedbyJakeWeinstein
  main

  Aug 29, 20261h 0m 48s
  More actions for workflow run 6

• Cut-valued limits, the gap theorem, and eventual constancy of ω-seque…

  failed:
  Lean Action CI#5:Commit5de75c3pushedbyJakeWeinstein
  main

  Aug 29, 202657m 15s
  More actions for workflow run 5

• Update roadmap: phases 2 done, limits next

  failed:
  Lean Action CI#4:Commit4c6a48fpushedbyJakeWeinstein
  main

  Aug 29, 202640m 27s
  More actions for workflow run 4