3.12.14 (main, Aug 25 2026, 14:01:42) [MSC v.1944 64 bit (AMD64)]
{
  "scope": "Predicted ordering only; no target trace or timing measured",
  "default_GROUP4_PRIGROUP3": {
    "logical_low": 2,
    "logical_high": 1,
    "IPR_low_hex": "0x20",
    "IPR_high_hex": "0x10",
    "trace": [
      1,
      2,
      3,
      4
    ],
    "expected_high_saw_low_active": 1
  },
  "comparison_GROUP3_PRIGROUP4": {
    "preempt_low": 1,
    "sub_low": 1,
    "preempt_high": 1,
    "sub_high": 0,
    "IPR_low_hex": "0x30",
    "IPR_high_hex": "0x20",
    "trace": [
      1,
      3,
      4,
      2
    ],
    "expected_high_saw_low_active": 0
  },
  "trace_legend": {
    "1": "low enter",
    "2": "high enter",
    "3": "low resumed / still running",
    "4": "low exit"
  },
  "checks_passed": [
    "CMSIS priority partition arithmetic",
    "different preemption ordering",
    "equal preemption ordering",
    "PRIMASK prior state restoration",
    "actual strong handlers occupy real ELF vector slots"
  ],
  "ELF": {
    "gebrabit_lesson10_equal/gebrabit_lesson10_equal.elf": {
      "scope": "Actual offline ELF metadata inspection, not execution",
      "vector_section_address": 134217728,
      "symbols": {
        "EXTI0_IRQHandler": {
          "address": 134225945,
          "binding": 1
        },
        "Default_Handler": {
          "address": 134226588,
          "binding": 1
        },
        "EXTI1_IRQHandler": {
          "address": 134226077,
          "binding": 1
        }
      },
      "strong_handler_vector_entries_verified": true
    },
    "gebrabit_lesson10_nvic/gebrabit_lesson10_nvic.elf": {
      "scope": "Actual offline ELF metadata inspection, not execution",
      "vector_section_address": 134217728,
      "symbols": {
        "EXTI0_IRQHandler": {
          "address": 134225945,
          "binding": 1
        },
        "Default_Handler": {
          "address": 134226588,
          "binding": 1
        },
        "EXTI1_IRQHandler": {
          "address": 134226077,
          "binding": 1
        }
      },
      "strong_handler_vector_entries_verified": true
    }
  }
}

Real clean builds and packaged sources/ELF/MAP checked; no hardware execution, oscilloscope, terminal or IDE GUI test was performed.
