v1.0.2 — privacy-sanitized submission artifact

Privacy-sanitized immutable submission snapshot. The mathematical proof payload is unchanged; this revision adds explicit statement domains to Lemmas 4.4 and 6.1, removes prior confidential development history from the public repository, omits detailed shared-host metadata, and publishes a replay transcript whose working-directory path is normalized to .