Опубликованный пакет / CLIR
ae.corpus.corporate_tax
v0.1.0قرار مجلس الوزراء رقم (100) لسنة 2023 في شأن تحديد الدخل المؤهل للشخص المؤهل القائم في المنطقة الحرة
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План не строится: пакет использует формы вне среза генератора.
Сверка сценариями пакета
Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.
Почему план не строится
Перечислены все отказы плана, а не первый. Тексты — диагностики генератора, показаны дословно.
| Причина | Вхождений |
|---|---|
| агрегат sum/min/max без empty-политики в голове вне среза генератора (DECISION-0239 п. 4: ошибка значения у оракула зависит от порядка подстановок) | 8 |
| голый `const_ref` параметра A3 в позиции идентичности (голова, аргумент атома) вне среза генератора: у оракула он не вычисляется, читайте вызовом (DECISION-0273) | 4 |
| поздний производитель (§111, LDC-E4103): strict-правило urn:ae:corpus:clir:corporate_tax#CorporateTaxDueAtStandardRates читает established urn:law:calc:tiers#scale_total с поражаемым производителем | 1 |