Published package / CLIR

`isabelle.order`

v0.1.0

Правила порядка Isabelle: строгая транзитивность, смешанный шаг и ослабление

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: status:supported

Checked against package scenarios

2 of 2 scenarios matched on ts, py, go

answer statuses: NEITHER 1 · TRUE_ONLY 1

Outcomes are pinned in the consumer gate manifest; the gate must reproduce them.

Target languages

print this plangopyts

refuse this plan · 13

bsl версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
cs версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
dart версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
erl версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
ex версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
java версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
kt версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
lua версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
php версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
rb версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
rs версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
scala версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
swift версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU

Print the module from a repository checkout

./law dev backend corpus/clir/isabelle-order.lawir.json --target ts --target py --target go --out DIR

Dependencies included in the planarxo.orderisabelle.order.permissions

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 · 3

Name	Parameters	Meaning	Reads	Sources
supported_2bbcae2cd2f015a5e79d256e59269689eaf32b8a5d2cff20c1e8029f9dbec088	text, text, text, text	Imported support: Orderings.preorder_class.le_less_transRU	`in_carrierlinear_order_structurepartial_order_structurepreorder_structurepermit_3a9ac9ff49edf677c31208fa472a1dabde8eadb7e4581dd75c563e3687a9d1f4permit_50bc92ec5f62262e494bac475a39b971a5a1b5cff63d9236ecc3a9ba97fead88permit_cf7c23306a665bc0ff3fc08fffff0bd96bd3f400ad65990bf0a58da580b5d646`	`Orderings.preorder_class.le_less_trans`
supported_ba9f606b3dfff6f0efb044b968493c82752c7719f3ec01a66d852f23de4aa087	text, text, text, text	Imported support: Orderings.preorder_class.less_transRU	`in_carrierlinear_order_structurepartial_order_structurepreorder_structurepermit_3a9ac9ff49edf677c31208fa472a1dabde8eadb7e4581dd75c563e3687a9d1f4permit_50bc92ec5f62262e494bac475a39b971a5a1b5cff63d9236ecc3a9ba97fead88permit_cf7c23306a665bc0ff3fc08fffff0bd96bd3f400ad65990bf0a58da580b5d646`	`Orderings.preorder_class.less_trans`
supported_d7f7657f6e55615a91c9c02daa264114e1e11bbf2b338953074bacd124f339ca	text, text, text	Imported support: Orderings.preorder_class.less_imp_leRU	`in_carrierlinear_order_structurepartial_order_structurepreorder_structurepermit_3a9ac9ff49edf677c31208fa472a1dabde8eadb7e4581dd75c563e3687a9d1f4permit_50bc92ec5f62262e494bac475a39b971a5a1b5cff63d9236ecc3a9ba97fead88permit_cf7c23306a665bc0ff3fc08fffff0bd96bd3f400ad65990bf0a58da580b5d646`	`Orderings.preorder_class.less_imp_le`

Inputs · 7

Name	Parameters	Meaning
in_carrier	text, text	Элемент принадлежит этому носителюRU
linear_order_structure	text	На носителе задан выбранный линейный порядокRU
partial_order_structure	text	На носителе задан выбранный частичный порядокRU
preorder_structure	text	На носителе задан выбранный предпорядокRU
permit_3a9ac9ff49edf677c31208fa472a1dabde8eadb7e4581dd75c563e3687a9d1f4		Conditional permission: Orderings.preorder_class.less_imp_leRU
permit_50bc92ec5f62262e494bac475a39b971a5a1b5cff63d9236ecc3a9ba97fead88		Conditional permission: Orderings.preorder_class.less_transRU
permit_cf7c23306a665bc0ff3fc08fffff0bd96bd3f400ad65990bf0a58da580b5d646		Conditional permission: Orderings.preorder_class.le_less_transRU