pub fn carry(
map: &AssertionMap,
state: &State,
old: &InputManifest,
new: &Inputs,
evidence_digest: &str,
context_changed: bool,
) -> Result<(AssertionMap, State), String>Expand description
Carries explanations, never execution events. Uncertain matches are retained as retired suggestions; no nearest-line heuristic assigns semantic meaning.