#!/usr/bin/env python3
# SPDX-License-Identifier: GPL-3.0-or-later
"""Tracked guardrails for Phase-1.0AT."""

from __future__ import annotations

import argparse
import json
from pathlib import Path
import unittest


PARSER = argparse.ArgumentParser()
PARSER.add_argument("--root", type=Path, required=True)
ROOT = PARSER.parse_args().root


class Phase10ATGuardrails(unittest.TestCase):
    @classmethod
    def setUpClass(cls) -> None:
        cls.data = json.loads((ROOT / "manifests/retroarch/phase-1.0at-fd-deadline-model.json").read_text(encoding="utf-8"))

    def test_model_has_no_live_capability(self) -> None:
        boundary = self.data["model_boundary"]
        self.assertTrue(boundary["fake_facade_only"])
        self.assertFalse(boundary["os_imports_present"])
        self.assertFalse(boundary["process_api_present"])
        self.assertFalse(boundary["clock_api_present"])
        self.assertFalse(boundary["network_api_present"])
        self.assertFalse(boundary["target_address_present"])

    def test_ownership_and_deadline_fail_closed(self) -> None:
        ownership = self.data["ownership_contract"]
        deadline = self.data["deadline_contract"]
        self.assertTrue(ownership["parent_write_end_closed_before_read"])
        self.assertTrue(ownership["all_acquired_ends_closed_on_failure"])
        self.assertTrue(ownership["started_worker_terminated_and_reaped_on_failure"])
        self.assertTrue(deadline["one_absolute_budget_across_setup_and_reads"])
        self.assertTrue(deadline["trailing_read_event_fails"])

    def test_live_and_device_gates_stay_closed(self) -> None:
        self.assertFalse(any(self.data["authorizations"].values()))
        self.assertFalse(self.data["decision"]["live_channel_architecture_feasible"])
        self.assertFalse(self.data["decision"]["target_implementation_allowed"])
        self.assertFalse(self.data["decision"]["device_action_allowed"])


if __name__ == "__main__":
    unittest.main(argv=[__file__])