The goal of this ticket is to implement some initial verification logic for DisAgg layered tables. That basically should include applying the existing verification logic that could be easily ported for both ingest and stable tables.

Our intention is to start with something simple and useful, and then extend it further - this seems like a good starting point.

While implementing this step, I assume we will gain a better understanding of what checks and logic could be included in the second and third steps.

Please check the corresponding document section for more details. This step also includes investigating all the points of interest mentioned in the doc.