arxo-codegen 0.4.0__py3-none-any.whl

arxo_codegen/targets/ts/package-lock.json

@@ -0,0 +1,45 @@
+{
+  "name": "law-backend-ts-toolchain",
+  "lockfileVersion": 3,
+  "requires": true,
+  "packages": {
+    "": {
+      "name": "law-backend-ts-toolchain",
+      "devDependencies": {
+        "@types/node": "22.20.1",
+        "typescript": "5.9.3"
+      }
+    },
+    "node_modules/@types/node": {
+      "version": "22.20.1",
+      "resolved": "https://registry.npmjs.org/@types/node/-/node-22.20.1.tgz",
+      "integrity": "sha512-EANqOCF9QFyra+4pfxUcX9STKJpCLjMbObVzljIJomAWSnuSIEAvyzEU53GaajbXJEgdh0iEcPL+DGvpUd4k1Q==",
+      "dev": true,
+      "license": "MIT",
+      "dependencies": {
+        "undici-types": "~6.21.0"
+      }
+    },
+    "node_modules/typescript": {
+      "version": "5.9.3",
+      "resolved": "https://registry.npmjs.org/typescript/-/typescript-5.9.3.tgz",
+      "integrity": "sha512-jl1vZzPDinLr9eUt3J/t7V6FgNEw9QjvBPdysz9KfQDD41fQrC2Y4vKQdiaUpFT4bXlb1RHhLpp8wtm6M5TgSw==",
+      "dev": true,
+      "license": "Apache-2.0",
+      "bin": {
+        "tsc": "bin/tsc",
+        "tsserver": "bin/tsserver"
+      },
+      "engines": {
+        "node": ">=14.17"
+      }
+    },
+    "node_modules/undici-types": {
+      "version": "6.21.0",
+      "resolved": "https://registry.npmjs.org/undici-types/-/undici-types-6.21.0.tgz",
+      "integrity": "sha512-iwDZqg0QAGrg9Rav5H4n0M64c3mkR59cJ6wQp+7C4nI0gsmExaedaYLNO44eT4AtBBwjbTiGPMlt2Md0T9H9JQ==",
+      "dev": true,
+      "license": "MIT"
+    }
+  }
+}

arxo_codegen/targets/ts/package.json

@@ -0,0 +1,9 @@
+{
+  "name": "law-backend-ts-toolchain",
+  "private": true,
+  "description": "Тулчейн TypeScript для кодогенерации: только tsc и типы Node. Ставится `npm ci` в этом каталоге.",
+  "devDependencies": {
+    "@types/node": "22.20.1",
+    "typescript": "5.9.3"
+  }
+}

arxo_codegen/targets/ts/runner.ts

@@ -0,0 +1,31 @@
+// Раннер: транспорт JSON к единому входу `evaluate` (DECISION-0423 §2.2). Ответ —
+// значение и статус, БЕЗ доказательства и хэшей: это профиль core-executable, а
+// не core-auditable. Семантики здесь нет: сверка §189, контекст дела, насыщение и
+// лестница статусов §175 — в evaluate.ts, общем с API.
+//
+// Протокол выхода общий для всех целей: ответ — JSON и код 0; названный
+// отказ среза — JSON {"refused": текст} и код 3, текст побайтово одинаков
+// между целями; любой другой ненулевой код — крах, который ворота валят.
+import * as fs from "fs";
+import * as RT from "./runtime";
+import { canonJson, evaluate } from "./evaluate";
+
+const main = (): void => {
+  const [, , casePath, queryPath] = process.argv;
+  // §208 (errata E-0202): разбор, сохраняющий целое знакового 64-битного
+  // диапазона; `JSON.parse` потерял бы его знаки уже на чтении.
+  const kase = RT.parseJson(fs.readFileSync(casePath, "utf8"));
+  const query = RT.parseJson(fs.readFileSync(queryPath, "utf8"));
+  console.log(canonJson(evaluate(kase, query)));
+};
+
+try {
+  main();
+} catch (e) {
+  if (e instanceof RT.Refused) {
+    console.log(JSON.stringify({ refused: e.message }));
+    process.exitCode = 3;
+  } else {
+    throw e;
+  }
+}