Repository navigation

Roster membership skips declared-order metadata: five childless-Conj #12860 reds, bisected to #12625 - #12909

Merged

gunbai-bot[bot] merged 7 commits into

mainfrom

session/calm-hawk-793-roster2

Oct 1, 2026

Commits on Oct 1, 2026

WIP roster membership skips declared-order metadata
Brian Searls
committed
57a0f71
WIP typed helper
Brian Searls
committed
5009302
tpb_undeclared_t: re-state against #12566's counted UndecidableFormalUnresolved, with its discriminating twin

Brian Searls
and
claude
committed
7c90229
#12860 amendment: six identities leave (roster fix + tpb re-statement); two uncounted main reds join

Brian Searls
and
claude
committed
dfad6a9
Merge remote-tracking branch 'origin/main' into session/calm-hawk-793-roster2
Brian Searls
committed
4b89f0c
Regenerate docs/design-rung-drops.md

Brian Searls
and
claude
committed
a1a3731
infer: call v2.std.node arrow_signature_order_edge directly; delete the infer_arrow_signature_order_edge alias (review 73716)

Brian Searls
and
claude
committed
49582c0