Published package / CLIR

`arxo.quantity_order`

v0.1.0

Показания в разных единицах: совместный вывод Wikidata, QUDT, Lean и 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.9
capabilities: aggregate, status:supported

Checked against package scenarios

13 of 13 scenarios matched on ts, py, go

answer statuses: NEITHER 11 · TRUE_ONLY 2

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.9' (поддержана law-backend-plan/0.7)RU
cs версия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RU
dart версия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RU
erl версия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RU
ex версия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RU
java версия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RU
kt версия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RU
lua версия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RU
php версия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RU
rb версия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RU
rs версия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RU
scala версия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RU
swift версия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RU

Print the module from a repository checkout

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

Dependencies included in the planarxo.orderarxo.order_compositionarxo.physics_alignmentisabelle.orderisabelle.order.permissionsmathlib.ordermathlib.order.permissionsqudt.physicsvocab.source_recordswikidata.physics

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

Name	Parameters	Meaning	Reads	Sources
four_source_strict_chain	text, text, text, text, text	Сравнение величин с поддержкой Wikidata, QUDT, Lean и IsabelleRU	`in_carrierlinear_order_structurepartial_order_structurepreorder_structurealigned_resourcealignment_requesteddimension_ofmeasurementorder_frameratio_unitpermit_3a9ac9ff49edf677c31208fa472a1dabde8eadb7e4581dd75c563e3687a9d1f4permit_50bc92ec5f62262e494bac475a39b971a5a1b5cff63d9236ecc3a9ba97fead88permit_cf7c23306a665bc0ff3fc08fffff0bd96bd3f400ad65990bf0a58da580b5d646permit_22aeb98e3dca72b4f5436967cb0eee630aabde47fd171b0942bac99c612760afpermit_7518ca9bf69a1dab886b841a3d0a1a8863349caf8a43819ce8fd0f39379bf690permit_c37e5578bf2e12f9752f6e310241b44b6743c7c058f83b4bdd23140f16287537permit_cb430046b1e38484a123fc047a67b89f9c0585a649a14e9095c3cdddee482831source_alignmentsource_dimensionsource_multipliersource_revision`	`contract`
normalized_value	text, text, dec	Показание в общей шкалеRU	`aligned_resourcealignment_requesteddimension_ofmeasurementorder_frameratio_unitsource_alignmentsource_dimensionsource_multipliersource_revision`	`contract`
physical_le	text, text, text	Нестрогое сравнение приведённых показанийRU	`aligned_resourcealignment_requesteddimension_ofmeasurementorder_frameratio_unitsource_alignmentsource_dimensionsource_multipliersource_revision`	`contract`
physical_lt	text, text, text	Строгое сравнение приведённых показанийRU	`aligned_resourcealignment_requesteddimension_ofmeasurementorder_frameratio_unitsource_alignmentsource_dimensionsource_multipliersource_revision`	`contract`
unit_scale	text, dec	Точный положительный множитель из литерала QUDTRU	`source_multiplier`	`/results/bindings/51/results/bindings/49/results/bindings/53`

Inputs · 21

Name	Parameters	Meaning
in_carrier	text, text	Элемент принадлежит этому носителюRU
linear_order_structure	text	На носителе задан выбранный линейный порядокRU
partial_order_structure	text	На носителе задан выбранный частичный порядокRU
preorder_structure	text	На носителе задан выбранный предпорядокRU
aligned_resource	text, text	aligned_resourceRU
alignment_requested	text, text	alignment_requestedRU
dimension_of	text, text	dimension_ofRU
measurement	text, text, text, dec	Показание в единице WikidataRU
order_frame	text, text	Общая шкала сравнения показанийRU
ratio_unit	text, text, 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
permit_22aeb98e3dca72b4f5436967cb0eee630aabde47fd171b0942bac99c612760af		Conditional permission: LinearOrder.toPartialOrderRU
permit_7518ca9bf69a1dab886b841a3d0a1a8863349caf8a43819ce8fd0f39379bf690		Conditional permission: le_of_ltRU
permit_c37e5578bf2e12f9752f6e310241b44b6743c7c058f83b4bdd23140f16287537		Conditional permission: le_transRU
permit_cb430046b1e38484a123fc047a67b89f9c0585a649a14e9095c3cdddee482831		Conditional permission: PartialOrder.toPreorderRU
source_alignment	text, text, text	source_alignmentRU
source_dimension	text, text, text	source_dimensionRU
source_multiplier	text, text, text	source_multiplierRU
source_revision	text, text	source_revisionRU