The Developer Hub is indeed for… developers, not protocol researchers. I hear you regarding having a “formalized” paper, but is intentional to NOT focus on that at this stage. We are still iterating and discovering new emergent properties as we speak. That being said we may pickup this work pretty soon.