Spaces:
Running
Running
Commit History
-
sync(hf): mirror GitHub-canonical lean_commit_sha pins to live Space (additive)
Verified signatureHF Space module-drift guard flagged 5 COPY'd modules whose lean_commit_sha pin diverged: the Space still carried the old 1dca0003 pin while the GitHub source-of-truth was bumped to b675cd84 (the lutar-lean commit pinned by the new theorem-runtime-manifest). GitHub is the source-of-truth (Dockerfile COPY); byte-copy GitHub->Space so GitHub==Space. Files: gates_manifest.json + 4 policy gate .ts (certifiedRobustness, gaussianMechanismDP, rdpComposition, reedSolomonSingleton). No logic changed; only the lean commit pin string.e956545
-
sync drifted modules to GitHub source-of-truth (clear drift backlog)
Verified signatureReconcile GitHub<->HF module drift: sync the live Space to its GitHub source-of-truth (szl-holdings) so the org hf-module-drift guard's allowlist backlog can be cleared. GitHub is the build source-of-truth (Dockerfile COPY); these files were drifted/missing on HF.4ee7081
-
fix(policy): repoint T4 BekensteinEntropyMeasure gate at real proven TH6 (Lutar/DPI/DPIBound.lean); drop phantom citation
Verified signature1fdd5f0 -
T4 Bekenstein honesty: provable DPI byte bound, drop unjustified physical constant (mirror GH 122e651)
Verified signatureByte-identical mirror of szl-holdings/a11oy commit 122e651.1e7793b
-
sync(space): complete build context — fix BUILD_ERROR (CTO)
Verified signatureFull git working tree incl packages/**/src TS workspace. Doctrine v11, SLSA L1 honest.518343a -
sync(space): full source mirror — resolve all GitHub<->Space drift (CTO)
Verified signatureMirror complete git working tree so the Dockerfile build has every file. Doctrine v11, SLSA L1 honest.a6a5d8e