Опубликованный пакет / CLIR
faraid.shares
v0.1.0Фараид — наследственный расчёт исламского права
sha256:83a0a69a70b52399bce7bf8097b13a0851f29c2d6aa820f156c71463e0e78017law.toml[dependencies] faraid.shares = "0.1.0"
curl -O /blobs/83a0a69a70b52399bce7bf8097b13a0851f29c2d6aa820f156c71463e0e78017.lawir.json
Авторская метадата / не выводится
Этикетка
- Издатель
- исламская правовая традиция (фикх)
- Юрисдикция
- без суверена — норма не издана властью
- Род инструмента
- доктрина
- Состояние
- доктрина, не акт власти
- Что закреплено
- авторское изложение, не текст акта
не сверено Ручной сверки текста с источником не заявлено: байты закреплены и хэшированы, но утверждения «прочитано и совпало» автор пакета не делал.
Состояние сохранности
- официальные байты1 редакция
Закреплены байты официальной публикации.
Глубина формализации §33.1
- EXECUTABLE 10
- на фрагмент ссылается выводящий узел — из него что-то выводится
- ANCHORED 0
- адресуем семантическим узлом, но вывода нет
- SOURCE_ONLY 1
- текст закреплён и адресуем, ссылок нет
Уровни вычислены из CLIR, авторской разметки они не имеют (§33.1, errata E-0013): разметка руками означала бы, что ошибка автора молча меняет отчёт о полноте. Это не доля акта: доля документа, покрытая фрагментами, измеряется против байтов закреплённой публикации (§27.3) и здесь не считается.
Состав
| Вид узла | Штук |
|---|---|
| rule | 32 |
| symbol_decl | 20 |
| fragment | 11 |
| closure_policy | 3 |
| constraint | 2 |
| type_decl | 2 |
| publication | 1 |
| source_edition | 1 |
| source_work | 1 |
Источники
- Изложение правил наследственного расчёта (фараид) · FARAID-RESTATEMENT-1 · редакций: 1
Экспорт §24
Пакет не экспортирует ничего: все его объявления internal, и межпакетная ссылка на них запрещена. Содержимое адресуемо только внутри пакета — вкладка «Символы».
Испытать
Пакет вложен в рабочий стол целиком — те же 7 файлов, что в corpus/laws/faraid/shares: тот же law.toml, те же закреплённые байты, те же тесты. Право исполняется двумя движками в браузере, а не пересказывается витриной.
Рабочий стол не развёрнут публично: в артефакт GitHub Pages собираются документация и витрина, конструктор запускается локально. Отсюда команда, а не ссылка — кнопка, ведущая в никуда, обещала бы работу, которой нет.
cd constructor && pnpm --filter @law/workbench dev # затем: http://localhost:5273/?sample=shares
Сослаться
Адрес нормы неизменен: contentHash посчитан по каноническим байтам §208, и любая правка пакета даёт другой хэш. Ссылка ниже указывает не на «последнюю версию», а на конкретные байты — то, чего требует цитирование и чего не даёт номер версии.
Фараид — наследственный расчёт исламского права · FARAID_RESTATEMENT · faraid.shares@0.1.0 · sha256:83a0a69a70b52399bce7bf8097b13a0851f29c2d6aa820f156c71463e0e78017