Repository navigation

Demonstrate Tier-1 tracer lifecycle failures with formal methods - #13139

Draft

cgcote wants to merge 7 commits into

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

Draft

Demonstrate Tier-1 tracer lifecycle failures with formal methods#13139
cgcote wants to merge 7 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
Commits on Oct 31, 2026
- Add Tier-1 formal verification suite
  cgcote
  committed
  dc65bcc
- Add deterministic writer state-machine testing
  cgcote
  committed
  0843620
- Expand Tier-1 state-machine fault exploration
  cgcote
  committed
  49aa8bc
- Add telemetry state machine and JCStress probes
  cgcote
  committed
  c70d6fb
- Expose concurrent pending trace flush race
  cgcote
  committed
  54bea73