Опубликованный пакет / CLIR
qudt.physics
v0.1.0QUDT: записи единиц, размерностей и исходных ссылок
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.7
- возможности
- только базовый слой
Сверка сценариями пакета
совпало 2 из 2 сценариев на ts, py, go
- статусы ответов
- NEITHER 1 · TRUE_ONLY 1
Целевые языки
bslcsdarterlexgojavaktluaphppyrbrsscalaswiftts
./law dev backend corpus/clir/qudt-physics.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 0
План не выставляет вопросов: ни у одного публичного отношения нет производящего правила.