coulomb/railiance-platform
5
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Make the platform test suite collect and finish; refresh the admission baseline.

Browse source 
Fix two collection errors and the order-dependent secrets-engine import.
Proofs whose prebuilt binaries are absent now skip with a reason. The
admission baseline takes three digests from reviewed rapp-postgres changes.
Nine drifted assertions remain, recorded in ADHOC-2026-11-03.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Assistant: claude-code
Assistant-Model: opus
Assistant-Process: 236506@bnt-lap001
Assistant-Session: 09087018-91e1-48c5-ab2f-acfbb62c92e4
This commit is contained in:
codex 2026-11-03 14:16:08 +01:00
parent 430c6eea07
commit 02d75dcc74
10 changed files with 118 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

11
tests/test_verify_informed_decision_requester.py
View file

@ -4,10 +4,15 @@ import io
import unittest
from pathlib import Path
from unittest.mock import patch
spec = importlib.util.spec_from_file_location('proof', Path(__file__).resolve().parents[1]/'scripts/verify_informed_decision_requester.py')
m = importlib.util.module_from_spec(spec)
spec.loader.exec_module(m)
# The proof runs inside the informed-decision image, which provides the
# `informed_decision` package. It is not installed in this repo's environment.
HAVE_PACKAGE = importlib.util.find_spec('informed_decision') is not None
if HAVE_PACKAGE:
spec = importlib.util.spec_from_file_location('proof', Path(__file__).resolve().parents[1]/'scripts/verify_informed_decision_requester.py')
m = importlib.util.module_from_spec(spec)
spec.loader.exec_module(m)
@unittest.skipUnless(HAVE_PACKAGE, 'informed_decision package not installed (runs in the informed-decision image)')
class ProofTests(unittest.TestCase):
def test_negative_identity_is_bounded(self):
with patch.object(m.Path, 'read_text', return_value='synthetic-only'), patch.object(m, 'http', return_value=(403, {})):