arxo-codegen 0.4.0__py3-none-any.whl

arxo_codegen/targets/go/runner.go

@@ -0,0 +1,38 @@
+//go:build !apicheck
+
+package main
+
+// Раннер Go-бэкенда: транспорт JSON к единому входу `evaluate` (DECISION-0423
+// §2.2). Тот же вход и тот же ответ, что у runner.ts и runner.py; семантики здесь
+// нет — сверка §189, контекст дела, насыщение и лестница статусов §175 — в
+// evaluate.go, общем с API.
+//
+// Протокол выхода общий для всех целей: ответ — JSON и код 0; названный
+// отказ среза — JSON {"refused": текст} и код 3, текст побайтово одинаков
+// между целями; любой другой ненулевой код — крах, который ворота валят.
+
+import (
+	"encoding/json"
+	"errors"
+	"fmt"
+	"os"
+)
+
+func main() {
+	kase, err := os.ReadFile(os.Args[1])
+	if err != nil {
+		panic(err)
+	}
+	query, err := os.ReadFile(os.Args[2])
+	if err != nil {
+		panic(err)
+	}
+	answer, err := evaluate(kase, query)
+	var refused *RefusedError
+	if errors.As(err, &refused) {
+		out, _ := json.Marshal(map[string]string{"refused": refused.Message})
+		fmt.Println(string(out))
+		os.Exit(3)
+	}
+	fmt.Println(answer)
+}