fix(citations): repoint 7 phantom proofs to real Lean (task #938)

chore(sync): mirror backend .py + Dockerfile to Space (hf-sync-backend)

Task #695: relabel phantom Lean citations in theorem-runtime-manifest (md5 parity w/ GitHub)

fix(policy): repoint T4 BekensteinEntropyMeasure gate at real proven TH6 (Lutar/DPI/DPIBound.lean); drop phantom citation

T4 Bekenstein honesty: provable DPI byte bound, drop unjustified physical constant (mirror GH 122e651)

sync(space): full source mirror — resolve all GitHub<->Space drift (CTO)