19 lines
1.8 KiB
Python
19 lines
1.8 KiB
Python
#!/usr/bin/env python3
|
|
# SPDX-License-Identifier: GPL-3.0-or-later
|
|
from __future__ import annotations
|
|
import argparse,json,unittest
|
|
from pathlib import Path
|
|
P=argparse.ArgumentParser();P.add_argument("--root",type=Path,required=True);ROOT=P.parse_args().root
|
|
class Phase10DG(unittest.TestCase):
|
|
@classmethod
|
|
def setUpClass(cls):cls.data=json.loads((ROOT/"manifests/retroarch/phase-1.0dg-title-presence-primitive-audit.json").read_text())
|
|
def test_source_bound_candidate(self):
|
|
p=self.data["audited_primitive"];self.assertEqual(p["source_bound_device_path"],"/system_data/priv/mms/appinfo.db");self.assertTrue(p["parameterized_predicate_supported_by_source"] and p["query_is_minimal_inference_from_source_schema"]);self.assertFalse(p["query_is_present_in_upstream_verbatim"])
|
|
def test_snapshot_only(self):
|
|
p=self.data["audited_primitive"];self.assertTrue(p["requires_already_acquired_byte_exact_snapshot"] and p["opens_snapshot_read_only"]);self.assertFalse(p["modifies_snapshot"] or p["modifies_device"])
|
|
def test_live_evidence_remains_absent(self):self.assertFalse(any(v for k,v in self.data["evidence_limits"].items() if k not in {"y2jb_titles_are_ppsa01650_through_ppsa01652_not_ppsa01659","global_absence_claimed"}));self.assertFalse(self.data["evidence_limits"]["global_absence_claimed"])
|
|
def test_forbidden_and_unauthorized(self):self.assertTrue(all(self.data["forbidden_scope"].values()));self.assertFalse(any(self.data["authorizations"].values()))
|
|
def test_decision(self):
|
|
d=self.data["decision"];self.assertTrue(d["offline_primitive_source_bound"] and d["df_exact_path_metadata_candidate_supported"]);self.assertFalse(d["live_request_formable"] or d["live_observation_allowed"] or d["device_action_allowed"]);self.assertEqual(d["next_step"],"OFFLINE_HASH_BOUND_SNAPSHOT_QUERY_CONTRACT")
|
|
if __name__=="__main__":unittest.main(argv=[__file__])
|