Skip to content

Omachord 0.5.0

Latest
Latest

Choose a tag to compare

View all tags
@anothaDev anothaDev released this 26 Sep 17:43
v0.5.0
9163b25
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Omachord 0.5.0 adds capability-gated, target-bound brightness recovery and improves runner concurrency, cancellation, and error reporting.

Compatibility

  • Supported release runtime: Omarchy 4.0.2, Hyprland 0.56.2, and Quickshell 0.3.1.
  • Brightness activation records use schema version 3. Finish restoring active routines before downgrading; older runners reject these records.
  • Panel and condition-service commands that execute routine work have a ten-minute total deadline, including bulk configuration apply and Disconnect. Direct CLI invocations have no QML watchdog; individual action limits still apply.

Changes

  • Brightness requirements are checked before any routine action runs. Reads, writes, and restoration stay bound to the display selected at activation; unavailable or uncertain displays retain recovery state.
  • Condition-driven brightness starts use capped retry backoff and expose recovery choices.
  • Long routine actions release the shared configuration lock. Bulk changes end routines after refusal checks, and report completed deactivations if a later operation fails.
  • Connect/Disconnect preserve the original bindings.lua bytes and bound integration backups.
  • Action supervision isolates inherited descriptors, distinguishes timeouts from other failures, validates timeout settings, and bounds QML runner requests. Hook suppression requires live process identity context; it is not an authorization boundary.

The Lean model proves scoped policy properties, not the entire Bash/QML application or physical hardware behavior. Full changes and recovery boundaries are in CHANGELOG.md, SECURITY.md, and the proof documentation.

Validation

Lean 4.34.0 checked all 68 theorems; generated cases passed JavaScript conformance. The complete suite passed from both the clean checkout and committed Git archive, with strace fault injection enabled. Portable CI and CodeQL passed. The actual Omarchy 4.0.2 CLI/QML runtime was tested in temporary isolated userspace with Hyprland 0.56.2 and Quickshell 0.3.1; live service, bar, panel, and theme crossfade checks passed in a separate nested compositor. See PR #8 for the validation boundaries and release controls.

Assets 2
Loading