Skip to content

Actions: FractalDevTeam/Principia-Fractalis

Actions

Verify (Lean 4 kernel-only axiom check)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verify.yml
294 workflow runs
294 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
r139: 1 <= Module.rank Z E83a1(Q) Verify (Lean 4 kernel-only axiom check) #294: Commit 4d860de pushed by FractalDevTeam
1h 0m 34s master
master
1h 0m 34s
r140: 1 <= Module.rank Z E89a1(Q) Verify (Lean 4 kernel-only axiom check) #293: Commit 3c7938a pushed by FractalDevTeam
1m 3s master
master
1m 3s
r137: 1 <= Module.rank Z E61a1(Q) - wave 1 complete Verify (Lean 4 kernel-only axiom check) #292: Commit b125b6e pushed by FractalDevTeam
7m 53s master
master
7m 53s
r136: 1 <= Module.rank Z E53a1(Q) Verify (Lean 4 kernel-only axiom check) #291: Commit 8615cdb pushed by FractalDevTeam
1m 2s master
master
1m 2s
r138: 1 <= Module.rank Z E79a1(Q) - a1=1 case lands Verify (Lean 4 kernel-only axiom check) #290: Commit 9f304f4 pushed by FractalDevTeam
2m 3s master
master
2m 3s
r135: 1 <= Module.rank Z E43a1(Q) - cohort scale-out begins Verify (Lean 4 kernel-only axiom check) #289: Commit 61e51bd pushed by FractalDevTeam
2m 28s master
master
2m 28s
r134 (B5): THE FLAG - P=(0,0) is non-torsion; 1 <= Module.rank Z E37a… Verify (Lean 4 kernel-only axiom check) #288: Commit 5415961 pushed by FractalDevTeam
1h 0m 41s master
master
1h 0m 41s
r133 (B4): the quartic duplication height inequality for 37a1, kappa … Verify (Lean 4 kernel-only axiom check) #287: Commit f633a40 pushed by FractalDevTeam
10m 17s master
master
10m 17s
r131 (B3): Bezout identities and quartic size bound for the 37a1 dupl… Verify (Lean 4 kernel-only axiom check) #286: Commit 90ac013 pushed by FractalDevTeam
9m 16s master
master
9m 16s
Non-torsion arc: B1+B2 done, status update Verify (Lean 4 kernel-only axiom check) #285: Commit 4a9c3a7 pushed by FractalDevTeam
9m 13s master
master
9m 13s
r132 (B2): duplication formula for 37a1 - x(2P) = f(x)/g(x), no ratio… Verify (Lean 4 kernel-only axiom check) #284: Commit 4564f97 pushed by FractalDevTeam
16s master
master
16s
Non-torsion arc: ground truth computed and verified (Bezout identitie… Verify (Lean 4 kernel-only axiom check) #283: Commit 1f8234f pushed by FractalDevTeam
9m 2s master
master
9m 2s
r130 (B1): naive height on Q + quartic-growth driver; non-torsion arc… Verify (Lean 4 kernel-only axiom check) #282: Commit 2c638c0 pushed by FractalDevTeam
3m 56s master
master
3m 56s
r129: non-torsion point implies Module.rank >= 1 - first real stone o… Verify (Lean 4 kernel-only axiom check) #281: Commit c7c883c pushed by FractalDevTeam
1h 0m 36s master
master
1h 0m 36s
r128: nine-tuple alpha-skeleton uniqueness - Perelman and BSD anchors… Verify (Lean 4 kernel-only axiom check) #280: Commit 982f963 pushed by FractalDevTeam
12m 22s master
master
12m 22s
r127: the pi-sector closes - ALL NINE alphas follow from the Perelman… Verify (Lean 4 kernel-only axiom check) #279: Commit b633710 pushed by FractalDevTeam
1h 0m 35s master
master
1h 0m 35s
r126: SIX of nine alpha-values forced by the Perelman anchor Verify (Lean 4 kernel-only axiom check) #278: Commit de883e4 pushed by FractalDevTeam
36m 6s master
master
36m 6s
r125: the alpha-table is organized by Galois trace and norm Verify (Lean 4 kernel-only axiom check) #277: Commit dbd462b pushed by FractalDevTeam
11m 39s master
master
11m 39s
r122-r124: the alpha-pin resolved — Galois trace law found, web under… Verify (Lean 4 kernel-only axiom check) #276: Commit 0c422fa pushed by FractalDevTeam
1h 0m 20s master
master
1h 0m 20s
Coq honesty pass complete: 761 files banner-labelled, false claims re… Verify (Lean 4 kernel-only axiom check) #275: Commit 4711a43 pushed by FractalDevTeam
1h 0m 19s master
master
1h 0m 19s
r121: the Clay residual frontier drops from THREE atomic facts to TWO Verify (Lean 4 kernel-only axiom check) #274: Commit 10997de pushed by FractalDevTeam
1h 0m 37s master
master
1h 0m 37s
Propagate the two 2026-07-25 findings into book, paper and triage (ad… Verify (Lean 4 kernel-only axiom check) #273: Commit 5d1bea9 pushed by FractalDevTeam
25m 42s master
master
25m 42s
r120 VERIFIED CLOSED: RH on-line-zero atom discharged, [propext, Clas… Verify (Lean 4 kernel-only axiom check) #272: Commit f00e634 pushed by FractalDevTeam
1h 0m 19s master
master
1h 0m 19s
r120 Hardy B5 (WIP): full certified-numerics assembly for the RH on-l… Verify (Lean 4 kernel-only axiom check) #271: Commit 659acca pushed by FractalDevTeam
1h 0m 37s master
master
1h 0m 37s
Coq: Base3Tower + WeylAveraging — real proofs, zero axioms Verify (Lean 4 kernel-only axiom check) #270: Commit 8ab2b3a pushed by FractalDevTeam
11m 39s master
master
11m 39s