Repository navigation

Mechanical: TargetModel carries ProducedDeclSupport, unwired everywhere - #8155

Merged

briansrls merged 4 commits into

mainfrom

session/wise-swift-269-targetmodel-field

Aug 12, 2026

Merged

Mechanical: TargetModel carries ProducedDeclSupport, unwired everywhere#8155
briansrls merged 4 commits into
mainfrom
session/wise-swift-269-targetmodel-field

Commits on Aug 11, 2026
- Mechanical: TargetModel carries ProducedDeclSupport, unwired everywhere
  
  Brian Searls
  and
  claude
  committed
  b8324cd
- Remove stray field inserted into the TargetModel type body
  
  Brian Searls
  and
  claude
  committed
  7028dd1
Commits on Aug 12, 2026
- Preserve produced_decl_support through target reconstruction
  
  Brian Searls
  and
  claude
  committed
  a575b0f
- Revert dag bodied-fn sites to Unwired: a spec is not a target
  
  Brian Searls
  and
  claude
  committed
  72675ce