Repository navigation

v2 infer: a key carrying two different facts refuses; equal facts merge - #12582

Merged

gunbai-bot[bot] merged 86 commits into

mainfrom

session/eager-newt-412

Sep 30, 2026

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
- 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
- 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
- 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 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 #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 remote-tracking branch 'origin/session/vivid-ant-536' into neat-ibex-696/symbol-arm
  gunbc-ci-auto-heal
  committed
  d9fd2c9
- Merge remote-tracking branch 'origin/main' into neat-ibex-696/symbol-arm
  gunbc-ci-auto-heal
  committed
  b986425
- 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 #12549 b9864258ae96
  gunbc-ci-auto-heal
  committed
  b4ccd30
Commits on Sep 30, 2026
- Merge remote-tracking branch 'origin/main' into neat-ibex-696/symbol-arm
  gunbc-ci-auto-heal
  committed
  a0a65fd
- Merge main into session/eager-newt-412 (#12420 landed as a squash; the caret RFM row and body_let_annotation keep #12549's superseding versions, byte-identical to its head)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  18ffbda
- merge #12549 a0a65fd57a5a
  gunbc-ci-auto-heal
  committed
  ceed9f6
- fkc: controls for the key's structural identity: one minted node reached twice is one subject (admitted); two different nodes sharing a minted id are two keys, not a conflict
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b27a773
- Merge main into session/eager-newt-412: #12549's literal-payload step threads main's resolved (as on the #12628 integration)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e056dde
- Merge remote-tracking branch 'origin/main' into neat-ibex-696/symbol-arm
  gunbc-ci-auto-heal
  committed
  24a6aaa
- 04_infer: bind the literal payload family once in the gather
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6e9850b
- merge #12549 6e9850bfbbec (its payload-family binding wins in its own code)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6ff1aae
- Restore #12582's key-conflict refusal in 04_infer (the previous merge commit took #12549's whole file)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  36b8c89
- Merge main into session/eager-newt-412 (#12714 landed: import list keeps #12549's symbol_type_node and main's construct_tag_marker)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7746b2d
- Merge remote-tracking branch 'origin/main' into neat-ibex-696/symbol-arm
  gunbc-ci-auto-heal
  committed
  2272172
- merge #12549 22721720aee0 (its import order)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2642525
- Merge remote-tracking branch 'origin/main' into session/eager-newt-412
  gunbc-ci-auto-heal
  committed
  0522284

Commits

Commits on Sep 27, 2026

Commits on Sep 28, 2026

Commits on Sep 29, 2026

Commits on Sep 30, 2026