UTC-013_HAL_Event_Adapter_Translation_Local_Interface
=====================================================

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

Execution
---------

.. list-table::
   :header-rows: 1
   :widths: 30 70

   * - 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
------------

.. list-table::
   :header-rows: 1

   * - Element Type
     - Referenced Elements
   * - SW Units
     -
       * :doc:`hal_event_adapter </generated/detailed_design/units/hal-event-adapter-9629a78b-294f-4629-b709-fc03c058c26d>`
   * - SW State Machines
     -
       * hal_event_adapter_activity
   * - Evidence
     - n/a