In October 2025, s59fpern contributed to the pi-base/data repository by developing formal property documentation for two topologies, focusing on enhancing dataset traceability and supporting research reproducibility. Using Markdown and mathematical proof techniques, s59fpern authored detailed documentation files that specify and justify the non-semiregularity of the Divisor topology and the absence of isolated points in the Nested interval topology. The work embedded clear commit messages and linked issues to facilitate future maintenance and quality assurance. This targeted effort improved the depth and clarity of topological property coverage, laying a foundation for robust data curation and future dataset extensions.