Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on May 8, 2026

• Remediate verdict-logic bug + archive 2026-03-27 zero-eval artifacts

  Show description for 7b44183
  bengoechea

  committed
  7b44183

  Copy full SHA for 7b44183

Commits on Apr 6, 2026

• feat(erdos-1038): IEEE 1788 interval-arithmetic certification of Tao ansatz (#1)

  Show description for 6e956a4
  bengoechea

  authored
  6e956a4

  Copy full SHA for 6e956a4

Commits on Mar 28, 2026

• Merge and resolve conflicting JSON results

  

  Moltbot

  authored and

  Moltbot

  committed
  51435c8

  Copy full SHA for 51435c8

• Fix Hessian finite-difference precision noise at high n, add Lean tooling, and track moved JSON structures

  

  Moltbot

  authored and

  Moltbot

  committed
  cf26344

  Copy full SHA for cf26344

• Fix Hessian finite-difference precision noise at high n (Zulip feedback)

  

  Moltbot

  authored and

  Moltbot

  committed
  b4e3596

  Copy full SHA for b4e3596

Commits on Mar 26, 2026

• Partition unreleased experiments: untrack non-#114 work, gitignore until verified

  Show description for fc92c4e
  bengoechea

  committed
  fc92c4e

  Copy full SHA for fc92c4e

• Update README to n=3-12; untrack stale PDFs (now on Zenodo only)

  bengoechea

  committed
  eab45fb

  Copy full SHA for eab45fb

• Add n=12 certified results, formula verification, and final preprint v2

  Show description for 50b697e
  bengoechea

  committed
  50b697e

  Copy full SHA for 50b697e

• fix(ci): wire Experiment E to exp_kvn_v2.py, drop legacy exp_e_kvn.py

  Show description for 8529bcf
  bengoechea

  committed
  8529bcf

  Copy full SHA for 8529bcf

• feat(kvn): add von Neumann entropy + Hilbert-Shannon straddle metric

  Show description for 2a908ff
  bengoechea

  committed
  2a908ff

  Copy full SHA for 2a908ff

• feat: KvN v2 — proper Jacobian-weighted entropy, Green's function deviation, full Koopman spectrum

  Show description for 4c12bb6
  bengoechea

  committed
  4c12bb6

  Copy full SHA for 4c12bb6

• feat: add experiment E (KvN channel lens) to run_all.py

  bengoechea

  authored
  0bef154

  Copy full SHA for 0bef154

• Add experiment E: Koopman-von Neumann channel lens

  Show description for e68a554
  bengoechea

  authored
  e68a554

  Copy full SHA for e68a554

• feat: add Zenodo upload automation script (preprint/data/publish/list)

  Show description for 53f6e78
  bengoechea

  authored
  53f6e78

  Copy full SHA for 53f6e78

• feat: Zenodo REST API automation + KvN channel capacity experiment

  Show description for e9d6f87
  bengoechea

  committed
  e9d6f87

  Copy full SHA for e9d6f87

• fix: merge run_summary.json across CI steps so all A,B,C,D verdicts accumulate

  bengoechea

  authored
  962eb17

  Copy full SHA for 962eb17

• feat: add channel experiments run_all.py (A, B, C, D)

  Show description for 64d4447
  bengoechea

  authored
  64d4447

  Copy full SHA for 64d4447

• feat: EHP n=3-11 certified proof + Hessian fix + n=11 new result

  Show description for a42701f
  bengoechea

  committed
  a42701f

  Copy full SHA for a42701f

Commits on Mar 25, 2026

• feat: Lean toolchain pin, --outdir for runner, n=9-10 results to canonical path

  Show description for 411b061
  bengoechea

  committed
  411b061

  Copy full SHA for 411b061

• Add L* precomputed boundaries to N=16 and tracking recent JSON results

  

  Moltbot

  authored and

  Moltbot

  committed
  67c3245

  Copy full SHA for 67c3245

• chore: rebrand Oregon Coast AI → MendozaLab.org

  bengoechea

  committed
  47401a6

  Copy full SHA for 47401a6

• docs: comprehensive comments for community GitHub review

  Show description for 5e8a08a
  bengoechea

  committed
  5e8a08a

  Copy full SHA for 5e8a08a

• feat: auto-continue through all precomputed degrees

  Show description for 7b3c036
  bengoechea

  committed
  7b3c036

  Copy full SHA for 7b3c036

• feat: cumulative proof table + Deserialize support for ProofResult

  Show description for 179f86b
  bengoechea

  committed
  179f86b

  Copy full SHA for 179f86b

• fix: add L* pre-computed intervals for n=9, 10, 11

  Show description for d483a76
  bengoechea

  committed
  d483a76

  Copy full SHA for d483a76

Commits on Mar 24, 2026

• docs: integrate rigorous mathematical commentary and proofs into interval verification engine

  bengoechea

  committed
  5e1a13a

  Copy full SHA for 5e1a13a

• feat: add EHP 114 computational branching source code and results

  bengoechea

  committed
  5500bc9

  Copy full SHA for 5500bc9

Commits on Mar 3, 2026

• Add computational solvers for Erdős problems #86, #123, #161, #30

  Show description for cfe11d0
  bengoechea

  committed
  cfe11d0

  Copy full SHA for cfe11d0

Loading