arxo-codegen 0.4.0__py3-none-any.whl

arxo_codegen/inert.py

@@ -0,0 +1,91 @@
+"""Манифест инертных конструкций среза (CODEGEN-COVERAGE-PLAN §1.1, W1).
+
+Статус «инертна»: конструкция присутствует в пакете, но на ответ поддержанных
+видов вопросов не влияет; план её пропускает, а не отвергает. Пропуск
+закрепляется строкой манифеста `inert-nodes.json` и ДОКАЗЫВАЕТСЯ парой
+векторов: половина с конструкцией (`witness`) и половина без неё (`bare`)
+над одной программой, делом и вопросом дают у оракула один документ по
+`results`, `positions`, `issues`, `conflicts`, `proofGraph`; `manifest` и
+`resultHash` различаются по построению (§209 покрывает конверт, §208 —
+manifest). Ворота conformance требуют: обе половины экспортированы, половина
+с конструкцией совпала с голденом на каждой активной цели, голдены половин
+совпадают по перечисленным ключам. Строка без такого свидетеля — отказ ворот.
+"""
+from __future__ import annotations
+
+import json
+from pathlib import Path
+
+HERE = Path(__file__).resolve().parent
+MANIFEST = HERE / "inert-nodes.json"
+FORMAT = "law.codegen-inert-nodes/0.1"
+#: Ключи evaluation-документа, по которым половины пары обязаны совпасть.
+DOCUMENT_KEYS = ("results", "positions", "issues", "conflicts", "proofGraph")
+FAMILIES = ("node:", "rulefield:")
+
+
+def load(path: Path = MANIFEST) -> dict:
+    manifest = json.loads(path.read_text(encoding="utf-8"))
+    if manifest.get("format") != FORMAT or not isinstance(manifest.get("constructs"), dict):
+        raise ValueError(f"манифест инертности не {FORMAT}: {path}")
+    for construct, row in manifest["constructs"].items():
+        if not construct.startswith(FAMILIES):
+            raise ValueError(f"манифест инертности: конструкция вне семейств {FAMILIES}: {construct}")
+        if not isinstance(row, dict) or not all(isinstance(row.get(k), str) and row[k] for k in ("witness", "bare")):
+            raise ValueError(f"манифест инертности: {construct} без пары witness/bare")
+        if row["witness"] == row["bare"]:
+            raise ValueError(f"манифест инертности: {construct} — одна половина названа дважды")
+    return manifest
+
+
+def constructs(path: Path = MANIFEST) -> dict[str, dict]:
+    return load(path)["constructs"]
+
+
+def node_kinds(manifest: dict) -> frozenset[str]:
+    return frozenset(c.removeprefix("node:") for c in manifest["constructs"] if c.startswith("node:"))
+
+
+def rule_fields(manifest: dict) -> frozenset[str]:
+    return frozenset(c.removeprefix("rulefield:") for c in manifest["constructs"] if c.startswith("rulefield:"))
+
+
+def _document(vectors: Path, ident: str, index: dict[str, Path]) -> dict | None:
+    directory = index.get(ident)
+    if directory is None:
+        return None
+    golden = directory / "expected.json"
+    if not golden.is_file():
+        return None
+    return json.loads(golden.read_text(encoding="utf-8"))
+
+
+def witness_failures(manifest: dict, rows: list[dict], vectors: Path) -> tuple[list[dict], list[str]]:
+    """Свидетели каждой строки манифеста против отчёта conformance.
+
+    `rows` — строки `report["vectors"]` (`id`, `actual`), `vectors` — каталог
+    экспортированных векторов. Возвращает таблицу свидетелей и список отказов.
+    """
+    actual = {row["id"]: row.get("actual") for row in rows}
+    index = {d.name: d for d in vectors.rglob("*") if d.is_dir() and (d / "expected.json").is_file()}
+    table, failures = [], []
+    for construct, row in sorted(manifest["constructs"].items()):
+        witness, bare = row["witness"], row["bare"]
+        entry = {"construct": construct, "witness": witness, "bare": bare,
+                 "witnessOutcome": actual.get(witness), "bareOutcome": actual.get(bare)}
+        for ident in (witness, bare):
+            if ident not in actual:
+                failures.append(f"{construct}: свидетель {ident} не среди активных векторов")
+            elif actual[ident] != "match":
+                failures.append(f"{construct}: свидетель {ident} — «{actual[ident]}», а не совпадение")
+        docs = (_document(vectors, witness, index), _document(vectors, bare, index))
+        if None in docs:
+            failures.append(f"{construct}: у половины пары нет голдена expected.json")
+            entry["documentsAgree"] = None
+        else:
+            differing = [k for k in DOCUMENT_KEYS if docs[0].get(k) != docs[1].get(k)]
+            entry["documentsAgree"] = not differing
+            if differing:
+                failures.append(f"{construct}: половины пары расходятся по {', '.join(differing)} — конструкция не инертна")
+        table.append(entry)
+    return table, failures

arxo_codegen/inputs.py

@@ -0,0 +1,59 @@
+"""Explicit inputs for standalone code generation; no repository discovery."""
+from __future__ import annotations
+
+import hashlib
+import json
+from pathlib import Path
+
+from plan import Refused
+
+
+def dependency_index(documents: list[dict]) -> dict[str, dict]:
+    result = {}
+    for document in documents:
+        name = (document.get("package") or {}).get("name")
+        if not isinstance(name, str) or not name:
+            raise Refused("зависимость CLIR без имени пакета")
+        if name in result:
+            raise Refused(f"неоднозначная зависимость CLIR: {name}")
+        result[name] = document
+    return result
+
+
+def load_resources(manifest: Path) -> dict[str, bytes]:
+    root = manifest.resolve().parent
+    entries = json.loads(manifest.read_text(encoding="utf-8"))
+    if not isinstance(entries, dict):
+        raise Refused("ресурсы: ожидается объект URI → {path, sha256}")
+    resources = {}
+    for uri, entry in entries.items():
+        if (not isinstance(entry, dict) or set(entry) != {"path", "sha256"}
+                or not isinstance(entry["path"], str) or not isinstance(entry["sha256"], str)):
+            raise Refused(f"ресурсы: некорректная запись {uri}")
+        path = (root / entry["path"]).resolve()
+        if not path.is_relative_to(root):
+            raise Refused(f"ресурсы: путь вне комплекта {uri}")
+        if not path.is_file():
+            raise Refused(f"ресурсы: нет файла {uri}")
+        data = path.read_bytes()
+        if "sha256:" + hashlib.sha256(data).hexdigest() != entry["sha256"]:
+            raise Refused(f"ресурсы: неверный хэш {uri}")
+        resources[uri] = data
+    return resources
+
+
+def corpus_resources(documents: list[dict], root: Path) -> dict[str, bytes]:
+    """Read only declared artifact resources beneath an explicitly selected root."""
+    root = Path(root).resolve()
+    resources = {}
+    for document in documents:
+        for node in document.get("nodes", []):
+            uri = node.get("resourceUri", "")
+            if node.get("kind") != "calendar_snapshot" or not isinstance(uri, str) or not uri.startswith("artifact:"):
+                continue
+            path = (root / uri[len("artifact:"):]).resolve()
+            if not path.is_relative_to(root):
+                raise Refused("resource artifact escapes explicit corpus root")
+            if path.is_file():
+                resources[uri] = path.read_bytes()
+    return resources