Skip to content

Home
Problems
Updates

Updates

Privacy Terms Accessibility Contact

Updates

State changes19 Repository commits33 All history52

Recent updates

Thursday 27 August 2026

2mo ago
ci: bind Math qualification to Python 3.13
WBWill BlairVela Mathematics Program
Repository commit36c6d0fef7
2mo ago
ci: add Math replay and domain qualification
WBWill BlairVela Mathematics Program
Repository commit4b5deab8d5
2mo ago
chore(result-runner): repin Vela 0.977.6
WBWill BlairVela Mathematics Program
Repository commit3cbaa815b5

Friday 21 August 2026

2mo ago
fix(result-runner): require committed review receipt
WBWill BlairVela Mathematics Program
Repository commitcf6d76687b

Thursday 20 August 2026

2mo ago
Merge dormant source-owner outreach artifacts
WBWill BlairVela Mathematics Program
Repository commit5de716c896

Wednesday 19 August 2026

2mo ago
evaluations: audit conditional proofs behind Formal Conjectures links
WBWill BlairVela Mathematics Program
Repository commitc739bde3b9

Tuesday 18 August 2026

2mo ago
Document signed Vela 0.977.2 replay
WBWill BlairVela Mathematics Program
Repository commit84b118ed16

Monday 17 August 2026

2mo ago
Document compact Submission v3 genesis
WBWill BlairVela Mathematics Program
Repository commitf9b2828088

2mo ago

fix(result-runner): bind executable campaign evidence

WBWill Blair·Vela Mathematics Program

Repository commitfc85272430

2mo ago

fix(result-runner): fail closed on campaign custody

WBWill Blair·Vela Mathematics Program

Repository commit8eca684f02

2mo ago

Harden Result Runner for source-native campaigns

WBWill Blair·Vela Mathematics Program

Repository commit033ff58714

2mo ago

merge(result-runner): activate signed Vela 0.977.4 pin

WBWill Blair·Vela Mathematics Program

Repository commit6fea63f2e7

2mo ago

fix(result-runner): repin signed Vela 0.977.4

WBWill Blair·Vela Mathematics Program

Repository commit50e0846dcc

2mo ago

Merge independently qualified Result Runner

WBWill Blair·Vela Mathematics Program

Repository commit7a535164d1

2mo ago

docs(result-runner): retain SQLite serializer preimage

WBWill Blair·Vela Mathematics Program

Repository commit34649cf2fc

2mo ago

fix(result-runner): close final bounded review blockers

WBWill Blair·Vela Mathematics Program

Repository commit985e7065a1

2mo ago

Correct and qualify maintained Result Runner

WBWill Blair·Vela Mathematics Program

Repository commit2ba67830a4

2mo ago

feat: add canonical Vela Result Runner

WBWill Blair·Vela Mathematics Program

Repository commit1e7ca3ec48

2mo ago

results: prepare source-owner outreach drafts

WBWill Blair·Vela Mathematics Program

Repository commit7d35a741f7

2mo ago

Merge pull request #4 from vela-science/codex/results-first-three-candidates

WBWill Blair·Vela Mathematics Program

Repository commit0ee3e94d75

2mo ago

results: prepare three source-bound candidate packets

WBWill Blair·Vela Mathematics Program

Repository commit4624ea801c

2mo ago

evaluations: build the proofs Formal Conjectures links to and read their axioms

WBWill Blair·Vela Mathematics Program

Repository commitd03e736d3a

2mo ago

Add known-result and duplicate search as a scoped Check

WBWill Blair·Vela Mathematics Program

Repository commit2415f78e85

2mo ago

Add FAR and ProbXiv Result-boundary evaluation

WBWill Blair·Vela Mathematics Program

Repository commit044abf577d

2mo ago

Document signed Vela 0.977.3 replay

WBWill Blair·Vela Mathematics Program

Repository commitcf46d6f98b

2mo ago

Document current Submission v3 Math state

WBWill Blair·Vela Mathematics Program

Repository commit4956c6c4c0

2mo ago

Retain Erdős 94 v3 cleanup observations

WBWill Blair·Vela Mathematics Program

Repository commit2ec6bab9e9

2mo ago

Retain Erdős 94 v3 cleanup review inputs

WBWill Blair·Vela Mathematics Program

Repository commit14affbbbba

2mo ago

evaluation: add time-frozen Erdos 321 replay pilot

WBWill Blair·Vela Mathematics Program

Repository commitf4672aaaab

2mo ago

Attribute v3 checks to independent reviewer

WBWill Blair·Vela Mathematics Program

Repository commit8007f59c9e

2mo ago

Root Erdos 94 occurrence evidence in v3 lineage

WBWill Blair·Vela Mathematics Program

Repository commit2c29c9158e

2mo ago

Add exact review methods for v3 migration

WBWill Blair·Vela Mathematics Program

Repository commitd5e214ea2d

2mo ago

Retain current Math evidence and methods

WBWill Blair·Vela Mathematics Program

Repository commit0a43a5d853