Abstract Specification of PKC/Goal

Ensure PKC will be a system that is future-proof and scalable, eliminating design dependencies on extant data storage, communication, and computation tools while allowing for continuous improvement without jeopardizing the primary function of automating logical correctness evaluation.