Repository navigation

Give the Rust lambda route a parameter type it already knew - #9182

Closed

briansrls wants to merge 8 commits into

mainfrom

session/deep-ant-102-transcribed-benchmark

Closed

Give the Rust lambda route a parameter type it already knew#9182
briansrls wants to merge 8 commits into
mainfrom
session/deep-ant-102-transcribed-benchmark

Commits on Aug 25, 2026
- Stop transcribing a benchmark into a .dag authority, and declare the string renderer a bounded adapter with a terminus
  
  Brian Searls
  and
  claude
  committed
  24be7f5
- Give the Rust lambda route a parameter type it already knew
  
  Brian Searls
  and
  claude
  committed
  734aa40
- Regenerate the stage0 mirror so the lambda change is no longer inert
  
  Brian Searls
  and
  claude
  committed
  4fd38a5
- Name the two unavailable-lambda-param policies instead of passing a Bool
  
  Brian Searls
  and
  claude
  committed
  01086fa
Commits on Aug 26, 2026
- Merge main into the lambda-param route branch
  Brian Searls
  committed
  b099261
- Regenerate the seven drifted stage0 mirror files so the .dag authority and its realization agree again
  
  Brian Searls
  and
  claude
  committed
  dc4e4b7
- Map binds the element of its carrier, and the ? carrier was omitted from that rule
  
  Brian Searls
  and
  claude
  committed
  57994a5
Commits on Aug 28, 2026
- Merge main into session/deep-ant-102-transcribed-benchmark
  
  Brian Searls
  and
  claude
  committed
  91ecabc