deploy(hf): sync szl-holdings/a11oy@main derived COPY set

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

deploy(hf): sync szl-holdings/a11oy@main derived COPY set

deploy(hf): sync szl-holdings/a11oy@main derived COPY set

reconcile doctrine README: locked formulas 5->8 to match GitHub authoritative + doctrine v11 lock

fix(drift-heal): sync corpus/formulas/a11oy__gates_manifest.json to GitHub canonical (lean_commit_sha b675cd84)

sync(hf): mirror corpus theorem-runtime-manifest doctrine fix to live Space (additive)

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

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

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)

sync: a11oy__HONEST_DISCLOSURE.md to canonical (retired-organs notice) — heal hf-module-drift

chore(align): sync locked-8 merged files (STATUS, console, corpus README, a11oy_code_engine) byte-identical to GitHub main

fix(org-rag): in-image corpus mirror for GitHub-only categories (egress fix)

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