Technique · Finding validation

External contract verification

Checks claims about third-party behaviour (an API can return null, a library throws) against authoritative documentation, and grades how strong that proof is.

Sub-techniques

Documentation lookup V1044.001

Fetch the exact library version's documentation or source.
Proof grading V1044.002

Grade as definitive (spec or exhaustive enum), illustrative (an example) or unresolved.