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