Struct Lockfile 

pub struct Lockfile {

    pub lock_version: i64,
    pub generated_by: String,
    pub generated_at: String,
    pub manifest_hash: Option<String>,
    pub stack: BTreeMap<String, Value>,
    pub llm: Vec<LLM>,
    pub decision: Decision,
    pub harness: Harness,
    pub tool: Vec<Tool>,
    pub skill: Vec<Skill>,
    pub instructions: Vec<Instructions>,
    pub policy: Policy,
    pub context: Context,
    pub evidence: Evidence,
    pub verify: Verify,
    pub provenance: Provenance,
    pub base_lock: Option<String>,
    pub kind: Option<String>,
    pub optimize: Option<Value>,
}

Fields

lock_version: i64

generated_by: String

generated_at: String

manifest_hash: Option<String>

stack: BTreeMap<String, Value>

llm: Vec<LLM>

decision: Decision

harness: Harness

tool: Vec<Tool>

skill: Vec<Skill>

instructions: Vec<Instructions>

policy: Policy

context: Context

evidence: Evidence

verify: Verify

provenance: Provenance

base_lock: Option<String>

Optimization-only fields (see §5.9 / harness.opt.lock).

kind: Option<String>

optimize: Option<Value>

Implementations

impl Lockfile

pub fn load(path: &Path) -> Result<Lockfile, Error>

pub fn from_str(text: &str) -> Result<Lockfile, Error>

pub fn save(&self, path: &Path) -> Result<(), Error>

pub fn default_path(&self) -> &str

pub fn check_manifest(&self, live_hash: &str) -> Vec<String>

Vector of manifest-drift violation strings (empty means clean).

pub fn summary(&self) -> String

Trait Implementations

impl Clone for Lockfile

fn clone(&self) -> Lockfile

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Lockfile

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Default for Lockfile

fn default() -> Lockfile

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Lockfile

fn deserialize<__D>( __deserializer: __D, ) -> Result<Lockfile, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Lockfile

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.