Struct CommitConvergence 

pub struct CommitConvergence {
    pub convergence: Convergence,
    pub pass: PassResult,
    pub changed_paths: Vec<String>,
}

What: The settled or stopped result of one commit-path convergence. Why: The caller needs the outcome, the events that explain it, and the paths the loop corrected.

In TS you’d write (pseudocode):

type CommitConvergence = { kind: 'settled' | 'blocked'; pass; changedPaths };

Fields

convergence: Convergence

How the bounded loop ended.

pass: PassResult

The pass whose events describe the outcome.

changed_paths: Vec<String>

Paths whose private-index entry a correction wrote, in first-write order.