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

`renovation.finance`

v0.1.0

Оплата этапа ремонта после приёмки

Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.

План кодогенерации

План не строится: пакет использует формы вне среза генератора.

Сверка сценариями пакета

Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.

Почему план не строится

Перечислены все отказы плана, а не первый. Тексты — диагностики генератора, показаны дословно.

Причина	Вхождений
функция вне среза генератора: urn:law:std#magnitude	37
тип аргумента головы не совпадает с параметром §189 (E-0077)	24
арифметика вне среза (§58): не числовой операнд mul	21
функция вне среза генератора: urn:law:std#unit_convert	19
тип аргумента вне среза генератора: vocab.renovation#Deviation	12
арифметика вне среза (§58): не числовой операнд div	10
функция вне среза генератора: urn:law:std#with_unit	10
объявление вне среза генератора: constraint/None	9
тип аргумента вне среза генератора: vocab.renovation#Evidence	5
агрегат sum/min/max без empty-политики в голове вне среза генератора (DECISION-0239 п. 4: ошибка значения у оракула зависит от порядка подстановок)	3
арифметика вне среза (§58): не числовой операнд add	2
объявление вне среза генератора: counterfactual_decl/None	1
тип аргумента вне среза генератора: urn:law:std#Instant	1
тип аргумента вне среза генератора: urn:law:vocab:renovation#Condition	1
тип аргумента вне среза генератора: urn:law:vocab:renovation#Deviation	1
тип аргумента вне среза генератора: urn:law:vocab:renovation#Measurement	1
функция вне среза генератора: urn:law:std#quantity_of	1
функция вне среза генератора: urn:law:std#unit_exponent	1