Skip to main content

execute

lean_ctx::core::engine_interface::source_execution

Function execute 

Source 
pub fn execute(
    root: &Path,
    task: &TaskEnvelopeV1,
    declared_plan: &ExecutionPlanV1,
    request: &EngineContextSourceMaterializationRequestV1,
    authority: &HostReceiptAuthority,
) -> Result<SourceExecutionResult, &'static str>
Expand description

A caller declaration is not a scheduler recommendation or source authorization. The immutable kernel decision supplies the context binding in this process.