Опубликованный пакет / CLIR

`logic.paraconsistent`

v0.1.0

The Open Logic Text

Обложка пакета logic.paraconsistent: 155 узлов CLIR по семьям

Авторская метадата / не выводится

Этикетка

Издатель: The Open Logic Project (ed. Richard Zach), github.com/OpenLogicProject/OpenLogic, commit 1e960be; четырёхзначная часть — авторское изложение репозитория
Юрисдикция: без суверена — норма не издана властью
Род инструмента: трактат
Состояние: доктрина, не акт власти
Что закреплено: закреплены официальные байты

сверено Текст пакета сверен с закреплённым источником вручную.

Состояние сохранности

официальные байты7 редакций
Закреплены байты официальной публикации.

Глубина формализации

EXECUTABLE 5: на фрагмент ссылается выводящий узел — из него что-то выводится
ANCHORED 3: адресуем семантическим узлом, но вывода нет
SOURCE_ONLY 6: текст закреплён и адресуем, ссылок нет

нижняя граница Пакет ссылается на источник 1 анкерами кодовой формы (KZ-…-ART-…). Такой анкер узлом не является и в меру не входит: сопоставить его фрагменту можно только эвристикой по локатору, а догадке в отчёте о полноте не место. Поэтому уровни выше — минимум того, что есть, а не факт.

Уровни вычислены из CLIR, авторской разметки они не имеют: разметка руками означала бы, что ошибка автора молча меняет отчёт о полноте. Это не доля акта: доля документа, покрытая фрагментами, измеряется против байтов закреплённой публикации и здесь не считается.

Источники

FDE: авторское изложение четырёхзначной семантики · LOGIC-PARACONSISTENT-RESTATEMENT-1 · редакций: 1
The Open Logic Text · The Open Logic Text (Open Logic Project), commit 1e960be · редакций: 6

Испытать

Этот пакет в рабочий стол не вложен, и кнопки «испытать» у него нет: она открывала бы пустоту. Вложенные выбраны под механику, которую показывают, а не по важности акта — исполнить любой другой пакет можно, открыв его каталог в рабочем столе с диска.

faraid.shares — Фараид — наследственный расчёт исламского права
intl.turkic.nakhchivan_2009 — Закон Республики Казахстан от 23 мая 2025 года № 191-VIII «О ратификации Протокола о внесении изменений в Нахичеванское соглашение о создании Совета сотрудничества тюркоязычных государств»
kz.corpus.capital_status — Конституционный закон Республики Казахстан «О статусе столицы Республики Казахстан»
kz.corpus.pinningexample — Положение о порядке учёта обращений
kz.corpus.socialassistance — Адресная социальная помощь (учебный срез)
kz.corpus.tuystyq — Туыстық жүйе — казахская система родства

Сослаться

Адрес нормы неизменен: contentHash посчитан по каноническим байтам , и любая правка пакета даёт другой хэш. Ссылка ниже указывает не на «последнюю версию», а на конкретные байты — то, чего требует цитирование и чего не даёт номер версии.

The Open Logic Text · FDE_RESTATEMENT · logic.paraconsistent@0.1.0 · sha256:8d2d9c771954d4b676884f310c98b617c9fa0cee383d90e5ea731e9b9e61fc99