@@ -798,23 +798,25 @@ bt_check_level_from_leftmost(BtreeCheckState *state, BtreeLevel level)
798798 * target page:
799799 *
800800 * - That every "real" data item is less than or equal to the high key, which
801- * is an upper bound on the items on thepages (where there is a high key at
802- *all -- pages that are rightmost lack one) .
801+ * is an upper bound on the items on thepage. Data items should be
802+ *strictly less than the high key when the page is an internal page .
803803 *
804- * - That within the page, every "real" item is less than or equal to the item
805- * immediately to its right, if any (i.e., that the items are in order within
806- * the page, so that the binary searches performed by index scans are sane).
804+ * - That within the page, every data item is strictly less than the item
805+ * immediately to its right, if any (i.e., that the items are in order
806+ * within the page, so that the binary searches performed by index scans are
807+ * sane).
807808 *
808- * - That the last item stored on the page is less thanor equal to the first
809- *"real" data item on the page to the right (if such a first item is
809+ * - That the lastdata item stored on the page isstrictly less than the
810+ *first data item on the page to the right (when such a first item is
810811 * available).
811812 *
812- * -That tuples report that they have the expected number of attributes.
813- *INCLUDE index pivot tuplesshould not contain non-key attributes.
813+ * -Various checks on the structure of tuples themselves. For example, check
814+ *that non- pivot tupleshave no truncated attributes.
814815 *
815816 * Furthermore, when state passed shows ShareLock held, function also checks:
816817 *
817- * - That all child pages respect downlinks lower bound.
818+ * - That all child pages respect strict lower bound from parent's pivot
819+ * tuple.
818820 *
819821 * - That downlink to block was encountered in parent where that's expected.
820822 * (Limited to heapallindexed readonly callers.)