Published package / CLIR
doctrine.ius_privatum
v0.1.0Право и иск как одна конструкция: мостовой словарь ius privatum для сравнения кодексов
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 builds: the package can be printed as a module.
- plan format
- law-backend-plan/0.8
- capabilities
- defeasible, negation, priority, status:not_known
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.
Target languages
gopyts
refuse this plan · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUcsверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUdartверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUerlверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUexверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUjavaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUktверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUluaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUphpверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUrbверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUrsверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUscalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUswiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
./law dev backend corpus/clir/doctrine-ius-privatum.lawir.json --target ts --target py --target go --out DIR
Module interface
Questions are public relations with a producing rule; inputs are the facts a question reads. Function names follow the language: ask_… in Python, ask.… in TypeScript, Ask… in Go.
Questions · 5
| Name | Parameters | Meaning | Reads | Sources |
|---|---|---|---|---|
| ius_efficax | text, text, text | право действенно: средство защиты дано и не отнятоRU-KZ | heres_estremedium_consumptumremedium_daturremedium_transit_ad_heredemremedium_transit_contra_heredem | |
| ius_nudum | text, text, text | право голое: должник обязан, а средства защиты у кредитора нетRU-KZ | heres_estobligatioremedium_consumptumremedium_daturremedium_transit_ad_heredemremedium_transit_contra_heredem | |
| remedium_competit | text, text, text | средство защиты принадлежит истцу против ответчика: дано ему самому либо перешло к нему или против него по наследствуRU-KZ | heres_estremedium_daturremedium_transit_ad_heredemremedium_transit_contra_heredem | |
| remedium_exclusum | text, text, text | средство защиты отнято: возражением, погашением тяжбой, давностью, иммунитетом ответчикаRU-KZ | remedium_consumptum | |
| remedium_sine_iure | text, text, text | средство защиты без материального права: истец не собственник и не кредитор по этому кодексу, но защиту получаетRU-KZ | causa_de_redominiumheres_estobligatioremedium_daturremedium_in_personamremedium_in_remremedium_transit_ad_heredemremedium_transit_contra_heredem |
Inputs · 10
| Name | Parameters | Meaning |
|---|---|---|
| causa_de_re | text, text | притязание направлено на эту вещьRU-KZ |
| dominium | text, text | лицо является собственником вещи по праву этого кодексаRU-KZ |
| heres_est | text, text | лицо является наследником умершего по праву этого кодексаRU-KZ |
| obligatio | text, text, text | должник обязан перед кредитором по этому притязаниюRU-KZ |
| remedium_consumptum | text, text, text | средство защиты погашено прежней тяжбой о том жеRU-KZ |
| remedium_datur | text, text, text | правопорядок даёт истцу средство защиты против ответчика по этому притязаниюRU-KZ |
| remedium_in_personam | text, text, text | средство защиты личное: истец требует от ответчика дать, сделать, предоставитьRU-KZ |
| remedium_in_rem | text, text, text | средство защиты вещное: истец требует вещь как своюRU-KZ |
| remedium_transit_ad_heredem | text | средство защиты переходит к наследнику истцаRU-KZ |
| remedium_transit_contra_heredem | text | средство защиты переходит против наследника ответчикаRU-KZ |