Whether claimed differentiators would survive a fact check from contract-mod | SmartSolo AI