Gaps in proofs of Ramanujan's identities

Question

EDIT1:

I understand that there are gaps between full proofs and verification of correct end results obtained by Srinivasa Ramanujan.. lets call this shortcut, for lack of a better appellation.

Among Ramanujan’s implied shortcuts adopted without formal proof, are there among them some results

1. that have never been attempted for proof completion/filling?

2. that were attempted analytically but not yet filled in ?

3. that were coded with intermediate steps consequently filled up with help of a computer software when they could not be brought to a linked analytical /logical conclusion?

Thanks for the references.