tracelint reads the agent trace, not the alibi

Field notes

The tool normalizes spans from systems such as Langfuse, Phoenix, LangSmith, OpenAI, and OpenTelemetry before applying deterministic structural checks. Its worked example records an HTTP 500 from get_order, reuses the failed order value in refund_order, and invokes that side-effecting operation twice. The page says findings can be emitted as JSON or SARIF and used to fail CI, while emphasizing that the checks do not call a model or judge the final prose.