Опубликованный пакет / CLIR
calc.quorum
v0.1.0У пакета нет официального названия источника — в CLIR у package нет ни описания, ни меток, и выдумывать его витрина не станет.
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.9
- возможности
- aggregate
Сверка сценариями пакета
Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.
Целевые языки
gopyts
отвергают этот план · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)csверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)dartверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)erlверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)exверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)javaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)ktверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)luaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)phpверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)rbверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)rsверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)scalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)swiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)
./law dev backend corpus/clir/calc-quorum.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 10
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| assembly_defect | text, enum | дефект собрания | assembly_listedassembly_presentballot_ofquorum_threshold | |
| assembly_wellformed | text | собрание пригодно к подсчёту: все входы поданы по одному разу, дефектов нет | assembly_listedassembly_presentballot_ofquorum_threshold | |
| ballot_defect | text, enum | дефект голосования | abstention_policyassembly_presentballot_abstainedballot_againstballot_forballot_invalidballot_ofdecision_threshold | |
| ballot_wellformed | text | голосование пригодно к подсчёту: собрание пригодно, все входы поданы по одному разу, дефектов нет | abstention_policyassembly_listedassembly_presentballot_abstainedballot_againstballot_forballot_invalidballot_ofdecision_thresholdquorum_threshold | |
| decision_adopted | text | решение принято: при кворуме голоса «за» удовлетворяют порогу | abstention_policyassembly_listedassembly_presentballot_abstainedballot_againstballot_forballot_invalidballot_ofdecision_thresholdquorum_threshold | |
| decision_rejected | text | решение не принято: при кворуме голоса «за» порогу не удовлетворяют | abstention_policyassembly_listedassembly_presentballot_abstainedballot_againstballot_forballot_invalidballot_ofdecision_thresholdquorum_threshold | |
| quorum_failed | text | кворума нет: присутствующие порогу от списочного состава не удовлетворяют | assembly_listedassembly_presentballot_ofquorum_threshold | |
| quorum_reached | text | кворум достигнут: присутствующие удовлетворяют порогу от списочного состава | assembly_listedassembly_presentballot_ofquorum_threshold | |
| threshold_base_count | text, dec | число, от которого считался порог решения | abstention_policyassembly_listedassembly_presentballot_abstainedballot_againstballot_forballot_invalidballot_ofdecision_thresholdquorum_threshold | |
| votes_cast | text, dec | поданных голосов: «за» и «против», с воздержавшимися по политике | abstention_policyassembly_listedassembly_presentballot_abstainedballot_againstballot_forballot_invalidballot_ofdecision_thresholdquorum_threshold |
Входы · 10
| Имя | Параметры | Смысл |
|---|---|---|
| abstention_policy | text, enum | политика учёта воздержавшихся в числе поданных голосов |
| assembly_listed | text, dec | списочный состав собрания: число всех голосов, которые могли быть поданы |
| assembly_present | text, dec | присутствующие: число голосов, зарегистрированных на собрании |
| ballot_abstained | text, dec | воздержавшихся |
| ballot_against | text, dec | голосов «против» |
| ballot_for | text, dec | голосов «за» |
| ballot_invalid | text, dec | недействительных бюллетеней |
| ballot_of | text, text | голосование проведено на этом собрании |
| decision_threshold | text, dec, dec, enum, enum | порог решения: доля, вид порога и основание, от которого считается доля |
| quorum_threshold | text, dec, dec, enum | порог кворума: доля списочного состава и вид порога |