chore(sync): mirror backend .py + Dockerfile to Space (hf-sync-backend) 8fa0893 verified betterwithage commited on Jul 21
deploy(hf): sync szl-holdings/a11oy@main derived COPY set a0f8a7d verified betterwithage Claude Opus 4.7 commited on Jul 16
fix(drift-heal): sync corpus/formulas/a11oy__gates_manifest.json to GitHub canonical (lean_commit_sha b675cd84) 04dddc7 verified betterwithage commited on Jun 15
sync(hf): mirror corpus theorem-runtime-manifest doctrine fix to live Space (additive) 638a721 verified betterwithage commited on Jun 14
fix(citations): repoint 7 phantom proofs to real Lean (task #938) 9b8541f verified betterwithage commited on Jun 14
chore(sync): mirror backend .py + Dockerfile to Space (hf-sync-backend) e7c45ca verified betterwithage commited on Jun 12
chore(sync): mirror backend .py + Dockerfile to Space (hf-sync-backend) 8c6af52 verified betterwithage commited on Jun 12
Task #695: relabel phantom Lean citations in theorem-runtime-manifest (md5 parity w/ GitHub) f374b2e verified betterwithage commited on Jun 11
fix(org-rag): in-image corpus mirror for GitHub-only categories (egress fix) 545c5f9 verified betterwithage commited on Jun 10
chore(sync): mirror backend .py + Dockerfile to Space (hf-sync-backend) 7d695cb verified betterwithage commited on Jun 10
betterwithage commited on 
