Struct WittLevel 

pub struct WittLevel { /* private fields */ }

A Witt level W_n at which the UOR ring R_n = Z/2^n Z operates. Corresponds to schema:WittLevel in the uor.foundation ontology. The class is open: any positive multiple of 8 identifies a valid level. Named levels W8 through W32 are provided as associated constants. Arbitrary levels can be constructed with WittLevel::new(n).

Examples

use uor_foundation::WittLevel;

// Named reference levels (W8-W32 are spec-defined):
let w8 = WittLevel::W8;
assert_eq!(w8.witt_length(), 8);
assert_eq!(w8.bits_width(), 8);    // Witt length IS bit width
assert_eq!(w8.cycle_size(), Some(256)); // 2^8 = 256 ring elements

let w32 = WittLevel::W32;
assert_eq!(w32.bits_width(), 32);  // 32 bits

// Arbitrary levels beyond W32 (Prism-declared):
let w64 = WittLevel::new(64);
assert_eq!(w64.bits_width(), 64);  // 64 bits — native u64

// The chain is unbounded:
let w88 = WittLevel::new(88);
assert_eq!(w88.bits_width(), 88);
assert_eq!(w88.next_witt_level().witt_length(), 96);

// Ordering follows the Witt length:
assert!(WittLevel::W8 < WittLevel::W32);

Implementations

impl WittLevel

pub const W8: Self

Witt level 8: 8-bit ring Z/256Z, 256 states. The reference level for all ComputationCertificate proofs in the spec.

pub const W16: Self

Witt level 16: 16-bit ring Z/65536Z, 65,536 states.

pub const W24: Self

Witt level 24: 24-bit ring Z/16777216Z, 16,777,216 states.

pub const W32: Self

Witt level 32: 32-bit ring Z/4294967296Z, 4,294,967,296 states. The highest named level in the spec.

pub const fn new(witt_length: u32) -> Self

Construct an arbitrary Witt level W_n. n need not be one of the spec-named individuals; Prism implementations may use any level.

pub const fn witt_length(self) -> u32

The Witt length n. Maps to schema:wittLength.

pub const fn bits_width(self) -> u32

Bit width of the ring at this level: equal to the Witt length. Maps to schema:bitsWidth. This is an identity — the Witt length IS the bit width.

pub const fn cycle_size(self) -> Option<u128>

Number of distinct ring states at this level: 2^n. Maps to schema:cycleSize. Returns None if the result exceeds u128 (i.e. for n > 128).

pub const fn next_witt_level(self) -> Self

The next Witt level in the chain: W_n -> W_{n+8}. Maps to schema:nextWittLevel. Always well-defined; the chain is unbounded.

Trait Implementations

impl Clone for WittLevel

fn clone(&self) -> WittLevel

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for WittLevel

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for WittLevel

fn default() -> Self

W8 is the spec-defined minimum Witt level and the canonical base referenced by schema:WittLevel individuals.

impl Display for WittLevel

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for WittLevel

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for WittLevel

fn cmp(&self, other: &WittLevel) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for WittLevel

fn eq(&self, other: &WittLevel) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for WittLevel

fn partial_cmp(&self, other: &WittLevel) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for WittLevel

impl Eq for WittLevel

impl StructuralPartialEq for WittLevel