pub fn validate_runtime_context_registry(
model: &ApplicationSemanticModel,
optimized: &OptimizedContextIrReport,
registry: &RuntimeContextRegistry,
) -> Vec<RuntimeContextRegistryValidationDiagnostic>Expand description
Validate that the G12 registry is one exact, deterministic projection of G9-G11 facts. Validation does not recover or synthesize any missing record.