38 lines
1.4 KiB
Python
38 lines
1.4 KiB
Python
#!/usr/bin/env python3
|
|
# SPDX-License-Identifier: GPL-3.0-or-later
|
|
"""Validate exact Phase-1.0AT offline model bindings."""
|
|
|
|
from __future__ import annotations
|
|
|
|
import argparse
|
|
import hashlib
|
|
import json
|
|
from pathlib import Path
|
|
|
|
|
|
def digest(path: Path) -> str:
|
|
return hashlib.sha256(path.read_bytes()).hexdigest()
|
|
|
|
|
|
def main() -> int:
|
|
parser = argparse.ArgumentParser()
|
|
parser.add_argument("--root", type=Path, required=True)
|
|
args = parser.parse_args()
|
|
root = args.root
|
|
data = json.loads((root / "manifests/retroarch/phase-1.0at-fd-deadline-model.json").read_text(encoding="utf-8"))
|
|
bindings = data["source_bindings"]
|
|
assert digest(root / "manifests/retroarch/phase-1.0as-channel-primitive-audit.json") == bindings["phase10as_manifest_sha256"]
|
|
assert digest(root / "tools/phase10at_fd_deadline_model.py") == bindings["model_sha256"]
|
|
assert digest(root / "tests/test_phase10at_fd_deadline_model.py") == bindings["failure_tests_sha256"]
|
|
assert data["model_boundary"]["fake_facade_only"] is True
|
|
assert data["ownership_contract"]["all_acquired_ends_closed_on_failure"] is True
|
|
assert data["deadline_contract"]["trailing_read_event_fails"] is True
|
|
assert not any(data["authorizations"].values())
|
|
assert data["decision"]["live_channel_architecture_feasible"] is False
|
|
print("Phase-1.0AT FD/deadline model validation passed")
|
|
return 0
|
|
|
|
|
|
if __name__ == "__main__":
|
|
raise SystemExit(main())
|