charj

_{^{Pronounced "charge."}}

A macOS command-line interface and background daemon for direct management of hardware battery charging states via System Management Controller (SMC) registers.

Approach

This project prioritizes deterministic memory management, strict privilege separation, and formal verification:

• Architecture: Built on Apple's ServiceManagement framework, utilizing the SMAppService API. It uses a two-part design, consisting of an unprivileged user-space client communicating via XPC with a dedicated daemon bundled within the application, eliminating the need for legacy "orphaned" privileged processes.
• Language: Implemented in Objective-C utilizing Manual Retain Release (MRR) via -fno-objc-arc, ensuring zero overhead from background tracing or Automatic Reference Counting.
• Verification: Core state transitions and logic are formally verified using Lean4.

Legal

Copyright 02026, Wilson Bilkovich.