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

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

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

instill locked-8: sync knowledge corpora to GitHub (byte-identical; F4/F7/F22 + count 5->8)

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)

add capability_map (theorem->mechanism wiring) to a11oy proof_summary

FIX: honest proven count + Live System Map redesign (service-health dashboard)

sync(space): complete build context — fix BUILD_ERROR (CTO)

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