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)