[formal-spec] Add OTEL observability formal compatibility test suite (v0.4.0 L1/L2)#41906

pelikhan merged 3 commits into

maingithub/gh-aw:mainfrom

copilot/formal-spec-otel-observabilitygithub/gh-aw:copilot/formal-spec-otel-observabilityCopy head branch name to clipboard