File size: 2,037 Bytes
ecad52f | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 | # 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.
```bash
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.
|