v2: one roster of kernel value types; a declared Bool is judged (dag_binding_type_bool deleted) - #12785

Merged

gunbai-bot[bot] merged 67 commits into

mainfrom

session/smart-newt-725-kernel-roster

Oct 1, 2026

Commits on Sep 27, 2026

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
pick_ingested: the arrow extractor returns the arrow Node (my retype over-reached)

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

Brian Searls
and
claude
committed
84d4768

Commits on Sep 28, 2026

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 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
WIP: v2 floor gap: declared return types are never checked (PositionDeclaredR
Brian Searls
committed
3653f3a
Delete the zz_probe_dr exploratory probe file

briansrls
and
claude
committed
5366696

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
Merge main into #12566
Brian Searls
committed
778a6f0
Declared-return witness: import declared_signature / list-introduction from their post-split homes

Brian Searls
and
claude
committed
958200b
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
Declared return: one inhabitance relation replaces #12379's inline check

Brian Searls
and
claude
committed
40efcd5
function_type_evidence_carries_its_body: cite the surviving return check

Brian Searls
and
claude
committed
dacbf5c
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
Plan: construct tag as a declaration reference (qualified construction/patterns), reader census

gunbc-ci-auto-heal
and
claude
committed
031639a
Plan: fold in review conditions and landing order; file the live construct-tag misread row (confirmed by execution)

gunbc-ci-auto-heal
and
claude
committed
254cf93
Construct tag as a declaration reference: qualified construction, patterns and nullary values lower through one route

gunbc-ci-auto-heal
and
claude
committed
8cb3894

Commits on Sep 30, 2026

Keep the unmarked Conj arrow-body admission unchanged; construct marker is the only new case

gunbc-ci-auto-heal
and
claude
committed
bc43a41
Merge remote-tracking branch 'origin/session/bold-gull-638' into session/smart-newt-725
gunbc-ci-auto-heal
committed
8eae258
Merge remote-tracking branch 'origin/session/lively-eagle-657-cut' into session/smart-newt-725
gunbc-ci-auto-heal
committed
98d4918
WIP: record construct field inhabitance (pre-#12629 base)

gunbc-ci-auto-heal
and
claude
committed
04c44c0
Merge remote-tracking branch 'origin/session/wise-bat-862-resolved-decls' into session/smart-newt-725
gunbc-ci-auto-heal
committed
fadccfc
WIP: record construct field inhabitance on #12629 base; witness, row, enrolment

gunbc-ci-auto-heal
and
claude
committed
6e5acff
Declared-return witness hands infer a ResolvedTree (fixture wrapper)

gunbc-ci-auto-heal
and
claude
committed
a7e3da2
Declared-return witness: wrap the remaining infer call

gunbc-ci-auto-heal
and
claude
committed
787de75
Merge remote-tracking branch 'origin/main' into session/smart-newt-725
gunbc-ci-auto-heal
committed
f46e701
Merge remote-tracking branch 'origin/main' into session/lively-eagle-657-cut
gunbc-ci-auto-heal
committed
0eb3633
Merge remote-tracking branch 'origin/main' into session/bold-gull-638
gunbc-ci-auto-heal
committed
9dbc537
Merge main; migrate vf_wildcard_pattern_keeps_its_field (added by #12650) to the reference tag

gunbc-ci-auto-heal
and
claude
committed
d50f298
Declared-return witness hands infer a ResolvedTree through the fixture wrapper

gunbc-ci-auto-heal
and
claude
committed
76bc35d
Merge remote-tracking branch 'origin/session/lively-eagle-657-cut' into session/smart-newt-725
gunbc-ci-auto-heal
committed
b589094
Merge commit '76bc35d694e439a4806917f4bc4d8e46bf313509' into session/smart-newt-725
gunbc-ci-auto-heal
committed
edc2853
Record-field witness: one infer per claim, decided controls over the declaration's member

gunbc-ci-auto-heal
and
claude
committed
aa629b0
Record-field row and witness note: the Bool gap is a binding/denotation symbol fork, not a missing spelling

gunbc-ci-auto-heal
and
claude
committed
ee4ff8a
WIP: kernel value-type roster; Bool fork cut; witnesses

gunbc-ci-auto-heal
and
claude
committed
481d6d5
Kernel value-type roster: one row per kernel type missing a v2 value-type node; record-field row restated

gunbc-ci-auto-heal
and
claude
committed
7032aa6
Kernel roster: Symbol and Char rows name the declaration they converge on; the fork is held by a claim

gunbc-ci-auto-heal
and
claude
committed
48da0ef
Kernel roster fork control also holds that Symbol and Char are outside std.types kernel_type_set

gunbc-ci-auto-heal
and
claude
committed
2160fd4
Merge remote-tracking branch 'origin/main' into session/smart-newt-725
gunbc-ci-auto-heal
committed
09b5bf8
Merge branch 'session/smart-newt-725' into session/smart-newt-725-kernel-roster
gunbc-ci-auto-heal
committed
a0ec30e
Kernel roster witness: the pinned formal claim infers the calling member only

gunbc-ci-auto-heal
and
claude
committed
91b819a
Merge remote-tracking branch 'origin/main' into session/smart-newt-725
gunbc-ci-auto-heal
committed
8d02ac1
Merge branch 'session/smart-newt-725' into session/smart-newt-725-kernel-roster
gunbc-ci-auto-heal
committed
157e1f5
Kernel roster: body_cast_node_test's Bool type atom (new on main with #12407) uses bool_node's identity

gunbc-ci-auto-heal
and
claude
committed
8054a23
infer: call v2.std.node match_arm_pattern_edge directly instead of through a forwarding second name (review 73309)

gunbc-ci-auto-heal
and
claude
committed
ccc2e07
node: the pattern-edge note cites the infer function that reads it

gunbc-ci-auto-heal
and
claude
committed
be9f54d
Merge branch 'session/smart-newt-725' into session/smart-newt-725-kernel-roster
gunbc-ci-auto-heal
committed
1e93fdc
infer: the match-arm pattern note sits above infer_gather_fold_step, not inside it (DESIGN 4c)

gunbc-ci-auto-heal
and
claude
committed
6a45530
Merge branch 'session/smart-newt-725' into session/smart-newt-725-kernel-roster
gunbc-ci-auto-heal
committed
2332039
Kernel roster witness walks every roster row, so a non-atom row reds the claim instead of dropping out (review 73338)

gunbc-ci-auto-heal
and
claude
committed
28f682c
Merge remote-tracking branch 'origin/main' into session/smart-newt-725
gunbc-ci-auto-heal
committed
4d649ff
Merge branch 'session/smart-newt-725' into session/smart-newt-725-kernel-roster
gunbc-ci-auto-heal
committed
793e17f
Merge remote-tracking branch 'origin/main' into session/smart-newt-725-kernel-roster
gunbc-ci-auto-heal
committed
ac6830c
Producer share: keep main's new rows beside the roster witness's four (merge repair)

gunbc-ci-auto-heal
and
claude
committed
b556cbc
Merge remote-tracking branch 'origin/main' into session/smart-newt-725-kernel-roster
gunbc-ci-auto-heal
committed
1188713
Merge remote-tracking branch 'origin/main' into session/smart-newt-725-kernel-roster
gunbc-ci-auto-heal
committed
472b20b
Merge remote-tracking branch 'origin/main' into session/smart-newt-725-kernel-roster
gunbc-ci-auto-heal
committed
afb25dc

Commits on Oct 1, 2026

Merge remote-tracking branch 'origin/main' into session/smart-newt-725-kernel-roster
gunbc-ci-auto-heal
committed
5a586c8