The initial WT DisAgg verification implementation does not include ingest table verification, as the current session->verify() logic only validates checkpointed content, and ingest tables do not have checkpoints.

Since implementing ingest table verification requires additional effort, it was decided to address it in a separate ticket (this one).

The current idea for verifying ingest tables involves using timestamp cursors to traverse the B-tree, followed by applying the existing logic to verify the B-tree. However, the scope of this ticket also includes investigating whether this is the only (or the best) approach.

Note that this ticket does not cover verification of invariants between ingest and stable tables. It was created for investigating and implementing verification ingest tables separately using the current logic. 

You can (possibly) find more information in the live document.