zheng/specs/ring-pcs.md ring PCSR_q PCSjali PCSring-aware PCS cyber computer science cryptography entity computer science ฯ 0.0% ring PCS migrated to lens/reference/polynomial-ring Local Graph