Repository navigation

Demonstrate four tracer lifecycle failures with formal models - #13139

Draft

cgcote wants to merge 2 commits into

codex/add-long-running-trace-formal-model

Draft

Demonstrate four tracer lifecycle failures with formal models#13139
cgcote wants to merge 2 commits into
masterfrom
codex/add-long-running-trace-formal-model

Commits on Oct 30, 2026
- Demonstrate long-running trace ownership loss
  cgcote
  committed
  2df0fa3
- Demonstrate additional tracer lifecycle failures
  cgcote
  committed
  f0c6323