Авторский контракт сравнения показаний через четыре источника

ru · unofficial · sha256:e982366b4debabdba2d2775135b59e1867d35257042edc602b3944fc5ec2c80b

Авторский контракт скалярных показаний и общего предпорядка, версия 0.1.0. Показание принадлежит одной выбранной шкале, задаётся Decimal и единицей Wikidata. Перечисленные единицы QUDT допущены политикой как мультипликативные шкалы с нулевым смещением; это явная интерпретационная предпосылка, а не вывод из отсутствия свойства в неполном графе. Исходный коэффициент QUDT переводится из точного xsd:decimal в литерал Decimal без float. Умножение показания на этот коэффициент и сравнения выполняет Law DSL. Требуются действующее соответствие Wikidata/QUDT, согласованная размерность и выбранная общая шкала. Неоднозначные показание, шкала или коэффициент не допускаются. Элементы общего предпорядка — записи показаний: разные записи могут иметь одинаковое числовое значение. Числовой порядок переносится в arxo.order. Это предпорядок, без требования тождества записей при равных значениях. Совместный результат требует трёх вычисленных физических сравнений и импортированных шагов Lean le_trans и Isabelle le_less_trans. Обычное числовое сравнение может сохраниться после отзыва математического импорта; совместное свидетельство требует обоих разрешений. Совпадение размерности не означает тождество физических величин. Аффинные, логарифмические шкалы, векторные направления, погрешность измерения и полная иерархия физических величин находятся вне этого контракта.

Ссылаются нормы: CarrierMembership, CompareStrict, CompareWeak, FourSourceChain, MapStrictOrder, MapWeakOrder, NormalizeMeasurement, ScalarPreorder, four_source_strict_chain, measurement, normalized_value, order_frame, physical_le, physical_lt, ratio_unit, unit_scale