Published package / CLIR
vocab.systems
v0.1.0The package has no official source title — in CLIR its package carries neither description nor labels, and the showcase will not invent one.
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.9
- capabilities
- aggregate, defeasible, status:supported
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.9' (поддержана law-backend-plan/0.7)RUcsверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUdartверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUerlверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUexверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUjavaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUktверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUluaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUphpверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUrbверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUrsверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUscalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUswiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RU
./law dev backend corpus/clir/vocab-systems.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 · 8
| Name | Parameters | Meaning | Reads | Sources |
|---|---|---|---|---|
| channel_sensor_count | text, dec | сколько датчиков питают каналRU | measures | |
| component_reaches | text, text | часть входит в целое непосредственно или по цепочкеRU | component_of | |
| component_topology_wellformed | text | структура системы пригодна: дефектов у неё не выведеноRU | component_ofdepends_onresource_held_byresource_kind_of | |
| depends_on_reaches | text, text | зависимость прямая или по цепочкеRU | depends_on | |
| kind_role_conflict | text, text | система объявлена и передающей, и производящей ресурс одного родаRU | produces_kindtransfers_kind | |
| location_known | text | место объекта предъявлено входомRU | located_in | |
| resource_wellformed | text | запас пригоден: род один и он названRU | resource_kind_of | |
| topology_defect | text, enum | названный дефект структуры у системыRU | component_ofdepends_onresource_held_byresource_kind_of |
Inputs · 8
| Name | Parameters | Meaning |
|---|---|---|
| component_of | text, text | часть непосредственно входит в состав целогоRU |
| depends_on | text, text | работа системы непосредственно зависит от другой системыRU |
| located_in | text, text | объект размещён в местеRU |
| measures | text, text | датчик питает измерительный каналRU |
| produces_kind | text, text | система производит ресурс этого родаRU |
| resource_held_by | text, text | запас приписан к системеRU |
| resource_kind_of | text, text | род ресурса запасаRU |
| transfers_kind | text, text | система передаёт ресурс этого рода, не создавая и не расходуя егоRU |