Struct CommitConvergenceInput 

pub struct CommitConvergenceInput<'a, F: RepositoryFacts> {
    pub request: &'a StageRequest,
    pub checks: &'a mut ShippedChecks<F>,
    pub stage: PrivateStage<'a>,
}

What: Everything one commit-path convergence reads and writes. Why: The request, the shipped checks and the private index travel together, so no caller can pair them wrongly.

In TS you’d write (pseudocode):

type ConvergenceInput = { request; checks; stage };

Fields

request: &'a StageRequest

The pre-forward stage request the passes run under.

checks: &'a mut ShippedChecks<F>

The shipped checks whose facts read the private index.

stage: PrivateStage<'a>

The private index and object store the corrections are written to.