# Vulkan
## Identification
The build string identifies Android 12-era software; API level 31 is Android 12. [[Qualcomm Snapdragon 730|SM7150]] is the Qualcomm platform used by the Pixel 4a family. A/B updates maintain two bootable slot sets so an update can be installed to the inactive slot and rolled back if boot fails. `modem_a` identifies a slot-specific modem partition. [[SELinux on Android|SELinux]] enforces mandatory access control; [[Vulkan|Vulkan]] is the graphics API selected by the hardware UI renderer.
## Notebook evidence
- [[Scanned_20260730-1719#PDF page 36 — Android 12 build, partitions, runtime, SoC, Vulkan, A/B updates, and SELinux|PDF page 36: Android 12 build, partitions, runtime, SoC, Vulkan, A/B updates, and SELinux]] — This is a device-fingerprint and resilience page. The author is reading build properties and mount data to understand what can be updated, rolled back, accelerated, or isolated on the phone.
## Relationships and overlays
The source places this note in a shared evidence cluster with [[Qualcomm Snapdragon 730|Qualcomm Snapdragon 730]] · [[SELinux on Android|SELinux on Android]].
Within the larger collection, this evidence extends [[Vendor-Agnostic Recovery|vendor-agnostic recovery]] and [[Continuity Architecture|continuity architecture]] by showing how software, hardware, identity, and pre-OS control depend on recoverable interfaces.
## Evidentiary status and open leads
Capture complete `getprop`, slot state, verified-boot state, bootloader lock, security-patch level, and hash of the firmware image.
## Source
- [[Scanned_20260730-1719|Scanned_20260730-1719]]