arxo-codegen 0.4.0__py3-none-any.whl

arxo_codegen/targets/py/runner.py

@@ -0,0 +1,38 @@
+#!/usr/bin/env python3
+"""Раннер Python-бэкенда: транспорт JSON к единому входу `evaluate`
+(DECISION-0423 §2.2). Тот же вход и тот же ответ, что у runner.ts и runner.go.
+
+Протокол выхода общий для всех целей: ответ — JSON и код 0; названный отказ
+среза — JSON `{"refused": текст}` и код 3, текст побайтово одинаков между
+целями; любой другой ненулевой код — крах, который ворота валят. Семантики
+здесь нет: сверка §189, контекст дела, насыщение и лестница статусов §175 —
+в `evaluate.py`, общем с API.
+"""
+import json
+import sys
+from pathlib import Path
+
+sys.path.insert(0, str(Path(__file__).resolve().parent))
+
+import runtime as RT   # noqa: E402
+from evaluate import evaluate   # noqa: E402
+
+
+def main() -> None:
+    case = json.loads(Path(sys.argv[1]).read_text(encoding="utf-8"))
+    query = json.loads(Path(sys.argv[2]).read_text(encoding="utf-8"))
+    stats: dict = {}
+    answer = evaluate(case, query, stats if len(sys.argv) > 3 else None)
+    if stats:
+        # Замер потребителя (DECISION-0237 этап 6): кандидаты, группы и
+        # наибольшая группа конфликта; в протокол ответа не входит.
+        Path(sys.argv[3]).write_text(json.dumps(stats), encoding="utf-8")
+    print(json.dumps(answer, ensure_ascii=False))
+
+
+if __name__ == "__main__":
+    try:
+        main()
+    except RT.Refused as exc:
+        print(json.dumps({"refused": str(exc)}, ensure_ascii=False))
+        sys.exit(3)