Rights — everything claimable, and nothing else
Author: Tsvetan Rouschev · ORCID 0009-0000-7312-9778 · licence CC BY-NC-ND 4.0.
This deposit claims every right that arises without formality, and claims nothing that would require an act it has not performed. Berne Art. 5(2) is the hinge: the enjoyment and exercise of these rights are not subject to any formality, so they are held from the moment of authorship whether or not anyone says so. Saying so anyway costs nothing and removes an argument.
That the claimed set is exactly the without-formality set is not an assertion here — it is decided by the Lean kernel over the whole enumeration, at rights_claims_exactly_what_arises_without_formality. Read one way it says no claimable right is abandoned; read the other, that nothing is claimed which is not already held.
| uuid | status | instrument | why |
|---|---|---|---|
4389d60c-c694 | CLAIMED | copyright in the expression — Berne Art. 5(2), no formality, no notice, no deposit | held from authorship, no formality |
261b594c-c029 | CLAIMED | moral rights: attribution and integrity — Berne Art. 6bis, independent of the economic rights | held from authorship, no formality |
2f3d9ec2-4623 | CLAIMED | sui generis database right in the ledger — Directive 96/9/EC Art. 7, substantial investment in verification | held from authorship, no formality |
133129bf-808b | not claimed | registered trade mark — Paris Art. 6, Madrid Protocol: a registry grants it, an author cannot | a registry grants it — not requested |
ce36ac04-dc49 | not claimed | patent over these methods — EPC Art. 52(2)(a), mathematical methods as such are excluded | excluded subject matter |
68ad7cd8-0296 | not claimed | property in the mathematics itself — a fact is found, not authored, and carries no author's right | not capable of being owned |
ae93b05a-68a4 | not claimed | any claim upon the seven Millennium Prizes — they are the Clay Institute's, and the floor is 0/7 | not capable of being owned |
What follows from the 3 claimed
Attribution and integrity are not waivable here. Berne Art. 6bis moral rights are independent of the economic rights and survive their transfer. Reuse that strips the author's name, or that presents a modified deposit as this one, is refused on that ground alone — separately from the licence.
The ledger is a database, and its investment is the verification. The sui generis right of Directive 96/9/EC Art. 7 protects substantial investment in obtaining, verifying and presenting contents. Every entry here carries a receipt and is re-decided by the kernel on each build; extraction or re-utilisation of a substantial part is reserved.
Priority is evidenced, not asserted. Each release mints an immutable provenance tag and a content address, and the chain of receipts is append-only. That is a record of when, not a right in itself.
What is not claimed, and will not be
No patent is sought over these methods — EPC Art. 52(2)(a) excludes mathematical methods as such, and a claim drafted around that exclusion would be a claim over arithmetic. No property is asserted in the mathematics itself: a fact is found, not authored, and ℤ/9 belongs to nobody. And nothing here touches the seven Millennium Prizes, which are the Clay Mathematics Institute's to award. The floor is 0/7 and this page does not move it.
This states what the instruments say, drafted from their texts. It is not legal advice; rights that depend on a registry depend on a lawyer and a registrar, and neither has been engaged.