Support and Supported Platforms

Effective: v1.4 general availability. Last updated: 2026-09-08.

v1.4 supported product

Signed and notarized Aletheia desktop application for Apple silicon and Intel Macs.
Apple silicon: macOS 26 or later. Intel: macOS 15 or later. Use the installer matching your processor, while the operating-system release receives Apple security updates.
Authenticated cloud bridge at aletheia.arbitersec.com.
PE, ELF and Mach-O analysis for x86-64, x86-32, AArch64 and ARM32/Thumb, subject to the documented instruction-lifting and emulation limitations.

Windows and Linux desktop packages, unsigned builds, modified binaries and self-compiled development configurations are not part of the v1.4 GA support commitment. The CLI and MCP server remain available to approved technical users, but installer/update support targets the signed macOS product.

Getting support

Contact [email protected] with the app version, macOS version, processor, operation attempted, error text and relevant run ID. Do not attach customer binaries, credentials or proof bytes unless support provides an approved secure channel.

Production outage and account-access reports receive priority. Invite-only RC support targets one business-day acknowledgement; GA support targets are stated in the applicable customer agreement. Security issues must use [email protected] and the security disclosure process.

Update and compatibility policy

Supported releases are signed with the Apple Developer ID LAURENCE ALEXANDER AVENT (team 78WGR2MUMG) for Arbiter Security and delivered through the official binary-only release channel. A GA release is built once from a frozen tag; RC-to-GA promotion does not rebuild it. Security fixes may require updating to the latest supported version.

Known boundaries

Aletheia reports evidence and confidence, not a guarantee that a binary is safe or vulnerable. Emulator and solver results require concrete replay for proof. Unsupported instructions, operating-system interactions, obfuscation, missing symbols and analysis budgets can make results incomplete. Machine-checkable proof status and explicit incompleteness are part of the product contract.

v1.4.7 desktop workarounds

Use the installer matching your Mac: Apple Silicon on macOS 26 or later, or Intel on macOS 15 or later. The Intel package is validated on native Intel hardware; running it through Rosetta is not supported for this release.

To paste a provider key, right-click the field and choose Paste. Command-V is unavailable in the current native Edit menu. If an isolated analysis worker exits and reopening a session does not finish, quit and reopen Aletheia, then choose the saved analysis under Recent Sessions. This manually restores the encrypted local binary in a new verified worker without replaying uncertain model work.