sync(hf): mirror GitHub-canonical lean_commit_sha pins to live Space (additive)

sync drifted modules to GitHub source-of-truth (clear drift backlog)

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): complete build context — fix BUILD_ERROR (CTO)

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