Vela Mathematics Program

This Repository records two current bounded scientific states:

• Erdős 321: one exact correction chain. The current Claim is a candidate-answer and occurrence-binding statement with unresolved terminal-to-fixed obligations; it is not a proof or resolution.
• Erdős 887: one exact public compiled-cache replay. It elaborates under Lean 4.22 with four sorry warnings; it is not a proof or a from-source dependency build.

evidence/current/ retains only the exact inputs and compact packets needed by these current Claims. Generic work sessions belong to Entire when available and are not required for Vela replay. A Verification reports one scoped check; only an authorized Decision changes Standing.

Run:

vela status . --json
vela replay . --json
vela projection . --json