ARXO ATLAScanonical corpus

Published package / CLIR

arxo.integer_divisibility

v0.1.0

Целочисленное прочтение делимости: остаток по модулю выводит divides контракта

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

3 of 4 scenarios matched on ts, py, go

refused · 1
остаток от деления на ноль — evaluation error (§58)RU
answer statuses
NEITHER 1 · 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.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/arxo-integer-divisibility.lawir.json --target ts --target py --target go --out DIR

Dependencies included in the planarxo.divisibilitymathlib.divisibilitymathlib.divisibility.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 · 0

The plan exposes no questions: no public relation has a producing rule.

Inputs · 0