We’ve agreed that we want to have something simple and useful for DisAgg verification soon(ish), but we still need to figure out the importance of implementing steps such as checking by other components or coherence checking between the stable and ingest btrees. This ticket is a reminder to discuss and clarify the importance of these steps and decide when we want to plan and schedule their implementation.

Please see the doc for more details.