Repository navigation

B was the first symptom, not the mechanism: the 'static obligation is transitive, measured - #9084

Merged

briansrls merged 7 commits into

mainfrom

session/witty-badger-734-static-bound

Aug 24, 2026

Merged

B was the first symptom, not the mechanism: the 'static obligation is transitive, measured#9084
briansrls merged 7 commits into
mainfrom
session/witty-badger-734-static-bound

Commits on Aug 24, 2026
- WIP measure: derive + 'static from callable-value-wrap captures, not the return connective
  Brian Searls
  committed
  62daf24
- Filter the bound's capture set twice, and stop claiming the return arm is capture-derived
  
  Brian Searls
  and
  claude
  committed
  dd30d46
- The FunctionValueBinding filter erased the repair; subtract shadows instead of selecting kinds
  
  Brian Searls
  and
  claude
  committed
  5f5657e
- Revert the local repair: the measurement it produced is the deliverable, the code is not
  
  Brian Searls
  and
  claude
  committed
  ac35731
- Merge main
  Brian Searls
  committed
  b355154
- B was the first symptom, not the mechanism: supersede it with the measured, transitive form
  
  Brian Searls
  and
  claude
  committed
  5b60340
- D's lane is #9060 PR B, not #8952 -- same name collision, opposite sides of resolution
  
  Brian Searls
  and
  claude
  committed
  a9be5f6