workflow_guard.py

from __future__ import annotations

import json
import sys
from pathlib import Path
from typing import Any

STATE_DIR_NAME = ".autocode-workflow"
STATE_FILE_NAME = "state.json"


def load_payload() -> dict[str, Any]:
    raw = sys.stdin.read().strip()
    if not raw:
        return {}
    return json.loads(raw)


def tool_short_name(tool_name: str) -> str:
    if tool_name.startswith("mcp__autocode__"):
        return tool_name[len("mcp__autocode__"):]
    return tool_name


def get_problem_dir(payload: dict[str, Any]) -> str | None:
    tool_input = payload.get("tool_input", {})
    problem_dir = tool_input.get("problem_dir")
    if isinstance(problem_dir, str) and problem_dir.strip():
        return problem_dir
    return None


def state_file(problem_dir: str) -> Path:
    return Path(problem_dir) / STATE_DIR_NAME / STATE_FILE_NAME


def infer_state(problem_dir: str) -> dict[str, Any]:
    root = Path(problem_dir)
    solutions_dir = root / "solutions"
    return {
        "problem_dir": str(root),
        "created": root.exists() and (root / "files").exists() and (root / "solutions").exists(),
        "sol_built": _has_solution(solutions_dir, "sol"),
        "brute_built": _has_solution(solutions_dir, "brute"),
        "validator_ready": (root / "files" / "val.cpp").exists() or any(root.glob("files/val.*")),
        "validator_accuracy": None,
        "generator_built": (root / "files" / "gen.cpp").exists() or any(root.glob("files/gen.*")),
        "stress_passed": False,
        "stress_completed_rounds": 0,
        "stress_total_rounds": 0,
        "checker_ready": (root / "files" / "checker.cpp").exists() or any(root.glob("files/checker.*")),
        "checker_accuracy": None,
        "statement_validated": False,
        "sample_files_validated": False,
        "validation_passed": False,
        "tests_generated": any((root / "tests").glob("*.in")) if (root / "tests").exists() else False,
        "generated_test_count": len(list((root / "tests").glob("*.in"))) if (root / "tests").exists() else 0,
        "tests_verified": False,
        "packaged": (root / "problem.xml").exists(),
    }


def _has_solution(solutions_dir: Path, prefix: str) -> bool:
    """检查 solutions/ 下是否有指定前缀的解法文件（支持自定义命名）。"""
    if not solutions_dir.exists():
        return False
    # 精确匹配（如 sol.cpp, brute.cpp）
    if (solutions_dir / f"{prefix}.cpp").exists():
        return True
    # 前缀匹配（如 brute_force.cpp）
    for f in solutions_dir.iterdir():
        if f.is_file() and f.stem.startswith(prefix) and f.suffix == ".cpp":
            return True
    return False


def load_state(problem_dir: str) -> dict[str, Any]:
    path = state_file(problem_dir)
    if path.exists():
        return json.loads(path.read_text(encoding="utf-8"))
    return infer_state(problem_dir)


def save_state(problem_dir: str, state: dict[str, Any]) -> None:
    path = state_file(problem_dir)
    path.parent.mkdir(parents=True, exist_ok=True)
    path.write_text(json.dumps(state, ensure_ascii=False, indent=2), encoding="utf-8")


def parse_tool_result(payload: dict[str, Any]) -> tuple[bool, dict[str, Any]]:
    tool_response = payload.get("tool_response")
    if isinstance(tool_response, dict):
        structured = tool_response.get("structuredContent")
        if isinstance(structured, dict):
            return bool(structured.get("success")), structured.get("data", {}) or {}
        content = tool_response.get("content")
        if isinstance(content, list) and content:
            text = content[0].get("text")
            if isinstance(text, str):
                try:
                    parsed = json.loads(text)
                    return bool(parsed.get("success")), parsed.get("data", {}) or {}
                except json.JSONDecodeError:
                    return False, {}
    return False, {}


def deny(reason: str) -> None:
    output = {
        "hookSpecificOutput": {
            "hookEventName": "PreToolUse",
            "permissionDecision": "deny",
            "permissionDecisionReason": reason,
        }
    }
    print(json.dumps(output, ensure_ascii=False))


def pre_tool(payload: dict[str, Any]) -> int:
    short_name = tool_short_name(payload.get("tool_name", ""))
    problem_dir = get_problem_dir(payload)

    if short_name == "problem_create":
        return 0

    if not problem_dir:
        return 0

    state = load_state(problem_dir)
    reasons = {
        "solution_build_brute": "必须先构建标准解 sol，再构建 brute。",
        "solution_build": "必须先运行 problem_create 创建题目目录。",
        "validator_build": "必须先完成 problem_create、solution_build(sol)、solution_build(brute)。",
        "generator_build": "必须先完成 validator_build，并且 validator accuracy >= 0.9。",
        "stress_test_run": "必须先完成 validator_build(accuracy >= 0.9) 和 generator_build，然后再进行 stress_test_run。",
        "checker_build": "必须先通过 stress_test_run（completed_rounds == total_rounds），再构建 checker。",
        "problem_validate": "必须先通过 stress_test_run（completed_rounds == total_rounds），再进行验证。",
        "problem_generate_tests": "必须先通过 problem_validate（验证通过），才能生成最终测试数据。",
        "problem_pack_polygon": "必须先生成最终测试数据并通过 problem_verify_tests(passed)，再进行打包。",
    }

    tool_input = payload.get("tool_input", {})
    if short_name == "solution_build":
        solution_type = tool_input.get("solution_type")
        if not state["created"]:
            deny(reasons["solution_build"])
            return 0
        if solution_type == "brute" and not state["sol_built"]:
            deny(reasons["solution_build_brute"])
        return 0

    if short_name == "validator_build" and not (state["created"] and state["sol_built"] and state["brute_built"]):
        deny(reasons["validator_build"])
        return 0

    if short_name == "generator_build" and not (
        state["validator_ready"] and (state.get("validator_accuracy") is None or state.get("validator_accuracy", 0) >= 0.9)
    ):
        deny(reasons["generator_build"])
        return 0

    if short_name == "stress_test_run" and not (
        state["sol_built"]
        and state["brute_built"]
        and state["validator_ready"]
        and state.get("validator_accuracy", 0) >= 0.9
        and state["generator_built"]
    ):
        deny(reasons["stress_test_run"])
        return 0

    if short_name == "checker_build" and not state["stress_passed"]:
        deny(reasons["checker_build"])
        return 0

    if short_name == "problem_validate" and not state["stress_passed"]:
        deny(reasons["problem_validate"])
        return 0

    if short_name == "problem_generate_tests" and not (
        state["stress_passed"] and state.get("validation_passed", False)
    ):
        deny(reasons["problem_generate_tests"])
        return 0

    if short_name == "problem_pack_polygon" and not (
        state["tests_generated"] and state.get("generated_test_count", 0) > 0
        and state.get("tests_verified", False)
    ):
        deny(reasons["problem_pack_polygon"])
        return 0

    return 0


def post_tool(payload: dict[str, Any]) -> int:
    short_name = tool_short_name(payload.get("tool_name", ""))
    problem_dir = get_problem_dir(payload)
    if not problem_dir:
        return 0

    success, data = parse_tool_result(payload)

    # 特殊处理：problem_validate 失败时也需要更新状态
    # 确保重新验证失败后清除旧的 validation_passed 状态
    if short_name == "problem_validate" and not success:
        state = load_state(problem_dir)
        state["statement_validated"] = data.get("statement_samples", {}).get("validated", False)
        state["sample_files_validated"] = data.get("sample_files", {}).get("validated", False)
        state["validation_passed"] = False
        save_state(problem_dir, state)
        return 0

    if short_name == "problem_verify_tests" and not success:
        state = load_state(problem_dir)
        state["tests_verified"] = False
        save_state(problem_dir, state)
        return 0

    if not success:
        return 0

    state = load_state(problem_dir)

    if short_name == "problem_create":
        state["created"] = True
    elif short_name == "solution_build":
        solution_type = payload.get("tool_input", {}).get("solution_type")
        if solution_type == "sol":
            state["sol_built"] = True
        elif solution_type == "brute":
            state["brute_built"] = True
    elif short_name == "validator_build":
        accuracy = data.get("accuracy")
        state["validator_accuracy"] = accuracy
        state["validator_ready"] = accuracy is None or accuracy >= 0.9
    elif short_name == "generator_build":
        state["generator_built"] = True
    elif short_name == "stress_test_run":
        state["stress_completed_rounds"] = data.get("completed_rounds", 0)
        state["stress_total_rounds"] = data.get("total_rounds", 0)
        state["stress_passed"] = data.get("completed_rounds") == data.get("total_rounds")
    elif short_name == "checker_build":
        accuracy = data.get("accuracy")
        state["checker_accuracy"] = accuracy
        state["checker_ready"] = accuracy is None or accuracy >= 0.9
    elif short_name == "problem_validate":
        state["statement_validated"] = data.get("statement_samples", {}).get("validated", False)
        state["sample_files_validated"] = data.get("sample_files", {}).get("validated", False)
        state["validation_passed"] = success
    elif short_name == "problem_generate_tests":
        generated_tests = data.get("generated_tests", [])
        state["tests_generated"] = bool(generated_tests)
        state["generated_test_count"] = len(generated_tests)
        state["tests_verified"] = False
    elif short_name == "problem_verify_tests":
        state["tests_verified"] = bool(data.get("passed", False))
    elif short_name == "problem_pack_polygon":
        state["packaged"] = True

    save_state(problem_dir, state)
    return 0


def session_start() -> int:
    additional_context = (
        "AutoCode plugin active. Enforce this workflow with quality gates: "
        "problem_create -> solution_build(sol) -> solution_build(brute) -> "
        "validator_build(accuracy >= 0.9) -> generator_build -> "
        "stress_test_run(completed_rounds == total_rounds) -> "
        "checker_build if needed (accuracy >= 0.9) -> "
        "problem_validate(validation_passed) -> "
        "problem_generate_tests(generated_test_count > 0, and prefer >=50% type3/type4 in final tests when candidates are sufficient) -> "
        "problem_verify_tests(passed) -> problem_pack_polygon. "
        "If a hook blocks a step, complete the missing prerequisite instead of retrying blindly."
    )
    print(
        json.dumps(
            {
                "hookSpecificOutput": {
                    "hookEventName": "SessionStart",
                    "additionalContext": additional_context,
                }
            },
            ensure_ascii=False,
        )
    )
    return 0


def main() -> int:
    mode = sys.argv[1] if len(sys.argv) > 1 else ""
    payload = load_payload() if mode in {"pre", "post"} else {}

    if mode == "pre":
        return pre_tool(payload)
    if mode == "post":
        return post_tool(payload)
    if mode == "session":
        return session_start()

    print(f"Unknown mode: {mode}", file=sys.stderr)
    return 1


if __name__ == "__main__":
    raise SystemExit(main())