Struct ResourceTriple 

pub struct ResourceTriple {
    pub energy: Estimate<f64>,
    pub time: Estimate<f64>,
    pub space: Estimate<f64>,
}

The resource constraint triple (E, T, S) for a computation event.

All three values use Estimate<f64> to carry measurement uncertainty. See ResourceTriple::validate_physics for the physical consistency checks.

PACR field Ω. Derived from Pillar II (conservation laws + Margolus–Levitin).

Fields

energy: Estimate<f64>

Actual energy consumed (joules). Must satisfy energy.point ≥ Λ.point.

time: Estimate<f64>

Actual execution duration (seconds). Must satisfy Margolus–Levitin bound.

space: Estimate<f64>

Actual memory/storage used (bytes, as f64 for SI-unit consistency).

Implementations

impl ResourceTriple

pub fn validate_physics(&self) -> Vec<PhysicsViolation>

Validates physical consistency of this triple.

Returns every violation found; an empty Vec means the record is clean. A physically invalid record is still storable (measurement errors happen), but violations must be flagged for the Landauer auditor to investigate.

pub fn thermodynamic_waste(&self, landauer: &LandauerCost) -> Estimate<f64>

Thermodynamic waste = E − Λ with conservative uncertainty propagation.

Uncertainty is propagated as: waste.lower = energy.lower − λ.upper (minimum possible waste) waste.upper = energy.upper − λ.lower (maximum possible waste)

Trait Implementations

impl Clone for ResourceTriple

fn clone(&self) -> ResourceTriple

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResourceTriple

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ResourceTriple

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ResourceTriple

fn eq(&self, other: &ResourceTriple) -> 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 Serialize for ResourceTriple

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for ResourceTriple

impl StructuralPartialEq for ResourceTriple