Repository navigation

XL-2: read the param/field/generic/let/function-value/service binder roles through body lowering's readers; QualifiedFieldTypeVisibility delivered - #12598

Merged

gunbai-bot[bot] merged 12 commits into

mainfrom

session/keen-fox-715

Sep 30, 2026

Commits on Sep 29, 2026

occurrence_role: read the param, field, generic, let, function-value and service io/operation binders through body lowering's own readers

gunbc-ci-auto-heal
and
claude
committed
5e10766
occurrence_role: hoist row notes to item grain; scratch probe for qualified field type attribution

gunbc-ci-auto-heal
and
claude
committed
d9e6ded
probe: two-module route; clean control restated for read parameter binders

gunbc-ci-auto-heal
and
claude
committed
a22b391
declaring_identity_spelling: restate the qualified field-type row as a conserved control (it reaches the census on main)

gunbc-ci-auto-heal
and
claude
committed
40ed584
XL-2 carrier: QualifiedFieldTypeVisibility DELIVERED, tracked by the restated reach claim; partition re-derived to 12/7

gunbc-ci-auto-heal
and
claude
committed
ec595eb
remove the scratch qualified-field-type attribution probe

gunbc-ci-auto-heal
and
claude
committed
e77d033
Merge origin/main into session/keen-fox-715; re-derive the XL-2 partition to 16 delivered / 7 outstanding

gunbc-ci-auto-heal
and
claude
committed
3c10eb9
occurrence_role: a parameter list with an unreadable binder refuses whole (review 5355095582)

gunbc-ci-auto-heal
and
claude
committed
bbedb53
Merge remote-tracking branch 'origin/main' into session/keen-fox-715
gunbc-ci-auto-heal
committed
33885c4
occurrence_role test: type the planted-binder rewrite; branch on the call, not on the tree

gunbc-ci-auto-heal
and
claude
committed
d8f22be
occurrence_role test: plant the bare dag_token_ident identity (a comma atom still reads as a branded binder)

gunbc-ci-auto-heal
and
claude
committed
8d8582c
occurrence_role test: compute the mixed param-list walks once (warm-enrolled nullary values), not per claim

gunbc-ci-auto-heal
and
claude
committed
0c80650

Navigation Menu

Repository navigation

XL-2: read the param/field/generic/let/function-value/service binder roles through body lowering's readers; QualifiedFieldTypeVisibility delivered - #12598

XL-2: read the param/field/generic/let/function-value/service binder roles through body lowering's readers; QualifiedFieldTypeVisibility delivered#12598
gunbai-bot[bot] merged 12 commits into
mainfrom
session/keen-fox-715

Commits on Sep 29, 2026

occurrence_role: read the param, field, generic, let, function-value and service io/operation binders through body lowering's own readers

occurrence_role: hoist row notes to item grain; scratch probe for qualified field type attribution

probe: two-module route; clean control restated for read parameter binders

declaring_identity_spelling: restate the qualified field-type row as a conserved control (it reaches the census on main)

XL-2 carrier: QualifiedFieldTypeVisibility DELIVERED, tracked by the restated reach claim; partition re-derived to 12/7

remove the scratch qualified-field-type attribution probe

Merge origin/main into session/keen-fox-715; re-derive the XL-2 partition to 16 delivered / 7 outstanding

occurrence_role: a parameter list with an unreadable binder refuses whole (review 5355095582)

Merge remote-tracking branch 'origin/main' into session/keen-fox-715

occurrence_role test: type the planted-binder rewrite; branch on the call, not on the tree

occurrence_role test: plant the bare dag_token_ident identity (a comma atom still reads as a branded binder)

occurrence_role test: compute the mixed param-list walks once (warm-enrolled nullary values), not per claim