You're probably right... Since
A. carvalhoi comes from Guaramiranga and region (high, colder, relictual rainforest area).
Is there any place we could find a diagnosis on this species? I saw the thumbnail of the
A. rochai pic on CorydorasWorld (not a member there), and it seems very close to this fish, including the dorsal fin pattern... But I'm not sure of it.
Never thought it would be so difficult to find pics of a little fishie that is so common here... But it seems this species is mostly overlooked by hobbyists and LFSs here.
Best regards.
Daniel.