CDUFD Framework: A Conditional Construction within the A1–A4 Solution Space (A Non-emptiness Example under the A2 Conjecture) | Synapse