UTC-013_HAL_Event_Adapter_Translation_Local_Interface

Validate HAL adapter translation of platform signals into internal event payloads with deterministic mapping.

Execution

Field	Value
Status	pass
Last Run At	2026-02-28T19:05:00Z
Last Runner	Dummy_Unit_Run
Result Summary	pass

Preconditions

Adapter is initialized with mocked GPIO UART and timer interrupt sources and a local event sink.

Procedure

1. Inject each supported platform signal. 2) Run dispatch cycle. 3) Capture mapped internal event ID and payload fields. 4) Inject unsupported signal and observe rejection handling.

Expected Result

All supported signals map to expected internal events and unsupported signals are rejected without corrupting adapter context.

Traceability

Element Type	Referenced Elements
SW Units	hal_event_adapter
SW State Machines	hal_event_adapter_activity
Evidence	n/a