v2: coercion admits refinement-to-declared-carrier casts as Widened - #12407

Merged

gunbai-bot[bot] merged 34 commits into

mainfrom

session/wise-bat-862

Sep 30, 2026

Commits on Sep 27, 2026

v2: coercion admits a refinement-to-declared-carrier cast as Widened

Brian Searls
and
claude
committed
aca776f
Merge origin/main
Brian Searls
committed
946ee79
infer: RefinementDeclaration drops unconsumed path; where_clause named as a declared frontier (review 71764)

Brian Searls
and
claude
committed
415fdb7
body_cast_node: 15b/15c supply values at coercion's interface; drop the over-budget assembly rows

Brian Searls
and
claude
committed
59e14d6
Merge remote-tracking branch 'origin/main' into session/wise-bat-862
Brian Searls
committed
21b8895
v2 resolve: ResolvedTree carries the SymbolIndex resolution consulted; cut every consumer root-first

Brian Searls
and
claude
committed
03342a3
Merge origin/main; migrate the remaining resolved-tree helpers (typecheck clean)

Brian Searls
and
claude
committed
179c7f1
infer: refinement_declaration reads resolve's SymbolIndex (gunbc#12432); spine walk deleted (neat-boar-16 ruling)

Brian Searls
and
claude
committed
5fa0197
pick_ingested: the arrow extractor returns the arrow Node (my retype over-reached)

Brian Searls
and
claude
committed
95856ef
infer: drop the unused tree parameter from infer_bind_annotation_check (review 71857)

Brian Searls
and
claude
committed
1c0fe0d
Merge origin/main; retype main's new resolved-tree helpers (declared_parameter_order, reference_closure)

Brian Searls
and
claude
committed
84d4768
Merge the carrier branch (#12432) into #12407

Brian Searls
and
claude
committed
3c32c9a
infer: thread symbol_index through the gather step call the carrier merge brought in

Brian Searls
and
claude
committed
f88aa3a
infer: drop the unused tree parameter from infer_transform_cast_optional (review 71891)

Brian Searls
and
claude
committed
86ac631

Commits on Sep 28, 2026

infer: thread ResolvedTree whole as 'resolved'; parameter scope search frozen as a declared frontier (neat-boar-16 ruling)

Brian Searls
and
claude
committed
6d32120
Merge origin/main into the carrier (kinds stays a separate once-prepared input); retype main's new resolved-tree test sites

Brian Searls
and
claude
committed
c12bf6d
Merge the carrier branch (#12432): kinds stays a separate input beside resolved

Brian Searls
and
claude
committed
5a81c79
Merge origin/main (#12379 landed)
Brian Searls
committed
341a092
Merge origin/main (#12379 landed); #12379's new hand-built infer inputs use the named no-declarations constructor

Brian Searls
and
claude
committed
0fb011f
Merge the carrier branch (main with #12379): arrow elimination keeps its structure; resolved threaded through it; tree-less operand type mirrors #12379's literal arm

Brian Searls
and
claude
committed
90b0cf2

Commits on Sep 29, 2026

Merge origin/main (declared_signature moved to v2.std.arrow_signature); typecheck clean over 116 files

Brian Searls
and
claude
committed
23697f7
Merge origin/main (#12440 landed)
Brian Searls
committed
66c401b
Merge origin/main (5 commits); one_member_cost_probe keeps main's wanted symbol and reads .root

Brian Searls
and
claude
committed
ec7c3de
Merge origin/main
Brian Searls
committed
cd88b7d
plain_type_decl_lowering (new from main): its assembly helpers carry ResolvedTree and walk .root

Brian Searls
and
claude
committed
2b8dc42
Merge origin/main
Brian Searls
committed
3f95faa
Merge origin/main; body_let_annotation (#12540's new rows) carries ResolvedTree

Brian Searls
and
claude
committed
c90dae3
v2: lower the where-refined head as a type so resolve binds it; ResolvedTree.resolved_declarations (neat-boar-16 ruling)

Brian Searls
and
claude
committed
029efaf
Merge origin/main (#12432 landed as a squash)

Brian Searls
and
claude
committed
9d653a0
Merge #12629 (resolved declarations); refinement_declaration reads resolved_declarations; Pos2 widens one step on the production route

Brian Searls
and
claude
committed
3c18481
resolve: ResolvedTree comment states symbol_index's consumers once (no later stage reads it; #12407 reads resolved_declarations) (review 72652)

Brian Searls
and
claude
committed
f293dcb
Merge #12629 (comment fix)
Brian Searls
committed
89074cb
body_cast_node: the Pos2 one-step row reads the resolved carrier only; infer's admission is row 15's subject (over the new-witness budget)

Brian Searls
and
claude
committed
2e0c19e

Commits on Sep 30, 2026

Merge origin/main (#12629 landed as a squash)

Brian Searls
and
claude
committed
9ce7fd5