-
Notifications
You must be signed in to change notification settings - Fork 3
Determinism Guarantees & Test Methodology
Valori includes cross-substrate verification modes designed to test:
- ingestion determinism
- replay determinism
- arithmetic determinism
- migration determinism
The kernel enforces:
- identical WAL outputs
- identical snapshot hashes
- identical fixed-point state
Across:
- ARM → x86
- x86 → ARM
- physical → VM
- desktop → cloud
A run is valid if:
- replay produces the same state
- on a different machine
- at a different time
Any deviation indicates:
- substrate drift
- floating-point leakage
- execution boundary breach
Valori treats such deviations as failures, not tolerances.
The goal is not “numerically similar.”
The goal is: bit-for-bit identical replayable execution history.
Valori Kernel — Deterministic Substrate Execution Layer
This project focuses on:
- deterministic ingestion
- replayable state evolution
- cross-substrate execution invariance
The kernel is provided as an open research foundation. Application-layer evaluators are developed separately.
If you are evaluating Valori for:
- research
- safety audits
- compliance replay
- deterministic analytics
- embedded or robotics compute
we encourage you to reach out or open a discussion.
Research Paper: https://arxiv.org/abs/2512.22280
- Valori Kernel — Project Overview
- The Deterministic Memory Problem
- Why Fixed‐Point Arithmetic
- Kernel Architecture
-
Project Repository
https://github.com/varshith-Git/Valori-Kernel -
Research Paper (arXiv)
https://arxiv.org/abs/2512.22280 -
HuggingFace https://huggingface.co/papers/2512.22280
- Issues & Discussions
https://github.com/varshith-Git/Valori-Kernel/issues