{
  "scope": "Offline file/source checks only; separate clean C build reports and unperformed board/GUI tests",
  "checks_passed": 24,
  "checks": [
    "source ZIP CRC",
    "artifact ZIP CRC",
    "source-manifest-v2.json all SHA256",
    "artifact-manifest-v2.json all SHA256",
    "gebrabit_lesson10_equal/gebrabit_lesson10_equal.elf ARM ELF32",
    "gebrabit_lesson10_equal/gebrabit_lesson10_equal.elf concrete RAM sections",
    "gebrabit_lesson10_equal/gebrabit_lesson10_equal.elf Flash vector location",
    "gebrabit_lesson10_nvic/gebrabit_lesson10_nvic.elf ARM ELF32",
    "gebrabit_lesson10_nvic/gebrabit_lesson10_nvic.elf concrete RAM sections",
    "gebrabit_lesson10_nvic/gebrabit_lesson10_nvic.elf Flash vector location",
    "gebrabit_lesson10_equal exact device",
    "gebrabit_lesson10_equal SWD retained",
    "gebrabit_lesson10_equal no CSS experiment",
    "gebrabit_lesson10_equal four priority bits",
    "gebrabit_lesson10_equal saved mask restored",
    "gebrabit_lesson10_equal software NVIC request not physical EXTI",
    "gebrabit_lesson10_equal no HAL_Delay in IRQ definitions",
    "gebrabit_lesson10_nvic exact device",
    "gebrabit_lesson10_nvic SWD retained",
    "gebrabit_lesson10_nvic no CSS experiment",
    "gebrabit_lesson10_nvic four priority bits",
    "gebrabit_lesson10_nvic saved mask restored",
    "gebrabit_lesson10_nvic software NVIC request not physical EXTI",
    "gebrabit_lesson10_nvic no HAL_Delay in IRQ definitions"
  ],
  "ELF_sections": {
    "gebrabit_lesson10_equal/gebrabit_lesson10_equal.elf": {
      ".data": {
        "address": 536870912,
        "bytes": 12
      },
      ".bss": {
        "address": 536870924,
        "bytes": 80
      },
      "._user_heap_stack": {
        "address": 536871004,
        "bytes": 1540
      },
      ".isr_vector": {
        "address": 134217728,
        "bytes": 392
      }
    },
    "gebrabit_lesson10_nvic/gebrabit_lesson10_nvic.elf": {
      ".data": {
        "address": 536870912,
        "bytes": 12
      },
      ".bss": {
        "address": 536870924,
        "bytes": 80
      },
      "._user_heap_stack": {
        "address": 536871004,
        "bytes": 1540
      },
      ".isr_vector": {
        "address": 134217728,
        "bytes": 392
      }
    }
  },
  "runtime_measurement": false
}
