Опубликованный пакет / CLIR
arxo.physics_alignment
v0.1.0Сопоставления Wikidata и QUDT: проверенный перенос размерности
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.7
- возможности
- только базовый слой
Сверка сценариями пакета
совпало 4 из 4 сценариев на ts, py, go
- статусы ответов
- NEITHER 2 · TRUE_ONLY 2
Целевые языки
bslcsdarterlexgojavaktluaphppyrbrsscalaswiftts
./law dev backend corpus/clir/arxo-physics-alignment.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 3
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| aligned_resource | text, text | aligned_resource | alignment_requestedsource_alignmentsource_revision | /AlignmentConfirmed |
| dimension_of | text, text | dimension_of | aligned_resourcealignment_requestedsource_alignmentsource_dimensionsource_revision | /DimensionViaAlignment |
| same_dimension | text, text | same_dimension | aligned_resourcealignment_requesteddimension_ofsource_alignmentsource_dimensionsource_revision | /SameDimension |
Входы · 6
| Имя | Параметры | Смысл |
|---|---|---|
| aligned_resource | text, text | aligned_resource |
| alignment_requested | text, text | alignment_requested |
| dimension_of | text, text | dimension_of |
| source_alignment | text, text, text | source_alignment |
| source_dimension | text, text, text | source_dimension |
| source_revision | text, text | source_revision |