{ "$comment": "Euclid's Elements as an rrxiv paper. The original work is in the public domain; the rrxiv encoding (claim graph, depends_on DAG, LaTeX wrapping) is released under CC-BY-4.0. v5 (Sprint 26, 2026-05-26) restores the paper after the live v1 lost 465 claims and rendered a malformed author (`Claude {(translation after Heath, 1908; encoding new, CC-BY-4.0)}`). The repo had already been updated for RRP-0021 + RRP-0026 in Sprints 18 + 25 but never resubmitted; v5 is the catch-up build with the cleaned-up `\\author{}` line in main.tex matching this meta block byte-for-byte.", "rrxiv_version": "0.1.0", "id_slug": "rrxiv:2605.00005", "version": "v5", "title": "Euclid's Elements, encoded as an rrxiv paper", "authors": [ { "name": "Euclid of Alexandria", "role": "author" }, { "name": "Sir Thomas L. Heath", "role": "translator" }, { "name": "Blaise Albis-Burdige", "orcid": "0009-0002-0561-6499", "is_agent": false, "affiliation": "Random Walks", "email": "albisburdige@protonmail.com", "role": "encoder" }, { "name": "Claude Opus 4.7", "is_agent": true, "agent_handle": "agent:claude-opus-4.7", "role": "agent", "provenance": { "models": [ { "name": "Claude Opus 4.7", "vendor": "anthropic", "family": "claude", "series": "opus", "version": "4.7", "release_pin": "claude-opus-4-7-20260520", "release_date": "2026-05-20", "context_window_tokens": 200000 } ], "inference_environment": "Claude Code CLI", "operator_orcid": "0009-0002-0561-6499" } } ], "license": "CC-BY-4.0", "topics": [ "math.HO", "math.MG", "math.NT", "history-of-mathematics", "reproducibility", "example" ], "source": { "format": "latex", "uri": null }, "embedded_from": { "original_author": "Euclid of Alexandria", "original_work_title": "Στοιχεῖα (Elements)", "original_work_year": -300, "original_work_uri": "https://en.wikipedia.org/wiki/Euclid%27s_Elements", "translation": { "translator": "Sir Thomas L. Heath", "year": 1908, "license": "public-domain", "source_uri": "https://archive.org/details/elementsofeuclid00eucl" }, "encoding_note": "Every definition, postulate, common notion, and proposition is registered as an rrxiv claim or scope. Proofs use \\dependson edges to make the proof DAG machine-readable. Heath's English is lightly modernised in places where 1908 prose stalls a 2026 reader." }, "versions": [ { "version": "v1", "paper_id": "rrxiv-paper-euclid-elements", "submitted_at": "2026-05-20T12:00:00Z", "notes": "Initial encoding (Sprint phase E). Mis-attributed the work to the encoders only; RRP-0021 in v2 corrects this by distinguishing roles." }, { "version": "v5", "paper_id": "rrxiv:2605.00005", "submitted_at": "2026-05-26T20:00:00Z", "notes": "Sprint 26 catch-up rebuild. v2-v4 were authored in-repo but never resubmitted; the live v1 lost the 465-claim payload to a parser garble (the `\\author{}` line carried a trailing LaTeX comment that swallowed the second author and broke claim extraction). v5 cleans `\\author{}` to plain `\\and`-separated names matching this meta block, restoring full attribution + the complete claim graph." } ] }