Release portable deterministic core 1.1.0: frozen formats, offline recovery and regression checks
ecad52f verified | license: apache-2.0 | |
| language: [en, hr] | |
| tags: [deterministic-ai, hal, system-architecture, agentic, mcp, reproducibility, offline] | |
| # Deterministic Engine | |
| ## Executive Summary | |
| Portable deterministic execution for structured evidence and text integrity. | |
| Bodulski HAL evaluates supplied evidence against explicit policy; Matrix Core | |
| normalizes text with a frozen character table and computes a UTC-date checksum. | |
| Neither path performs probabilistic text generation or requires model weights. | |
| The calling application controls source collection, trust and enforcement. | |
| Release **1.1.0** separates the standard-library core from optional presentation | |
| and hosting. The source archive, exact format specification, independent vectors | |
| and restoration instructions make the core recoverable without this service. | |
| ## Architecture Overview | |
| ```text | |
| Structured evidence + policy + explicit evaluation time | |
| | | |
| Bounded strict JSON boundary | |
| | | |
| Freshness / authority / contradiction gates | |
| | | |
| Classification + APPROVE / BLOCK / ESCALATE + receipt | |
| | | |
| Calling application enforces the decision | |
| Text + explicit instant -> frozen whitespace profile -> UTC date | |
| -> exact UTF-8 v1 message -> SHA-256 checksum | |
| -> export -> offline consistency verification | |
| ``` | |
| ## Quickstart Code Snippets | |
| Download [the complete offline source archive](bodul-offline-1.1.0.zip), extract | |
| it into a new directory, then use an installed Python runtime: | |
| ```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 | |
| ``` | |
| ```python | |
| from datetime import datetime, timezone | |
| from matrix_core import DeterministicMatrixCore, verify_result | |
| from demo import evaluate, example | |
| at = datetime(2026, 11, 3, 12, tzinfo=timezone.utc) | |
| result = DeterministicMatrixCore().enforce_zero_tolerance_matrix( | |
| " Evidence\tbefore\nconfidence. ", now=at | |
| ) | |
| assert result["matrix_verification_seal"] == "36e7be60a50a6d846b8b162c199a5e534c612ba171163d9c3406e2f2b12c0651" | |
| assert verify_result(result)["verified"] is True | |
| assert evaluate(example("unsupported", at=at))["verdict"] == "BLOCK" | |
| ``` | |
| The examples are synthetic public fixtures. Historical replay uses their | |
| original explicit evaluation time; it is not evidence of present-day freshness. | |
| ## Deterministic Execution Proof | |
| For fixed text and UTC date, the v1 checksum byte sequence is specified in | |
| [MATRIX_FORMAT.md](MATRIX_FORMAT.md), independent of a future Unicode database. | |
| For the entire response to repeat, the full instant and engine metadata must | |
| also match. The evidence verifier likewise requires fixed input, policy, | |
| evaluation time and runtime provenance. [test_vectors.json](test_vectors.json) | |
| includes legacy compatibility, Unicode, 2126, Gregorian boundary and leap-year | |
| fixtures. These fixtures test arithmetic and reproducibility, not future uptime. | |
| The core performs no stochastic generation. **A 0% real-world hallucination | |
| rate is neither measured nor guaranteed.** Supplied evidence can be fabricated; | |
| callers must authenticate sources and enforce BLOCK/ESCALATE decisions. | |
| ## Benchmark & Reliability Specifications | |
| | Property | Release contract | | |
| | --- | --- | | |
| | Matrix implementation | 3.6.0-OMEGA | | |
| | Frozen checksum / normalization | bodul-matrix-v1 / bodul-whitespace-v1 | | |
| | Supplied-evidence algorithm / JSON schema | 2.1.2 / 3 | | |
| | Public JSON boundary / archive | 1.1.0 / 1.1.0 | | |
| | Core dependencies | Python standard library; no inference service | | |
| | Raw Matrix / JSON input limits | 1 MiB each; JSON nesting 32 levels | | |
| | Public evidence limits | 1000 evidence records; 100 batch claims | | |
| | Validation | [Recorded tests and local timing](VALIDATION.json) | | |
| | Integrity | SHA-256/SHA-512 archive comparison; no source authentication | | |
| Local timing measures synthetic in-process execution on the recorded runtime; | |
| it excludes cold starts, UI, network and real-world truth accuracy. It is not | |
| a hosted SLA, enterprise certification or a century-long reliability result. | |
| Invalid Unicode, duplicate JSON keys, non-finite numbers and malformed records | |
| fail closed at the documented public boundary. | |
| ## Preservation and System Integration | |
| - [Free interactive evidence playground](https://huggingface.co/spaces/mirdax25-ux/bodulski-hal-playground). | |
| - [Single-file offline Matrix tool](https://mirdax25-ux-bodulski-hal-playground.static.hf.space/offline.html): save and open locally, with no CDN or network. | |
| - [Portable source archive](bodul-offline-1.1.0.zip), [SHA-256](ARCHIVE_SHA256.txt), [SHA-512](ARCHIVE_SHA512.txt). | |
| - [Maintenance, backup and restoration](MAINTENANCE.md); [compatibility notes](CHANGELOG.md). | |
| - [Evidence JSON contract](JSON_CONTRACT.md); [Matrix result schema](schemas/matrix-result-v1.json). | |
| - [Bodulski HAL](https://huggingface.co/mirdax25-ux/Bodul) and [Deterministic Engine](https://huggingface.co/mirdax25-ux/deterministic-engine). | |
| - [Separately authenticated Apify MCP Actor](https://apify.com/bodul/bodulskihal-claim-verifier). | |
| The hosted Space is **Static/Gradio-Lite**, with pinned browser dependencies | |
| and no paid compute, persistent volume or inference endpoint. The first load | |
| downloads its Python runtime. It exposes no server-side MCP endpoint. Use the | |
| standalone offline page/archive if the host or CDNs are unavailable. | |
| ## Trust and Compatibility | |
| `valid: true` establishes accepted text, not truth or permission. A Matrix | |
| checksum can be recomputed by anyone; full timestamps and engine versions are | |
| unsealed metadata. `verify_result` checks consistency, not authorship. Existing | |
| 3.5.1 checksum values remain valid; 3.6 adds explicit format fields and controlled | |
| input errors. Unknown future formats are rejected until a reader is added. | |
| Public Python/JSON entry points ignore caller-provided human approval flags. | |
| The lower-level kernel is a trusted integration API and requires external | |
| authentication and source validation. The public demo does not fetch URLs, | |
| execute payload text, or establish source identity. Do not submit secrets. | |
| No service availability, runtime support or cryptographic strength can be | |
| promised for 100 years. The preservation strategy is explicit formats, readable | |
| source, tested recovery, multiple backups and maintained migration paths. | |
| ## Author and License | |
| Damir Balenović — [GitHub](https://github.com/mirdax25-ux) · [X](https://x.com/ddddddd97424402) · [LinkedIn](https://www.linkedin.com/in/damir-balenovic-594015429/). | |
| Apache License 2.0; see [LICENSE](LICENSE). | |