Incorrect result from a distributed table full outer join an undistributed table.

[duerwuyi]

DROP TABLE IF EXISTS t0;
create table t0 ( 
vkey int4 ,
c3 timestamp
);

DROP TABLE IF EXISTS t3;
create table t3 ( 
vkey int4 ,
c26 timestamp
);

DROP TABLE IF EXISTS t4;
create table t4 ( 
vkey int4 
);


insert into t0 (vkey, c3) values 
(13,make_timestamp(2019, 10, 23, 15, 34, 50));

insert into t3 (vkey,c26) values 
(1, make_timestamp(2024, 3, 26, 17, 36, 53));

insert into t4 (vkey) values 
(1);

query:

select  *
from 
  (t0 full outer join t3
    on (t0.c3 = t3.c26 ))
where (
    exists (
    select  *
    from 
    t4
    )
);

correct result:

when I make t0 as a distributed table, using SELECT create_distributed_table('t0', 'vkey');
I got incorrect result as following:

this bug can be observed in citus 12.3 and 12.5.