fix(prover): revert serde_yaml to serde_yml to match workspace dependency on main

Author: zredlined

crates/openshell-prover/Cargo.toml

@@ -15,7 +15,7 @@ openshell-core = { path = "../openshell-core" }
 openshell-policy = { path = "../openshell-policy" }
 z3 = { workspace = true }
 serde = { workspace = true }
-serde_yaml = { workspace = true }
+serde_yml = { workspace = true }
 miette = { workspace = true }
 thiserror = { workspace = true }
 tracing = { workspace = true }

crates/openshell-prover/src/accepted_risks.rs

@@ -57,7 +57,7 @@ pub fn load_accepted_risks(path: &Path) -> Result<Vec<AcceptedRisk>> {
     let contents = std::fs::read_to_string(path)
         .into_diagnostic()
         .wrap_err_with(|| format!("reading accepted risks {}", path.display()))?;
-    let raw: AcceptedRisksFile = serde_yaml::from_str(&contents)
+    let raw: AcceptedRisksFile = serde_yml::from_str(&contents)
         .into_diagnostic()
         .wrap_err("parsing accepted risks YAML")?;
 

crates/openshell-prover/src/credentials.rs

@@ -158,7 +158,7 @@ pub fn load_credentials(path: &Path) -> Result<Vec<Credential>> {
     let contents = std::fs::read_to_string(path)
         .into_diagnostic()
         .wrap_err_with(|| format!("reading credentials file {}", path.display()))?;
-    let raw: CredentialsFile = serde_yaml::from_str(&contents)
+    let raw: CredentialsFile = serde_yml::from_str(&contents)
         .into_diagnostic()
         .wrap_err("parsing credentials YAML")?;
 
@@ -180,7 +180,7 @@ fn load_api_registry(path: &Path) -> Result<ApiCapability> {
     let contents = std::fs::read_to_string(path)
         .into_diagnostic()
         .wrap_err_with(|| format!("reading API registry {}", path.display()))?;
-    let raw: ApiRegistryDef = serde_yaml::from_str(&contents)
+    let raw: ApiRegistryDef = serde_yml::from_str(&contents)
         .into_diagnostic()
         .wrap_err_with(|| format!("parsing API registry {}", path.display()))?;
 

crates/openshell-prover/src/policy.rs

@@ -60,10 +60,10 @@ struct PolicyFile {
     // Ignored fields the prover does not need.
     #[serde(default)]
     #[allow(dead_code)]
-    landlock: Option<serde_yaml::Value>,
+    landlock: Option<serde_yml::Value>,
     #[serde(default)]
     #[allow(dead_code)]
-    process: Option<serde_yaml::Value>,
+    process: Option<serde_yml::Value>,
 }
 
 #[derive(Debug, Deserialize)]
@@ -359,7 +359,7 @@ pub fn parse_policy(path: &Path) -> Result<PolicyModel> {
 
 /// Parse a policy YAML string into a [`PolicyModel`].
 pub fn parse_policy_str(yaml: &str) -> Result<PolicyModel> {
-    let raw: PolicyFile = serde_yaml::from_str(yaml)
+    let raw: PolicyFile = serde_yml::from_str(yaml)
         .into_diagnostic()
         .wrap_err("parsing policy YAML")?;
 

crates/openshell-prover/src/registry.rs

@@ -255,7 +255,7 @@ fn load_binary_capability(path: &Path) -> Result<BinaryCapability> {
     let contents = std::fs::read_to_string(path)
         .into_diagnostic()
         .wrap_err_with(|| format!("reading binary descriptor {}", path.display()))?;
-    let raw: BinaryCapabilityDef = serde_yaml::from_str(&contents)
+    let raw: BinaryCapabilityDef = serde_yml::from_str(&contents)
         .into_diagnostic()
         .wrap_err_with(|| format!("parsing binary descriptor {}", path.display()))?;