v4.2.5

What's Changed

Features

• validate: add cross-spec interface contract and wiring checks (#726)

  • cross-spec-4: detect return_contract mismatches between dependent specs along dependency edges
  • cross-spec-5: verify downstream specs have execution paths referencing upstream actors
  • wiring-1: enforce wiring_verification groups have smoke test refs, test_spec_refs, and stub/dead-code audit references
  • cross-file-9: validate subtask requirement_refs resolve to known requirement/criterion IDs
  • Strengthened generation prompt for wiring verification with call-site verification and structural requirements

• generate: improve external API and error path coverage in specs (#727)

  • Added "External API Surface" as 5th assessment dimension, flagging PRDs that reference external APIs without documenting failure modes
  • Added error response verification section to test spec generation, requiring tests to assert caller-observable responses
  • Strengthened return_contract guidance to explicitly require contracts on error paths
  • Added external API response variance to defensive design edge cases
  • Added validation warning for error-path criteria with null return_contract

Full Changelog: v4.2.4...v4.2.5