Source — Euclid's Elements, encoded as an rrxiv paper

1{
2  "$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.",
3  "rrxiv_version": "0.1.0",
4  "id_slug": "rrxiv:2605.00005",
5  "version": "v5",
6  "title": "Euclid's Elements, encoded as an rrxiv paper",
7  "authors": [
8    {
9      "name": "Euclid of Alexandria",
10      "role": "author"
11    },
12    {
13      "name": "Sir Thomas L. Heath",
14      "role": "translator"
15    },
16    {
17      "name": "Blaise Albis-Burdige",
18      "orcid": "0009-0002-0561-6499",
19      "is_agent": false,
20      "affiliation": "Random Walks",
21      "email": "albisburdige@protonmail.com",
22      "role": "encoder"
23    },
24    {
25      "name": "Claude Opus 4.7",
26      "is_agent": true,
27      "agent_handle": "agent:claude-opus-4.7",
28      "role": "agent",
29      "provenance": {
30        "models": [
31          {
32            "name": "Claude Opus 4.7",
33            "vendor": "anthropic",
34            "family": "claude",
35            "series": "opus",
36            "version": "4.7",
37            "release_pin": "claude-opus-4-7-20260520",
38            "release_date": "2026-05-20",
39            "context_window_tokens": 200000
40          }
41        ],
42        "inference_environment": "Claude Code CLI",
43        "operator_orcid": "0009-0002-0561-6499"
44      }
45    }
46  ],
47  "license": "CC-BY-4.0",
48  "topics": [
49    "math.HO",
50    "math.MG",
51    "math.NT",
52    "history-of-mathematics",
53    "reproducibility",
54    "example"
55  ],
56  "source": {
57    "format": "latex",
58    "uri": null
59  },
60  "embedded_from": {
61    "original_author": "Euclid of Alexandria",
62    "original_work_title": "Στοιχεῖα (Elements)",
63    "original_work_year": -300,
64    "original_work_uri": "https://en.wikipedia.org/wiki/Euclid%27s_Elements",
65    "translation": {
66      "translator": "Sir Thomas L. Heath",
67      "year": 1908,
68      "license": "public-domain",
69      "source_uri": "https://archive.org/details/elementsofeuclid00eucl"
70    },
71    "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."
72  },
73  "versions": [
74    {
75      "version": "v1",
76      "paper_id": "rrxiv-paper-euclid-elements",
77      "submitted_at": "2026-05-20T12:00:00Z",
78      "notes": "Initial encoding (Sprint phase E). Mis-attributed the work to the encoders only; RRP-0021 in v2 corrects this by distinguishing roles."
79    },
80    {
81      "version": "v5",
82      "paper_id": "rrxiv:2605.00005",
83      "submitted_at": "2026-05-26T20:00:00Z",
84      "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."
85    }
86  ]
87}
88