Published package / CLIR
phys.relativity_comparisons
v0.1.0Сопоставление трёх моделей движения света и тел: восемь объявленных вопросов, три раздельных вывода (предпосылки, предсказания, согласие с наблюдением), полнота по покрытию вопросов без требования расхождения, запрет на вывод универсальной эквивалентности из совпадения на одной постановке
A package can be printed as a standalone module in a general-purpose language that answers without the rules engine: an answer and its status, with no proof, hashes or canonical document. Everything on this page comes from the generation plan built with the index; the gallery computes nothing of its own.
Generation plan
The plan does not build: the package uses forms outside the generation slice.
Checked against package scenarios
Not checked: the package scenarios have not been run against generated modules. A plan that builds does not yet show that the answers coincide.
Why the plan does not build
Every refusal of the plan is listed, not only the first. The texts are generator diagnostics and are shown verbatim.
| Reason | Occurrences |
|---|---|
| функция вне среза генератора: urn:law:std#magnitudeRU | 32 |
| функция вне среза генератора: urn:law:std#unit_convertRU | 30 |
| арифметика вне среза (§58): не числовой операнд mulRU | 26 |
| арифметика вне среза (§58): не числовой операнд divRU | 12 |
| функция вне среза генератора: urn:law:std#with_unitRU | 10 |
| арифметика вне среза (§58): не числовой операнд addRU | 5 |
| функция вне среза генератора: urn:law:std#quantity_ofRU | 5 |
| арифметика вне среза (§58): не числовой операнд subRU | 1 |
| объявление вне среза генератора: counterfactual_decl/NoneRU | 1 |
| поздний производитель (§111, LDC-E4103): strict-правило urn:phys:clir:relativity-comparisons#VerdictPredictionsDiffer читает established urn:phys:clir:relativity-core#predictions_differ с поражаемым производителемRU | 1 |
| тип аргумента головы не совпадает с параметром §189 (E-0077)RU | 1 |
| функция вне среза генератора: urn:law:std#unit_exponentRU | 1 |