Published package / CLIR
ru.pushkin.zolotaya_rybka
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 builds: the package can be printed as a module.
- plan format
- law-backend-plan/0.8
- capabilities
- defeasible, negation, priority
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/ru-zolotaya-rybka.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 · 4
| Name | Parameters | Meaning | Reads | Sources |
|---|---|---|---|---|
| exceeds_grant_limit | text | требование выходит за предел оферты (единственный засвидетельствованный случай — власть над самим грантором)RU | demands_grantor_servicedemands_sea_dominion | lines/174-182lines/183-205 |
| obliged_to_grant | text | рыбка обязана исполнить названное желаниеRU | conveyed_to_fishdemands_grantor_servicedemands_sea_dominionransom_offered_toreleased_without_ransomwished | lines/16-18lines/22-27lines/43-58lines/65-82lines/90-112lines/134-155 |
| reverted_to_original_state | text | возвращён к исходному состоянию: землянка и разбитое корытоRU | conveyed_to_fishdemands_grantor_servicedemands_sea_dominionwished | lines/183-205 |
| revoked | text | дар отозван: запредельное требование сняло все прежние эффектыRU | conveyed_to_fishdemands_grantor_servicedemands_sea_dominiongranted | lines/183-205 |
Inputs · 7
| Name | Parameters | Meaning |
|---|---|---|
| conveyed_to_fish | text, text | желание передано рыбке у моря названным посредникомRU |
| demands_grantor_service | text | требование включает службу самой рыбки («чтобы ты сама ей служила и была бы у ней на посылках»)RU |
| demands_sea_dominion | text | требование включает владычество над морем («жить ей в Окияне-море»)RU |
| granted | text | дар предоставлен: мир дела его содержитRU |
| ransom_offered_to | text | рыбка предложила поймавшему откуп «чем только пожелаешь»RU |
| released_without_ransom | text | отпустил рыбку, не взяв немедленного выкупаRU |
| wished | text, text | участник пожелал названногоRU |