testing

• 2026-04 formal verification with agents

  property-based testing and specification generation.

• 2026-04 specs as shared reality

  agents do not share understanding. they share binding artifacts, versions, and tests.