let modelDomRes;
pub fn check(dom:&rbx_dom_weak::WeakDom)->CheckReport{
	// empty report with all checks failed
	let mut report=CheckReport::default();

	// extract the root instance, otherwise immediately return
	let Ok(model_instance)=get_root_instance(&dom)else{
		return report;
	};

	report.exactly_one_root=true;

	if model_instance.class=="Model"{
		report.root_is_model=true;
	}
	if model_instance.name==model_instance.name.to_snake_case(){
		report.model_name_is_snake_case=true;
	}

	// extract model info
	let MapInfo{display_name,creator,game_id}=get_mapinfo(&dom,model_instance);

	// check DisplayName
	if let Ok(display_name)=display_name{
		if !display_name.is_empty(){
			report.has_display_name=true;
			if display_name==display_name.to_title_case(){
				report.display_name_is_title_case=true;
			}
		}
	}

	// check Creator
	if let Ok(creator)=creator{
		if !creator.is_empty(){
			report.has_creator=true;
		}
	}

	// check GameID
	if game_id.is_ok(){
		report.model_name_prefix_is_valid=true;
	}

	// === MODE CHECKS ===
	// count objects
	let mut counts=Counts::new();
	for instance in dom.descendants_of(model_instance.referent()){
		if class_is_a(instance.class.as_str(),"BasePart"){
			// Zones
			match instance.name.parse(){
				Ok(Zone::Start(mode_id))=>*counts.mode_start_counts.entry(mode_id).or_insert(0)+=1,
				Ok(Zone::Finish(mode_id))=>*counts.mode_finish_counts.entry(mode_id).or_insert(0)+=1,
				_=>(),
			}
			// Spawns
			let spawn_pattern=lazy_regex::lazy_regex!(r"^Spawn(\d+)$");
			if let Some(captures)=spawn_pattern.captures(instance.name.as_str()){
				if let Ok(spawn_id)=captures[1].parse(){
					*counts.spawn_counts.entry(SpawnID(spawn_id)).or_insert(0)+=1;
				}
			}
			// WormholeOuts
			let wormhole_out_pattern=lazy_regex::lazy_regex!(r"^WormholeOut(\d+)$");
			if let Some(captures)=wormhole_out_pattern.captures(instance.name.as_str()){
				if let Ok(wormhole_out_id)=captures[1].parse(){
					*counts.wormhole_out_counts.entry(WormholeOutID(wormhole_out_id)).or_insert(0)+=1;
				}
			}
		}
	}

	// MapStart must exist && there must be exactly one of any bonus start zones.
	if counts.mode_start_counts.get(&ModeID::MAIN)==Some(&1)
	 &&counts.mode_start_counts.iter().all(|(_,&c)|c==1){
		report.exactly_one_mapstart=true;
	}
	// iterate over start zones
	if counts.mode_start_counts.iter().all(|(mode_id,_)|
		// ensure that at least one end zone exists with the same mode id
		counts.mode_finish_counts.get(mode_id).is_some_and(|&num|0<num)
	){
		report.at_least_one_mapfinish=true;
	}
	// Spawn1 must exist
	if counts.spawn_counts.get(&SpawnID::FIRST).is_some(){
		report.spawn1_exists=true;
	}
	if counts.spawn_counts.iter().all(|(_,&c)|c==1){
		report.no_duplicate_spawns=true;
	}
	if counts.wormhole_out_counts.iter().all(|(_,&c)|c==1){
		report.no_duplicate_wormhole_out=true;
	}

	report
}