Repository navigation

Add the Metrics API guide - #819

Draft

vorporeal wants to merge 3 commits into

mainfrom

david/metrics-api-docs

Draft

Add the Metrics API guide#819
vorporeal wants to merge 3 commits into
mainfrom
david/metrics-api-docs

Commits on Oct 2, 2026
- Add the Metrics API guide
  
  vorporeal
  and
  warp-agent
  committed
  1dda3db
- Fold in two contract clarifications and a sync caveat
  
  vorporeal
  and
  warp-agent
  committed
  0d9bdb4
- Remove error_category from the run record
  
  vorporeal
  and
  warp-agent
  committed
  7e59ecc