6131
91%

Ran 17 Aug 2026 06:35AM UTC

Jobs 1

Files 439

Run time 1min

Badge

Embed ▾

Committed 17 Aug 2026 06:31AM UTC coverage: 90.802% (+0.09%) from 90.715%

Build # 6131

Build Type

push

github

Committed by

bobzhang

Commit Message

address Codex review of the rebalance fix

- `makei(1025).concat(makei(1024))` builds the 33-child node but does *not*
  misread: that node holds a partial leaf, so it keeps its sizes array and
  indexing goes through the search path rather than the masking one. Only a
  33-wide node that is *also* radix wraps child 32 back to 0, and that needs
  all 65 leaves full - i.e. a push-built left operand whose tail is a full
  chunk (1024 + 32 = 1056).

  Sweeping left lengths 1024..1200 x right {1024, 1056} x {makei, push-built}:
  126 results are structurally malformed, 2 actually misread. The black-box
  regression is now the push-built one, which does fail without the fix; the
  bulk-built matrix is kept and labelled as the wider guard it is, with the
  structural check living in the whitebox test. #4086 has been corrected the
  same way.

- `rebalance`'s doc comment still said it produces two nodes; it can now
  produce three (the 65-wide maximum is `ceil(65 / 32)`).

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

Coverage Stats

16082 of 17711 relevant lines covered (90.8%)

327371.8 hits per line

Coverage Regressions

Lines	Coverage	∆	File
4	92.56	6.02%	immut/vector/tree.mbt
2	94.61	-0.04%	immut/vector/vector.mbt

Jobs

ID	Job ID	Ran	Files	Coverage
1	6131.1	17 Aug 2026 06:35AM UTC	440	90.82	GitHub Action Run

moonbitlang / core / 6131
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 6131

moonbitlang / core / 6131 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 6131

moonbitlang / core / 6131
91%

README BADGES
x