{
  "title": "Stack with Verification",
  "origin_url": "https://www.cs.cmu.edu/~wing/publications/Shaw-Wulf76.pdf",
  "license_guess": null,
  "code_sha256": "3e0e6cce87c9f0fb73b61a96ea6d5498ddde601b8a4eca1e24056574e65e4d9a",
  "added_at": "2026-02-07T18:30:00Z"
}