Spaces:
Running
Running
| import json | |
| import subprocess | |
| import sys | |
| from crosswire import cli, receipts | |
| from crosswire.study import RunConfig, run | |
| def test_cli_receipt_and_replay_survive_a_fresh_process(tmp_path): | |
| path = tmp_path / 'case.json' | |
| run = subprocess.run([sys.executable, '-m', 'crosswire', 'run', '--family', 'symmetric', | |
| '--budget', '0', '--out', str(path)], capture_output=True, text=True, timeout=30) | |
| assert run.returncode == 0, run.stderr | |
| data = json.loads(path.read_text()) | |
| assert data['payload']['decision']['admitted'] is False | |
| check = subprocess.run([sys.executable, '-m', 'crosswire', 'replay', str(path)], | |
| capture_output=True, text=True, timeout=30) | |
| assert check.returncode == 0, check.stderr | |
| assert 'true' in check.stdout.lower() | |
| def test_verify_recomputes_the_target_only_once(tmp_path, monkeypatch, capsys): | |
| path = tmp_path / 'case.json' | |
| path.write_text(json.dumps(receipts.pack(run(RunConfig(family='symmetric', budget=0)))), encoding='utf-8') | |
| calls = [] | |
| real_replay = receipts.replay | |
| def counted(*args, **kwargs): | |
| calls.append(1) | |
| return real_replay(*args, **kwargs) | |
| monkeypatch.setattr(cli, 'replay', counted) | |
| monkeypatch.setattr(receipts, 'replay', counted) | |
| assert cli.main(['verify', str(path)]) == 0 | |
| assert json.loads(capsys.readouterr().out)['valid'] is True | |
| assert len(calls) == 1 | |
| def test_check_independently_validates_public_model_evidence(tmp_path): | |
| path = tmp_path / 'case.json' | |
| path.write_text(json.dumps(receipts.pack(run(RunConfig(family='symmetric', budget=0)))), encoding='utf-8') | |
| checked = subprocess.run([sys.executable, '-m', 'crosswire', 'check', str(path)], | |
| capture_output=True, text=True, timeout=30) | |
| assert checked.returncode == 0, checked.stderr | |
| assert json.loads(checked.stdout)['valid'] is True | |