allaun/SilverSight
1
0
Fork 0
mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-31 01:25:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix: CI YAML syntax, multi-line string quoting

Browse source
This commit is contained in:
allaun 2026-06-30 05:49:40 -05:00
parent e6d5a0a8d4
commit 07d75e1fb4
1 changed files with 3 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
.github/workflows/anti-smuggle.yml vendored
View file

@ -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