Exploratory notes and proposals for future development of the Agential Semioverse Repository. Entries closure-operators-as-api-contracts encyclopedia-references-for-tokens petri-nets-and-lean programming-skills-linting