load_device_pack
Register a validated STM32 device pack to extend deterministic solver coverage for a new family, including DMA routing, NVIC vectors, clock PLL profiles, and timer buses. Use JSON path or inline pack.
Instructions
Register a verified device-fact pack (Pillar F) so the deterministic solvers cover a new STM32 family: its DMA request routing, irregular NVIC vectors, clock PLL profile, and timer bus/width. Facts are DATA, never guessed -- STM32F4/L4 ship built-in; add a family by supplying a validated pack (schema 'stm32-device-pack/v1') via path= (a JSON file) or inline pack=. Call with no arguments to report current coverage. Honest by design: a malformed pack is rejected with the list of problems and never half-loaded; shadowing a built-in family needs allow_override=true.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| pack | No | Inline device-pack object (takes precedence over path). | |
| path | No | Path to a device-pack JSON file to load and register. | |
| session | No | Optional debug-session name. Omit for the default target. | |
| allow_override | No | Permit shadowing a built-in family pack (default false). |