Struct SourcePackageMaterializationRequest 

pub struct SourcePackageMaterializationRequest {

    pub source_root: PathBuf,
    pub cache_root: PathBuf,
    pub package_name: String,
    pub materialized_package_name: String,
    pub library_name: String,
    pub source_digest: String,
    pub source_revision: String,
    pub crate_name: String,
    pub crate_version: String,
    pub toolchain_label: String,
    pub include_paths: Vec<PathBuf>,
    pub generated_files: Vec<GeneratedSourceFile>,
    pub sentinel_files: Vec<PathBuf>,
    pub manifest_policy: SourcePackageManifestPolicy,
}

Request to materialize a package-owned Lean source payload.

The source digest is the cache identity. The other provenance fields make a warm entry self-describing and force rematerialization when caller-visible ownership metadata changes while the payload bytes happen to remain stable.

Fields

source_root: PathBuf

Directory containing the packaged source payload.

cache_root: PathBuf

Caller-owned cache root. The helper owns the layout below it.

package_name: String

Public upstream Lake package name.

materialized_package_name: String

Lake package identifier in the materialized root.

library_name: String

Lean library/root module name.

source_digest: String

Digest of the payload source rule chosen by the caller.

source_revision: String

Source revision, vendoring revision, or another stable source identity.

crate_name: String

Rust crate that owns this payload.

crate_version: String

Rust crate version that owns this payload.

toolchain_label: String

Lean toolchain label to write into the generated lean-toolchain.

include_paths: Vec<PathBuf>

Source-root-relative files or directories to copy recursively.

generated_files: Vec<GeneratedSourceFile>

Files written after copying. These can override copied files when the caller owns generated Lake metadata.

sentinel_files: Vec<PathBuf>

Files that must exist in a valid warm cache entry.

manifest_policy: SourcePackageManifestPolicy

Validation policy for lake-manifest.json.

Trait Implementations

impl Clone for SourcePackageMaterializationRequest

fn clone(&self) -> SourcePackageMaterializationRequest

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SourcePackageMaterializationRequest

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

Formats the value using the given formatter.

impl Eq for SourcePackageMaterializationRequest

impl PartialEq for SourcePackageMaterializationRequest

fn eq(&self, other: &SourcePackageMaterializationRequest) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SourcePackageMaterializationRequest