Published package / CLIR
kz.corpus.enforcement
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:kz:corpus:clir:entrepreneurial-code#BusinessActorRU | 267 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:enforcement#LitsoRU | 238 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:osms#PersonRU | 139 |
| тип аргумента вне среза генератора: urn:law:std#InstantRU | 103 |
| тип аргумента вне среза генератора: kz.corpus.osms#PersonRU | 94 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:civil-procedure#CourtRU | 76 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:enforcement#DolzhnikRU | 75 |
| голый `const_ref` параметра A3 в позиции идентичности (голова, аргумент атома) вне среза генератора: у оракула он не вычисляется, читайте вызовом (DECISION-0273)RU | 48 |
| тип аргумента вне среза генератора: kz.corpus.osms#PeriodRU | 34 |
| тип аргумента вне среза генератора: urn:law:std#EventRU | 30 |
| агрегат sum/min/max без empty-политики в голове вне среза генератора (DECISION-0239 п. 4: ошибка значения у оракула зависит от порядка подстановок)RU | 28 |
| тип аргумента головы не совпадает с параметром §189 (E-0077)RU | 22 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:enforcement#VzyskatelRU | 19 |
| объявление вне среза генератора: constraint/NoneRU | 13 |
| дефитер норм-правила вне среза генератора (DECISION-0242 K6)RU | 11 |
| объявление вне среза генератора: interpretation/NoneRU | 7 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:housing#AdministrativeApplicationRU | 7 |
| объявление вне среза генератора: procedure/NoneRU | 6 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:osms#PeriodRU | 6 |
| тип аргумента вне среза генератора: kz.corpus.osms#EmployerRU | 5 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:appc#CourtRU | 5 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:entrepreneurial-code#CivilParticipantRU | 5 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:housing#AdministrativeActRU | 4 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:social-code#AppcComplaintRU | 4 |
| календарная функция с ошибкой значения в теле норм-правила вне среза генератора (DECISION-0245)RU | 3 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:civil-procedure#FeeAndDutyMatterRU | 3 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:social-code#CivilLegalEntityRU | 3 |
| арифметика вне среза (§58): виды операндов не совпадают у minRU | 2 |
| ветви условного терма §56 разных видов вне среза генератора (DECISION-0270)RU | 2 |
| константа не найдена в CLIR: urn:kz:corpus:clir:social-code#SpecialStateBenefitGroundEligibleDeceasedServiceOrDisasterFamilyRU | 2 |
| константа не найдена в CLIR: urn:kz:corpus:clir:social-code#SpecialStateBenefitGroundHeroOfLaborOfKazakhstanRU | 2 |
| константа не найдена в CLIR: urn:kz:corpus:clir:social-code#SpecialStateBenefitGroundPeoplesHeroOfKazakhstanRU | 2 |
| объявление вне среза генератора: interpretation_group/NoneRU | 2 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:civil-procedure#ConsumerAssociationRU | 2 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:civil-procedure#ConsumerDisputeRU | 2 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:civil-procedure#ForensicExpert44RU | 2 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:civil-procedure#ForensicProduction44RU | 2 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:civil-procedure#HousingOwnerRU | 2 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:labour-code#CourtRU | 2 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:labour-code#PeriodRU | 2 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:social-code#CivilPersonRU | 2 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:social-code#PeriodRU | 2 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:social-code#StandardsPopulationGroupRU | 2 |
| тип аргумента вне среза генератора: urn:kz:national-bank:clir:fx#CurrencyRU | 2 |
| арифметика вне среза (§58): виды операндов не совпадают у maxRU | 1 |
| константа не найдена в CLIR: urn:kz:corpus:clir:consumer-protection#EnsureItemSafetyRU | 1 |
| константа не найдена в CLIR: urn:kz:corpus:clir:consumer-protection#ObserveOtherStatutoryRequirementsRU | 1 |
| константа не найдена в CLIR: urn:kz:corpus:clir:social-code#SpecialStateBenefitGroundBaikonurDisabledChildAgeSevenToEighteenRU | 1 |
| константа не найдена в CLIR: urn:kz:corpus:clir:social-code#SpecialStateBenefitGroundBaikonurDisabledChildUnderSevenRU | 1 |
| константа не найдена в CLIR: urn:kz:corpus:clir:social-code#SpecialStateBenefitGroundChernobylLiquidatorOrEvacuatedRU | 1 |
| константа не найдена в CLIR: urn:kz:corpus:clir:social-code#SpecialStateBenefitGroundDisabledPersonWithQualifyingPensionRU | 1 |
| константа не найдена в CLIR: urn:kz:corpus:clir:social-code#SpecialStateBenefitGroundEligibleUnremarriedSpouseOfDeceasedPersonRU | 1 |
| константа не найдена в CLIR: urn:kz:corpus:clir:social-code#SpecialStateBenefitGroundEquivalentWorldWarTwoDisabledPersonRU | 1 |
| константа не найдена в CLIR: urn:kz:corpus:clir:social-code#SpecialStateBenefitGroundEquivalentWorldWarTwoParticipantRU | 1 |
| константа не найдена в CLIR: urn:kz:corpus:clir:social-code#SpecialStateBenefitGroundForeignCombatVeteranRU | 1 |
| константа не найдена в CLIR: urn:kz:corpus:clir:social-code#SpecialStateBenefitGroundPoliticalRepressionVictimRU | 1 |
| константа не найдена в CLIR: urn:kz:corpus:clir:social-code#SpecialStateBenefitGroundSovietHeroLaborGloryOrCosmonautRU | 1 |
| константа не найдена в CLIR: urn:kz:corpus:clir:social-code#SpecialStateBenefitGroundSpecialMeritPensionRecipientRU | 1 |
| константа не найдена в CLIR: urn:kz:corpus:clir:social-code#SpecialStateBenefitGroundUnremarriedWorldWarTwoSoldierWidowRU | 1 |
| константа не найдена в CLIR: urn:kz:corpus:clir:social-code#SpecialStateBenefitGroundWorldWarTwoRearWorkerOrAwardeeRU | 1 |
| константа не найдена в CLIR: urn:kz:corpus:clir:social-code#SpecialStateBenefitGroundWorldWarTwoVeteranRU | 1 |
| поле правила вне среза генератора: visibilityRU | 1 |
| рекурсия с порождением значений арифметикой (DECISION-0237 п. 11) вне среза генератора: urn:doctrine:clir:acts-for#subdelegation_depthRU | 1 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:civil-code#PersonaRU | 1 |
| тип аргумента вне среза генератора: urn:kz:corpus:clir:housing#AdministrativeComplaintRU | 1 |