From 07d75e1fb4e37c4f20df5fd32adc455173927019 Mon Sep 17 00:00:00 2001 From: allaun Date: Tue, 30 Jun 2026 05:49:40 -0500 Subject: [PATCH] fix: CI YAML syntax, multi-line string quoting --- .github/workflows/anti-smuggle.yml | 14 +++----------- 1 file changed, 3 insertions(+), 11 deletions(-) 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