a11oy / docs

Commit History

Yesterday

  1. deploy(hf): sync szl-holdings/a11oy@b65dff2284b1fd2501e4d41fabbc44cdb010e10f derived COPY set⁠

    Verified signature
    94835a0

5 days ago

  1. deploy(hf): sync szl-holdings/a11oy@d18843d0fd3ee285df73af7fd0f015393fb80f5a derived COPY set⁠

    Verified signature
    6357992

6 days ago

  1. deploy(hf): sync szl-holdings/a11oy@30c2788dfc4d64d9585c3c01e6f4a03363956ead derived COPY set⁠

    Verified signature
    15ac682

11 days ago

  1. deploy(hf): sync szl-holdings/a11oy@af5d35f04da0f660b61d80fa9b0bb0a89ab22bde derived COPY set⁠

    Verified signature
    7e809ad

12 days ago

  1. deploy(hf): sync szl-holdings/a11oy@218b8f1667c5e0cedf05e5a3e1a0689ba2f60e09 derived COPY set⁠

    Verified signature
    4d677aa
  2. deploy(hf): sync szl-holdings/a11oy@3e3c60d10217db7c5278f8ca099c9c9f25588efb derived COPY set⁠

    Verified signature
    b24a544

13 days ago

  1. deploy(hf): sync szl-holdings/a11oy@c0c7e9578d56b08f35fc30262410c3de7396e0a2 derived COPY set⁠

    Verified signature
    dfd3757
  2. deploy(hf): sync szl-holdings/a11oy@78a9e1a9c306e359eddced7a543323ad91f41413 derived COPY set⁠

    Verified signature
    c7381a5
  3. deploy(hf): sync szl-holdings/a11oy@d0decc4f6b51145a9bebb735ad13f135403687b6 derived COPY set⁠

    Verified signature
    b31179f

14 days ago

  1. deploy(hf): sync szl-holdings/a11oy@54dbec0cc42e4b35913f48b2a24d443090b71977 derived COPY set⁠

    Verified signature
    c130d8a

17 days ago

  1. deploy(hf): sync szl-holdings/a11oy@f80d5be6dbbcd61e382809af9781a3bb1a307dd9 derived COPY set⁠

    Verified signature
    f189a55

19 days ago

  1. deploy(hf): sync szl-holdings/a11oy@1b4f64342d5be7da809fd1448b00e9654ca4fbd2 derived COPY set⁠

    Verified signature
    3ac5803

21 days ago

  1. deploy(hf): sync szl-holdings/a11oy@0b01ec5451c447458d59bda09d0b9261ce986faf derived COPY set⁠

    Verified signature
    2521a51
  2. deploy(hf): sync szl-holdings/a11oy@0b81f2c7e227e59e824330cedd4069e0370b2f49 derived COPY set⁠

    Verified signature
    351a601

24 days ago

  1. deploy(hf): sync szl-holdings/a11oy@010879737c7f95a564fe01e7b097b113b47f6667 derived COPY set⁠

    betterwithage +1: Claude Opus 4.7
    Verified signature
    cc92143

25 days ago

  1. deploy(hf): sync szl-holdings/a11oy@7ccaf34cd0dfedb1f1cfe4ee7c9235457624516a derived COPY set⁠

    betterwithage +1: Claude Opus 4.7
    Verified signature
    0a53108
  2. deploy(hf): sync szl-holdings/a11oy@27f1befc76705152d63809aa79fa566787427820 derived COPY set⁠

    betterwithage +1: Claude Opus 4.7
    Verified signature
    52c0535
  3. deploy(hf): sync szl-holdings/a11oy@263e5a3cbfda3dbb4d3c3dc8820968cecbed3d3e derived COPY set⁠

    betterwithage +1: Claude Opus 4.7
    Verified signature
    f8828c1
  4. deploy(hf): sync szl-holdings/a11oy@4d1c33105be603b6d694817c87001acb7a05857d derived COPY set⁠

    betterwithage +1: Claude Opus 4.7
    Verified signature
    39019d2
  5. deploy(hf): sync szl-holdings/a11oy@f69fd610d1e9a15e6755fbb6e1c2e18f0ffefed4 derived COPY set⁠

    betterwithage +1: Claude Opus 4.7
    Verified signature
    59c3fb0
  6. deploy(hf): sync szl-holdings/a11oy@bf0a5445320f2f1f3c92d95e683f7bd50ce7ab4f derived COPY set⁠

    betterwithage +1: Claude Opus 4.7
    Verified signature
    a52515d
  7. deploy(hf): sync szl-holdings/a11oy@ba837f2f490219d0e7a62b3ecd90940892275633 derived COPY set⁠

    betterwithage +1: Claude Opus 4.7
    Verified signature
    e0f9b21

27 days ago

  1. sync: follow GitHub main to 1468bcb1 (53 shipped files) — protected-base parity (#21)⁠

    6efc05b

28 days ago

  1. sync: follow GitHub main to 0f4a1d6a (12 shipped files) — protected-base parity (#18)⁠

    55b378d
  2. sync: follow GitHub main to 17074295 (6 shipped files) — keep protected-base parity green (#16)⁠

    641c1ff

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

    Verified signature
    9b8541f
  2. chore(sync): mirror backend .py + Dockerfile to Space (hf-sync-backend)⁠

    Verified signature
    8cc7b63

  1. Task #695: relabel phantom Lean citations in theorem-runtime-manifest (md5 parity w/ GitHub)⁠

    Verified signature
    f374b2e

  1. fix(policy): repoint T4 BekensteinEntropyMeasure gate at real proven TH6 (Lutar/DPI/DPIBound.lean); drop phantom citation

    Verified signature
    1fdd5f0
  2. T4 Bekenstein honesty: provable DPI byte bound, drop unjustified physical constant (mirror GH 122e651)⁠

    Verified signature
    1e7793b

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

    Verified signature
    a6a5d8e