{
  "title": "Req/Ack Handshake Protocol Verification",
  "origin_url": "https://en.wikipedia.org/wiki/Property_Specification_Language",
  "license_guess": null,
  "code_sha256": "0d598d01a651ec99412c015b6c4b077d79607932236dfb26ccded9a00a420543",
  "added_at": "2026-02-22T12:00:00Z"
}