flattenedRecordIds property

List<String> flattenedRecordIds

Inner checkpoints whose text was folded into this one by the depth cap (issue #148 D5: nesting depth ≤ 4, flattening merges the deepest level's text and covers transitively). Those records stop counting for nesting depth — they are dead nodes in the checkpoint DAG.

Implementation

final List<String> flattenedRecordIds;