Goal
Bring the older isolated driver-host, HAL, and PnP native integration harnesses under an explicit SEH admission model. Issue #11 proves the hosted executive driver-domain path; these standalone harnesses still contain direct PE DriverEntry, dispatch, ISR/DPC, and callback invocations and must not be treated as covered by that proof.
Acceptance
Depends on #11 for the executive-host reference implementation.
Goal
Bring the older isolated driver-host, HAL, and PnP native integration harnesses under an explicit SEH admission model. Issue #11 proves the hosted executive driver-domain path; these standalone harnesses still contain direct PE DriverEntry, dispatch, ISR/DPC, and callback invocations and must not be treated as covered by that proof.
Acceptance
Depends on #11 for the executive-host reference implementation.