#!/usr/bin/env python3 from __future__ import annotations import argparse import json from pathlib import Path from typing import Any import yaml def load_yaml(path: Path) -> dict[str, Any]: if not path.exists(): raise FileNotFoundError(path) return yaml.safe_load(path.read_text(encoding="utf-8")) def main(argv: list[str] | None = None) -> int: parser = argparse.ArgumentParser(description="Validate WBS-10 dotnet normalization contract") parser.add_argument("--contract", default="docs/WBS_10_DOTNET_NORMALIZATION_CONTRACT.yaml") args = parser.parse_args(argv) contract_path = Path(args.contract).resolve() payload: dict[str, Any] = { "formula_id": "WBS_10_DOTNET_NORMALIZATION_CONTRACT_V1", "gate": "FAIL", "missing": [], "evidence": {"contract": str(contract_path)}, } try: data = load_yaml(contract_path) except FileNotFoundError: payload["missing"].append("contract missing") print(json.dumps(payload, ensure_ascii=False, indent=2)) return 1 if data.get("formula_id") != "WBS_10_DOTNET_NORMALIZATION_CONTRACT_V1": payload["missing"].append("formula_id") if data.get("goal") != "쓰기 경로 정규화와 읽기 경로 역정규화 경계를 고정한다.": payload["missing"].append("goal") write_path = data.get("canonical_write_path") or {} if write_path.get("schema") != "engine_history": payload["missing"].append("canonical_write_path.schema") tables = write_path.get("tables") or [] for required in { "source_observation", "factor_definition", "factor_observation", "decision_event", "decision_factor_evidence", "outcome_evaluation", } - set(tables): payload["missing"].append(f"{required} missing") if data.get("canonical_read_path", {}).get("view") != "engine_history.training_example_v1": payload["missing"].append("canonical_read_path.view") if not data.get("forbidden_patterns"): payload["missing"].append("forbidden_patterns") payload["gate"] = "PASS" if not payload["missing"] else "FAIL" payload["message"] = ( "WBS-10 dotnet normalization contract validation passed." if payload["gate"] == "PASS" else "WBS-10 dotnet normalization contract validation failed." ) out_path = contract_path.parent.parent / "Temp" / "wbs_10_dotnet_normalization_contract_v1.json" out_path.parent.mkdir(parents=True, exist_ok=True) out_path.write_text(json.dumps(payload, ensure_ascii=False, indent=2), encoding="utf-8") print(json.dumps(payload, ensure_ascii=False, indent=2)) return 0 if payload["gate"] == "PASS" else 1 if __name__ == "__main__": raise SystemExit(main())