c4d3a091f3
smart-byte-state (new): - the state and its hash; - inputs; - the frame transition; - checkpoint-and-log persistence. Checkpoints are written atomically, and replay refuses a gap or a wrong hash. - a deterministic demo workload. smart-byte-lockstep: the cluster runs these state machines in place of the rolling hash that stood in for the state. smart-byte-keri-witness: exposes a controller's state and resumes a replay from it, so the cluster extends a log one event at a time. The CLI's `cluster simulate` runs real mints and transfers through the supermajority commit. smart-byte-conformance: state_vectors.json, 12 vectors. Each is a genesis state and frames of inputs, with every input's result and every frame's state and state hash. The founding frame uses kel-001 to kel-003 and env-001's mint. Planted defects in the state vectors are caught on their own vectors. Co-Authored-By: Claude Opus 5.5 <[email protected]>
22 lines
776 B
Rust
22 lines
776 B
Rust
//! The Smart Byte conformance vector pack (`smart-byte/conformance/v1`):
|
|
//! generated from the reference implementation by [`pack::generate`], and
|
|
//! checked against it by [`verify::verify_pack`].
|
|
//!
|
|
//! * `gen-conformance-vectors` writes the pack.
|
|
//! * `verify-conformance-vectors` checks a pack on disk, whoever wrote it.
|
|
//! * `tests/pack.rs` runs both against the published pack under `cargo test`,
|
|
//! so CI fails if the pack and the implementation ever disagree.
|
|
|
|
pub mod json;
|
|
pub mod logs;
|
|
pub mod pack;
|
|
pub mod states;
|
|
pub mod verify;
|
|
pub mod world;
|
|
|
|
use std::path::PathBuf;
|
|
|
|
/// The published v1 pack, beside the spec in this repository.
|
|
pub fn published_pack_dir() -> PathBuf {
|
|
PathBuf::from(env!("CARGO_MANIFEST_DIR")).join("../../../conformance/v1")
|
|
}
|