لَمْ يَثْبُتِ الْغِشُّ. لَمْ تَقُمْ عَلَيْهِ بَيِّنَةٌ.
Dishonesty was not established. No evidence substantiated it.
Here the second clause can reinforce the first, restating its evidentiary basis. If the first presents a general meaning and the second replaces it with the intended more precise content, substitution (badal) may be relevant.
Both reinforcement and substitution involve strong semantic unity, unlike istiʾnāf where a second clause answers an implied question. The absence of wāw is not sufficient by itself to identify the kind of separation.