Who will provide a guarantee that the caches are truly transparent and will not trigger any new bugs? Essentially, you would need to prove the statement "if a

Who will provide a guarantee that the caches are truly transparent and will not trigger any new bugs? Essentially, you would need to prove the statement "if a system works well with caches off, then it works well with caches on" to the satisfaction of whatever authority is giving you such stringent requirements.