#!/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 idempotency contract")
    parser.add_argument("--contract", default="docs/WBS_10_DOTNET_IDEMPOTENCY_CONTRACT.yaml")
    args = parser.parse_args(argv)

    contract_path = Path(args.contract).resolve()
    payload: dict[str, Any] = {
        "formula_id": "WBS_10_DOTNET_IDEMPOTENCY_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_IDEMPOTENCY_CONTRACT_V1":
        payload["missing"].append("formula_id")
    if data.get("goal") != "중복 실행 방지, lock/lease 정책, 재시도 경계를 표준화한다.":
        payload["missing"].append("goal")

    if data.get("lock_domain", {}).get("canonical_table") != "quantengine.workspace_lock":
        payload["missing"].append("lock_domain.canonical_table")
    if data.get("idempotency_key", {}).get("required") is not True:
        payload["missing"].append("idempotency_key.required")
    if data.get("lease_policy", {}).get("required") is not True:
        payload["missing"].append("lease_policy.required")

    policy = data.get("lease_policy") or {}
    retry = policy.get("retry_policy") or {}
    if retry.get("max_attempts") != 3:
        payload["missing"].append("lease_policy.retry_policy.max_attempts")
    if retry.get("backoff") != "exponential":
        payload["missing"].append("lease_policy.retry_policy.backoff")

    guards = data.get("duplicate_execution_guards") or []
    if not guards:
        payload["missing"].append("duplicate_execution_guards")

    payload["gate"] = "PASS" if not payload["missing"] else "FAIL"
    payload["message"] = (
        "WBS-10 dotnet idempotency contract validation passed."
        if payload["gate"] == "PASS"
        else "WBS-10 dotnet idempotency contract validation failed."
    )

    out_path = contract_path.parent.parent / "Temp" / "wbs_10_dotnet_idempotency_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())
