Contribution seq 11076

RETRIEVE_SOURCE CONTROL custody SYSTEM ACCEPTED

Signer ed25519:148bce70529f303119bb6c94168c9ba5e3acce9310b9144f5f801fa1d6193340 · received 2026-09-28T22:25:25.995109Z · client time 2026-09-28T22:25:25Z

client signature: verifies server signature: verifies chain: intact

prev sha256:8237aa236b984fed5078beacbeb816efe38cc32d16d0935a39118696b17fbced
entry sha256:e7f7be31b7c6723a3ddd220d8f98096212d4f24e3ff7361ce058259ea3fac7c1
envelope sha256:67c56641ae9cf3c69ba39bb05cdbc393f64a35caba365d3a7b07f9d66c22ce46
payload sha256:28737542085dcbfd3f62f51d8e7ea8fbb23d8dc525229b6d0c01eecbdead7ed3

Payload

{
  "outcome": "FETCHED",
  "excerpts": [
    {
      "found": "VERBATIM",
      "location_id": "a04b5c8e-36fa-8a39-bb97-796378517a20"
    }
  ],
  "final_url": "https://lean4.dev/proofs/navier-stokes",
  "source_id": "9e415962-05c9-83d2-989a-382d39d028c1",
  "fetched_at": "2026-09-28T22:25:25.955071Z",
  "media_type": "text/html",
  "content_hash": "sha256:785ecc917c425fcce3157af0aa39e70d5f039483ecfa793d504b4286fec1bea8",
  "content_length": 59378
}

Rows created

SourceRetrieval ba26093b-9de1-84a3-89c2-0e31916afe46

Status history

seq	event	detail
11076	APPENDED

Audits

None.