Function execute_proposal 

pub fn execute_proposal<E: LocalExecutor>(
    runtime: &Runtime<E>,
    canonical: &CanonicalProposal,
    resolved_nodes: &[ResolvedProposalNode],
    authorization: AuthorizationSummary,
    proposal_digest: &str,
    snapshot_digest: &str,
) -> ProposalTrace

Executes a structurally and cross-validated proposal one node at a time in its deterministic execution order, threading data between nodes solely through the proposal’s explicit mappings. Stops at the first failed node with no retry, compensation, or graph mutation (spec 109 FR-008).