rexminnis commented on PR #2620: URL: https://github.com/apache/iceberg-rust/pull/2620#issuecomment-5503664729
Good catch — the lifetime table tells us *when* validation runs and what must be recomputed on rebase, but not *what* the predicates are. Those two halves compose naturally: each conflict predicate (conflicting appends, conflicting deletes, added-files-match-filter, data-files-exist, deleted-manifests, …) has inputs that are either base-dependent (recompute per invariant 1) or attempt-stable (reusable while the base holds). I'd be happy to draft that as a companion section: one row per predicate with its requiring operation, inputs classified by lifetime, and the forced-conflict test that proves it — mirroring Java's MergingSnapshotProducer validations so nothing from the previous document is lost. From the rewrite-files side we already have test evidence for the conflicting-delete case. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
