v3.4.1rc1: BLLM: Beyond the LLM with Deep Human-Mind-AI

Anaxia 3.4.1rc1 — exact seed intervals and visual certificate explorer

This research candidate independently verifies twelve explicit reflexive subpolytopes. Relative to the supplied Kreuzer–Skarke point-pair census, it improves the maximum shortest-descent upper bound from 348 to 346. The prior 22 lower bound and 348 arbitrary-descent bound are retained; the exact D4 is open.

The interval lemma supplies genuine covers without assuming that the proposed cut itself is a cover. The checker reconstructs exact geometry, polar point sets, interval costs and census coverage, and uses determinant spectra to distinguish the two equal-count representatives. A responsive offline explorer and animated README preview display the retained data.

Hodge messages now distinguish motivated classes from constructed algebraic cycles, include established split-Weil cases, and treat 31 eight-bundle graph survivors as necessary candidates. No Hodge representative, semiregular object, all-nine-condition GSC vacuum or continuum Yang–Mills construction has been produced. The full closure benchmark has not been crossed.

Validation and any unavailable release checks are recorded with the release assets. No new Lean proof or DOI is asserted before the corresponding checks or archival response exists.

v3.4.0: BLLM: Beyond the LLM with Deep Human-Mind-AI

Version 3.4.0 of eBLLM and of Anaxia, the BLLM engine, uploaded by a second agent on Tubai's command.
It carries a closure by refutation, recorded as a CANDIDATE until refereed.

• The claim. Rios, Marrani and Chester (Phys. Rev. D 99 (2019) 046004, Sec. III A) state that
  Nishino's existence proofs for super Yang–Mills theories in the signatures (9+m)+(1+m) can be
  repeated in (9+8n)+1, (10+8n)+2, (11+8n)+3 and (12+8n)+4, including 27+3 and 19+3.
• What is proved. A theory built in Nishino's manner (five axioms that his construction
  satisfies) has k ≤ min(s,t) real null vectors and residual dimension s+t−2k equal to 10 or 2: the
  cubic gaugino terms reduce to a Fierz identity that forces spinors of dimension 2(d−2), so
  d = 3, 4, 6, 10. Hence s−t lies in {8, 0, −8} and none of the four families with n ≥ 1 carries
  such a theory. For one time, in (9+8n)+1 with n ≥ 1, every massless multiplet without tensor
  charges has at least 2^(2^(2+4n)) states, so there is no massless vector multiplet.
• The construction. construct/multitime_sym.py rebuilds the Witt bound, the dimension count
  and the single-time bound, checks the cubic identity with explicit gamma matrices, and carries two
  refuters (the mod-8 rule of the claim, complex null frames), each of which admits all eight
  claimed signatures with n = 1, 2 and is caught. Modlog run multitime-sym; control
  multitime-sym-ten, CANDIDATE (no Lean statement, not refereed).
• Paper, LaTeX source and code: https://github.com/creelie/cs-grav, release v1.0.0,
  doi:10.5281/zenodo.23558751.

The DOIs of releases 3.3.0 (10.5281/zenodo.23548148) and 3.3.1 (10.5281/zenodo.23557319) are
recorded, and the results, loop, numbers and growth figures were redrawn from the current data.

v3.3.1: BLLM: Beyond the LLM with Deep Human-Mind-AI

Version 3.3.1 of eBLLM and of Anaxia, the BLLM engine, uploaded by a second agent on Tubai's command.
It carries a fourth pass on the knot tables. These are partial results on finite lists, not named
conjectures, and they are not refereed.

• What failed, and the change it forced. The third pass ended with the pinch search stalled, and
  the rule changed in kind, from upper bounds to lower bounds (modlog run knot-tables-pass4).
• Lower bounds from Donaldson's theorem. The new construction construct/goeritz_lattice.py
  computes the Goeritz forms and the signature of an alternating diagram and lists every embedding
  of the lattice in the standard lattice (Jabuka and Kelly, Theorems 2.10 to 2.12). It raises the
  lower end of 382 open KnotInfo entries, 22 of them to four-genus 3. Its refuter, the signature with
  the wrong sign, claims four-genus at least 2 for the trefoil and is caught.
• Pinches on twenty diagrams. 84 more pinch certificates, all checked in Regina.
• Together they settle the nonorientable four-genus of 2,537 of the 3,525 open knots with 11 to
  13 crossings (520 at 1, 1,995 at 2, 22 at 3); 988 stay open. Control crosscap4d-13, CANDIDATE.
  Repository: https://github.com/creelie/conjecture-to-choose, folder crosscap4d.

The knots, loop, numbers and results figures were redrawn from the current data.

v3.3.0: BLLM: Beyond the LLM with Deep Human-Mind-AI

Version 3.3.0 of eBLLM and of Anaxia, the BLLM engine, uploaded by a second agent on Tubai's command.
It carries the attempts of 21 October 2026 on four of the engine's targets, each with its
constructions, walls and records. None of the four target conjectures is closed.

• Hodge: three results and five construction rounds. Seven shifts on E₀⁸ (18 of 28 arrangements
  by hand, 9 by linear programming, one open), an étale Prym map at genus four that is a local
  isomorphism onto the Weil domain of Q(√−3) at n = 3 (construct/genus_four_prym.py), the sextic
  CM fields over twelve cubic fields, the residue-and-mass reading of the conjecture, and five rounds
  on (F3') that each learned from the one before and stopped on the walls zero-cycles-core,
  odd-cross-classes, lefschetz-inverse and f3prime-needs-cycle: only a new algebraic cycle on
  B × X can advance (F3').
• Strings: the mirror clause of the Geometric Selection Conjecture is empty. A vacuum of L^μ
  fixed by the mirror involution is isomorphic to its mirror, so χ(X) = 0, c₃(V) = 0 on its
  component and the index c₃/2 vanishes: it has no net families and fails (C2). Hence the conjecture
  is equivalent to the existence of a viable vacuum on a component carrying no standard embedding,
  and no standard embedding is ever selected (construct/gsc_mirror_fixed.py; the note of
  creelie/geometric-selection-conjecture 1.0.0, by Deep Bhattacharjee and Ushashi Bhattacharya).
  Control gsc-mirror-clause, a partial result, CANDIDATE; the stage s.mu-fixed-chi0 of the
  superstring chain holds the proof as a claim. The existence statement stays open: (C7) to (C9)
  are fixed by comparison with measurement and no published model establishes all three (wall
  no-model-has-c7-c9).
• TheoPhysEval (arXiv:2610.16733). The benchmark proves no theorem and closes no gap; two of its
  problems carry exact constructions, π from the Euler beta function and the hidden zeros of a
  four-point residue, now in construct/theophys.py with checks and refuters.
• The knot tables, third pass. The pinch construction on the nonorientable four-genus settles
  2,093 of the 3,525 knots with 11 to 13 crossings left open by KnotInfo (139 in this pass), with the
  walls the pass met on the four-genus and on the bridge index; control crosscap4d-13,
  a partial result, CANDIDATE, and an animated knot-tables board.
• Lehmer and the brane gas. Lehmer's problem as one divisor (construct/lehmer_equiv.py, the
  Fermat chain as refuter of the companion equation), the barriers to a non-perturbative brane-gas
  statement, and the animated results board (docs/assets/make_results.py).
• Counts. 286 unit tests, 37 controls, 41 trajectories in the skill memory; the Lean development
  is that of 3.2.0. The version DOI of release 3.2.1, 10.5281/zenodo.23524945, is recorded in
  CITATION.cff and in the README. The paper is not rewritten in this release.

v3.2.1: BLLM: Beyond the LLM with Deep Human-Mind-AI

Version 3.2.1 of eBLLM and of Anaxia, the BLLM engine. It records the version DOI of release 3.2.0,
10.5281/zenodo.23524665, in CITATION.cff and in the README; the code, the Lean development and
the paper are those of 3.2.0. Uploaded by a second agent on Tubai's command.

What 3.2.0 brought:

Version 3.2.0 of eBLLM and of Anaxia, the BLLM engine. It records the version DOI of release 3.1.1,
10.5281/zenodo.23484395, in CITATION.cff and in the README, and brings four additions to the
engine, uploaded by a second agent on Tubai's command.

• The attack package for the four targets. A barrier atlas of the strings, seed, Hodge and
  Yang-Mills targets (bllm/barriers.py, bllm/atlas.py, anaxia barriers), the bypass search
  that proposes the breakers of each wall, the superstring attack chain (anaxia superstring),
  the volume-chain bound, the positive-monad and tetraquadric scans, the proposal of the
  conditions (C7)-(C9) of the strings target as explicit inequalities (construct/vacuum_conditions.py),
  and the audit method of a quantum-gravity manuscript with its runner, anaxia triage (go/no-go)
  and anaxia figcritic. None of the four targets is closed.
• The bridge index of thirteen-crossing knots. For 243 of the 536 knots with 13 crossings whose
  bridge index KnotInfo lists as [3,4], the bridge index is 4 and equals the meridional rank, by a
  Wirtinger-4 diagram and a representation sending meridians to transvections of Sp(4,3), Sp(4,5)
  or reflections of O(4,5) with no common fixed vector (construct/transvections.py, 243
  certificates checked from the matrices alone); the other 293 stay open. Control
  bridge-index-13, a partial result, CANDIDATE.
• Ultraviolet finiteness of gravity from a scale-invariant gas of branes. The constructions of
  the proof (creelie/brane-cluster-gases 3.1.0, doi:10.5281/zenodo.23524276) that gravity with
  the form factor exp[(n/2) Ein(Box^2/M^4)] of a frozen Poisson gas of branes has no ultraviolet
  divergence at any order of perturbation theory for n >= 4: the single-brane response with
  conditions (S1)-(S5) and its resonant refuter 2 - exp(-w^2), the entire zero-free form factor and
  its power growth, the power counting bound omega_bar(n, L) with the merging lemma re-derived by
  exhaustive enumeration, the one-loop pole matrix of determinant -24/c^3 and the tuning that
  cancels the three poles in exact arithmetic, the zero-point energy 3 n M^4/(64 pi^2) with the
  Mellin identity behind its regulator independence, the refuter of reflection positivity
  (F_q(t) < 0 near t = 12/M) and the breakdown energy of the one-loop bubble between 1.4 M and
  1.9 M (construct/brane_formfactor.py). The theorem holds within perturbation theory and is not
  refereed: control brane-gas-uv-finite, a closure, CANDIDATE. The log gains three records, and
  the skill memory now ranks a narrower scope second after a missing mode.
• Counts. 252 unit tests, 28 controls, 30 trajectories in the skill memory; the Lean
  development is that of 3.1.0 (44 engine theorems, 65 in the paper). The paper is not rewritten
  in this release.

What 3.1.1 recorded:

Version 3.1.1 of eBLLM and of Anaxia, the BLLM engine. It records the version DOI of release 3.1.0,
10.5281/zenodo.23484160, in the paper (paper/bllm, both the REVTeX and the JAIR version, and
preprintBLLM/BLLM.pdf), in CITATION.cff and in the README. The engine, its data and its Lean
development are those of 3.1.0.

What 3.1.0 brought:

Version 3.1.0 of eBLLM and of Anaxia, the BLLM engine. It passes the sixth benchmark, one open
conjecture of mathematical physics proved without conditions, and it learns from its failures.

• The seed conjecture for reflexive 4-polytopes. Shrink a reflexive 4-polytope to the next
  reflexive polytope inside it, a cover, and repeat until no reflexive polytope fits: every such
  descent reaches a seed within 348 steps, for all 473,800,776 polytopes of the Kreuzer-Skarke list.
  Each step lowers the lattice points of the polytope and raises those of its dual, and the pairs
  of the two counts in the list admit no longer chain. The sharp constants are 5 in dimension two
  and 11 in dimension three; in dimension four the sharp constant lies between 22 and 348. Depth
  adds under free sums, and two skew bipyramids with 37 lattice points have depth exactly 22,
  computed from the complete lists of their covers. The largest polytope of the list, the simplex
  with 680 lattice points, reaches a seed in 31 steps. src/ebllm/construct/reflexive.py computes
  duals, covers in any dimension, descents, free sums and the chain bound.
• The learn-from-failure loop. A failed attempt writes a record that names the part that failed
  with its measured evidence, a diagnosis of one of nine kinds and a change of one rule of the
  engine; the next attempt runs under the changed rule and closes the record. The loop never makes
  the same change twice on a target, so it stops, and both bounds are proved in Lean
  (lean/EBLLM/SelfMod.lean). The log (src/ebllm/bllm/data/modlog.json, anaxia modlog) now
  holds 10 runs, 25 targets, 73 attempts and 57 rule changes; 29 of the 48 changes whose retry has
  run closed or advanced their target, and 10 targets closed.
• Credit by the whole run. A change can be needed without being enough, so the skill memory
  (src/ebllm/bllm/skills.py, anaxia skills) keeps each run as one hyperedge, an idea taken from
  HyperSkill (Xu, Yang and Huang, arXiv:2608.16114; no code is copied). Changes in runs that closed
  or advanced are strategies, changes in runs that only failed are patterns to avoid, and a kind of
  change used three times with less than a fifth of its runs advancing is pruned. On the present
  log it ranks the changes differently from the playbook after an overclaim, a search too large
  for its budget, and a wrong representation.
• The other attacks of 19 October log their failures in the same format, and their results are
  cited in the paper: simple zeros of the zeta function, more than 67.319 percent of them simple and
  on the critical line (mh-phys 1.1.0, doi:10.5281/zenodo.23483313); the Erdos-Straus exceptional
  set, whose exponent the engine's centre strips raise from 0.6608 to at least 0.6657, and numerically
  to 0.6792 (ErdosProblem1 3.0.0, doi:10.5281/zenodo.23483694); union-closed families at the entropy limit
  (eUUR 1.0.0, doi:10.5281/zenodo.23480219); generations on the Dwork quintic (strings 1.0.2,
  doi:10.5281/zenodo.23483470); the seed bounds (seed 1.0.1, doi:10.5281/zenodo.23483443); sixteen
  lonely runners; gauge-fixed mass gaps for lattice Yang-Mills; and points in convex position in
  four dimensions. None of these settles its conjecture.
• The Hodge round, continued. On E_0^6, family (a): every convolution with at most seven line
  bundles fails the criterion at every discriminant, and so does every object supported on the 32
  Weil threefolds, by the semiregularity map with supports (experiments/hodge/C8_chains.md). With
  eight line bundles 31 arrangements of shifts are left. (F2) and (F3') remain open.
• Screens and two gates. Rules left by failures on open problems run as exact checks
  (src/ebllm/bllm/screens.py). A bound on the Liouville correlations below the random-model size
  is rejected: the claimed bound of one route to the Riemann hypothesis is 129 times too small at
  X = 6000. An Erdos-Straus normal form is tested against every solution of small cases (4/73 has
  four solutions of type I), and every claimed existence of a parameter is tested on small cases
  (it fails at p = 97, q = 7). A constant defined by a series over primes is quoted only with a
  tail estimate added and agreement at two cutoffs a factor 10 apart. Construction mode gains
  definition repair, which accepts a new definition only when every changed example has a reason
  and the new one carries more consequences, and the witness gate, which admits a conditional
  result only with a witness that meets every hypothesis and is not degenerate
  (src/ebllm/construct/reformulate.py).
• Six benchmarks. The mathematical-physics benchmark joins the five open problems; it is the
  only one passed, so the superbrain label of the package is not claimed.
• The paper is rewritten as one text around these results, with sections on the anatomy of the
  engine and how it grew, on learning from failure, its screens and gates, and on the seed
  conjecture, and with figures and tables drawn from the package and its log. 163 unit tests pass,
  and the engine's Lean library has 44 theorems.
• The README is also the page of the image on ghcr.io, with its artwork drawn from the log.

What 3.0.5 brought:

Version 3.0.5 of eBLLM and of Anaxia, the BLLM engine. The paper says "makes errors" where it
said "errs": in the first sentence of the abstract, which now reads "so a check that makes errors
lets mistakes pile up", and in the sentences on checks that are wrong in both directions
(Sections 2, 4 and 11). The layout, the engine, its data and its Lean development are those of
3.0.4.

What 3.0.4 brought:

Version 3.0.4 of eBLLM and of Anaxia, the BLLM engine. It mends the layout of the appendices of
the paper. The registry of Appendix D is now a list set in the running columns
(figures/src/make_sources_table.py), so the one-column passage that overprinted the heading of
Appendix E is gone, and so is the page break before it, which had left the tables of Appendices B
and C on pages of their own. The REVTeX version keeps its columns ragged at the foot instead of
stretching the space between paragraphs, and the JAIR version accepts a page of floats from 60
percent full, so that its figures stay with their sections. A pass of the REVTeX version on TeX
Live 2026 takes 4.3 seconds. The version DOI of 3.0.3, 10.5281/zenodo.23467113, is recorded in
CITATION.cff and in the README. The engine, its data and its Lean ...

v3.2.0: BLLM: Beyond the LLM with Deep Human-Mind-AI

Version 3.2.0 of eBLLM and of Anaxia, the BLLM engine. It records the version DOI of release 3.1.1,
10.5281/zenodo.23484395, in CITATION.cff and in the README, and brings four additions to the
engine, uploaded by a second agent on Tubai's command.

• The attack package for the four targets. A barrier atlas of the strings, seed, Hodge and
  Yang-Mills targets (bllm/barriers.py, bllm/atlas.py, anaxia barriers), the bypass search
  that proposes the breakers of each wall, the superstring attack chain (anaxia superstring),
  the volume-chain bound, the positive-monad and tetraquadric scans, the proposal of the
  conditions (C7)-(C9) of the strings target as explicit inequalities (construct/vacuum_conditions.py),
  and the audit method of a quantum-gravity manuscript with its runner, anaxia triage (go/no-go)
  and anaxia figcritic. None of the four targets is closed.
• The bridge index of thirteen-crossing knots. For 243 of the 536 knots with 13 crossings whose
  bridge index KnotInfo lists as [3,4], the bridge index is 4 and equals the meridional rank, by a
  Wirtinger-4 diagram and a representation sending meridians to transvections of Sp(4,3), Sp(4,5)
  or reflections of O(4,5) with no common fixed vector (construct/transvections.py, 243
  certificates checked from the matrices alone); the other 293 stay open. Control
  bridge-index-13, a partial result, CANDIDATE.
• Ultraviolet finiteness of gravity from a scale-invariant gas of branes. The constructions of
  the proof (creelie/brane-cluster-gases 3.1.0, doi:10.5281/zenodo.23524276) that gravity with
  the form factor exp[(n/2) Ein(Box^2/M^4)] of a frozen Poisson gas of branes has no ultraviolet
  divergence at any order of perturbation theory for n >= 4: the single-brane response with
  conditions (S1)-(S5) and its resonant refuter 2 - exp(-w^2), the entire zero-free form factor and
  its power growth, the power counting bound omega_bar(n, L) with the merging lemma re-derived by
  exhaustive enumeration, the one-loop pole matrix of determinant -24/c^3 and the tuning that
  cancels the three poles in exact arithmetic, the zero-point energy 3 n M^4/(64 pi^2) with the
  Mellin identity behind its regulator independence, the refuter of reflection positivity
  (F_q(t) < 0 near t = 12/M) and the breakdown energy of the one-loop bubble between 1.4 M and
  1.9 M (construct/brane_formfactor.py). The theorem holds within perturbation theory and is not
  refereed: control brane-gas-uv-finite, a closure, CANDIDATE. The log gains three records, and
  the skill memory now ranks a narrower scope second after a missing mode.
• Counts. 252 unit tests, 28 controls, 30 trajectories in the skill memory; the Lean
  development is that of 3.1.0 (44 engine theorems, 65 in the paper). The paper is not rewritten
  in this release.

What 3.1.1 recorded:

Version 3.1.1 of eBLLM and of Anaxia, the BLLM engine. It records the version DOI of release 3.1.0,
10.5281/zenodo.23484160, in the paper (paper/bllm, both the REVTeX and the JAIR version, and
preprintBLLM/BLLM.pdf), in CITATION.cff and in the README. The engine, its data and its Lean
development are those of 3.1.0.

What 3.1.0 brought:

Version 3.1.0 of eBLLM and of Anaxia, the BLLM engine. It passes the sixth benchmark, one open
conjecture of mathematical physics proved without conditions, and it learns from its failures.

• The seed conjecture for reflexive 4-polytopes. Shrink a reflexive 4-polytope to the next
  reflexive polytope inside it, a cover, and repeat until no reflexive polytope fits: every such
  descent reaches a seed within 348 steps, for all 473,800,776 polytopes of the Kreuzer-Skarke list.
  Each step lowers the lattice points of the polytope and raises those of its dual, and the pairs
  of the two counts in the list admit no longer chain. The sharp constants are 5 in dimension two
  and 11 in dimension three; in dimension four the sharp constant lies between 22 and 348. Depth
  adds under free sums, and two skew bipyramids with 37 lattice points have depth exactly 22,
  computed from the complete lists of their covers. The largest polytope of the list, the simplex
  with 680 lattice points, reaches a seed in 31 steps. src/ebllm/construct/reflexive.py computes
  duals, covers in any dimension, descents, free sums and the chain bound.
• The learn-from-failure loop. A failed attempt writes a record that names the part that failed
  with its measured evidence, a diagnosis of one of nine kinds and a change of one rule of the
  engine; the next attempt runs under the changed rule and closes the record. The loop never makes
  the same change twice on a target, so it stops, and both bounds are proved in Lean
  (lean/EBLLM/SelfMod.lean). The log (src/ebllm/bllm/data/modlog.json, anaxia modlog) now
  holds 10 runs, 25 targets, 73 attempts and 57 rule changes; 29 of the 48 changes whose retry has
  run closed or advanced their target, and 10 targets closed.
• Credit by the whole run. A change can be needed without being enough, so the skill memory
  (src/ebllm/bllm/skills.py, anaxia skills) keeps each run as one hyperedge, an idea taken from
  HyperSkill (Xu, Yang and Huang, arXiv:2608.16114; no code is copied). Changes in runs that closed
  or advanced are strategies, changes in runs that only failed are patterns to avoid, and a kind of
  change used three times with less than a fifth of its runs advancing is pruned. On the present
  log it ranks the changes differently from the playbook after an overclaim, a search too large
  for its budget, and a wrong representation.
• The other attacks of 19 October log their failures in the same format, and their results are
  cited in the paper: simple zeros of the zeta function, more than 67.319 percent of them simple and
  on the critical line (mh-phys 1.1.0, doi:10.5281/zenodo.23483313); the Erdos-Straus exceptional
  set, whose exponent the engine's centre strips raise from 0.6608 to at least 0.6657, and numerically
  to 0.6792 (ErdosProblem1 3.0.0, doi:10.5281/zenodo.23483694); union-closed families at the entropy limit
  (eUUR 1.0.0, doi:10.5281/zenodo.23480219); generations on the Dwork quintic (strings 1.0.2,
  doi:10.5281/zenodo.23483470); the seed bounds (seed 1.0.1, doi:10.5281/zenodo.23483443); sixteen
  lonely runners; gauge-fixed mass gaps for lattice Yang-Mills; and points in convex position in
  four dimensions. None of these settles its conjecture.
• The Hodge round, continued. On E_0^6, family (a): every convolution with at most seven line
  bundles fails the criterion at every discriminant, and so does every object supported on the 32
  Weil threefolds, by the semiregularity map with supports (experiments/hodge/C8_chains.md). With
  eight line bundles 31 arrangements of shifts are left. (F2) and (F3') remain open.
• Screens and two gates. Rules left by failures on open problems run as exact checks
  (src/ebllm/bllm/screens.py). A bound on the Liouville correlations below the random-model size
  is rejected: the claimed bound of one route to the Riemann hypothesis is 129 times too small at
  X = 6000. An Erdos-Straus normal form is tested against every solution of small cases (4/73 has
  four solutions of type I), and every claimed existence of a parameter is tested on small cases
  (it fails at p = 97, q = 7). A constant defined by a series over primes is quoted only with a
  tail estimate added and agreement at two cutoffs a factor 10 apart. Construction mode gains
  definition repair, which accepts a new definition only when every changed example has a reason
  and the new one carries more consequences, and the witness gate, which admits a conditional
  result only with a witness that meets every hypothesis and is not degenerate
  (src/ebllm/construct/reformulate.py).
• Six benchmarks. The mathematical-physics benchmark joins the five open problems; it is the
  only one passed, so the superbrain label of the package is not claimed.
• The paper is rewritten as one text around these results, with sections on the anatomy of the
  engine and how it grew, on learning from failure, its screens and gates, and on the seed
  conjecture, and with figures and tables drawn from the package and its log. 163 unit tests pass,
  and the engine's Lean library has 44 theorems.
• The README is also the page of the image on ghcr.io, with its artwork drawn from the log.

What 3.0.5 brought:

Version 3.0.5 of eBLLM and of Anaxia, the BLLM engine. The paper says "makes errors" where it
said "errs": in the first sentence of the abstract, which now reads "so a check that makes errors
lets mistakes pile up", and in the sentences on checks that are wrong in both directions
(Sections 2, 4 and 11). The layout, the engine, its data and its Lean development are those of
3.0.4.

What 3.0.4 brought:

Version 3.0.4 of eBLLM and of Anaxia, the BLLM engine. It mends the layout of the appendices of
the paper. The registry of Appendix D is now a list set in the running columns
(figures/src/make_sources_table.py), so the one-column passage that overprinted the heading of
Appendix E is gone, and so is the page break before it, which had left the tables of Appendices B
and C on pages of their own. The REVTeX version keeps its columns ragged at the foot instead of
stretching the space between paragraphs, and the JAIR version accepts a page of floats from 60
percent full, so that its figures stay with their sections. A pass of the REVTeX version on TeX
Live 2026 takes 4.3 seconds. The version DOI of 3.0.3, 10.5281/zenodo.23467113, is recorded in
CITATION.cff and in the README. The engine, its data and its Lean development are those of 3.0.2.

What 3.0.3 brought:

Version 3.0.3 of eBLLM and of Anaxia, the BLLM engine. The paper compiles about two and a half
times faster: paper/bllm/paper/figures/src/compact_figures.py flattens the PNG figures onto white,
scales them to 1600 pixels across and gives th...

v3.1.1: BLLM: Beyond the LLM with Deep Human-Mind-AI

Version 3.1.1 of eBLLM and of Anaxia, the BLLM engine. It records the version DOI of release 3.1.0,
10.5281/zenodo.23484160, in the paper (paper/bllm, both the REVTeX and the JAIR version, and
preprintBLLM/BLLM.pdf), in CITATION.cff and in the README. The engine, its data and its Lean
development are those of 3.1.0.

What 3.1.0 brought:

Version 3.1.0 of eBLLM and of Anaxia, the BLLM engine. It passes the sixth benchmark, one open
conjecture of mathematical physics proved without conditions, and it learns from its failures.

• The seed conjecture for reflexive 4-polytopes. Shrink a reflexive 4-polytope to the next
  reflexive polytope inside it, a cover, and repeat until no reflexive polytope fits: every such
  descent reaches a seed within 348 steps, for all 473,800,776 polytopes of the Kreuzer-Skarke list.
  Each step lowers the lattice points of the polytope and raises those of its dual, and the pairs
  of the two counts in the list admit no longer chain. The sharp constants are 5 in dimension two
  and 11 in dimension three; in dimension four the sharp constant lies between 22 and 348. Depth
  adds under free sums, and two skew bipyramids with 37 lattice points have depth exactly 22,
  computed from the complete lists of their covers. The largest polytope of the list, the simplex
  with 680 lattice points, reaches a seed in 31 steps. src/ebllm/construct/reflexive.py computes
  duals, covers in any dimension, descents, free sums and the chain bound.
• The learn-from-failure loop. A failed attempt writes a record that names the part that failed
  with its measured evidence, a diagnosis of one of nine kinds and a change of one rule of the
  engine; the next attempt runs under the changed rule and closes the record. The loop never makes
  the same change twice on a target, so it stops, and both bounds are proved in Lean
  (lean/EBLLM/SelfMod.lean). The log (src/ebllm/bllm/data/modlog.json, anaxia modlog) now
  holds 10 runs, 25 targets, 73 attempts and 57 rule changes; 29 of the 48 changes whose retry has
  run closed or advanced their target, and 10 targets closed.
• Credit by the whole run. A change can be needed without being enough, so the skill memory
  (src/ebllm/bllm/skills.py, anaxia skills) keeps each run as one hyperedge, an idea taken from
  HyperSkill (Xu, Yang and Huang, arXiv:2608.16114; no code is copied). Changes in runs that closed
  or advanced are strategies, changes in runs that only failed are patterns to avoid, and a kind of
  change used three times with less than a fifth of its runs advancing is pruned. On the present
  log it ranks the changes differently from the playbook after an overclaim, a search too large
  for its budget, and a wrong representation.
• The other attacks of 19 October log their failures in the same format, and their results are
  cited in the paper: simple zeros of the zeta function, more than 67.319 percent of them simple and
  on the critical line (mh-phys 1.1.0, doi:10.5281/zenodo.23483313); the Erdos-Straus exceptional
  set, whose exponent the engine's centre strips raise from 0.6608 to at least 0.6657, and numerically
  to 0.6792 (ErdosProblem1 3.0.0, doi:10.5281/zenodo.23483694); union-closed families at the entropy limit
  (eUUR 1.0.0, doi:10.5281/zenodo.23480219); generations on the Dwork quintic (strings 1.0.2,
  doi:10.5281/zenodo.23483470); the seed bounds (seed 1.0.1, doi:10.5281/zenodo.23483443); sixteen
  lonely runners; gauge-fixed mass gaps for lattice Yang-Mills; and points in convex position in
  four dimensions. None of these settles its conjecture.
• The Hodge round, continued. On E_0^6, family (a): every convolution with at most seven line
  bundles fails the criterion at every discriminant, and so does every object supported on the 32
  Weil threefolds, by the semiregularity map with supports (experiments/hodge/C8_chains.md). With
  eight line bundles 31 arrangements of shifts are left. (F2) and (F3') remain open.
• Screens and two gates. Rules left by failures on open problems run as exact checks
  (src/ebllm/bllm/screens.py). A bound on the Liouville correlations below the random-model size
  is rejected: the claimed bound of one route to the Riemann hypothesis is 129 times too small at
  X = 6000. An Erdos-Straus normal form is tested against every solution of small cases (4/73 has
  four solutions of type I), and every claimed existence of a parameter is tested on small cases
  (it fails at p = 97, q = 7). A constant defined by a series over primes is quoted only with a
  tail estimate added and agreement at two cutoffs a factor 10 apart. Construction mode gains
  definition repair, which accepts a new definition only when every changed example has a reason
  and the new one carries more consequences, and the witness gate, which admits a conditional
  result only with a witness that meets every hypothesis and is not degenerate
  (src/ebllm/construct/reformulate.py).
• Six benchmarks. The mathematical-physics benchmark joins the five open problems; it is the
  only one passed, so the superbrain label of the package is not claimed.
• The paper is rewritten as one text around these results, with sections on the anatomy of the
  engine and how it grew, on learning from failure, its screens and gates, and on the seed
  conjecture, and with figures and tables drawn from the package and its log. 163 unit tests pass,
  and the engine's Lean library has 44 theorems.
• The README is also the page of the image on ghcr.io, with its artwork drawn from the log.

What 3.0.5 brought:

Version 3.0.5 of eBLLM and of Anaxia, the BLLM engine. The paper says "makes errors" where it
said "errs": in the first sentence of the abstract, which now reads "so a check that makes errors
lets mistakes pile up", and in the sentences on checks that are wrong in both directions
(Sections 2, 4 and 11). The layout, the engine, its data and its Lean development are those of
3.0.4.

What 3.0.4 brought:

Version 3.0.4 of eBLLM and of Anaxia, the BLLM engine. It mends the layout of the appendices of
the paper. The registry of Appendix D is now a list set in the running columns
(figures/src/make_sources_table.py), so the one-column passage that overprinted the heading of
Appendix E is gone, and so is the page break before it, which had left the tables of Appendices B
and C on pages of their own. The REVTeX version keeps its columns ragged at the foot instead of
stretching the space between paragraphs, and the JAIR version accepts a page of floats from 60
percent full, so that its figures stay with their sections. A pass of the REVTeX version on TeX
Live 2026 takes 4.3 seconds. The version DOI of 3.0.3, 10.5281/zenodo.23467113, is recorded in
CITATION.cff and in the README. The engine, its data and its Lean development are those of 3.0.2.

What 3.0.3 brought:

Version 3.0.3 of eBLLM and of Anaxia, the BLLM engine. The paper compiles about two and a half
times faster: paper/bllm/paper/figures/src/compact_figures.py flattens the PNG figures onto white,
scales them to 1600 pixels across and gives them a 256-colour palette (with pngquant), so that
pdflatex embeds them without re-encoding. A pass of the REVTeX version on TeX Live 2026 takes
4.5 seconds instead of 11, and the figures take 3.6 MB instead of 13 MB. The text, the engine, its
data and its Lean development are those of 3.0.2.

What 3.0.2 brought:

Version 3.0.2 of eBLLM and of Anaxia, the BLLM engine. The paper (paper/bllm, both the REVTeX
and the JAIR version) now compiles on TeX Live 2026: the table of Appendix D no longer uses the
longtable package, whose 2026 version conflicts with the patch of it in revtex4-2 4.2f, and
figures/src/make_sources_table.py writes it as one tabular per row. The abstract is rewritten in
plain words, the keywords are printed on the title page, and one PDF bookmark is fixed. The
compiled paper preprintBLLM/BLLM.pdf is rebuilt on TeX Live 2026. The engine, its data and its
Lean development are those of 3.0.0.

What 3.0.1 recorded:

Version 3.0.1 of eBLLM and of Anaxia, the BLLM engine. It records the version DOI of release
3.0.0, 10.5281/zenodo.23464390, in the paper (paper/bllm, both the REVTeX and the JAIR version,
and preprintBLLM/BLLM.pdf), in CITATION.cff and in the README. The engine, its data and its
Lean development are those of 3.0.0.

What 3.0.0 brought:

Version 3.0.0 of eBLLM and of Anaxia, the BLLM engine, came with the rewritten paper of D. Bhattacharjee
and U. Bhattacharya, BLLM: Beyond the LLM with Deep Human-Mind-AI (paper/bllm).

• Construction mode. The engine writes down a new object together with the argument for what
  it forces and keeps it only after an independent gate. From the rules of Steinberg's problem
  alone it rebuilds the 15-vertex gadget of Cohen-Addad, Hebdige, Kral', Li and Salgado (2016),
  the 42-vertex gadget built from it, and the 166-vertex counterexample. These are rediscoveries
  of a published construction; on Erdos's question for cycles of length 4 to 6 it finds nothing.
• Layer towers. Builders stacked in depth, wired as a ladder or a mesh, with a bench that runs
  them at equal numbers of checks. Six Lean theorems (paper/bllm/lean/BLLM/Tower.lean) bound
  what depth can buy: n verified layers sharing one budget cost at least n log(n/theta), and past a
  finite depth every tower costs more than any fixed amount. The bench (120 runs) finds that depth
  pays once: on Steinberg's second gadget the builder alone never reaches the goal, a second layer
  that first builds an easier gadget and keeps it as a lemma reaches it on 7 of 10 runs, a third
  layer adds nothing (6 of 10), and the mesh shortens the step after the lemma (median 308 checks
  against 2,342). The crossing loop finds no gadget at 13 to 20 times the budget, and nothing is
  found on Erdos's question.
• The Hodge round. Twelve rounds of the network pointed at the Hodge conjecture alone,
  ...

v3.1.0: BLLM: Beyond the LLM with Deep Human-Mind-AI

Version 3.1.0 of eBLLM and of Anaxia, the BLLM engine. It passes the sixth benchmark, one open
conjecture of mathematical physics proved without conditions, and it learns from its failures.

• The seed conjecture for reflexive 4-polytopes. Shrink a reflexive 4-polytope to the next
  reflexive polytope inside it, a cover, and repeat until no reflexive polytope fits: every such
  descent reaches a seed within 348 steps, for all 473,800,776 polytopes of the Kreuzer-Skarke list.
  Each step lowers the lattice points of the polytope and raises those of its dual, and the pairs
  of the two counts in the list admit no longer chain. The sharp constants are 5 in dimension two
  and 11 in dimension three; in dimension four the sharp constant lies between 22 and 348. Depth
  adds under free sums, and two skew bipyramids with 37 lattice points have depth exactly 22,
  computed from the complete lists of their covers. The largest polytope of the list, the simplex
  with 680 lattice points, reaches a seed in 31 steps. src/ebllm/construct/reflexive.py computes
  duals, covers in any dimension, descents, free sums and the chain bound.
• The learn-from-failure loop. A failed attempt writes a record that names the part that failed
  with its measured evidence, a diagnosis of one of nine kinds and a change of one rule of the
  engine; the next attempt runs under the changed rule and closes the record. The loop never makes
  the same change twice on a target, so it stops, and both bounds are proved in Lean
  (lean/EBLLM/SelfMod.lean). The log (src/ebllm/bllm/data/modlog.json, anaxia modlog) now
  holds 10 runs, 25 targets, 73 attempts and 57 rule changes; 29 of the 48 changes whose retry has
  run closed or advanced their target, and 10 targets closed.
• Credit by the whole run. A change can be needed without being enough, so the skill memory
  (src/ebllm/bllm/skills.py, anaxia skills) keeps each run as one hyperedge, an idea taken from
  HyperSkill (Xu, Yang and Huang, arXiv:2608.16114; no code is copied). Changes in runs that closed
  or advanced are strategies, changes in runs that only failed are patterns to avoid, and a kind of
  change used three times with less than a fifth of its runs advancing is pruned. On the present
  log it ranks the changes differently from the playbook after an overclaim, a search too large
  for its budget, and a wrong representation.
• The other attacks of 19 October log their failures in the same format, and their results are
  cited in the paper: simple zeros of the zeta function, more than 67.319 percent of them simple and
  on the critical line (mh-phys 1.1.0, doi:10.5281/zenodo.23483313); the Erdos-Straus exceptional
  set, whose exponent the engine's centre strips raise from 0.6608 to at least 0.6657, and numerically
  to 0.6792 (ErdosProblem1 3.0.0, doi:10.5281/zenodo.23483694); union-closed families at the entropy limit
  (eUUR 1.0.0, doi:10.5281/zenodo.23480219); generations on the Dwork quintic (strings 1.0.2,
  doi:10.5281/zenodo.23483470); the seed bounds (seed 1.0.1, doi:10.5281/zenodo.23483443); sixteen
  lonely runners; gauge-fixed mass gaps for lattice Yang-Mills; and points in convex position in
  four dimensions. None of these settles its conjecture.
• The Hodge round, continued. On E_0^6, family (a): every convolution with at most seven line
  bundles fails the criterion at every discriminant, and so does every object supported on the 32
  Weil threefolds, by the semiregularity map with supports (experiments/hodge/C8_chains.md). With
  eight line bundles 31 arrangements of shifts are left. (F2) and (F3') remain open.
• Screens and two gates. Rules left by failures on open problems run as exact checks
  (src/ebllm/bllm/screens.py). A bound on the Liouville correlations below the random-model size
  is rejected: the claimed bound of one route to the Riemann hypothesis is 129 times too small at
  X = 6000. An Erdos-Straus normal form is tested against every solution of small cases (4/73 has
  four solutions of type I), and every claimed existence of a parameter is tested on small cases
  (it fails at p = 97, q = 7). A constant defined by a series over primes is quoted only with a
  tail estimate added and agreement at two cutoffs a factor 10 apart. Construction mode gains
  definition repair, which accepts a new definition only when every changed example has a reason
  and the new one carries more consequences, and the witness gate, which admits a conditional
  result only with a witness that meets every hypothesis and is not degenerate
  (src/ebllm/construct/reformulate.py).
• Six benchmarks. The mathematical-physics benchmark joins the five open problems; it is the
  only one passed, so the superbrain label of the package is not claimed.
• The paper is rewritten as one text around these results, with sections on the anatomy of the
  engine and how it grew, on learning from failure, its screens and gates, and on the seed
  conjecture, and with figures and tables drawn from the package and its log. 163 unit tests pass,
  and the engine's Lean library has 44 theorems.
• The README is also the page of the image on ghcr.io, with its artwork drawn from the log.

What 3.0.5 brought:

Version 3.0.5 of eBLLM and of Anaxia, the BLLM engine. The paper says "makes errors" where it
said "errs": in the first sentence of the abstract, which now reads "so a check that makes errors
lets mistakes pile up", and in the sentences on checks that are wrong in both directions
(Sections 2, 4 and 11). The layout, the engine, its data and its Lean development are those of
3.0.4.

What 3.0.4 brought:

Version 3.0.4 of eBLLM and of Anaxia, the BLLM engine. It mends the layout of the appendices of
the paper. The registry of Appendix D is now a list set in the running columns
(figures/src/make_sources_table.py), so the one-column passage that overprinted the heading of
Appendix E is gone, and so is the page break before it, which had left the tables of Appendices B
and C on pages of their own. The REVTeX version keeps its columns ragged at the foot instead of
stretching the space between paragraphs, and the JAIR version accepts a page of floats from 60
percent full, so that its figures stay with their sections. A pass of the REVTeX version on TeX
Live 2026 takes 4.3 seconds. The version DOI of 3.0.3, 10.5281/zenodo.23467113, is recorded in
CITATION.cff and in the README. The engine, its data and its Lean development are those of 3.0.2.

What 3.0.3 brought:

Version 3.0.3 of eBLLM and of Anaxia, the BLLM engine. The paper compiles about two and a half
times faster: paper/bllm/paper/figures/src/compact_figures.py flattens the PNG figures onto white,
scales them to 1600 pixels across and gives them a 256-colour palette (with pngquant), so that
pdflatex embeds them without re-encoding. A pass of the REVTeX version on TeX Live 2026 takes
4.5 seconds instead of 11, and the figures take 3.6 MB instead of 13 MB. The text, the engine, its
data and its Lean development are those of 3.0.2.

What 3.0.2 brought:

Version 3.0.2 of eBLLM and of Anaxia, the BLLM engine. The paper (paper/bllm, both the REVTeX
and the JAIR version) now compiles on TeX Live 2026: the table of Appendix D no longer uses the
longtable package, whose 2026 version conflicts with the patch of it in revtex4-2 4.2f, and
figures/src/make_sources_table.py writes it as one tabular per row. The abstract is rewritten in
plain words, the keywords are printed on the title page, and one PDF bookmark is fixed. The
compiled paper preprintBLLM/BLLM.pdf is rebuilt on TeX Live 2026. The engine, its data and its
Lean development are those of 3.0.0.

What 3.0.1 recorded:

Version 3.0.1 of eBLLM and of Anaxia, the BLLM engine. It records the version DOI of release
3.0.0, 10.5281/zenodo.23464390, in the paper (paper/bllm, both the REVTeX and the JAIR version,
and preprintBLLM/BLLM.pdf), in CITATION.cff and in the README. The engine, its data and its
Lean development are those of 3.0.0.

What 3.0.0 brought:

Version 3.0.0 of eBLLM and of Anaxia, the BLLM engine, came with the rewritten paper of D. Bhattacharjee
and U. Bhattacharya, BLLM: Beyond the LLM with Deep Human-Mind-AI (paper/bllm).

• Construction mode. The engine writes down a new object together with the argument for what
  it forces and keeps it only after an independent gate. From the rules of Steinberg's problem
  alone it rebuilds the 15-vertex gadget of Cohen-Addad, Hebdige, Kral', Li and Salgado (2016),
  the 42-vertex gadget built from it, and the 166-vertex counterexample. These are rediscoveries
  of a published construction; on Erdos's question for cycles of length 4 to 6 it finds nothing.
• Layer towers. Builders stacked in depth, wired as a ladder or a mesh, with a bench that runs
  them at equal numbers of checks. Six Lean theorems (paper/bllm/lean/BLLM/Tower.lean) bound
  what depth can buy: n verified layers sharing one budget cost at least n log(n/theta), and past a
  finite depth every tower costs more than any fixed amount. The bench (120 runs) finds that depth
  pays once: on Steinberg's second gadget the builder alone never reaches the goal, a second layer
  that first builds an easier gadget and keeps it as a lemma reaches it on 7 of 10 runs, a third
  layer adds nothing (6 of 10), and the mesh shortens the step after the lemma (median 308 checks
  against 2,342). The crossing loop finds no gadget at 13 to 20 times the budget, and nothing is
  found on Erdos's question.
• The Hodge round. Twelve rounds of the network pointed at the Hodge conjecture alone,
  including a burst round. Every gap stays where it was: (F2) and (F3') remain open. Counting
  excludes two configurations on E_0^6 and reduces two others to explicit Massey products.
• Sources. A registry of every system, method and collection the engine draws on, what it
  takes from each and what it leaves, with unrefereed claims marked a...

v3.0.5: BLLM: Beyond the LLM with Deep Human-Mind-AI

Version 3.0.5 of eBLLM and of Anaxia, the BLLM engine. The paper says "makes errors" where it
said "errs": in the first sentence of the abstract, which now reads "so a check that makes errors
lets mistakes pile up", and in the sentences on checks that are wrong in both directions
(Sections 2, 4 and 11). The layout, the engine, its data and its Lean development are those of
3.0.4.

What 3.0.4 brought:

Version 3.0.4 of eBLLM and of Anaxia, the BLLM engine. It mends the layout of the appendices of
the paper. The registry of Appendix D is now a list set in the running columns
(figures/src/make_sources_table.py), so the one-column passage that overprinted the heading of
Appendix E is gone, and so is the page break before it, which had left the tables of Appendices B
and C on pages of their own. The REVTeX version keeps its columns ragged at the foot instead of
stretching the space between paragraphs, and the JAIR version accepts a page of floats from 60
percent full, so that its figures stay with their sections. A pass of the REVTeX version on TeX
Live 2026 takes 4.3 seconds. The version DOI of 3.0.3, 10.5281/zenodo.23467113, is recorded in
CITATION.cff and in the README. The engine, its data and its Lean development are those of 3.0.2.

What 3.0.3 brought:

Version 3.0.3 of eBLLM and of Anaxia, the BLLM engine. The paper compiles about two and a half
times faster: paper/bllm/paper/figures/src/compact_figures.py flattens the PNG figures onto white,
scales them to 1600 pixels across and gives them a 256-colour palette (with pngquant), so that
pdflatex embeds them without re-encoding. A pass of the REVTeX version on TeX Live 2026 takes
4.5 seconds instead of 11, and the figures take 3.6 MB instead of 13 MB. The text, the engine, its
data and its Lean development are those of 3.0.2.

What 3.0.2 brought:

Version 3.0.2 of eBLLM and of Anaxia, the BLLM engine. The paper (paper/bllm, both the REVTeX
and the JAIR version) now compiles on TeX Live 2026: the table of Appendix D no longer uses the
longtable package, whose 2026 version conflicts with the patch of it in revtex4-2 4.2f, and
figures/src/make_sources_table.py writes it as one tabular per row. The abstract is rewritten in
plain words, the keywords are printed on the title page, and one PDF bookmark is fixed. The
compiled paper preprintBLLM/BLLM.pdf is rebuilt on TeX Live 2026. The engine, its data and its
Lean development are those of 3.0.0.

What 3.0.1 recorded:

Version 3.0.1 of eBLLM and of Anaxia, the BLLM engine. It records the version DOI of release
3.0.0, 10.5281/zenodo.23464390, in the paper (paper/bllm, both the REVTeX and the JAIR version,
and preprintBLLM/BLLM.pdf), in CITATION.cff and in the README. The engine, its data and its
Lean development are those of 3.0.0.

What 3.0.0 brought:

Version 3.0.0 of eBLLM and of Anaxia, the BLLM engine, came with the rewritten paper of D. Bhattacharjee
and U. Bhattacharya, BLLM: Beyond the LLM with Deep Human-Mind-AI (paper/bllm).

• Construction mode. The engine writes down a new object together with the argument for what
  it forces and keeps it only after an independent gate. From the rules of Steinberg's problem
  alone it rebuilds the 15-vertex gadget of Cohen-Addad, Hebdige, Kral', Li and Salgado (2016),
  the 42-vertex gadget built from it, and the 166-vertex counterexample. These are rediscoveries
  of a published construction; on Erdos's question for cycles of length 4 to 6 it finds nothing.
• Layer towers. Builders stacked in depth, wired as a ladder or a mesh, with a bench that runs
  them at equal numbers of checks. Six Lean theorems (paper/bllm/lean/BLLM/Tower.lean) bound
  what depth can buy: n verified layers sharing one budget cost at least n log(n/theta), and past a
  finite depth every tower costs more than any fixed amount. The bench (120 runs) finds that depth
  pays once: on Steinberg's second gadget the builder alone never reaches the goal, a second layer
  that first builds an easier gadget and keeps it as a lemma reaches it on 7 of 10 runs, a third
  layer adds nothing (6 of 10), and the mesh shortens the step after the lemma (median 308 checks
  against 2,342). The crossing loop finds no gadget at 13 to 20 times the budget, and nothing is
  found on Erdos's question.
• The Hodge round. Twelve rounds of the network pointed at the Hodge conjecture alone,
  including a burst round. Every gap stays where it was: (F2) and (F3') remain open. Counting
  excludes two configurations on E_0^6 and reduces two others to explicit Massey products.
• Sources. A registry of every system, method and collection the engine draws on, what it
  takes from each and what it leaves, with unrefereed claims marked as such. No model weights are
  shipped in the package or in the image.
• The paper, rewritten as one text: the entropy law of sound self-improvement, the proposer
  bound, the tower law, construction mode, the Hodge round, hardware and reproduction, and a JAIR
  version (main_jair.tex). Its Lean development has 65 theorems in fifteen files, with Mathlib
  and the standard axioms only.

None of the five benchmark problems is solved. 99 unit tests, C, C++ and Julia checks, and 95 Lean
theorems in all (65 in the paper, 30 in the engine's library), each depending only on the
standard axioms.

v3.0.4: BLLM: Beyond the LLM with Deep Human-Mind-AI

Version 3.0.4 of eBLLM and of Anaxia, the BLLM engine. It mends the layout of the appendices of
the paper. The registry of Appendix D is now a list set in the running columns
(figures/src/make_sources_table.py), so the one-column passage that overprinted the heading of
Appendix E is gone, and so is the page break before it, which had left the tables of Appendices B
and C on pages of their own. The REVTeX version keeps its columns ragged at the foot instead of
stretching the space between paragraphs, and the JAIR version accepts a page of floats from 60
percent full, so that its figures stay with their sections. A pass of the REVTeX version on TeX
Live 2026 takes 4.3 seconds. The version DOI of 3.0.3, 10.5281/zenodo.23467113, is recorded in
CITATION.cff and in the README. The engine, its data and its Lean development are those of 3.0.2.

What 3.0.3 brought:

Version 3.0.3 of eBLLM and of Anaxia, the BLLM engine. The paper compiles about two and a half
times faster: paper/bllm/paper/figures/src/compact_figures.py flattens the PNG figures onto white,
scales them to 1600 pixels across and gives them a 256-colour palette (with pngquant), so that
pdflatex embeds them without re-encoding. A pass of the REVTeX version on TeX Live 2026 takes
4.5 seconds instead of 11, and the figures take 3.6 MB instead of 13 MB. The text, the engine, its
data and its Lean development are those of 3.0.2.

What 3.0.2 brought:

Version 3.0.2 of eBLLM and of Anaxia, the BLLM engine. The paper (paper/bllm, both the REVTeX
and the JAIR version) now compiles on TeX Live 2026: the table of Appendix D no longer uses the
longtable package, whose 2026 version conflicts with the patch of it in revtex4-2 4.2f, and
figures/src/make_sources_table.py writes it as one tabular per row. The abstract is rewritten in
plain words, the keywords are printed on the title page, and one PDF bookmark is fixed. The
compiled paper preprintBLLM/BLLM.pdf is rebuilt on TeX Live 2026. The engine, its data and its
Lean development are those of 3.0.0.

What 3.0.1 recorded:

Version 3.0.1 of eBLLM and of Anaxia, the BLLM engine. It records the version DOI of release
3.0.0, 10.5281/zenodo.23464390, in the paper (paper/bllm, both the REVTeX and the JAIR version,
and preprintBLLM/BLLM.pdf), in CITATION.cff and in the README. The engine, its data and its
Lean development are those of 3.0.0.

What 3.0.0 brought:

Version 3.0.0 of eBLLM and of Anaxia, the BLLM engine, came with the rewritten paper of D. Bhattacharjee
and U. Bhattacharya, BLLM: Beyond the LLM with Deep Human-Mind-AI (paper/bllm).

• Construction mode. The engine writes down a new object together with the argument for what
  it forces and keeps it only after an independent gate. From the rules of Steinberg's problem
  alone it rebuilds the 15-vertex gadget of Cohen-Addad, Hebdige, Kral', Li and Salgado (2016),
  the 42-vertex gadget built from it, and the 166-vertex counterexample. These are rediscoveries
  of a published construction; on Erdos's question for cycles of length 4 to 6 it finds nothing.
• Layer towers. Builders stacked in depth, wired as a ladder or a mesh, with a bench that runs
  them at equal numbers of checks. Six Lean theorems (paper/bllm/lean/BLLM/Tower.lean) bound
  what depth can buy: n verified layers sharing one budget cost at least n log(n/theta), and past a
  finite depth every tower costs more than any fixed amount. The bench (120 runs) finds that depth
  pays once: on Steinberg's second gadget the builder alone never reaches the goal, a second layer
  that first builds an easier gadget and keeps it as a lemma reaches it on 7 of 10 runs, a third
  layer adds nothing (6 of 10), and the mesh shortens the step after the lemma (median 308 checks
  against 2,342). The crossing loop finds no gadget at 13 to 20 times the budget, and nothing is
  found on Erdos's question.
• The Hodge round. Twelve rounds of the network pointed at the Hodge conjecture alone,
  including a burst round. Every gap stays where it was: (F2) and (F3') remain open. Counting
  excludes two configurations on E_0^6 and reduces two others to explicit Massey products.
• Sources. A registry of every system, method and collection the engine draws on, what it
  takes from each and what it leaves, with unrefereed claims marked as such. No model weights are
  shipped in the package or in the image.
• The paper, rewritten as one text: the entropy law of sound self-improvement, the proposer
  bound, the tower law, construction mode, the Hodge round, hardware and reproduction, and a JAIR
  version (main_jair.tex). Its Lean development has 65 theorems in fifteen files, with Mathlib
  and the standard axioms only.

None of the five benchmark problems is solved. 99 unit tests, C, C++ and Julia checks, and 95 Lean
theorems in all (65 in the paper, 30 in the engine's library), each depending only on the
standard axioms.