Trace contracts
Typed TraceContract expectations (Beta) and experimental matchers.
TraceContract (Beta)
Typed trajectory expectations via defineTraceContract /evaluateTraceContract, evaluated over logical TraceFacts.
Experimental Vitest/Jest matchers are shipped: toPassTraceContract and toHaveRequiredTool via agentInspectVitestMatchers / agentInspectJestMatchers.