aprender-contracts-cli 0.40.0

CLI for provable-contracts — validate, scaffold, verify, status, audit
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

use std::path::Path;

pub fn run(contract: &Path, reason: &str) -> Result<(), Box<dyn std::error::Error>> {
    let content = std::fs::read_to_string(contract)?;

    // Parse to verify it's valid
    let mut contract_obj: serde_yaml::Value = serde_yaml::from_str(&content)?;

    // Remove locked_level from metadata
    if let Some(metadata) = contract_obj.get_mut("metadata") {
        if let Some(map) = metadata.as_mapping_mut() {
            let had_lock = map.remove("locked_level");
            if had_lock.is_none() {
                println!("Contract has no locked_level -- nothing to unlock.");
                return Ok(());
            }
        }
    }

    // Write back
    let new_content = serde_yaml::to_string(&contract_obj)?;
    std::fs::write(contract, &new_content)?;

    println!("Unlocked: {}", contract.display());
    println!("Reason: {reason}");
    println!("Warning: The contract can now regress below its previous locked level.");

    Ok(())
}