Skip to content

Actions: UOR-Foundation/F1

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
679 workflow runs
679 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
WeilPrimeShift SPINE: finite-place Weil prime side = fold of genuine … CI #680: Commit 6bd03ef pushed by afflom
4m 9s main
main
4m 9s
HP Phase-3 (correct 3 factual errors in 077b586's blocker record) CI #679: Commit c140d60 pushed by afflom
3m 32s main
main
3m 32s
HP Phase-3 (warrant gate — step 1 determined): FORMAL BLOCKER, no reg… CI #678: Commit 077b586 pushed by afflom
4m 0s main
main
4m 0s
HP Phase-3 (honesty correction): "self-adjoint," NOT "unbounded" — th… CI #677: Commit 3083ad3 pushed by afflom
4m 4s main
main
4m 4s
HP Phase-3 (multiplier items 6-7 — CULMINATION): genuine adjoint, Dom… CI #676: Commit 628f21f pushed by afflom
3m 48s main
main
3m 48s
HP Phase-3 (multiplier item 5): Parseval + genuine inner-product symm… CI #675: Commit 3c3e9a9 pushed by afflom
3m 56s main
main
3m 56s
HP Phase-3 (multiplier items 2/3/4 + blocker fix): sharp Cauchy–Schwa… CI #674: Commit e4af800 pushed by afflom
3m 29s main
main
3m 29s
HP Phase-3 (multiplier items 2-3): real-weight multiplier as a constr… CI #673: Commit 81a1ce1 pushed by afflom
8s main
main
8s
HP Phase-3 (multiplier item 1 + hardening): general division-free Cau… CI #672: Commit 8d57708 pushed by afflom
4m 9s main
main
4m 9s
HP Phase-3 (items 4-5): finite coordinate projections + Pythagoras + … CI #671: Commit ac7a460 pushed by afflom
3m 53s main
main
3m 53s
HP Phase-3 (items 1-3): neutral basis core + orthonormality/coefficie… CI #670: Commit 341a50c pushed by afflom
3m 39s main
main
3m 39s
HP Phase-3 (items 4-5): completed coordinate reads + coordinate conti… CI #669: Commit e49524c pushed by afflom
3m 57s main
main
3m 57s
HP Phase-3 (contract repair): tie dist2↔inner and cauchy↔dist2; packa… CI #668: Commit 0ec6c4d pushed by afflom
3m 49s main
main
3m 49s
HP Phase-3 (step 1): package the completion as a Bishop-complete pre-… CI #667: Commit e3f1c71 pushed by afflom
3m 59s main
main
3m 59s
HP Phase-2: completion isometry + density + completeness (the complet… CI #666: Commit bd6b049 pushed by afflom
3m 49s main
main
3m 49s
HP Phase-2: dlimCompletionPreHilbert : FinPreHilbert — the completion… CI #665: Commit 48b263b pushed by afflom
4m 27s main
main
4m 27s
HP Phase-2: completedInner_self_definite — the load-bearing definiten… CI #664: Commit 592cbc1 pushed by afflom
4m 8s main
main
4m 8s
HP Phase-2: toward FinPreHilbert — limit laws + Hermitian/positivity … CI #663: Commit e32dbd7 pushed by afflom
4m 15s main
main
4m 15s
HP Phase-2: completedInner_congr — the completed inner product descen… CI #662: Commit a0469c1 pushed by afflom
4m 7s main
main
4m 7s
HP Phase-2: the null-difference limit theorem (completedInner_congr f… CI #661: Commit aa0cab4 pushed by afflom
4m 26s main
main
4m 26s
HP Phase-2: the completed inner product ⟨X,Y⟩ := lim⟨X_n,Y_n⟩ (steps … CI #660: Commit 95b0a6c pushed by afflom
4m 52s main
main
4m 52s
HP Phase-2 completion checkpoint (substrate): ζ-free coordinatewise c… CI #659: Commit bd07efa pushed by afflom
3m 41s main
main
3m 41s
HP Phase-2 debt: extract the ζ-free real mul/order core into a shared… CI #658: Commit 744d6e5 pushed by afflom
4m 43s main
main
4m 43s
HP Phase-2 scalar gate 6 (module laws): completion carrier is a compl… CI #657: Commit e00ae19 pushed by afflom
4m 47s main
main
4m 47s
HP Phase-2 scalar gate 6 (scalar congruence): c≈c' ⟹ c·X≈c'·X CI #656: Commit 23f33fb pushed by afflom
4m 48s main
main
4m 48s