This directory contains unchanged supporting modules from the accepted proof closure. Start with the public topic guides; use MODULES.tsv to locate a particular module. Historical alphabetic prefixes are retained to preserve imports and cached outputs.