ultimate-notion / ultimate-notion / 28100634581

87%

push

github

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>

7 of 7 new or added lines in 1 file covered. (100.0%)

6628 of 7587 relevant lines covered (87.36%)

6.09 hits per line