Yeah humans can measure progress afterwards but are terrible planners for anything beyond ourselves and next of kin.
At some point your descendants will be too far to remember the reason but not far enough to need it and they’ll stop wasting resources on a nothing activity.
Then in 10,000 years, find that an entire religion, culture, and wars were built around the simple maintenance instructions.
So we have to assume we will maintain the ability for human Mars travel in ten thousand years, that anyone can read English or whatever in ten thousand years, and that the supporting religion didn’t lose any of its wars.
To put this in perspective our first evidence of any human agriculture was 12,000 years ago.