hara-native 0.1.13

HAL-free native host runtime and package launcher for Hara
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

use super::{PackageCatalogAdmission, PackageManifestError};

pub(super) fn admit(
    format: &str,
    source: &str,
) -> Result<PackageCatalogAdmission, PackageManifestError> {
    if format != "std.typed.catalog/2" {
        return Err(PackageManifestError::new(
            "package/catalog-unsupported",
            format!("unsupported :schema/catalog :format {format}"),
        ));
    }
    let value: serde_json::Value = serde_json::from_str(source).map_err(|error| {
        PackageManifestError::new(
            "package/catalog-invalid",
            format!("catalog is not valid JSON: {error}"),
        )
    })?;
    // Semantic `std.typed` catalog validation is a source-package concern.
    // The host validates format identity, JSON syntax, and the archive digest;
    // package publication supplies the language-level proof without embedding
    // that library in every native artifact.
    let report = serde_json::to_string(&value).map_err(|error| {
        PackageManifestError::new(
            "package/catalog-invalid",
            format!("cannot canonicalise catalog JSON: {error}"),
        )
    })?;
    Ok(PackageCatalogAdmission {
        format: format.to_owned(),
        report,
    })
}