pub struct UbftBuild {
pub scheme: Scheme,
pub nodes: u32,
pub window: u32,
pub verify_machines: u32,
pub dsig_slices: u32,
pub dsig_message_bytes: u32,
pub dsig_allow_profile1_ubft: bool,
}Expand description
Compile-time settings supported by the replica exporter. Capacity is not runtime membership: the protocol separately validates an odd active size.
Fields§
§scheme: SchemeSignature service to instantiate.
nodes: u32Hardware peer capacity, separate from runtime membership.
window: u32Number of protocol slots instantiated in the replica.
verify_machines: u32Ed25519 field-machine count; DSig currently requires one.
dsig_slices: u32DSig engine slice geometry; neutral value two for Ed25519.
dsig_message_bytes: u32Authenticated DSig message bytes: 64 by default, or explicitly gated 16.
dsig_allow_profile1_ubft: boolExplicit opt-in to the narrower experimental uBFT message contract.
Implementations§
Source§impl UbftBuild
impl UbftBuild
Sourcepub fn validate(&self) -> Result<(), String>
pub fn validate(&self) -> Result<(), String>
Reject unsupported geometry before any compiler is launched.
Sourcepub fn from_toml(text: &str) -> Result<Self, String>
pub fn from_toml(text: &str) -> Result<Self, String>
Read only the explicit application contract. Other component tables are explanatory planner output, not extra silently applied hardware knobs.
Sourcepub fn toml(&self, buildable: bool) -> String
pub fn toml(&self, buildable: bool) -> String
Serialize the application contract, retaining an explicit validity flag.
Sourcepub fn configure_environment(
&self,
command: &mut Command,
inherited: impl IntoIterator<Item = OsString>,
) -> Result<(), String>
pub fn configure_environment( &self, command: &mut Command, inherited: impl IntoIterator<Item = OsString>, ) -> Result<(), String>
Clear inherited experimental settings before applying this exact plan. The caller supplies inherited names so tests do not mutate global env.
Sourcepub fn resolved_toml(&self) -> Result<String, String>
pub fn resolved_toml(&self) -> Result<String, String>
Canonical selection and complete resolved project environment. Record this alongside the artifact; external evidence tooling hashes the file.
Trait Implementations§
impl Eq for UbftBuild
impl StructuralPartialEq for UbftBuild
Auto Trait Implementations§
impl Freeze for UbftBuild
impl RefUnwindSafe for UbftBuild
impl Send for UbftBuild
impl Sync for UbftBuild
impl Unpin for UbftBuild
impl UnsafeUnpin for UbftBuild
impl UnwindSafe for UbftBuild
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key and return true if they are equal.Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more