Function check_history_binding 

pub fn check_history_binding(
    inner: &TypeRef,
    span: Span,
    resolved: &mut ResolvedCommons,
    refs: &mut RefSink,
    tys: &Arc<Types>,
) -> Result<Ty, CompileError>

v0.119 (testing track slice 7, ADR 0155): type-check a for all run: History[Agent] binding. The subject is a run of the agent — a generated, driven call-history — bound as an ordinary List[Step]. Validates the DECISION-B rules (agent-only, every handler parameter generable), registers the synthetic call-sum / step / state record types into resolved.types so the predicate’s List + value surface (.call is …, .old/.new, .accepted) type-checks, and returns the bound List[Step] type.