M05-v1 complete-original candidate. Start with THEOREM.txt and original-mapping.json. Complete proof chain is in proof/01..05. Original frozen proof wording is preserved. owner-review.txt and review.json give current assessment; dependency-map.json maps all imported files to deduplicated hashed copies under dependencies/. Input verification covers each imported frozen receipt. manifest.json is authoritative for this immutable candidate. No publication or external acceptance.
