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]>
26 lines
738 B
TOML
26 lines
738 B
TOML
[package]
|
|
name = "smart-byte-conformance"
|
|
version.workspace = true
|
|
edition.workspace = true
|
|
rust-version.workspace = true
|
|
license.workspace = true
|
|
repository.workspace = true
|
|
description = "Generates and verifies the Smart Byte conformance vector pack (smart-byte/conformance/v1)."
|
|
publish = false
|
|
|
|
[dependencies]
|
|
smart-byte-core = { workspace = true }
|
|
smart-byte-keri-witness = { path = "../smart-byte-keri-witness" }
|
|
smart-byte-lockstep = { workspace = true }
|
|
smart-byte-state = { workspace = true }
|
|
serde = { workspace = true }
|
|
serde_json = "1"
|
|
hex = "0.4"
|
|
|
|
[[bin]]
|
|
name = "gen-conformance-vectors"
|
|
path = "src/bin/gen-conformance-vectors.rs"
|
|
|
|
[[bin]]
|
|
name = "verify-conformance-vectors"
|
|
path = "src/bin/verify-conformance-vectors.rs"
|