I'll get straight to the elephant in the room and I'm even ignorant enough to ask it before I tried to find out myself (though at gun point I would lean more towards one that the other). Is it homoiconic?

I am now convinced that the standard Ruby syntax is itself a DSL.

Not only is it proven, it is also tested.

I am not a genius like Knuth, who only needs to prove things.