Repository navigation

v2 infer gather: thread one facts Map through fold_node; delete the entries scan and concat - #12640

Closed

gunbai-bot[bot] wants to merge 83 commits into

mainfrom

session/neat-eagle-675

Commits on Sep 27, 2026

MQ-1 PR-2 WIP: caret symbol lowers to a symbol literal
gunbc-ci-auto-heal
committed
55cc265
MQ-1 PR-2: RFMs, conservation control, symbol-literal frontier control
gunbc-ci-auto-heal
committed
f2ad6a8
symbol literal payload read without a nested Edge pattern (emitted Rust holds the label in an Rc)
gunbc-ci-auto-heal
committed
a926369
caret lowering claims: list_snoc_item from v2.std.algebra; declare the generic-ident-class flip
gunbc-ci-auto-heal
committed
0f8ca29
parse probe: caret-site claims read one warm-shared parse (caret_tree_atom_identities) instead of re-parsing each
gunbc-ci-auto-heal
committed
2db345f
caret lowering witness: plain recursion instead of fn-lambda call arguments (the witness is about carets, not the lambda frontier)
gunbc-ci-auto-heal
committed
3237099
caret lowering witness: build lists with list literals/concat (seed types a bare Cons as FreeMonoid)
gunbc-ci-auto-heal
committed
debbced

Commits on Sep 28, 2026

Merge origin/main into session/vivid-ant-536
gunbc-ci-auto-heal
committed
032ac22
v2 resolve: a module's own `type Int` / `type Bool` shadows the kernel spelling instead of being captured

gunbc-ci-auto-heal
and
claude
committed
4aef862
v2 resolve: an imported user Int refuses instead of binding the kernel Int

gunbc-ci-auto-heal
and
claude
committed
62b0b0b
v2 resolve: an ambiguous kernel spelling refuses unless every candidate is a kernel declaration

gunbc-ci-auto-heal
and
claude
committed
fa8c596
Merge remote-tracking branch 'origin/session/vivid-ant-536' into neat-ibex-696/symbol-arm
gunbc-ci-auto-heal
committed
404f259
wip: infer symbol-literal arm (DagCanonicalSymbolLiteral typed as v2.std.node Symbol)

gunbc-ci-auto-heal
and
claude
committed
b4d46ee
test.claim.parse_test_fn_decl_return_clause: lowering carries the authored return-type spelling

gunbc-ci-auto-heal
and
claude
committed
32194a7
Merge branch 'session/neat-ibex-696' into neat-ibex-696/symbol-arm
gunbc-ci-auto-heal
committed
5eae95f
dag_canonical_literal_from_node: match the symbol-literal optional once

gunbc-ci-auto-heal
and
claude
committed
9dab283
Dissolve dag_node_is_symbol_literal_atom: callers match dag_symbol_literal_name_optional directly (review 72280 on #12549)
gunbc-ci-auto-heal
committed
3fb5d6a
Merge remote-tracking branch 'origin/session/vivid-ant-536' into neat-ibex-696/symbol-arm
gunbc-ci-auto-heal
committed
9a5666a
identity_captured_navigation: read a caret literal's name from the lexeme-stamped terminal; delete the span/source-text route and its prose note row (review 72294 on #12549)

gunbc-ci-auto-heal
and
claude
committed
91409e2
Merge remote-tracking branch 'origin/session/vivid-ant-536' into neat-ibex-696/symbol-arm
gunbc-ci-auto-heal
committed
5dd210a
Delete the octet-to-scalar index and its lens-slice claims with the lens span route: nothing else consumed them

gunbc-ci-auto-heal
and
claude
committed
ebbdff8
Merge remote-tracking branch 'origin/session/vivid-ant-536' into neat-ibex-696/symbol-arm
gunbc-ci-auto-heal
committed
ccf61dd
caret_symbol_has_no_lowered_form: the receipt states the literal's type as this PR derives it

gunbc-ci-auto-heal
and
claude
committed
db6b83b
v2 infer: the facts map is a Node-keyed Map built once, not a list scanned per lookup

Brian Searls
and
claude
committed
a4ab128
Merge remote-tracking branch 'origin/main' into session/vivid-ant-536
gunbc-ci-auto-heal
committed
9a8b370
v2 resolve: the single-tree namespace binds the module's own declarations; ownership reads declared_in

gunbc-ci-auto-heal
and
claude
committed
b55b8a7
Merge branch 'session/neat-ibex-696' into neat-ibex-696/symbol-arm
gunbc-ci-auto-heal
committed
ba77453
v2 resolve: select a grafted module body by the graft's mark, never by walking names

gunbc-ci-auto-heal
and
claude
committed
e519bda
Merge branch 'session/neat-ibex-696' into neat-ibex-696/symbol-arm
gunbc-ci-auto-heal
committed
6384e52
v2 resolve: move build_program_namespace's rationale above the declaration

gunbc-ci-auto-heal
and
claude
committed
658ca0f
Merge branch 'session/neat-ibex-696' into neat-ibex-696/symbol-arm
gunbc-ci-auto-heal
committed
2c78a91
Merge branch 'pr12549' into session/eager-newt-412
gunbc-ci-auto-heal
committed
0f2cc9d
v2 infer: a key carrying two different facts refuses (infer_facts_key_conflict), equal facts merge

gunbc-ci-auto-heal
and
claude
committed
b59537a

Commits on Sep 29, 2026

authored-occurrence census: the fact-subject key's uniqueness premise, measured over real closures

gunbc-ci-auto-heal
and
claude
committed
cab2674
census: annotation adjacency; hoist matches out of argument position

gunbc-ci-auto-heal
and
claude
committed
7dfd5b0
fkc: Rejected carries NonEmptyDiagnostics; record infer_parameter_scope_search as a second scope authority

gunbc-ci-auto-heal
and
claude
committed
41c8480
Revert "census: annotation adjacency; hoist matches out of argument position"
gunbc-ci-auto-heal
committed
7c443f2
Revert "authored-occurrence census: the fact-subject key's uniqueness premise, measured over real closures"
gunbc-ci-auto-heal
committed
f8a96ac
Merge #12557 (node-keyed facts map); the conflict refusal moves into its keyed enter, so admission is one map lookup per entry, not a scan

gunbc-ci-auto-heal
and
claude
committed
f1b9ee0
Merge main into session/eager-newt-412: keep the renamed caret_symbol_value_lowering share row, add main's authored_marker_spelling row

gunbc-ci-auto-heal
and
claude
committed
68ef51a
Merge origin/main (incl. #12433) into session/vivid-ant-536
gunbc-ci-auto-heal
committed
7ea9f2e
Merge remote-tracking branch 'origin/main' into neat-ibex-696/symbol-arm
gunbc-ci-auto-heal
committed
87a29e4
Merge branch 'pr12549b' into session/eager-newt-412
gunbc-ci-auto-heal
committed
1a0f163
RFM reference_conservation_population_omits_class_stamped_terminals: the caret WHY is past tense and names its helper as deleted (review 72492)
gunbc-ci-auto-heal
committed
849da15
v2 infer: a literal payload's facts derive for its own family

gunbc-ci-auto-heal
and
claude
committed
92389ff
Merge branch 'pr12549c' into session/eager-newt-412
gunbc-ci-auto-heal
committed
58d33f7
body_let_annotation: share the payload verdicts, not the inferred trees

gunbc-ci-auto-heal
and
claude
committed
8831f13
Merge branch 'pr12549d' into session/eager-newt-412
gunbc-ci-auto-heal
committed
c01d18a
Merge main (with #12557 landed): keep the conflict-refusing inferred_facts_map_enter over the landed first-wins insert

gunbc-ci-auto-heal
and
claude
committed
cfa8e3a
Merge origin/main into session/vivid-ant-536 (resolve: kernel-type reading + symbol literal; let-annotation (5c)/(5d); producer share)
gunbc-ci-auto-heal
committed
4475ef4
Merge remote-tracking branch 'origin/main' into neat-ibex-696/symbol-arm
gunbc-ci-auto-heal
committed
6d53179
Merge branch 'pr12549e' into session/eager-newt-412
gunbc-ci-auto-heal
committed
b8298b6
04_infer: the payload comment cites infer_literal_edge_payload, not the deleted predicate

gunbc-ci-auto-heal
and
claude
committed
fed694a
v2 infer gather: thread one facts Map through fold_node; delete the entries scan and concat

gunbc-ci-auto-heal
and
claude
committed
021bb61
Merge remote-tracking branch 'origin/main' into session/neat-eagle-675
gunbc-ci-auto-heal
committed
6c3ce07
Merge remote-tracking branch 'origin/main' into session/vivid-ant-536
gunbc-ci-auto-heal
committed
f8213c2
Merge origin/main; bla_symbol_literal_as_int returns Outcome<ResolvedTree> (the #12432 assemble type)
gunbc-ci-auto-heal
committed
78bf5d2
v2 infer: read threaded facts through infer_known_facts, typed at InferredFacts

gunbc-ci-auto-heal
and
claude
committed
6470325
v2 infer: enroll the gather cost claim (deep product spine through the threaded map)

gunbc-ci-auto-heal
and
claude
committed
837415c
v2 infer: the gather spine claim fits the new-witness budget (depth 8); cost evidence is the floor's reading at depth

gunbc-ci-auto-heal
and
claude
committed
827a741
Merge remote-tracking branch 'origin/main' into session/neat-eagle-675
gunbc-ci-auto-heal
committed
991ca94
Merge origin/main into session/vivid-ant-536 (reference_conservation: keep the caret control and main's named-label conserved control)
gunbc-ci-auto-heal
committed
81c1522
Merge remote-tracking branch 'origin/session/vivid-ant-536' into neat-ibex-696/symbol-arm
gunbc-ci-auto-heal
committed
da03799
Merge main into session/eager-newt-412: keep #12549's caret-payload section ahead of #12382's renamed named-argument header

gunbc-ci-auto-heal
and
claude
committed
973c840
Merge branch 'pr12549f' into session/eager-newt-412
gunbc-ci-auto-heal
committed
c1e31b4
roster_gate imports Finding (bare channel is off in a file that declares imports)
gunbc-ci-auto-heal
committed
2eb1dd1
Merge remote-tracking branch 'origin/session/vivid-ant-536' into neat-ibex-696/symbol-arm
gunbc-ci-auto-heal
committed
d0f8556
Merge branch 'pr12549g' into session/eager-newt-412
gunbc-ci-auto-heal
committed
b45c8bd
Stack on #12582: the threaded gather enters facts through the refusing insert; literal payloads by family

gunbc-ci-auto-heal
and
claude
committed
b52ccb8
Merge origin/main; carry #12615's let-in caret position into caret_symbol_value_lowering (the refusal suite stays deleted)
gunbc-ci-auto-heal
committed
6348125
Merge main into session/eager-newt-412: keep #12420's retirement of caret_symbol_value_refusal (carried via #12549), add main's bcn_let_in_value_cast_verdict share row

gunbc-ci-auto-heal
and
claude
committed
92602d5
Merge remote-tracking branch 'origin/session/eager-newt-412' into session/neat-eagle-675
gunbc-ci-auto-heal
committed
365d998
Merge branch 'int-12420c' into session/eager-newt-412
gunbc-ci-auto-heal
committed
ab0ccff
Merge remote-tracking branch 'origin/session/vivid-ant-536' into neat-ibex-696/symbol-arm
gunbc-ci-auto-heal
committed
368b18c
Merge remote-tracking branch 'origin/session/eager-newt-412' into session/neat-eagle-675
gunbc-ci-auto-heal
committed
b687b66
merge #12549 368b18c7ef47
gunbc-ci-auto-heal
committed
796477d
Merge origin/main (keep #12607's return row and #12617's handoff receipt; caret cause row stays retired; let-in comment matches the lowering)
gunbc-ci-auto-heal
committed
37ad055
Merge #12420 37ad055e3494 into session/eager-newt-412: keep #12420's dated HANDED receipt and #12549's LOWERED rung row (derived as v2.std.node Symbol)

gunbc-ci-auto-heal
and
claude
committed
c81bbc9
Merge remote-tracking branch 'origin/main' into session/eager-newt-412
gunbc-ci-auto-heal
committed
7a64c8f
Merge remote-tracking branch 'origin/session/eager-newt-412' into session/neat-eagle-675
gunbc-ci-auto-heal
committed
3f43e6b

Commits on Sep 30, 2026

v2 infer gather: the product row is decided by the node's kind, not by a run-wide lookup

gunbc-ci-auto-heal
and
claude
committed
3cd4135
v2 infer gather: the carrier comment states the refusing insert, not first-entry-wins (review 72985)

gunbc-ci-auto-heal
and
claude
committed
2d75f48
WIP: v2 infer gather: thread one Map through fold_node (carrier Map -> Map);
gunbc-ci-auto-heal
committed
ca5c4d8