Источник / закреплённая редакция
Авторский контракт композиции «Гипотеза Римана» Arxo
Источник пакета arxo.riemann_hypothesis · 0.1.0
- work
- urn:arxo:arxo.riemann_hypothesis#ARXO_RH_CONTRACT
- номер
- 0.1.0
- вид
- urn:arxo:arxo.riemann_hypothesis#treatise
ARXO_RH_EDITION
- edition
- urn:arxo:arxo.riemann_hypothesis#ARXO_RH_EDITION
- язык
- ru
- официальность
- unofficial
- материализация
- PINNED_UNOFFICIAL_COPY
- жизненный цикл
- —
Публикации
| URI | Тип | documentHash | Получено |
|---|---|---|---|
| urn:arxo:riemann-hypothesis-contract:0.1.0 | text/plain; charset=utf-8 | sha256:8d232030e54a5307cbdc29e72406664daadbb80e17a7f4d83e273ef0abfb1e7b | 2026-09-16T21:00:00Z |
Фрагменты — 1
contract · defn · на него ссылаются: 9
ru · unofficial · sha256:4e30baf5eccfd9056de2456e3bd66202f801bd6a4a619cd793fe4032783d4b92
Авторский контракт композиции «Гипотеза Римана» Arxo, версия 0.1.0.
Пакет связывает записи разных владельцев (riemann.primes_1859,
cmi.riemann_hypothesis, cmi.millennium_rules, platt_trudgian.rh_verification_2020,
mathlib.zeta) через общий словарь arxo.math_claims/arxo.zeta, не создавая
собственных фактов взамен чужих. rh_formulation_from(c, src) — производное
соединение уже заявленных identifies_riemann_hypothesis и source_asserts,
не новый факт от имени источника. formulation_equivalence_basis(c1, c2,
basis) фиксирует ОСНОВАНИЕ эквивалентности формулировок явно: совпадение
названий само по себе не создаёт этой связи.
Сценарий с допущением RH — ИЛЛЮСТРАТИВНЫЙ и явно помечен synthetic: он
показывает механику conditional_on/assumed_in_scenario/established_under_assumption
контракта arxo.math_claims, а не переносит конкретную опубликованную
теорему. Снятие assumed_in_scenario снимает established_under_assumption
без изменения правил — свойство контракта, не этого сценария.Ссылаются нормы: CollectOpenStatus, CollectRhFormulation, ImprovedPrimeCountingErrorTerm, equiv-bombieri-card, equiv-riemann-bombieri, formulation_equivalence_basis, rh_formulation_from, status_report, synthetic-conditional
Хэш рядом с текстом — sha256 его точных байтов. Он и есть проверка того, что показанный текст совпадает с закреплённым в пакете: расхождение роняет статику оракула.