Опубликованный пакет / CLIR
phys.relativity_comparisons
v0.1.0Сопоставление трёх моделей движения света и тел: восемь объявленных вопросов, три раздельных вывода (предпосылки, предсказания, согласие с наблюдением), полнота по покрытию вопросов без требования расхождения, запрет на вывод универсальной эквивалентности из совпадения на одной постановке
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План не строится: пакет использует формы вне среза генератора.
Сверка сценариями пакета
Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.
Почему план не строится
Перечислены все отказы плана, а не первый. Тексты — диагностики генератора, показаны дословно.
| Причина | Вхождений |
|---|---|
| функция вне среза генератора: urn:law:std#magnitude | 32 |
| функция вне среза генератора: urn:law:std#unit_convert | 30 |
| арифметика вне среза (§58): не числовой операнд mul | 26 |
| арифметика вне среза (§58): не числовой операнд div | 12 |
| функция вне среза генератора: urn:law:std#with_unit | 10 |
| арифметика вне среза (§58): не числовой операнд add | 5 |
| функция вне среза генератора: urn:law:std#quantity_of | 5 |
| арифметика вне среза (§58): не числовой операнд sub | 1 |
| объявление вне среза генератора: counterfactual_decl/None | 1 |
| поздний производитель (§111, LDC-E4103): strict-правило urn:phys:clir:relativity-comparisons#VerdictPredictionsDiffer читает established urn:phys:clir:relativity-core#predictions_differ с поражаемым производителем | 1 |
| тип аргумента головы не совпадает с параметром §189 (E-0077) | 1 |
| функция вне среза генератора: urn:law:std#unit_exponent | 1 |