Repository navigation

PROBE (do not merge): #13168 overlaid with #13361 for the floor acceptance comparison - #13362

Closed

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

mainfrom

session/tidy-raven-393-kw13361

Closed

PROBE (do not merge): #13168 overlaid with #13361 for the floor acceptance comparison#13362
gunbai-bot[bot] wants to merge 56 commits into
mainfrom
session/tidy-raven-393-kw13361

Commits on Oct 2, 2026
- body_lowering_fold: an if's arms are read at their slots of the if_expr row
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7281901
- if_arm_position: one warm producer for the four claims
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8351814
Commits on Oct 3, 2026
- nested_if_else_eval: the evaluated form of the nested-if else arm
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4a1a9bd
- v2 parse: choice-overlap proof reads k=2 lookahead and proves not-predicate guards
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  020dcee
- choice_plan_test: import LiveTreeDisposition and SubstrateInputsOnly; retire its debt row
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f45e4e5
- v2 parse lookahead: a guard also refuses the other side's covered prefix; no wildcard arms
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7855f23
- dag grammar: guard arg, stmt and the lambda name head with proved-plain not-predicates
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8793156
- dag grammar: a match arm body is one production, the statement sequence
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4ae94b4
- dag grammar: one if, head read once, block form's else optional (operator ruling 2026-10-03, this case only)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1f4fdd9
- dag grammar: statement let only; let x = e in body refuses at the in (LetInExpressionDropped)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  915f2f6
- v2 parse lookahead: a site is read as deep as its own longest proved guard (base 2, cap 3)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0485142
- Merge branch 'session/eager-crab-610' into session/eager-crab-610-p2
  gunbc-ci-auto-heal
  committed
  a014044
- dag grammar: brace literal and parenthesised lambda heads guarded; an empty arm body is its own production
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ad16a52
- Merge remote-tracking branch 'origin/main' into session/eager-crab-610
  gunbc-ci-auto-heal
  committed
  a96d5f5
- Merge branch 'session/eager-crab-610' into session/eager-crab-610-p2
  gunbc-ci-auto-heal
  committed
  ff7f579
- Merge branch 'pr13029' into p2-on-13029
  gunbc-ci-auto-heal
  committed
  84412f3
- body_lowering_fold: the positional if-row reader answers an empty else slot as IfRowNoElse
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  aa79eb1
- Merge remote-tracking branch 'origin/main' into session/eager-crab-610-p2
  gunbc-ci-auto-heal
  committed
  290171e
- Merge remote-tracking branch 'origin/main' into session/eager-crab-610-p2
  gunbc-ci-auto-heal
  committed
  86dbaa1
- route claims: one minimal parse per claim; else-less readers handed the parsed node
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  20ca83a
- let-in sources moved or retired; the lookahead walk honours guards only at a site's own alternatives
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d143032
- Merge remote-tracking branch 'origin/main' into session/eager-crab-610-p2
  gunbc-ci-auto-heal
  committed
  3d3742b
- else_less_if_value_category: smallest sources (floor: four claims 94-101k against 72.3k)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4b9e1cc
- Merge remote-tracking branch 'origin/main' into session/eager-crab-610-p2
  gunbc-ci-auto-heal
  committed
  1f2247d
- lookahead: a deeper read restarts from the overlapping pairs' first tokens
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  825b5a4
- else_less_if_value_category: the guard is parsed as a fn body alone
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ab3742f
- route claims: each file's parses run once in a warm pure producer
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ac75819
- lookahead: a deeper read is restricted at the second token too
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7668231
- Merge origin/main; if_arm_reader_differential reads the else slot through IfRowElse
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b353235
- Merge remote-tracking branch 'origin/main' into session/eager-crab-610-p2
  gunbc-ci-auto-heal
  committed
  bcbadf1
- v2 grammar: a keyword is not a value name; module and data are contextual value names
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  974055f
- Merge origin/main into root E (#13056 and #13133 landed)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3682b17
- dag.dag: drop the duplicated if rows the merge resolution introduced
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c2a85f3
- root E: rename the last let alias binder; the bare NAME= subject uses loop
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  79a4c2d
- root E: the bare NAME= sugar carries no guard; its keyword binder refuses unnamed (measured)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6eb9be6
- Merge remote-tracking branch 'origin/main' into session/tidy-raven-393-kwbinder
  gunbc-ci-auto-heal
  committed
  7cb167c
Commits on Oct 4, 2026
- keyword_value_name_parse: minimal fixtures; split the label control
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5612f09
- keyword_value_name_parse: data-decl fixtures for match positions; split the contextual control
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  49d1886
- keyword_value_name_parse: drop the duplicated node-then-if control; trim two arms
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2c91990
- floor_cost_debt: two over-budget kvn parse controls, by ruling of sharp-raven-357
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  418bd36
- floor_cost_debt: remove the stray closing brace that broke the module's parse
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7f04137
- kvn claims: parse supplied token streams, keep one text-route inhabitance claim
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0b89edf
- floor_cost_debt: drop chunk_22; both kvn claims are under the new-witness budget on supplied streams
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  39524b1
- dag grammar: a punned field pattern named true/false refuses as KeywordAsValueName
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  41d5a63
- Merge origin/main into session/tidy-raven-393-kwbinder
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b72b994
- Merge origin/main into session/tidy-raven-393-kwbinder
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  50b4cd8
- workspace_microvm_access: rename main's new 'let alias' binder to host_alias
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cfd9538
- Merge origin/main into session/tidy-raven-393-kwbinder
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  95e974c
- Merge origin/main into session/tidy-raven-393-kwbinder
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e73af6e
Commits on Oct 5, 2026
- Merge origin/main into session/tidy-raven-393-kwbinder
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cfa31bb
- Carry the content hash of a tier-served value once per run; a fresh context reads it by instance
  
  Brian Searls
  and
  claude
  committed
  49a0644
- Seed growth: enrol the three served-hash items in the cross-claim tier's justification
  
  Brian Searls
  and
  claude
  committed
  1d89f4e
- Merge branch 'pr13361' into session/tidy-raven-393-kw13361
  gunbc-ci-auto-heal
  committed
  8f604b6
- Merge remote-tracking branch 'origin/main' into session/tidy-raven-393-kwbinder
  gunbc-ci-auto-heal
  committed
  22ea598
- Merge branch 'session/tidy-raven-393-kwbinder' into session/tidy-raven-393-kw13361
  gunbc-ci-auto-heal
  committed
  3928038
- probe: trigger CI after ready
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8c8e5fe

Commits

Commits on Oct 2, 2026

Commits on Oct 3, 2026

Commits on Oct 4, 2026

Commits on Oct 5, 2026