Repository navigation

#12145 follow-up: value-position regression controls, lambda-argument frontier enrolled expected-red, RFM receipts (no compiler change) - #12198

Merged

gunbai-bot[bot] merged 19 commits into

mainfrom

session/silent-dove-314

Sep 24, 2026

Commits on Sep 23, 2026
- XL-2 hotfix: call arguments lower as values, so nested-call and record arguments no longer refuse the whole module
  
  Brian Searls
  and
  claude
  committed
  d61aac1
- XL-2 hotfix: a match scrutinee is read as a value, so a call scrutinee no longer refuses the whole match
  
  Brian Searls
  and
  claude
  committed
  52529ce
- Merge remote-tracking branch 'origin/main' into session/fierce-hawk-274-call-arg-read
  Brian Searls
  committed
  f600d8c
- Merge remote-tracking branch 'origin/main' into session/fierce-hawk-274-call-arg-read
  Brian Searls
  committed
  8c6781b
Commits on Sep 24, 2026
- Merge branch 'session/fierce-hawk-274-call-arg-read' of https://github.com/gunb-ai/gunbc into session/silent-dove-314
  Brian Searls
  committed
  fbea0da
- Fix-forward #12145: operator-operand fallback and function-value arguments read through the value reader
  
  Brian Searls
  and
  claude
  committed
  f813dd9
- Match: the scrutinee's accepted diagnostics are merged into the match outcome, not dropped (review 70746)
  
  Brian Searls
  and
  claude
  committed
  6f6839a
- RFM row: the whole-route diff's driver rows carry no locus (receipt from the #12198 srv1 diff)
  
  Brian Searls
  and
  claude
  committed
  31fc9e7
- value_position_whole_read: shape claims read calls through v2.std.node_query and node_subtree_nodes, no untyped edge field access (entry resolve refused '.target' on T)
  
  Brian Searls
  and
  claude
  committed
  e71710b
- Merge remote-tracking branch 'origin/main' into session/silent-dove-314
  Brian Searls
  committed
  da4f5aa
- Operator-operand local discriminator (call operand under ==, whole); RFM receipts folded into lowering_accessor_collapses_a_sequence_operand as an exposure/coverage gap, not a new regression row (s…
  
  Brian Searls
  and
  claude
  committed
  ee53a8a
- Operator-operand discriminator uses a parenthesised call operand, the shape of the operator_operand_unread files; the bare call lowered before the fallback (srv1: M1/M2 stayed green)
  
  Brian Searls
  and
  claude
  committed
  ef9f12a
- Merge origin/main (#12173 landed) into session/silent-dove-314
  
  Brian Searls
  and
  claude
  committed
  bc28a4b
- Lambda-argument claims assert RESOLVE (parameter in scope) and an undeclared body name refused at its atom; operator-operand fallback and its non-discriminating claims dropped (owned by #12194)
  
  Brian Searls
  and
  claude
  committed
  8fc9f27
- Drop the lambda-argument carry (both resolve claims stay red with it); lambda claims enrolled expected-red as the MQ frontier; shape claims read an ingest without the lambda fixtures; RFM receipt u…
  
  Brian Searls
  and
  claude
  committed
  4ab6497
- Drop the scrutinee diagnostics_merge: no claim distinguishes it from main and no scrutinee shape is known to raise an accepted diagnostic; #12198 is controls + lambda frontier + receipts
  
  Brian Searls
  and
  claude
  committed
  acca7e8
- Claim comment: #12145 exposed truncation, it did not regress (matches the RFM row)
  
  Brian Searls
  and
  claude
  committed
  f66758e
- Claim module comments match the corrected account: #12145 exposed, #12173 repaired, identity counts, holds vs expected-red separated (side-chat verdict)
  
  Brian Searls
  and
  claude
  committed
  12767de
- Claim header: measured vs reasoned red stated separately
  
  Brian Searls
  and
  claude
  committed
  8876086

Navigation Menu

Repository navigation

#12145 follow-up: value-position regression controls, lambda-argument frontier enrolled expected-red, RFM receipts (no compiler change) - #12198

#12145 follow-up: value-position regression controls, lambda-argument frontier enrolled expected-red, RFM receipts (no compiler change)#12198
gunbai-bot[bot] merged 19 commits into
mainfrom
session/silent-dove-314

Commits on Sep 23, 2026

XL-2 hotfix: call arguments lower as values, so nested-call and record arguments no longer refuse the whole module

XL-2 hotfix: a match scrutinee is read as a value, so a call scrutinee no longer refuses the whole match

Merge remote-tracking branch 'origin/main' into session/fierce-hawk-274-call-arg-read

Merge remote-tracking branch 'origin/main' into session/fierce-hawk-274-call-arg-read

Commits on Sep 24, 2026

Merge branch 'session/fierce-hawk-274-call-arg-read' of https://github.com/gunb-ai/gunbc into session/silent-dove-314

Fix-forward #12145: operator-operand fallback and function-value arguments read through the value reader

Match: the scrutinee's accepted diagnostics are merged into the match outcome, not dropped (review 70746)

RFM row: the whole-route diff's driver rows carry no locus (receipt from the #12198 srv1 diff)

value_position_whole_read: shape claims read calls through v2.std.node_query and node_subtree_nodes, no untyped edge field access (entry resolve refused '.target' on T)

Merge remote-tracking branch 'origin/main' into session/silent-dove-314

Operator-operand local discriminator (call operand under ==, whole); RFM receipts folded into lowering_accessor_collapses_a_sequence_operand as an exposure/coverage gap, not a new regression row (s…

Operator-operand discriminator uses a parenthesised call operand, the shape of the operator_operand_unread files; the bare call lowered before the fallback (srv1: M1/M2 stayed green)

Merge origin/main (#12173 landed) into session/silent-dove-314

Lambda-argument claims assert RESOLVE (parameter in scope) and an undeclared body name refused at its atom; operator-operand fallback and its non-discriminating claims dropped (owned by #12194)

Drop the lambda-argument carry (both resolve claims stay red with it); lambda claims enrolled expected-red as the MQ frontier; shape claims read an ingest without the lambda fixtures; RFM receipt u…

Drop the scrutinee diagnostics_merge: no claim distinguishes it from main and no scrutinee shape is known to raise an accepted diagnostic; #12198 is controls + lambda frontier + receipts

Claim comment: #12145 exposed truncation, it did not regress (matches the RFM row)

Claim module comments match the corrected account: #12145 exposed, #12173 repaired, identity counts, holds vs expected-red separated (side-chat verdict)

Claim header: measured vs reasoned red stated separately