Struct RetrySurface 

pub struct RetrySurface<'a> {
    pub modules: &'a BTreeSet<String>,
    pub mode: SurfaceMatch,
    pub block: &'a str,
}

The authoritative surface the retry loop gates and grounds against — the three facets of “the project’s real import surface”, grouped so the loop’s signature stays small.

Fields

modules: &'a BTreeSet<String>

The module set the gate resolves imports against (R1’s known_modules()).

mode: SurfaceMatch

Strictness of the project-surface match (Exact default; see SurfaceMatch).

block: &'a str

R1’s rendered surface block (FfiManifest::render_block), injected into the corrective prompt to ground the re-attempt.