pub fn verify_graph_binding(
report: &LinkReport,
expected_digest: &str,
user_source: impl FnMut(&Path) -> Option<Vec<u8>>,
) -> Result<(), LinkedProgramError>Expand description
Reconstruct and verify a linked graph from independently verified user sources plus the runtime’s embedded stdlib. Archive verification and direct execution share this boundary so neither can accept a self-consistent but manifest-detached artifact.