one of my favorite parts of the project was making this automatically generated proof map. here is the proof map for the headline result: [gaearon.github.io/conway-refin...](https://gaearon.github.io/conway-refinement/#/map/conway-refinement )
https://eurosky.social/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreibnzpzy4pzvwvca5724fbzazg7ijwhyud2ra5gbspwtyraipo226e
dan
npub1up…dczka
2026-09-02 11:48:26 UTC
in reply to nevent1q…kl23
Author Public Key
npub1up3tvsmxq38nv6u7twyrl3x6jy35tjak4z80jv63fl9f6aluej2qcdczkaSeen on
wss://relay.momostr.pinkPublished at
2026-09-02 11:48:26 UTCEvent JSON
{
"id": "1ffe1db4d16a2914c3a64c1ac92f530e8345ad144a02f93ea630cfd0f9addc7b",
"pubkey": "e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94",
"created_at": 1788349706,
"kind": 1,
"tags": [
[
"e",
"b73dff16818c900fbacf846fd67f20f1b44ca6ecfafcab1d1f01d1336bb877b2",
"",
"reply",
"e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94"
],
[
"p",
"e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94"
],
[
"e",
"79f6986716cda2329033a042680e8011dfa54895727e56e54fdc0a43fe9b0caa",
"",
"root",
"e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94"
],
[
"imeta",
"url https://eurosky.social/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo\u0026cid=bafkreibnzpzy4pzvwvca5724fbzazg7ijwhyud2ra5gbspwtyraipo226e",
"m image/jpeg"
],
[
"proxy",
"https://fed.brid.gy/r/https://bsky.app/profile/did:plc:fpruhuo22xkm5o7ttr2ktxdo/post/3mujuijssmc2s",
"web"
],
[
"proxy",
"https://bsky.brid.gy/convert/ap/at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mujuijssmc2s",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://bsky.brid.gy/convert/ap/at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mujuijssmc2s",
"pink.momostr"
],
[
"-"
]
],
"content": "one of my favorite parts of the project was making this automatically generated proof map. here is the proof map for the headline result: [gaearon.github.io/conway-refin...](https://gaearon.github.io/conway-refinement/#/map/conway-refinement )\nhttps://eurosky.social/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo\u0026cid=bafkreibnzpzy4pzvwvca5724fbzazg7ijwhyud2ra5gbspwtyraipo226e\n",
"sig": "eeedc6b48ad9bdd82fef563b14a4d663828c8b77a71f904914f777a2382187ef0a7b93fe18fed52a03fbbb7d7b6fe2ddd31c5106ed05b0c807c6f02250b88bdf"
}