Use the actual lookup receipt shape in demo ownership proof

Assert the existing file-level verification receipt so the new routing control exercises real ownership instead of assuming an unavailable summary field.

Contract-Neutral: Test-only assertion of existing subsystem lookup output; no runtime or authority change.
Change-source: pulse-maintainer
This commit is contained in:
pulse-triage[bot]
2026-10-03 01:13:46 +01:00
parent 751fb67523
commit b3937a4803
@@ -105,9 +105,11 @@ class SubsystemLookupTest(unittest.TestCase):
for path in (".github/scripts/demo-runtime-transaction.py", ".github/scripts/dispatch-demo-runtime.py"):
with self.subTest(path=path):
result = lookup_paths([path])
subsystem = next(item for item in result["subsystems"] if item["id"] == "deployment-installability")
self.assertEqual(subsystem["matched_verification_policies"][0]["id"], "demo-runtime-transaction")
self.assertEqual(sorted(subsystem["required_verification"]["exact_files"]), [
self.assertEqual(result["unowned_runtime_files"], [])
self.assertEqual({item["subsystem"] for item in result["impacted_subsystems"]}, {"deployment-installability"})
requirement = result["files"][0]["matches"][0]["verification_requirement"]
self.assertEqual(requirement["id"], "demo-runtime-transaction")
self.assertEqual(sorted(requirement["exact_files"]), [
".github/scripts/tests/test_demo_runtime_transaction.py",
"scripts/installtests/demo_transaction_test.go",
])