diff --git a/.github/workflows/anti-smuggle.yml b/.github/workflows/anti-smuggle.yml index f41c7cf1..97d7d9d8 100644 --- a/.github/workflows/anti-smuggle.yml +++ b/.github/workflows/anti-smuggle.yml @@ -34,18 +34,10 @@ jobs: - name: Layer 2 — Pipeline Emission run: | - python3 python/build_pist_matrices_250.py \ - --predictions data/rrc_pist_predictions_250_v1.json - python3 python/build_manifold.py \ - --predictions data/rrc_pist_predictions_250_v1.json + python3 python/build_pist_matrices_250.py --predictions data/rrc_pist_predictions_250_v1.json + python3 python/build_manifold.py --predictions data/rrc_pist_predictions_250_v1.json lake build - lake exe rrc-emit-fixture 2>/dev/null | python3 -c " -import json,sys -d=json.load(sys.stdin) -assert d['bundle_receipt_valid'] == True, 'receipt invalid' -assert d['avm_canaries_passed'] == True, 'canaries failed' -print(f'OK: {d[\"summary\"][\"total\"]} rows, {d[\"summary\"][\"passed_alignment\"]} passed') -" + lake exe rrc-emit-fixture 2>/dev/null | python3 -c 'import json,sys; d=json.load(sys.stdin); assert d["bundle_receipt_valid"]; assert d["avm_canaries_passed"]; print(f"OK: {d[\"summary\"][\"total\"]} rows, {d[\"summary\"][\"passed_alignment\"]} passed")' - name: Layer 3 — CAS/SMT Grounding run: python3 scripts/verify_with_sympy.py