6460
91%

Ran 01 Sep 2026 01:48AM UTC

Jobs 1

Files 453

Run time 1min

Badge

Embed ▾

Committed 01 Sep 2026 01:45AM UTC coverage: 90.912%. Remained the same

Build # 6460

Build Type

push

github

Committed by

web-flow

Commit Message

docs(builtin): correct 18 inaccurate doc comments (#4172)

* docs(builtin): correct 18 inaccurate doc comments

Documentation only - no code, signature, or .mbti interface changes.
Every changed line is a /// doc line.

Verified on the full change set: moon check --deny-warn --target all
clean on all four backends, moon test 7548 passed / 0 failed, moon info
produced no .mbti diff.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_014z81qJ5vdYoxZ48JTKCdAy

* docs: address Codex review — correct uint64 extract bit-length hint

The `unsafe_extract_uint_{le,be}` helpers only cover [9..32] bits: they
compute `bytes_needed = (len + 7) / 8` and match on 2, 3, 4, aborting
otherwise. Lengths 1-8 yield 1 byte and abort (1 bit goes through
`unsafe_extract_bit`, 2-8 bits through `unsafe_extract_byte`), so the
"< 33" phrasing in the `unsafe_extract_uint64_{le,be}` invariants was
wrong. Say [9..32] instead, matching the notation used elsewhere in the
file.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_014z81qJ5vdYoxZ48JTKCdAy

---------

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

Coverage Stats

16865 of 18551 relevant lines covered (90.91%)

283200.46 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	6460.1	01 Sep 2026 01:48AM UTC	454	90.93	GitHub Action Run

moonbitlang / core / 6460
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 6460

moonbitlang / core / 6460 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 6460

moonbitlang / core / 6460
91%

README BADGES
x