All workflows

Workflow runs

• docs: add falsification conditions for all 52 theorems

  failed:
  Lean Action CI#14:Commitf82db92pushedbyjesusvilela
  revert-ce8036c

  Sep 15, 202615m 13s
  More actions for workflow run 14

• docs: add hardening frameworks documentation

  failed:
  Lean Action CI#13:Commitfc949c2pushedbyjesusvilela
  revert-ce8036c

  Sep 15, 202613m 21s
  More actions for workflow run 13

• docs: add holonomy visualization section with mermaid diagram

  failed:
  Lean Action CI#12:Commit75dabf6pushedbyjesusvilela
  revert-ce8036c

  Sep 14, 202615m 18s
  More actions for workflow run 12

• docs: document tautologies and empty proofs in peer review

  failed:
  Lean Action CI#11:Commit9e9e524pushedbyjesusvilela
  revert-ce8036c

  Aug 29, 202614m 37s
  More actions for workflow run 11

• feat: fix CD.lean build errors, add superior lift section to README

  failed:
  Lean Action CI#10:Commitc6e798bpushedbyjesusvilela
  revert-ce8036c

  Aug 29, 202613m 22s
  More actions for workflow run 10

• feat: peer review tautology fix, GF(16,16) superior multiknob, README…

  failed:
  Lean Action CI#9:Commitbd40641pushedbyjesusvilela
  revert-ce8036c

  Aug 20, 20269m 1s
  More actions for workflow run 9

• fix: correct associator_zero proof, document undecidability placeholders

  failed:
  Lean Action CI#8:Commitdfaffd6pushedbyjesusvilela
  revert-ce8036c

  Aug 18, 202615m 31s
  More actions for workflow run 8

• feat: add HDC module with hyperdimensional computing operations over …

  failed:
  Lean Action CI#7:Commit9ca57b2pushedbyjesusvilela
  revert-ce8036c

  Aug 18, 202612m 10s
  More actions for workflow run 7

• docs: add Cayley-Dickson hypercomplex tower section to README

  failed:
  Lean Action CI#6:Commitd6b25e1pushedbyjesusvilela
  revert-ce8036c

  Aug 17, 202615m 42s
  More actions for workflow run 6

• refactor: fill remaining True placeholder theorems with descriptive d…

  failed:
  Lean Action CI#5:Commit541803dpushedbyjesusvilela
  revert-ce8036c

  Aug 17, 202615m 36s
  More actions for workflow run 5

• devcontainers in /. - Update #1529462426

  failed:
  Dependabot Updates#83:bydependabot[bot]Bot
  main

  Aug 17, 202646s

• docs: add GF(GF(2,2), GF(2,2)) multiknob section to README

  failed:
  Lean Action CI#4:Commitd6e1179pushedbyjesusvilela
  revert-ce8036c

  Aug 17, 202615m 16s
  More actions for workflow run 4

• feat: GF(GF(2,2),GF(2,2)) multiknob + fill empty proofs

  failed:
  Lean Action CI#3:Commit4da0c1epushedbyjesusvilela
  revert-ce8036c

  Aug 17, 202614m 56s
  More actions for workflow run 3

• refactor: remove dead code, fix HTML structure, shorten comments

  failed:
  Lean Action CI#2:Commit0e9cbf0pushedbyjesusvilela
  revert-ce8036c

  Aug 16, 202610m 19s
  More actions for workflow run 2

• v0.1.0: Hypercomplex hyperdimensional spin group lifting

  failed:
  Lean Action CI#1:Commit06dfff8pushedbyjesusvilela
  revert-ce8036c

  Aug 16, 202614m 37s
  More actions for workflow run 1

• devcontainers in /. - Update #1518037353

  failed:
  Dependabot Updates#82:bydependabot[bot]Bot
  main

  Aug 10, 202636s

• devcontainers in /. - Update #1502962844

  failed:
  Dependabot Updates#81:bydependabot[bot]Bot
  main

  Aug 3, 202634s

• devcontainers in /. - Update #1487425279

  failed:
  Dependabot Updates#80:bydependabot[bot]Bot
  main

  Jul 27, 202633s

• npm_and_yarn in /. - Update #1479720946

  failed:
  Dependabot Updates#79:bydependabot[bot]Bot
  main

  Jul 24, 202645s

• npm_and_yarn in /. - Update #1476777784

  failed:
  Dependabot Updates#78:bydependabot[bot]Bot
  main

  Jul 23, 202653s

• npm_and_yarn in /. - Update #1474885958

  failed:
  Dependabot Updates#77:bydependabot[bot]Bot
  main

  Jul 22, 202648s

• npm_and_yarn in /. - Update #1472092433

  failed:
  Dependabot Updates#76:bydependabot[bot]Bot
  main

  Jul 21, 202647s

• Merge pull request #33 from jesusvilela/claude/2026-sota-benchmark-xy…

  failed:
  tests#87:Commit9dec032pushedbyjesusvilela
  main

  Jul 21, 202647s
  More actions for workflow run 87

• pages build and deployment

  completed successfully:
  pages-build-deployment#5:byjesusvilela
  main

  Jul 21, 202644s

• Replace Euclidean n/260 hardness scalar with a holographic-screen geo…

  failed:
  tests#86:Pull request#33openedbyjesusvilela
  claude/2026-sota-benchmark-xyp1zh

  Jul 21, 202646s
  More actions for workflow run 86