FND-002 Phase A synthetic proof

Overall: PASS

Passed: 56; Failed: 0

Only aggregate synthetic results are exposed.