specifications

• 2026-04 formal verification with agents

  property-based testing and specification generation.