Опубликованный пакет / CLIR
sa.rett
v0.1.0نظام ضريبة التصرفات العقارية
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.19
- возможности
- function, judgment, negation, param:a3, value:rational
Сверка сценариями пакета
совпало 46 из 49 сценариев на ts, py, go
- пропуск · 3
- запрос collect
- статусы ответов
- FALSE_ONLY 1 · NEITHER 6 · TRUE_ONLY 39
Целевые языки
gopyts
отвергают этот план · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)csверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)dartверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)erlверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)exверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)javaверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)ktверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)luaверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)phpверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)rbверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)rsверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)scalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)swiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)
./law dev backend corpus/clir/sa-rett.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 5
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| exempt_disposal | text | сделка полностью освобождена от налога (ст. 3(أ) закона, п. خامساً декрета) | acts_as_public_authorityclaimed_exemption_categoryconsensual_cancellation_returndays_from_notarization_to_cancellationdescription_unchanged_and_full_value_returneddisposal_by_public_entitydocumented_gift_to_relativedocumented_gift_to_spouseexemption_claimedexemption_criteria_establishedforeign_government_or_diplomatic_partylease_to_own_contract_concluded_before_rett_startreal_estate_disposalrecipient_kinship_degreereciprocity_establishedvat_charged_before_notarization | article/3item/5 |
| rett_base | text, money | база налога на сделку с недвижимостью | agreed_disposal_valuefair_market_valuefinancing_term_cost_in_agreed_valuereg712_total_disposal_value | article/2 |
| rett_due | text, money | налог на сделку с недвижимостью: ставка 5 % на базу | acts_as_public_authorityagreed_disposal_valueclaimed_exemption_categoryconsensual_cancellation_returndays_from_notarization_to_cancellationdescription_unchanged_and_full_value_returneddisposal_by_public_entitydocumented_gift_to_relativedocumented_gift_to_spouseexemption_claimedexemption_criteria_establishedfair_market_valuefinancing_term_cost_in_agreed_valueforeign_government_or_diplomatic_partylease_to_own_contract_concluded_before_rett_startreal_estate_disposalrecipient_kinship_degreereciprocity_establishedreg712_exempt_disposalreg712_total_disposal_valuevat_charged_before_notarization | article/2 |
| rett_due_date | text, date | дата, в которую налог становится причитающимся, — дата нотариального оформления (ст. 4(1) закона) | acts_as_public_authorityclaimed_exemption_categoryconsensual_cancellation_returndays_from_notarization_to_cancellationdescription_unchanged_and_full_value_returneddisposal_by_public_entitydocumented_gift_to_relativedocumented_gift_to_spouseexemption_claimedexemption_criteria_establishedforeign_government_or_diplomatic_partylease_to_own_contract_concluded_before_rett_startnotarization_datereal_estate_disposalrecipient_kinship_degreereciprocity_establishedreg712_exempt_disposalvat_charged_before_notarization | article/4 |
| rett_taxable_disposal | text | сделка облагается налогом на сделки с недвижимостью | acts_as_public_authorityclaimed_exemption_categoryconsensual_cancellation_returndays_from_notarization_to_cancellationdescription_unchanged_and_full_value_returneddisposal_by_public_entitydocumented_gift_to_relativedocumented_gift_to_spouseexemption_claimedexemption_criteria_establishedforeign_government_or_diplomatic_partylease_to_own_contract_concluded_before_rett_startreal_estate_disposalrecipient_kinship_degreereciprocity_establishedreg712_exempt_disposalvat_charged_before_notarization | article/2article/15article/3item/5article/20 |
Входы · 22
| Имя | Параметры | Смысл |
|---|---|---|
| acts_as_public_authority | text | орган распоряжается недвижимостью как публичная власть, а не в экономической или коммерческой деятельности — оценочный признак ст. 3(أ)(5): суждение ZATCA, до ответа NEITHER |
| agreed_disposal_value | text, money | общая договорная цена сделки, включая стоимость рассрочки, если она в цену включена (ст. 2(2) закона) |
| claimed_exemption_category | text, enum | сделка относится к случаю ст. 3(أ) закона, критерии которого определяет регламент |
| consensual_cancellation_return | text | возврат недвижимости прежнему собственнику при отмене оформленной сделки по согласию сторон (ст. 3(أ)(21) закона) |
| days_from_notarization_to_cancellation | text, dec | число дней от нотариального оформления отменяемой сделки до отмены |
| description_unchanged_and_full_value_returned | text | описание объекта не изменилось и стоимость возвращена полностью (ст. 3(أ)(21) закона) |
| disposal_by_public_entity | text | сделку совершает государственный орган или публичное юридическое лицо (ст. 3(أ)(5) закона) |
| documented_gift_to_relative | text | документированный безвозмездный дар недвижимости родственнику (ст. 3(أ)(7) закона) |
| documented_gift_to_spouse | text | документированный дар недвижимости супругу (ст. 3(أ)(7) закона) |
| exemption_claimed | text | по сделке заявлено одно из оснований изъятия ст. 3(أ) закона или п. خامساً декрета (отрицание — «оснований нет») |
| exemption_criteria_established | text | критерии регламента для заявленного случая установлены (регистрация, лицензия, документ, сроки удержания) — граничный факт: регламент 2025 года вне среза |
| fair_market_value | text, money | справедливая рыночная стоимость объекта на дату сделки (ст. 1, 2(2) закона); оценку даёт дело |
| financing_term_cost_in_agreed_value | text, money | стоимость рассрочки (финансирования лицензированной организацией), включённая в договорную цену; 0, если финансирования нет (ст. 2(2) закона) |
| foreign_government_or_diplomatic_party | text | стороной сделки выступает иностранное государство, международная организация, дипломатическая или военная миссия либо аккредитованный член дипкорпуса (ст. 3(أ)(12) закона) |
| lease_to_own_contract_concluded_before_rett_start | text | сделка исполняет договор аренды с выкупом или финансовой аренды, заключённый до 14/2/1442 по хиджре — сравнение дат хиджры делается до модели (граница календаря) |
| notarization_date | text, date | дата нотариального оформления сделки (у нотариуса или уполномоченного документатора); совпадает с legal_time дела |
| real_estate_disposal | text | операция — сделка с недвижимостью в смысле ст. 1–2 закона (ст. 2 регламента 712): любое состояние, форма и назначение объекта, целиком или в части, оформлена или нет |
| recipient_kinship_degree | text, dec | степень родства одаряемого по определению регламента (граничный факт: определение ст. 1 регламента вне среза) |
| reciprocity_established | text | взаимность установлена: саудовская миссия пользуется тем же освобождением в государстве другой стороны (ст. 3(أ)(12) закона) |
| reg712_exempt_disposal | text | сделка изъята из налога по ст. 3 регламента 712 в редакции на дату сделки — граничный факт: тексты ст. 3 по состояниям не закреплены (отрицание — «изъятия нет») |
| reg712_total_disposal_value | text, money | общая стоимость сделки по ст. 2 регламента 712 — граничный факт: правила её определения (ст. 4 регламента) по состояниям не закреплены |
| vat_charged_before_notarization | text | сделка обложена НДС до нотариального оформления (п. خامساً(2) декрета) |