tests

Workflow runs for tests

• 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

• 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

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

  failed:
  tests#85:Commitbbc4e3fpushedbyjesusvilela
  claude/2026-sota-benchmark-xyp1zh

  Jul 21, 202648s
  More actions for workflow run 85

• Merge pull request #32 from jesusvilela/codex/revisar-y-evaluar-contr…

  failed:
  tests#84:Commit2fcc6f4pushedbyjesusvilela
  main

  Jul 12, 202626s
  More actions for workflow run 84

• Remove C++/Cython tribridge; add Python fallbacks and spectral features; simplify CLI/bench APIs

  failed:
  tests#83:Pull request#32openedbyjesusvilela
  codex/revisar-y-evaluar-contra-sota-2026

  Jul 12, 202628s
  More actions for workflow run 83

• Update harness and remove benchmarks from tracking

  failed:
  tests#82:Commitce8036cpushedbyjesusvilela
  main

  Jul 10, 202643s
  More actions for workflow run 82

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

  failed:
  tests#81:Commit2de3c9dpushedbyjesusvilela
  main

  Jul 8, 202658s
  More actions for workflow run 81

• Public-polish pass on the research notes (de-personalize)

  failed:
  tests#80:Pull request#31openedbyjesusvilela
  claude/2026-sota-benchmark-xyp1zh

  Jul 8, 20261m 7s
  More actions for workflow run 80

• Public-polish pass on the research notes (de-personalize for a public…

  failed:
  tests#79:Commit2523424pushedbyjesusvilela
  claude/2026-sota-benchmark-xyp1zh

  Jul 8, 202654s
  More actions for workflow run 79

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

  failed:
  tests#78:Commit4d01d41pushedbyjesusvilela
  main

  Jul 8, 202626s
  More actions for workflow run 78

• Claude/2026 sota benchmark xyp1zh

  failed:
  tests#77:Pull request#30synchronizebyjesusvilela
  claude/2026-sota-benchmark-xyp1zh

  Jul 8, 202626s
  More actions for workflow run 77

• Merge branch 'main' into claude/2026-sota-benchmark-xyp1zh

  failed:
  tests#76:Commite4a1a8dpushedbyjesusvilela
  claude/2026-sota-benchmark-xyp1zh

  Jul 8, 202626s
  More actions for workflow run 76

• GitHub Pages front door (austere, certification-first ordering)

  failed:
  tests#75:Commit3e0bfa2pushedbyjesusvilela
  claude/2026-sota-benchmark-xyp1zh

  Jul 8, 202648s
  More actions for workflow run 75

• Remove outreach contact map from public repo

  failed:
  tests#74:Commita39f148pushedbyjesusvilela
  main

  Jul 8, 20261m 19s
  More actions for workflow run 74

• Remove private launch outreach notes from public repo

  failed:
  tests#73:Commitf7d63f7pushedbyjesusvilela
  main

  Jul 8, 20261m 13s
  More actions for workflow run 73

• Add public contact map for launch sanity checks

  failed:
  tests#72:Commit48149b2pushedbyjesusvilela
  main

  Jul 8, 20261m 10s
  More actions for workflow run 72

• Add launch outreach shortlist and contact strategy

  failed:
  tests#71:Commit47df79dpushedbyjesusvilela
  main

  Jul 8, 20261m 10s
  More actions for workflow run 71

• Configure Kissat before CI build

  failed:
  tests#70:Commitbc6ccfepushedbyjesusvilela
  main

  Jul 8, 20261m 38s
  More actions for workflow run 70

• Build certification tools from source in CI

  failed:
  tests#69:Commit310b5eapushedbyjesusvilela
  main

  Jul 8, 202644s
  More actions for workflow run 69

• Scope public benchmark language and refresh quick start

  failed:
  tests#68:Commitb13780epushedbyjesusvilela
  main

  Jul 8, 202649s
  More actions for workflow run 68

• Use setuptools package discovery

  failed:
  tests#67:Commit21c9ef4pushedbyjesusvilela
  main

  Jul 8, 202644s
  More actions for workflow run 67

• Split CI into fast tests and hard certification lane

  failed:
  tests#66:Commit716cb5cpushedbyjesusvilela
  main

  Jul 8, 202649s
  More actions for workflow run 66

• Correct ladder width and Nullstellensatz claim consistency

  failed:
  tests#65:Commit7d6fedfpushedbyjesusvilela
  main

  Jul 8, 202651s
  More actions for workflow run 65

• Expose CLI entry point for package install

  failed:
  tests#64:Commitc1623bapushedbyjesusvilela
  main

  Jul 8, 202656s
  More actions for workflow run 64

• Add Python package metadata

  failed:
  tests#63:Commit560df89pushedbyjesusvilela
  main

  Jul 8, 20261m 10s
  More actions for workflow run 63