الْمُطَابَقَةَ تُعْتَبَرُ فِي الْحَقِّ مِنْ جَانِبِ الْوَاقِعِ، وَفِي الصِّدْقِ مِنْ جَانِبِ الْحُكْمِ
In ḥaqq correspondence is considered from the side of reality; in ṣidq, from the side of the judgment.
This distinguishes two perspectives on the same relation, not two independent worlds of truth. The focus in ḥaqq is reality's conformity; in ṣidq, the asserted judgment's agreement with the facts.
“The sun has risen” can be assessed under either consideration, but the underlying state of affairs is one.