Skip to main content

materialize

lean_ctx::core::engine_interface::context_plan

Function materialize 

Source 
pub fn materialize(
    root: &Path,
    request: &EngineContextSourceMaterializationRequestV1,
) -> Result<EngineContextSourceMaterializationResponseV1, &'static str>
Expand description

Replan and materialize an explicit source plan using the canonical planner.

The presentations and the lineage recorded here belong to the presenter of the request in scope (core::archive::presented, “Presenters”): this process, unless presenter::materialize_v2 runs it under an issued capability. No field of request names or selects a presenter.