Verification results for age-structured models of economic-epidemics dynamics