64f0ef35c057d14b41845935de119c9767a7bd91ab839a854b7bcd6e2f694abd  PROOF.md
c0e67d9f7b54f4f3e8e619e4782225cba8b1014e83510f55f87650aeeda4fea9  audit_H_polynomial_transfer_20261029.py
bff80bf42158d772abb488d69e77bb3b64f1bdebb3146413c9f17c2669a84d93  H_polynomial_transfer_audit_20261029.json
