Repository navigation

fold_shape_visible_to_no_lens is positional, not spelling-bound: the by-name DFS finds the site erased before any lens runs - #11315

Merged

gunbai-bot[bot] merged 16 commits into

mainfrom

session/deep-newt-301

Sep 15, 2026

Merged

fold_shape_visible_to_no_lens is positional, not spelling-bound: the by-name DFS finds the site erased before any lens runs#11315
gunbai-bot[bot] merged 16 commits into
mainfrom
session/deep-newt-301

Commits on Sep 13, 2026
- Total fold-step lowering: an arrow-lambda step reaches the same seam Loop the fn literal does
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  776206c
- Row receipts: the arrow half closes, the row narrows to by-name, and a second specimen
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  42e5937
- Merge remote-tracking branch 'origin/session/still-bee-353' into session/deep-newt-301
  Brian Searls
  committed
  dc6e7ab
- By-name fold steps: the DFS finds the site erased before any lens runs, and the class is positional, not spelling-bound
  
  Brian Searls
  and
  claude
  committed
  f15871a
- Read the step form at the step ARGUMENT, not across the whole fold-call subtree (review 65699)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a5f5585
- Row: the search grain is this class's worse half, and the first cut added an instance main refused
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6dc1930
- The nested positive control is a plain fn: a newly enrolled ingest-reaching identity is refused at enrolment margin
  
  Brian Searls
  and
  claude
  committed
  03b0a21
- One named-argument decoder, at the layer that owns the production (review 65741)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fbe971b
- Merge remote-tracking branch 'origin/main' into session/deep-newt-301
  Brian Searls
  committed
  fcd4e6d
- Merge remote-tracking branch 'origin/session/still-bee-353' into session/deep-newt-301
  Brian Searls
  committed
  879bcaf
- Controls for the step-slot read in the other direction: a lambda in a non-step argument mints no carrier
  
  Brian Searls
  and
  claude
  committed
  8ca512b
Commits on Sep 14, 2026
- State where the positive evidence executes: claim_batch and no lane, with every refused route named
  
  Brian Searls
  and
  claude
  committed
  975101f
- Declare the drop: the accumulator-copy lens's positive controls execute on no lane
  
  Brian Searls
  and
  claude
  committed
  021ca90
- fold_family_head derives from the step-slot roster instead of restating it
  
  Brian Searls
  and
  claude
  committed
  51907f5
- Merge remote-tracking branch 'origin/main' into session/deep-newt-301
  Brian Searls
  committed
  a447c47
- Merge remote-tracking branch 'origin/main' into session/deep-newt-301
  Brian Searls
  committed
  be53457

Commits

Commits on Sep 13, 2026

Commits on Sep 14, 2026