{
  "kind": "archived source/artifact checks and nominal timing; separate real build reports",
  "checks_passed": 31,
  "checks": [
    "source ZIP CRC",
    "85 source hashes match",
    "actual user loop statements",
    "HAL adds tick to threshold",
    "two toggles make nominal cycle",
    "501 tick threshold not exact501ms",
    "artifact ZIP CRC",
    "Debug elf SHA and disk size",
    "Debug hex SHA and disk size",
    "Debug bin SHA and disk size",
    "Debug map SHA and disk size",
    "Debug actual ARM ELF32 littleendian",
    "Debug exact RAM sections",
    "Debug exact DWARF presence",
    "Debug RAM total includes alignment",
    "Debug BIN image vs ELF disk size",
    "Debug HEX records valid and EOF",
    "Debug actual HEX flash start",
    "Debug HEX payload equals raw BIN",
    "Release elf SHA and disk size",
    "Release hex SHA and disk size",
    "Release bin SHA and disk size",
    "Release map SHA and disk size",
    "Release actual ARM ELF32 littleendian",
    "Release exact RAM sections",
    "Release exact DWARF presence",
    "Release RAM total includes alignment",
    "Release BIN image vs ELF disk size",
    "Release HEX records valid and EOF",
    "Release actual HEX flash start",
    "Release HEX payload equals raw BIN"
  ],
  "timing": {
    "requested_half_period_ms": 500,
    "nominal_full_period_ms": 1000,
    "nominal_frequency_hz": 1.0,
    "HAL_wait_threshold_ticks": 501
  },
  "artifacts": {
    "Debug": {
      "flash_bytes": 8112,
      "ELF_disk_bytes": 850060,
      "RAM_sections": {
        ".data": {
          "address": 536870912,
          "bytes": 12,
          "type": 1
        },
        ".bss": {
          "address": 536870924,
          "bytes": 32,
          "type": 8
        },
        "._user_heap_stack": {
          "address": 536870956,
          "bytes": 1540,
          "type": 8
        }
      },
      "DWARF_debug_info_bytes": 16017,
      "HEX_payload_matches_BIN": true
    },
    "Release": {
      "flash_bytes": 3688,
      "ELF_disk_bytes": 19320,
      "RAM_sections": {
        ".data": {
          "address": 536870912,
          "bytes": 12,
          "type": 1
        },
        ".bss": {
          "address": 536870924,
          "bytes": 32,
          "type": 8
        },
        "._user_heap_stack": {
          "address": 536870956,
          "bytes": 1540,
          "type": 8
        }
      },
      "DWARF_debug_info_bytes": 576,
      "HEX_payload_matches_BIN": true
    }
  },
  "limits": "No programming, target reads, GUI import/build, Option Bytes operation or board timing measurement. ReleaseC-g0 does not guarantee every linked object has no DWARF. HAL wait threshold is not exact physical501ms; tick phase/clock/interrupts affect observation."
}
