JACKAL Omarchy Edition 2.6.0
JACKAL Omarchy Edition 2.6.0
This release adds a requirements-complete SPARK assurance-policy component,
exhaustive conformance to the shipped JavaScript model, deterministic release
reproduction, and public pinned assurance automation. The mathematical JACKAL
runtime remains a separate, pinned dependency with its own release epoch and
assurance model.
Highlights
- Professional graphite, steel, white, and crimson evidence surface.
- Stable, pixel-aligned scrolling plane without green status semantics or
animated interference behind text. - Fresh function probes separated from installed capability and runtime
integrity. - Bundled portable operator CLI; no fixed username, checkout, or runtime epoch.
- Optional transparent MCP ledger with concurrent-write protection, bounded
retention, outward decimal rendering, and retained formal receipts. - Verification router that keeps operator expectations structurally separate
from the artifact under review. - Assurance-aware graph and linked-workspace previews whose pixels are
explicitly non-evidentiary. - Component-scoped SPARK Platinum proof for the pure finite assurance-policy
kernel, with fail-closed rejection of unproved or justified checks. - Exhaustive SPARK-to-JavaScript policy vectors and explicit bridge residuals.
- Bidirectional machine-readable requirements and traceability enforcement.
- Byte-identical clean-checkout release reproduction after removing volatile
POSIX PAX metadata. - Pinned GitHub assurance automation and standards-facing proof documentation.
- Proof-tool installations isolated from the repository checkout in hosted CI.
- Fail-closed doctor behavior when any canonical function probe is undeclared.
Compatibility
- Omarchy Quattro shell plugin interface.
- Plugin ID:
khephri.jackal. - JACKAL runtime: discovered dynamically through the installed Codex plugin and
runtime locator. - Python 3.10 or newer.
Verification boundary
The release proves the requirements allocated to Jackal_Assurance_Policy and
tests presentation, parsing, routing, refusal behavior, operator diagnostics,
ledger transparency, concurrency, outward rendering, repository policy,
release reproduction, and live Omarchy validation on the development host. The
complete mixed-language plugin is not claimed as Platinum. These checks do not
establish universal correctness, security certification, mathematical
soundness of every JACKAL lane, flight qualification, or organizational
endorsement.
Install
omarchy plugin add https://github.com/AnubisQuantumCipher/jackal-omarchy.git --enableReview the source and exact release commit before installation. Omarchy plugins
run unsandboxed as the current user.
Remove
omarchy plugin remove khephri.jackalRemoval does not delete JACKAL runtimes, operator expectations, ledger rows, or
retained receipts.