Rename InvalidInput -> ConditionNotMet

Author: lukevalenta

crates/tlog_tiles/src/tile.rs

@@ -708,7 +708,7 @@ impl TileReader for TlogTileRecorder {
                 if t.height() == TlogTile::HEIGHT {
                     Ok(TlogTile::new(t.level(), t.level_index(), t.width(), None))
                 } else {
-                    Err(TlogError::InvalidInput(
+                    Err(TlogError::ConditionNotMet(
                         "TlogTileRecorder cannot read tiles of height not equal to 8".to_string(),
                     ))
                 }
@@ -745,21 +745,21 @@ impl TileReader for PreloadedTlogTileReader {
         for tile in tiles {
             // Convert the tile to a tlog-tile, ie one where height=8 and data=false
             if tile.height() != TlogTile::HEIGHT {
-                return Err(TlogError::InvalidInput(
+                return Err(TlogError::ConditionNotMet(
                     "PreloadedTlogTileReader cannot read tiles of height not equal to 8"
                         .to_string(),
                 ));
             }
             if tile.is_data() {
-                return Err(TlogError::InvalidInput(
+                return Err(TlogError::ConditionNotMet(
                     "PreloadedTlogTileReader cannot read data tiles".to_string(),
                 ));
             }
             let tlog_tile = TlogTile::new(tile.level(), tile.level_index(), tile.width(), None);
 
             // Record the tile's contents
             let Some(contents) = self.0.get(&tlog_tile) else {
-                return Err(TlogError::InvalidInput(format!(
+                return Err(TlogError::ConditionNotMet(format!(
                     "PreloadedTlogTileReader cannot find {}",
                     tlog_tile.path()
                 )));

crates/tlog_tiles/src/tlog.rs

@@ -43,7 +43,7 @@ pub enum TlogError {
     #[error("indexes out of order")]
     IndexesOutOfOrder,
     #[error("unmet input condition: {0}")]
-    InvalidInput(String),
+    ConditionNotMet(String),
     #[error("missing verifier signature")]
     MissingVerifierSignature,
     #[error("timestamp is after current time")]
@@ -767,7 +767,7 @@ impl Subtree {
     /// Will return an error if `[lo, hi)` is not a valid subtree.
     pub fn new(lo: u64, hi: u64) -> Result<Self, TlogError> {
         if lo >= hi {
-            return Err(TlogError::InvalidInput("`lo < hi`".into()));
+            return Err(TlogError::ConditionNotMet("`lo < hi`".into()));
         }
         // `s` is the smallest power of 2 that is greater than or equal
         // to `lo - hi`.
@@ -782,7 +782,7 @@ impl Subtree {
             }
         };
         if lo & (s - 1) != 0 {
-            return Err(TlogError::InvalidInput(
+            return Err(TlogError::ConditionNotMet(
                 "`lo` must be a multiple of the smallest power of two ≥ `hi - lo`".into(),
             ));
         }
@@ -825,7 +825,7 @@ impl Subtree {
     /// Will return an error if `lo ≤ hi`.
     pub fn split_interval(lo: u64, hi: u64) -> Result<(Self, Option<Self>), TlogError> {
         if lo >= hi {
-            return Err(TlogError::InvalidInput("`lo < hi`".into()));
+            return Err(TlogError::ConditionNotMet("`lo < hi`".into()));
         }
         if hi - lo == 1 {
             return Ok((Self { lo, hi }, None));
@@ -954,7 +954,7 @@ impl Subtree {
         F: FnMut(&Subtree) -> Vec<T>,
     {
         if !self.contains_subtree(m) {
-            return Err(TlogError::InvalidInput(format!(
+            return Err(TlogError::ConditionNotMet(format!(
                 "{self} does not contain {m}"
             )));
         }