types/rtti/todo: closed containers by default, then `option` as omission - #1725

Merged

sergey-shandar merged 46 commits into

mainfrom

claude/rtti-proposal-qqkct0

Aug 27, 2026

Commits on Aug 26, 2026

rtti/todo: propose closed containers by default, then `option` as omission
claude
committed
d09c143
rtti/todo: make `option` a unit value rather than a member wrapper
claude
committed
4374009
Merge branch 'main' into claude/rtti-proposal-qqkct0
sergey-shandar
authored
9d64157
rtti/todo: pin the exact tuple rendering the two stages produce
claude
committed
6838c47
Merge remote-tracking branch 'origin/claude/rtti-proposal-qqkct0' into claude/rtti-proposal-qqkct0
claude
committed
e95bb15
rtti/todo: correct the absence rule's normalization claims
claude
committed
d1d2eb1
rtti/todo: specify what the absent-bit strip does with a referenced rest
claude
committed
d21e9a0
rtti/todo: add the JSON Schema renderer to both stages' migration
claude
committed
14d8680
rtti/todo: require an index-preserving rebuild for absent tuple positions
claude
committed
dccf4ec
rtti/todo: render the open tuple tail, and migrate the option call sites
claude
committed
92cd88f
rtti/todo: state the option migration's narrowing, fix counts, cite siblings
claude
committed
27c7721
rtti/todo: state why the entry node keeps its absent bit
claude
committed
199ba34
rtti/todo: slice before mapping, and require option handlers in both readers
claude
committed
0344f05
rtti/todo: define the type-level absence marker and the referenced-position case
claude
committed
5dbf3a0
rtti/todo: decide absence in the container loop, keep the marker internal
claude
committed
edbc777
Merge branch 'main' into claude/rtti-proposal-qqkct0
sergey-shandar
authored
ed6ae62
rtti/todo: recurse through unions, read _TsRaw, audit direct undefined members
claude
committed
ffba4d8
rtti/todo: 10 files in 9 modules, not 10 modules
claude
committed
a6bae58
rtti/todo: say which vocabulary a Phantom annotation is written in
claude
committed
3ca16c1
rtti/todo: resolve rests instead of masking, print via the absent bit
claude
committed
9d6bd00
Merge branch 'main' into claude/rtti-proposal-qqkct0
sergey-shandar
authored
de3e505
rtti/todo: except the empty-rest trim, and stop saying mask in the tasks
claude
committed
6634f94
rtti/todo: give the data reader an absence path, lower the marker per position
claude
committed
412ba48
rtti/todo: drive the rebuild by own indices, not by slice and map
claude
committed
dc61132
rtti/todo: convert the option tag, or the whole data side is dead code
claude
committed
446383b
Merge branch 'main' into claude/rtti-proposal-qqkct0
sergey-shandar
authored
d4f29a4
rtti/todo: state the rebuild's bound, and migrate the docs too
claude
committed
cd2d46e
rtti/todo: complete the doc migration, restate edag's README, delete the sibling
claude
committed
eb4660d
rtti/todo: migrate the surviving sibling and the Phantom contract
claude
committed
457a15e
rtti/todo: reject an incompatible inherited member, migrate two more todos
claude
committed
5fe91f4
rtti/todo: three precision corrections from review
claude
committed
cb0c184
rtti/todo: give open a const signature, document the fifth unit bit
claude
committed
54ee573

Commits on Aug 27, 2026