{
  "version": "1.0.0",
  "scope": "Four original synthetic cases, nine declared handoff calls, three declared budget prompts; no new execution",
  "source_archive": {
    "path": "public/downloads/microcontrollers/stm32-timer-interrupt.zip",
    "sha256": "a421eaac44ed16fc66858a90b8efeb103207a26a1ba23f6d95dfa450dde63213",
    "members": [
      {
        "member": "stm32_interrupt/stm32_interrupt.ino",
        "bytes": 1963,
        "sha256": "7b9aa00e5f4b9dcbd67fbd980fa64a4f926ea356157363d958c2186c0509a18f"
      },
      {
        "member": "stm32_interrupt/tick_handoff.h",
        "bytes": 629,
        "sha256": "ce0efbccabd47ded3c553a7b48abedc06fd0bef441c214815f4daadbd8284511"
      },
      {
        "member": "test_handoff.cpp",
        "bytes": 912,
        "sha256": "f0eb07724b1f2685cd32208802fc584d16886b88ed1f78cced42cdb4bef606ef"
      },
      {
        "member": "analyze_interrupt.py",
        "bytes": 3056,
        "sha256": "56f9ff7168a43ef2f49eb3d1893fe9d50bd117bb04b23ae7318f754dc215d439"
      },
      {
        "member": "synthetic-answers.json",
        "bytes": 2121,
        "sha256": "09933a886ca9e707585d078c60e2825e3eac4b2f51b63db6fc19bd036b22e1bc"
      },
      {
        "member": "synthetic/normal.csv",
        "bytes": 85,
        "sha256": "cd8147cf09d326451f1194a7122fed1bb728a13195514feebba2639753bbe767"
      },
      {
        "member": "synthetic/missed.csv",
        "bytes": 86,
        "sha256": "a714ca5c1cca756e8b72d3e1a5ed59811846331373bcc7fc50abe959a5e850c8"
      },
      {
        "member": "synthetic/wrap.csv",
        "bytes": 94,
        "sha256": "b839aa2f30e9aec82feee86662735616d7e554336f8586dfa0390d3cda2a933a"
      },
      {
        "member": "synthetic/dropped.csv",
        "bytes": 70,
        "sha256": "2e89fa30a65d0010620b28b96bb016e01b83b8d3a9a429b1fc3e05046285e64a"
      }
    ]
  },
  "files": [
    {
      "path": "answers.md",
      "bytes": 7260,
      "sha256": "16c0e18726380b8f8559e91e02979ea876d31fdc36e2606b8b02461470504158"
    },
    {
      "path": "handoff-answers.csv",
      "bytes": 365,
      "sha256": "c19a005f29ae085b85db57e961dd5d9299b59cf5f3be2c49a40256f9f365775f"
    },
    {
      "path": "handoff-worksheet.csv",
      "bytes": 275,
      "sha256": "dbfe81f6882ae4041391a76128b1124f375f0ce0d5157cf1946bc7722d88b26c"
    },
    {
      "path": "pair-answers.csv",
      "bytes": 290,
      "sha256": "316b4c7679c8055aa019ec8b8a6c8f1f649f63bf7f82d2181e63baec325ae893"
    },
    {
      "path": "pair-worksheet.csv",
      "bytes": 279,
      "sha256": "60dd304470bdb9cd99067b1550e2bf4397c98d166665ace3586a65df8658a232"
    },
    {
      "path": "README.md",
      "bytes": 2849,
      "sha256": "4a7daa41b43189a95533194dda44dc5cd19f9c189465d41f4e3003ff65902f72"
    },
    {
      "path": "report-template.md",
      "bytes": 1529,
      "sha256": "20c08b7963f85b2ed1c2778bfd03a26d47fcf5624f71074b7da6ad695c59b619"
    },
    {
      "path": "source-records.json",
      "bytes": 4637,
      "sha256": "a494794bbf6072c7841e8dbecb851d44099ae175c4295ea9903fdc47465c6735"
    },
    {
      "path": "worksheet.csv",
      "bytes": 1986,
      "sha256": "ce559b15317e5f2193dd4e0fab2fb769538864dfa8cbb6d0983ab2d0a2fe2ff4"
    }
  ]
}