Release portable deterministic core 1.1.0: frozen formats, offline recovery and regression checks
ecad52f verified | # 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. | |