{"id":"stream-join-correctness-depends-on-window-alignment","text":"Stream join correctness depends on consistent alignment across three independent window mechanisms: join and aggregation windows are configured independently with no constraint preventing misalignment, expiration uses a one-sided cutoff that doesn't match the symmetric matching predicate, and buffer size is bounded only by the window duration relative to watermark advancement rate.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["join-window-and-aggregation-window-are-independent","expiration-cutoff-is-one-sided-despite-symmetric-matching","buffer-bounded-by-window-plus-lateness"],"outlist":[],"label":"Three independently configured window mechanisms must stay semantically aligned without enforcement"}],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"stream-join-correctness-depends-on-window-alignment","truth_value":"IN","reason":"SL justification valid","antecedents":["join-window-and-aggregation-window-are-independent","expiration-cutoff-is-one-sided-despite-symmetric-matching","buffer-bounded-by-window-plus-lateness"],"label":"Three independently configured window mechanisms must stay semantically aligned without enforcement"},{"node":"join-window-and-aggregation-window-are-independent","truth_value":"IN","reason":"premise"},{"node":"expiration-cutoff-is-one-sided-despite-symmetric-matching","truth_value":"IN","reason":"premise"},{"node":"buffer-bounded-by-window-plus-lateness","truth_value":"IN","reason":"premise"}]}}