I’m not finding the posts I wanted to reply to, and the conversation is interesting.
Back to what seems to be my personal obsession here:
All men are sinners
John is a man
Therefore John is a sinner
Likewise:
All of creation is going to perish in judgement (unless saved)
Mary is part of creation
Therefore Mary will perish in judgement (unless saved)
Salvation only comes through Christ’s finished work on the cross
There is no other way to be saved
Therefore Mary was saved through Christ’s finished work on the cross
In order to be saved, one must first have the status (logically, not necessarily chronologically) of a sinner
He came to call not the righteous but the sinners
He called Mary
Therefore she must have been a sinner at some point logically (although that does
not mean she actually sinned or that sin touched her)
In order to have Christ’s righteousness she had to renounce her own
Therefore she rejected her own righteousness in order to obtain His
Therefore in some sense she regarded her own righteousness as faulty
Again, in Romans 11 Paul states (roughly, I don’t have a Bible here

) that all things were shut up in sin that some might be saved - unless something was deemed to be sin it cannot be saved. Therefore at some point, logically, in order to be saved, Mary must have been reckoned as a sinner, even if it never happened chronologically.