Formal Verification · Workflow runs · gift-framework/core · GitHub

Actions

All workflows
Workflows
- Blueprint Blueprint
- Consistency Check Consistency Check
- Formal Verification Formal Verification
- Publish to PyPI Publish to PyPI
Management
- Caches
- Deployments

Formal Verification

Actions

Loading...
Loading

703 workflow runs

703 workflow runs

feat(foundations): Tier 1.1 — Phase 1b+3 interval certificates as Lea… Formal Verification #703: Commit 8fc8ab8 pushed by gift-framework

2m 5s main

main

2m 5s

docs(MetricEigenvalues): refresh det_g_from_metric comment with Phase… Formal Verification #702: Commit bce7e96 pushed by gift-framework

1m 53s main

main

1m 53s

release: v3.4.11 — K3NewtonKantorovich.lean: CI(2,2,2) NK cert v2.2 f… Formal Verification #701: Commit b4dd209 pushed by gift-framework

2m 23s main

main

2m 23s

fix(docstrings): remove false Quintic/CI(2,2,2) identification in 3 f… Formal Verification #700: Commit 0556894 pushed by gift-framework

1m 57s main

main

1m 57s

release: v3.4.9 — axiom elimination 7 → 4 Formal Verification #699: Commit 3312228 pushed by gift-framework

2m 3s main

main

2m 3s

feat(spectral): eliminate KK_YM_EFT + K7_spectral_data axioms (7 → 5) Formal Verification #698: Commit 7b28895 pushed by gift-framework

2m 6s main

main

2m 6s

test(algebraic): G2Rank centralizer certified via 47×47 right-inverse… Formal Verification #697: Commit e37e870 pushed by gift-framework

1m 31s main

main

1m 31s

test(algebraic): G2Rank centralizer certified via 47×47 right-inverse… Formal Verification #696: Pull request #160 opened by gift-framework

1m 29s test/g2rank-centralizer-certificate

test/g2rank-centralizer-certificate

1m 29s

Revert "feat(algebraic): G2Rank Property 5 — full native_decide proof… Formal Verification #695: Commit e738a41 pushed by gift-framework

1m 39s main

main

1m 39s

feat(algebraic): G2Rank Property 5 — full native_decide proof via exp… Formal Verification #694: Commit badce2f pushed by gift-framework

4m 21s main

main

4m 21s

Delete GIFTTest directory Formal Verification #693: Commit f1bd7e3 pushed by gift-framework

1m 26s main

main

1m 26s

release: v3.4.6 — Lean 4.29.0 + Mathlib v4.29.0 upgrade Formal Verification #692: Commit 68d0dc1 pushed by gift-framework

5m 41s main

main

5m 41s

feat(algebraic): prove g2_det_mul_gram — 8→7 axioms (G₂⊆SO(7) fully c… Formal Verification #691: Commit 1004bde pushed by gift-framework

3m 47s main

main

3m 47s

release: v3.4.4 — G₂ rank certified, blueprint cleanup, version bump Formal Verification #690: Commit 4b6caf1 pushed by gift-framework

3m 5s main

main

3m 5s

feat: G₂ rank = 2 via explicit Cartan subalgebra (native_decide) Formal Verification #689: Commit a2ccf37 pushed by gift-framework

3m 3s main

main

3m 3s

feat: G₂ Mathlib Step 4 — g₂⊆so(7) certificate + 7-form contraction Formal Verification #688: Commit 2f7d398 pushed by gift-framework

2m 42s main

main

2m 42s

chore: release v3.4.3 — G₂ Mathlib Steps 1–3 proven Formal Verification #687: Commit 7ffd673 pushed by gift-framework

2m 59s main

main

2m 59s

feat(G2ThreeForm): Step 3 — L_phi0_fullrank via native_decide certifi… Formal Verification #686: Commit 5c2c519 pushed by gift-framework

2m 37s main

main

2m 37s

fix: replace OctonionMassGap.b3 with literal 77=11*7 in Certificate/S… Formal Verification #685: Commit 0e90836 pushed by gift-framework

2m 47s main

main

2m 47s

fix: use correct namespaces for b3/n/mass_gap_ratio_num in Certificat… Formal Verification #684: Commit 0492183 pushed by gift-framework

2m 50s main

main

2m 50s

refactor: archive MollifiedSum, rename YangMillsBridge→KKSpectralBrid… Formal Verification #683: Commit 735861e pushed by gift-framework

2m 32s main

main

2m 32s

fix: convert 3 sorry→axiom in G2ThreeForm, purge 'sorry' from comment… Formal Verification #682: Commit a51665f pushed by gift-framework

2m 54s main

main

2m 54s

fix: add missing OctonionMassGap.lean (referenced by YangMillsBridge) Formal Verification #681: Commit e74aef2 pushed by gift-framework

2m 39s main

main

2m 39s

add: G2ThreeForm φ₀ formalization + ν̄=0 certification (v3.4.2) Formal Verification #680: Commit 9c5220e pushed by gift-framework

2m 2s main

main

2m 2s

release: v4.0.2 — dead axiom audit, 11 → 7 axioms Formal Verification #679: Pull request #159 synchronize by gift-framework

2m 29s release/v4.0.2

release/v4.0.2

2m 29s