Опубликованный пакет / CLIR
ru.pushkin.zolotaya_rybka
v0.1.0Оферта золотой рыбки: «Дорогой за себя дам откуп: Откуплюсь чем только пожелаешь»
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.8
- возможности
- defeasible, negation, priority
Сверка сценариями пакета
Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.
Целевые языки
gopyts
отвергают этот план · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)csверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)dartверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)erlверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)exверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)javaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)ktверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)luaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)phpверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)rbверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)rsверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)scalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)swiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)
./law dev backend corpus/clir/ru-zolotaya-rybka.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 4
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| exceeds_grant_limit | text | требование выходит за предел оферты (единственный засвидетельствованный случай — власть над самим грантором) | demands_grantor_servicedemands_sea_dominion | lines/174-182lines/183-205 |
| obliged_to_grant | text | рыбка обязана исполнить названное желание | 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 | возвращён к исходному состоянию: землянка и разбитое корыто | conveyed_to_fishdemands_grantor_servicedemands_sea_dominionwished | lines/183-205 |
| revoked | text | дар отозван: запредельное требование сняло все прежние эффекты | conveyed_to_fishdemands_grantor_servicedemands_sea_dominiongranted | lines/183-205 |
Входы · 7
| Имя | Параметры | Смысл |
|---|---|---|
| conveyed_to_fish | text, text | желание передано рыбке у моря названным посредником |
| demands_grantor_service | text | требование включает службу самой рыбки («чтобы ты сама ей служила и была бы у ней на посылках») |
| demands_sea_dominion | text | требование включает владычество над морем («жить ей в Окияне-море») |
| granted | text | дар предоставлен: мир дела его содержит |
| ransom_offered_to | text | рыбка предложила поймавшему откуп «чем только пожелаешь» |
| released_without_ransom | text | отпустил рыбку, не взяв немедленного выкупа |
| wished | text, text | участник пожелал названного |