Map instantiation diagnostics

Support detection diagnostics

Detection method	Context type	`failIfMajorPerformanceCaveat`	Result	Errors