types/rtti/ts: render trailing omittable positions optional - #1708

Merged

sergey-shandar merged 23 commits into

mainfrom

claude/rtti-option-type-parsing-br4jql

Aug 26, 2026

Commits on Aug 26, 2026

types/rtti: pin that every trailing optional position may be absent
claude
committed
d24983a
types/rtti: file the issue for `parse` omitting `undefined` members
claude
committed
e82031f
types/rtti: assert the expected answer for the trailing-optional rows
claude
committed
29ed885
types/rtti: cover omission before a later optional position
claude
committed
8a4b6c7
types/rtti: run the optional-position cases against the closed form too
claude
committed
424e564
types/rtti/ts: render a tuple's trailing omittable positions optional
claude
committed
148357a
types/rtti: pin the `extra` literal in the optional-position proof
claude
committed
7f7cb65
types/rtti/ts: keep a non-fixed-length tuple schema's element type
claude
committed
303376d
types/rtti/ts: spell the `Ts<>` pins as schema types, not values
claude
committed
a351949
Merge origin/main into claude/rtti-option-type-parsing-br4jql
claude
committed
a6942c1
types/rtti/ts: keep a variadic tuple schema's shape
claude
committed
f8804bc
types/rtti: pin interior-before-required, the rest tuple, and the length composition
claude
committed
b4adaee
types/rtti/ts: keep a schema's own optional tuple member
claude
committed
cd2f99c
types/rtti: run the interior-before-required case through the closed readers
claude
committed
b2f1484
types/rtti/ts: split a union of tuple schemas per member
claude
committed
990912e
Merge remote-tracking branch 'origin/main' into claude/rtti-option-type-parsing-br4jql
claude
committed
12f3df7
Merge branch 'main' into claude/rtti-option-type-parsing-br4jql
sergey-shandar
authored
527a0ba
changelog: cut 1708 to the documented length
claude
committed
b3ff284
Merge remote-tracking branch 'origin/claude/rtti-option-type-parsing-br4jql' into claude/rtti-option-type-parsing-br4jql
claude
committed
7775427
types/rtti: fix the stale proof citation, and note two limits
claude
committed
cb0b1ea
Merge branch 'main' into claude/rtti-option-type-parsing-br4jql
sergey-shandar
authored
81666ff
types/rtti/todo: correct the claim about what `optionalPositions` cannot say
claude
committed
e3dae1e
Merge branch 'main' into claude/rtti-option-type-parsing-br4jql
sergey-shandar
authored
9f6e131

Navigation Menu

Uh oh!

Uh oh!

types/rtti/ts: render trailing omittable positions optional - #1708

types/rtti/ts: render trailing omittable positions optional#1708
sergey-shandar merged 23 commits into
mainfrom
claude/rtti-option-type-parsing-br4jql

Commits on Aug 26, 2026

types/rtti: pin that every trailing optional position may be absent

types/rtti: file the issue for `parse` omitting `undefined` members

types/rtti: assert the expected answer for the trailing-optional rows

types/rtti: cover omission before a later optional position

types/rtti: run the optional-position cases against the closed form too

types/rtti/ts: render a tuple's trailing omittable positions optional

types/rtti: pin the `extra` literal in the optional-position proof

types/rtti/ts: keep a non-fixed-length tuple schema's element type

types/rtti/ts: spell the `Ts<>` pins as schema types, not values

Merge origin/main into claude/rtti-option-type-parsing-br4jql

types/rtti/ts: keep a variadic tuple schema's shape

types/rtti: pin interior-before-required, the rest tuple, and the length composition

types/rtti/ts: keep a schema's own optional tuple member

types/rtti: run the interior-before-required case through the closed readers

types/rtti/ts: split a union of tuple schemas per member

Merge remote-tracking branch 'origin/main' into claude/rtti-option-type-parsing-br4jql

Merge branch 'main' into claude/rtti-option-type-parsing-br4jql

changelog: cut 1708 to the documented length

Merge remote-tracking branch 'origin/claude/rtti-option-type-parsing-br4jql' into claude/rtti-option-type-parsing-br4jql

types/rtti: fix the stale proof citation, and note two limits

Merge branch 'main' into claude/rtti-option-type-parsing-br4jql

types/rtti/todo: correct the claim about what `optionalPositions` cannot say

Merge branch 'main' into claude/rtti-option-type-parsing-br4jql