Repository navigation

Native parse of the workload closure: the dag grammar gains the leading-pipe coproduct and the positional variant payload - #11998

Closed

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

mainfrom

session/gentle-tern-521

Commits on Sep 21, 2026
- wip: leading-pipe coproduct and positional variant payload grammar rows
  gunbc-ci-auto-heal
  committed
  81dd67a
- Witness the leading-pipe coproduct and positional payload rows on the prepared-grammar parse
  gunbc-ci-auto-heal
  committed
  318a377
- Leading separator lowers away in sugar; positional binders refuse; one frontier for unlowered variant fields
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cb1fe17
- Positional refusal fires only on a payload that names something; A(_) loses nothing and lowers
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  dbaf88c
- Consume body_lower_is_identity_projection_edge instead of re-declaring it; witness cites the lead production by its real name (review 69768)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f49dd9e
- Witness specimens carry only their subject: elimination controls drop the type decl, the construction specimen (an ordinary call) is removed, the positional control is pipe-free
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0b6e27d
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbai-bot[bot]
  authored
  03f449a
Commits on Sep 22, 2026
- Declare and defer the binder loss (ruling after review 69815): positional refusal removed, braced-green witness deleted, the drop row names the silent shadowing case
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1ff83c3
- Merge CI auto-heal regen; the projection is re-derived from the amended drop row
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c5aecdc

Navigation Menu

Repository navigation

Native parse of the workload closure: the dag grammar gains the leading-pipe coproduct and the positional variant payload - #11998

Native parse of the workload closure: the dag grammar gains the leading-pipe coproduct and the positional variant payload#11998
gunbai-bot[bot] wants to merge 9 commits into
mainfrom
session/gentle-tern-521

Commits on Sep 21, 2026

wip: leading-pipe coproduct and positional variant payload grammar rows

Witness the leading-pipe coproduct and positional payload rows on the prepared-grammar parse

Leading separator lowers away in sugar; positional binders refuse; one frontier for unlowered variant fields

Positional refusal fires only on a payload that names something; A(_) loses nothing and lowers

Consume body_lower_is_identity_projection_edge instead of re-declaring it; witness cites the lead production by its real name (review 69768)

Witness specimens carry only their subject: elimination controls drop the type decl, the construction specimen (an ordinary call) is removed, the positional control is pipe-free

chore: regenerate drifted generated artifacts (ci auto-heal)

Commits on Sep 22, 2026

Declare and defer the binder loss (ruling after review 69815): positional refusal removed, braced-green witness deleted, the drop row names the silent shadowing case

Merge CI auto-heal regen; the projection is re-derived from the amended drop row