This GitHub Actions workflow provides automated proof that Valori's kernel produces bit-identical state across different CPU architectures.
Every commit automatically runs identical test suites on:
- x86_64 (Intel/AMD - Ubuntu)
- ARM64 (Apple Silicon - macOS)
- WASM32 (WebAssembly)
The workflow compares cryptographic state hashes. If ANY divergence is detected, the build fails.
Each architecture runs:
- Insert 100 records with identical seed data
- Compute
kernel_state_hash - Save hash to artifact
- Final step compares all hashes - must be identical
See latest workflow run for proof.
Example output:
x86_64 hash: [103, 22, 141, 66, 192, 16, 92, 106, ...]
ARM64 hash: [103, 22, 141, 66, 192, 16, 92, 106, ...]
WASM32 hash: [103, 22, 141, 66, 192, 16, 92, 106, ...]
✅ ALL HASHES MATCH - Determinism verified!
This is your proof of determinism for embedded partners.