The common attributes are $R_1\cap R_2=\{C\}$.
Consider A.
If $C$ is a candidate key of $R_1$, then $C\to ACD$.
Thus, $(R_1\cap R_2)\to R_1$.
Therefore, the binary decomposition is lossless.
So A is correct.
Consider B.
A lossless join does not require a one-to-one correspondence between tuples.
One tuple in one component may correctly join with several tuples in the other component.
The important condition is that the join reconstructs exactly the original relation.
So B is incorrect.
Consider C.
A lossy decomposition can generate spurious tuples during the natural join.
Thus the join may contain tuples that were not in the original relation.
So C is correct.
Consider D.
Projection removes attributes and, under relational set semantics, duplicate projected tuples collapse into one tuple.
Therefore, a projected relation can have fewer tuples than the original relation even when the decomposition is lossless.
Hence D is correct.