Bodulski HAL: portable execution archive 1.1.0
Author: Damir Balenović (mirdax25-ux). License: Apache-2.0.
This archive contains Matrix Core 3.6.0-OMEGA and the supplied-evidence verifier 2.1.2. Both use Python's standard library. No Hugging Face account, inference endpoint, model weights, Docker, pip installation or network is needed to run the Python examples. An installed Python runtime is required.
python -B verify_release.py
python -B -m unittest discover -s tests -q
python -B offline_cli.py matrix examples/matrix.txt --at "2026-11-03T12:00:00Z"
python -B offline_cli.py verify-matrix examples/matrix-result.json
python -B offline_cli.py claims examples/supported.json
Open offline.html directly for the single-file Matrix browser tool. It has no
external assets or network requests. The full evidence verifier is available
through offline_cli.py claims; it evaluates supplied structured evidence,
not current external reality. Its CLI returns 0 for APPROVE, 3 for BLOCK or
ESCALATE, and 2 for file/JSON input errors. Matrix returns 0 for successful
checksum/verification and 2 for rejected input.
Use - instead of a file name to read UTF-8 standard input. For durable Windows
archives, use the CLI's file inputs and avoid shell-dependent text encodings.
examples/matrix-result.json is synthetic public data, suitable for replay.
Do not put personal evidence or secrets in this public archive.
See MATRIX_FORMAT.md for exact bytes and frozen Unicode rules,
JSON_CONTRACT.md for the verifier interface, MAINTENANCE.md for backup,
restoration and migration procedures, and CHANGELOG.md for compatibility notes.
RELEASE_MANIFEST.json lists SHA-256/SHA-512 digests of the source contents.
Digests establish byte consistency, not authorship or real-world truth.
The year-2126 and leap-year fixtures test date arithmetic; they are not a century-long uptime or security test. Preserve this archive and its trusted digests in independent storage and periodically restore it on a clean machine.