Skip to main content

required_ids

scc_context::surface

Function required_ids 

Source 
pub fn required_ids(
    map: &SystemSurfaceMap,
    compiler: &ContextCompiler<'_>,
) -> BTreeSet<String>
Expand description

Entries the pipeline MUST never omit: critical invocation surfaces (non-empty invocation_surfaces), invariant-enforcing APIs (contracts containing an invariant name), primary flow entrypoints (entrypoint of a triggered flow), and state owners of critical (invariant-scoped) state. Entries the pipeline MUST never omit (engine ranking seam: same set build_surface partitions on, so ranking.symbols criticality matches).