Published package / CLIR
calc.quorum
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
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/calc-quorum.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 · 10
| Name | Parameters | Meaning | Reads | Sources |
|---|---|---|---|---|
| assembly_defect | text, enum | дефект собранияRU | assembly_listedassembly_presentballot_ofquorum_threshold | |
| assembly_wellformed | text | собрание пригодно к подсчёту: все входы поданы по одному разу, дефектов нетRU | assembly_listedassembly_presentballot_ofquorum_threshold | |
| ballot_defect | text, enum | дефект голосованияRU | abstention_policyassembly_presentballot_abstainedballot_againstballot_forballot_invalidballot_ofdecision_threshold | |
| ballot_wellformed | text | голосование пригодно к подсчёту: собрание пригодно, все входы поданы по одному разу, дефектов нетRU | abstention_policyassembly_listedassembly_presentballot_abstainedballot_againstballot_forballot_invalidballot_ofdecision_thresholdquorum_threshold | |
| decision_adopted | text | решение принято: при кворуме голоса «за» удовлетворяют порогуRU | abstention_policyassembly_listedassembly_presentballot_abstainedballot_againstballot_forballot_invalidballot_ofdecision_thresholdquorum_threshold | |
| decision_rejected | text | решение не принято: при кворуме голоса «за» порогу не удовлетворяютRU | abstention_policyassembly_listedassembly_presentballot_abstainedballot_againstballot_forballot_invalidballot_ofdecision_thresholdquorum_threshold | |
| quorum_failed | text | кворума нет: присутствующие порогу от списочного состава не удовлетворяютRU | assembly_listedassembly_presentballot_ofquorum_threshold | |
| quorum_reached | text | кворум достигнут: присутствующие удовлетворяют порогу от списочного составаRU | assembly_listedassembly_presentballot_ofquorum_threshold | |
| threshold_base_count | text, dec | число, от которого считался порог решенияRU | abstention_policyassembly_listedassembly_presentballot_abstainedballot_againstballot_forballot_invalidballot_ofdecision_thresholdquorum_threshold | |
| votes_cast | text, dec | поданных голосов: «за» и «против», с воздержавшимися по политикеRU | abstention_policyassembly_listedassembly_presentballot_abstainedballot_againstballot_forballot_invalidballot_ofdecision_thresholdquorum_threshold |
Inputs · 10
| Name | Parameters | Meaning |
|---|---|---|
| abstention_policy | text, enum | политика учёта воздержавшихся в числе поданных голосовRU |
| assembly_listed | text, dec | списочный состав собрания: число всех голосов, которые могли быть поданыRU |
| assembly_present | text, dec | присутствующие: число голосов, зарегистрированных на собранииRU |
| ballot_abstained | text, dec | воздержавшихсяRU |
| ballot_against | text, dec | голосов «против»RU |
| ballot_for | text, dec | голосов «за»RU |
| ballot_invalid | text, dec | недействительных бюллетенейRU |
| ballot_of | text, text | голосование проведено на этом собранииRU |
| decision_threshold | text, dec, dec, enum, enum | порог решения: доля, вид порога и основание, от которого считается доляRU |
| quorum_threshold | text, dec, dec, enum | порог кворума: доля списочного состава и вид порогаRU |