- build-spec: replace outdated notes about empty base with auto-stub info
- build-spec: add dump notes about irreversible type loss in empty base
- epf-guide: add build/dump section explaining auto-stub and base requirement
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>