Repository navigation

DO NOT MERGE: #12640 old-vs-new infer gather differential - #12648

Closed

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

mainfrom

dnm/neat-eagle-675-differential

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
- DO NOT MERGE: split differential for the 7 specimens on #12640 stacked on #12582 (b52ccb8), with key-conflict classification
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4ebc026
- DO NOT MERGE: old side is #12582's list gather (b45c8bdb6) so the differential isolates the threaded gather
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f915ae2
- 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/neat-eagle-675' into dnm/neat-eagle-675-differential
  gunbc-ci-auto-heal
  committed
  e301e6b
- 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 remote-tracking branch 'origin/session/neat-eagle-675' into dnm/neat-eagle-675-differential
  gunbc-ci-auto-heal
  committed
  abb2f6d
- 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
- Merge remote-tracking branch 'origin/session/neat-eagle-675' into dnm/neat-eagle-675-differential
  gunbc-ci-auto-heal
  committed
  30fa588
- DO NOT MERGE: round 3 -- pin what differs in the diagnostics chain for 046/051/070
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7248ba1
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
- Merge remote-tracking branch 'origin/session/neat-eagle-675' into dnm/neat-eagle-675-differential
  gunbc-ci-auto-heal
  committed
  3dff767
- DO NOT MERGE: full 98-specimen differential (verdict, diagnostics, per-node facts, root) on #12640 with the kind-decided product row
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9fbc8a6
- DO NOT MERGE: refusals agree on equal chains, or on the same key-conflict fatal (reason, key, locus)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6d7d577
- DO NOT MERGE: split the 11 differing specimens by verdict/diagnostics/facts/root/key-conflict/accepted
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  36f6da3
- v2 infer gather: the carrier comment states the refusing insert, not first-entry-wins (review 72985)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2d75f48
- Merge remote-tracking branch 'origin/session/neat-eagle-675' into dnm/neat-eagle-675-differential
  gunbc-ci-auto-heal
  committed
  2a3f56a
- DO NOT MERGE: is the old side's fatal also infer_facts_key_conflict, for the 11
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b8d7518

Commits

Commits on Sep 27, 2026

Commits on Sep 28, 2026

Commits on Sep 29, 2026

Commits on Sep 30, 2026