1
87%
main: 87%

Ran 24 Jun 2026 01:12PM UTC

Files 38

Run time 3s

Badge

Embed ▾

Committed 24 Jun 2026 01:05PM UTC coverage: 84.618% (+0.02%) from 84.596%

Job # 28100634581.1

Build Type

push

github

Committed by

web-flow

Commit Message

Encode the block-only-children invariant in _Node's type (#342)

Make _Node generic in its wrapped type and pin children to
list[_Node[Block]], so the invariant that only a root node wraps a Page
while every child wraps a Block is expressed once. Building child
obj_refs is now a list[Block] with no element-type laundering, and the
now-dead isinstance guard in _build_obj_ref is removed. Covariance
requires a read-only wrapped field, hence frozen=True.

Closes #339.

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

Coverage Stats

6420 of 7587 relevant lines covered (84.62%)

0.85 hits per line

ultimate-notion / ultimate-notion / 28100634581 / 1
87%
main: 87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-windows-latest-3.10 - 28100634581.1

ultimate-notion / ultimate-notion / 28100634581 / 1 87% main: 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-windows-latest-3.10 - 28100634581.1

ultimate-notion / ultimate-notion / 28100634581 / 1
87%
main: 87%

README BADGES
x