Make manifest fields non-optional

cmd/discover/src/lib.rs

@@ -315,7 +315,7 @@ fn discover_run(context: &mut ExecutionContext) -> Result<()> {
     let subargs = DiscoverArgs::try_parse_from(&context.cli.cmd)?;
     let hubris = &context.cli.try_archive()?;
 
-    let image_id = hubris.as_ref().and_then(|h| h.image_id());
+    let image_id = hubris.as_ref().map(|h| h.image_id());
     if image_id.is_none() {
         humility::warn!("no archive provided; not checking for compatibility");
     }

cmd/dump/src/lib.rs

@@ -65,7 +65,7 @@
 //! ```
 //!
 
-use anyhow::{Result, anyhow, bail};
+use anyhow::{Result, bail};
 use clap::{ArgGroup, CommandFactory, Parser};
 use humility::core::Core;
 use humility::hubris::*;
@@ -325,11 +325,7 @@ fn get_dump_agent<'a>(
     {
         humility::msg!("using UDP dump agent");
 
-        let imageid = &hubris
-            .imageid
-            .as_ref()
-            .ok_or_else(|| anyhow!("missing image ID"))?
-            .1;
+        let imageid = hubris.image_id();
 
         Ok(Box::new(UdpDumpAgent::new(core, imageid)?))
     } else {

cmd/host/src/lib.rs

@@ -334,15 +334,11 @@ fn print_panic(d: Vec<u8>) -> Result<()> {
 
 /// Print a warning message if the archive is not for a `cosmo` board
 fn check_post_code_target(hubris: &HubrisArchive) {
-    if !hubris.manifest.board.as_ref().is_some_and(|b| b.contains("cosmo")) {
+    if !hubris.manifest.board.contains("cosmo") {
         humility::warn!(
-            "POST code buffer is only present on 'cosmo' hardware{}; \
-             hiffy may fail and time out",
-            if let Some(board) = &hubris.manifest.board {
-                format!(" but this is a '{board}'")
-            } else {
-                String::new()
-            }
+            "POST code buffer is only present on 'cosmo' hardware \
+             but this is a '{}'; hiffy may fail and time out",
+            hubris.manifest.board,
         )
     }
 }

cmd/hydrate/src/lib.rs

@@ -17,7 +17,7 @@
 //! By default, this writes to `hubris.core.TASK_NAME.N` (where `N` is the
 //! lowest available value); use `--out` to specify a different path name.
 
-use anyhow::{Context, Result, anyhow, bail};
+use anyhow::{Context, Result, bail};
 use clap::{ArgGroup, CommandFactory, Parser};
 use humility::hubris::HubrisFlashMap;
 use humility_arch_arm::ARMRegister;
@@ -173,9 +173,7 @@ fn run(context: &mut ExecutionContext) -> Result<()> {
 
     // compare archive ID
     let archive = &context.cli.archive()?;
-    let expected_id = archive
-        .image_id()
-        .ok_or_else(|| anyhow!("missing image ID in archive"))?;
+    let expected_id = archive.image_id();
     if archive_id != expected_id {
         bail!(
             "image ID mismatch: archive ID is {expected_id:02x?}, \

cmd/manifest/src/lib.rs

@@ -74,24 +74,15 @@ fn manifestcmd(context: &mut ExecutionContext) -> Result<()> {
 
     let size = |task| hubris.lookup_module(task).unwrap().memsize;
 
-    print("version", manifest.version.as_deref().unwrap_or("<unknown>"));
+    print("version", manifest.version.as_str());
     print("git rev", manifest.gitrev.as_deref().unwrap_or("<unknown>"));
 
-    println!(
-        "{:>12} => {}",
-        "image id",
-        match &hubris.imageid {
-            Some(s) => {
-                format!("{:x?}", s.1)
-            }
-            None => "<none>".to_string(),
-        },
-    );
-
-    print("board", manifest.board.as_deref().unwrap_or("<unknown>"));
-    print("name", manifest.name.as_deref().unwrap_or("<unknown>"));
+    println!("{:>12} => {:x?}", "image id", hubris.image_id());
+
+    print("board", manifest.board.as_str());
+    print("name", manifest.name.as_str());
     print("image", manifest.image.as_deref().unwrap_or("<unknown>"));
-    print("target", manifest.target.as_deref().unwrap_or("<unknown>"));
+    print("target", manifest.target.as_str());
     print("features", &manifest.features.join(", "));
 
     let ttl = hubris.modules().fold(0, |ttl, m| ttl + m.memsize);

cmd/spd/src/lib.rs

@@ -372,10 +372,10 @@ fn dump_ddr4_over_i2c(
     subargs: &SpdArgs,
 ) -> Result<()> {
     // Warn the user that we probably can't talk to DDR4s on non-Gimlet hardware
-    if !hubris.manifest.target.as_ref().is_some_and(|t| t.contains("gimlet")) {
+    if !hubris.manifest.target.contains("gimlet") {
         humility::warn!(
             "trying to talk to DDR4 SPDs on an invalid target `{}`",
-            hubris.manifest.target.as_deref().unwrap_or("<unknown>")
+            hubris.manifest.target,
         );
     };
 

humility-core/src/hubris.rs

@@ -42,13 +42,13 @@ const MAX_HUBRIS_VERSION: u32 = 11;
 
 #[derive(Debug, Serialize)]
 pub struct HubrisManifest {
-    pub version: Option<String>,
+    pub version: String,
     pub gitrev: Option<String>,
     pub features: Vec<String>,
-    pub board: Option<String>,
+    pub board: String,
     pub image: Option<String>,
-    pub name: Option<String>,
-    pub target: Option<String>,
+    pub name: String,
+    pub target: String,
     pub task_features: HashMap<String, Vec<String>>,
     pub task_irqs: HashMap<String, Vec<(u32, u32)>>,
     pub task_notifications: HashMap<String, Vec<String>>,
@@ -73,9 +73,9 @@ impl HubrisManifest {
         config: &HubrisConfig,
         rev: HubrisManifestRev,
     ) -> Result<Self> {
-        let board = Some(config.board.clone());
-        let name = Some(config.name.clone());
-        let target = Some(config.target.clone());
+        let board = config.board.clone();
+        let name = config.name.clone();
+        let target = config.target.clone();
         let features = match config.kernel.features {
             Some(ref features) => features.clone(),
             None => vec![],
@@ -537,9 +537,8 @@ impl<'a> IntoIterator for &'a HubrisI2cBusList {
 }
 
 /// Portions of the [`HubrisManifest`] that are loaded from archive files
-#[derive(Default)]
 pub struct HubrisManifestRev {
-    pub version: Option<String>,
+    pub version: String,
     pub gitrev: Option<String>,
     pub image: Option<String>,
 }
@@ -1156,7 +1155,7 @@ pub struct HubrisArchive {
     pub manifest: HubrisManifest,
 
     // image ID
-    pub imageid: Option<(u32, Vec<u8>)>,
+    imageid: (u32, Vec<u8>),
 
     // loaded regions
     loaded: BTreeMap<u32, HubrisRegion>,
@@ -1353,19 +1352,23 @@ impl HubrisArchive {
         }
 
         // First, we'll load aspects of configuration.
-        let mut manifest_rev = HubrisManifestRev::default();
-        if let Ok(git_rev) = hubris.extract_file("git-rev") {
-            manifest_rev.gitrev =
-                Some(std::str::from_utf8(&git_rev)?.to_string());
-        }
+        let gitrev = if let Ok(git_rev) = hubris.extract_file("git-rev") {
+            Some(std::str::from_utf8(&git_rev)?.to_string())
+        } else {
+            None
+        };
 
-        if let Ok(image_name) = hubris.extract_file("image-name") {
-            manifest_rev.image =
-                Some(std::str::from_utf8(&image_name)?.to_string());
-        }
+        let image = if let Ok(image_name) = hubris.extract_file("image-name") {
+            Some(std::str::from_utf8(&image_name)?.to_string())
+        } else {
+            None
+        };
 
-        manifest_rev.version =
-            Some(format!("hubris build archive v{}", archive_version));
+        let manifest_rev = HubrisManifestRev {
+            version: format!("hubris build archive v{archive_version}"),
+            gitrev,
+            image,
+        };
 
         // Load the main manifest config file
         let app = hubris.extract_file("app.toml")?;
@@ -1424,7 +1427,7 @@ impl HubrisArchive {
         // forward slash: regardless of platform, paths within a ZIP archive
         // use the forward slash as a separator.
         //
-        let mut loader = HubrisObjectLoader::new(0)?;
+        let mut loader = HubrisObjectLoader::new(0);
         loader.load_object(
             "kernel",
             HubrisTask::Kernel,
@@ -1479,7 +1482,7 @@ impl HubrisArchive {
             .into_par_iter()
             .map(|(id, name, buf)| {
                 let id: u32 = id.try_into().unwrap();
-                let mut loader = HubrisObjectLoader::new(id + 1)?;
+                let mut loader = HubrisObjectLoader::new(id + 1);
                 loader.load_object(&name, HubrisTask::Task(id), &buf)?;
                 Ok(loader)
             })
@@ -1531,9 +1534,12 @@ impl HubrisArchive {
             loader.structs_byname.insert(name.clone(), *goff);
         }
 
+        let Some(imageid) = loader.imageid else {
+            bail!("missing image id");
+        };
         Ok(Self {
             hubris_archive: hubris,
-            imageid: loader.imageid,
+            imageid,
             manifest,
             loaded: loader.loaded,
             task_dump,
@@ -1607,11 +1613,6 @@ impl HubrisArchive {
         flash.chip
     }
 
-    /// Destroys the `HubrisArchive`, returning the raw archive data
-    pub fn take_raw_archive(self) -> Vec<u8> {
-        self.hubris_archive.zip
-    }
-
     /// Helper function to load a dump into a [`RawHubrisArchive`]
     ///
     /// Returns a tuple of `(raw archive, dump task)`; the second field is
@@ -1681,10 +1682,6 @@ impl HubrisArchive {
         Ok((archive, task_dump))
     }
 
-    pub fn loaded(&self) -> bool {
-        !self.modules.is_empty()
-    }
-
     ///
     /// Takes a list of potentially similar types and deduplicates the list.
     ///
@@ -2092,42 +2089,30 @@ impl HubrisArchive {
             return Ok(());
         }
 
-        //
         // To validate that what we're running on the target matches what
         // we have in the archive, we are going to check the image ID, an
-        // identifer created for this purpose.  If we don't have an image ID,
-        // we check the legacy mechanism of the .hubris_app_table; if we
-        // don't have either of these, we don't have a way of validating the
-        // archive and we fail.
-        //
-        if let Some(imageid) = &self.imageid {
-            let addr = imageid.0;
-            let nbytes = imageid.1.len();
-            assert!(nbytes > 0);
-
-            let mut id = vec![0; nbytes];
-            core.read_8(addr, &mut id[0..nbytes]).with_context(|| {
-                format!(
-                    "failed to read image ID at 0x{:x}; board mismatch?",
-                    addr
-                )
-            })?;
+        // identifer created for this purpose.
+        let addr = self.imageid.0;
+        let nbytes = self.imageid.1.len();
+        assert!(nbytes > 0);
+
+        let mut id = vec![0; nbytes];
+        core.read_8(addr, &mut id[0..nbytes]).with_context(|| {
+            format!("failed to read image ID at 0x{:x}; board mismatch?", addr)
+        })?;
 
-            let deltas = id
-                .iter()
-                .zip(imageid.1.iter())
-                .filter(|&(lhs, rhs)| lhs != rhs)
-                .count();
+        let deltas = id
+            .iter()
+            .zip(self.imageid.1.iter())
+            .filter(|&(lhs, rhs)| lhs != rhs)
+            .count();
 
-            if deltas > 0 || id.len() != imageid.1.len() {
-                bail!(
+        if deltas > 0 || id.len() != self.imageid.1.len() {
+            bail!(
                     "image ID in archive ({:x?}) does not equal \
                     ID at 0x{:x} ({:x?})",
-                    imageid.1, imageid.0, id,
+                    self.imageid.1, self.imageid.0, id,
                 );
-            }
-        } else {
-            bail!("could not find HUBRIS_IMAGE_ID");
         }
 
         if criteria == HubrisValidate::ArchiveMatch {
@@ -2331,12 +2316,12 @@ impl HubrisArchive {
         Ok(())
     }
 
-    pub fn image_id_addr(&self) -> Option<u32> {
-        self.imageid.as_ref().map(|i| i.0)
+    pub fn image_id_addr(&self) -> u32 {
+        self.imageid.0
     }
 
-    pub fn image_id(&self) -> Option<&[u8]> {
-        self.imageid.as_ref().map(|i| i.1.as_slice())
+    pub fn image_id(&self) -> &[u8] {
+        &self.imageid.1
     }
 
     pub fn member_offset(
@@ -2749,12 +2734,12 @@ impl HubrisArchive {
         // always 8-byte aligned; if we have our 17 floating point registers
         // here, we also have an unstored pad.)
         //
-        let (nregs_fp, align) =
-            if self.manifest.target.as_ref().unwrap() == "thumbv6m-none-eabi" {
-                (0, 0)
-            } else {
-                (17, 1)
-            };
+        let (nregs_fp, align) = if self.manifest.target == "thumbv6m-none-eabi"
+        {
+            (0, 0)
+        } else {
+            (17, 1)
+        };
 
         let nregs_frame: usize = NREGS_CORE + nregs_fp + align;
 
@@ -3727,8 +3712,8 @@ struct HubrisObjectLoader {
 }
 
 impl HubrisObjectLoader {
-    fn new(object_id: u32) -> Result<Self> {
-        Ok(Self {
+    fn new(object_id: u32) -> Self {
+        Self {
             object_id,
             imageid: None,
             arrays: HashMap::new(),
@@ -3757,7 +3742,7 @@ impl HubrisObjectLoader {
             structs_byname: MultiMap::new(),
             subprograms: HashMap::new(),
             syscall_pushes: HashMap::new(),
-        })
+        }
     }
 
     fn merge(&mut self, loader: HubrisObjectLoader) -> Result<()> {

humility-dump-agent/src/udp.rs

@@ -11,7 +11,7 @@ pub struct UdpDumpAgent<'a> {
 }
 
 impl<'a> UdpDumpAgent<'a> {
-    pub fn new(core: &'a mut dyn Core, image_id: &Vec<u8>) -> Result<Self> {
+    pub fn new(core: &'a mut dyn Core, image_id: &[u8]) -> Result<Self> {
         let mut udp_dump = Self { core };
 
         udp_dump.check_imageid(image_id)?;
@@ -83,7 +83,7 @@ impl<'a> UdpDumpAgent<'a> {
         Ok(reply)
     }
 
-    fn check_imageid(&mut self, image_id: &Vec<u8>) -> Result<()> {
+    fn check_imageid(&mut self, image_id: &[u8]) -> Result<()> {
         let r = self.dump_remote_action(humpty::udp::Request::GetImageId)?;
 
         match r {