v0.3.0
Formal Behavioral Contracts for AI Agents
New
- Adaptive Threshold Engine — learns drift thresholds from calibration data
- EventBus — typed, thread-safe pub/sub with violation and recovery events
- MCP Server Monitor — contract enforcement for MCP tool calls
- PydanticAIAdapter + A2A Compliance Bridge
- OTel Exporter — OpenTelemetry-span compatibility
- EU AI Act Report Generator — Article 12/14/15 compliance evidence
- Visual Dashboard — self-contained HTML dashboard
- F2 (p,δ,k)-Satisfaction checker
- F3/F4 OU dynamics + Lyapunov stability verdict
- F5 C1-C5 composition condition checkers
- expr operator — all 14 ContractSpec operators operational
See CHANGELOG for details.