allaun/SilverSight
1
0
Fork 0
mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-30 17:16:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
SilverSight/.github/workflows
History
Exact
allaun f87c78d4e8 ci(gate): add anti-smuggle vacuity check script + CI workflow layer 
- scripts/anti_smuggle_check.py: detects vacuous theorem patterns:
  * := rfl theorem bodies
  * fun ... => rfl lambda bodies
  * syntactically identical LHS/RHS in equalities
  * quantified sums with bound variable renames
- Integrated as Layer 4 in existing anti-smuggle CI workflow
- Verified: catches the old vacuous YB tautology (fun ... => rfl pattern)
- Verified: zero false positives on current main
- --ci mode exits non-zero on any finding
2026-07-03 05:03:08 -05:00
..
anti-smuggle.yml ci(gate): add anti-smuggle vacuity check script + CI workflow layer 2026-07-03 05:03:08 -05:00
auto-pipeline.yml feat(nuvmap,braid): NUVMAP port + Rossby/Kelvin braid correspondence 2026-06-30 16:38:11 -05:00
avm-ci.yml feat(ci): add Julia, R, C, C++ to CI workflow + run all ports in wolfram_verify.py 2026-06-30 18:03:30 -05:00
doc-sync.yml feat(rrc): bare-minimum RRC refactor into SilverSight 2026-06-21 09:08:48 -05:00
lean-check.yml fix: Lean CI — remove redundant SilverSightFormal build (lake build handled by lean-action) 2026-06-30 06:45:03 -05:00
python-check.yml fix: Python CI — soft secret scan, no false-positive failures 2026-06-30 06:42:26 -05:00
q16-roundtrip.yml fix: Q16 roundtrip CI — build C lib via lake, run executable 2026-06-30 06:38:04 -05:00