Источник / закреплённая редакция
Целочисленное прочтение делимости Arxo
Источник пакета arxo.integer_divisibility · 0.1.0
- work
- urn:arxo:arxo.integer_divisibility#INTEGER_DIVISIBILITY_READING
- номер
- 0.1.0
- вид
- urn:arxo:arxo.integer_divisibility#treatise
INTEGER_DIVISIBILITY_EDITION
- edition
- urn:arxo:arxo.integer_divisibility#INTEGER_DIVISIBILITY_EDITION
- язык
- ru
- официальность
- unofficial
- материализация
- PINNED_UNOFFICIAL_COPY
- жизненный цикл
- —
Публикации
| URI | Тип | documentHash | Получено |
|---|---|---|---|
| urn:arxo:integer-divisibility-reading:0.1.0 | text/plain; charset=utf-8 | sha256:34f451632c4106258a2130c761b18baa3b7c503ba96cf48b44b76cad3f77d1cf | 2026-09-08T00:00:00Z |
Фрагменты — 1
reading · defn · на него ссылаются: 2
ru · unofficial · sha256:34f451632c4106258a2130c761b18baa3b7c503ba96cf48b44b76cad3f77d1cf
Целочисленное прочтение делимости Arxo, версия 0.1.0.
Элементу носителя сопоставляется целое значение value_of. Носитель с такими значениями предъявляется сценой как моноид: умножение целых ассоциативно и имеет единицу.
Первый элемент делит второй, когда его значение отлично от нуля и евклидов остаток второго значения по первому равен нулю (§58, E-0062). Ноль ничего не делит; делимость нулевого элемента другим следует из остатка.
Прочтение выводит divides контракта из значений; импортированные правила mathlib применяются к выведенным посылкам через тот же контракт.
Ссылаются нормы: IntegerDivides, value_of
Хэш рядом с текстом — sha256 его точных байтов. Он и есть проверка того, что показанный текст совпадает с закреплённым в пакете: расхождение роняет статику оракула.