Skip to content

Vela Mathematics Program: commits

52 commits at 36c6d0fef71a
Commits
52

at 36c6d0fef71a

Written by the protocol
17

submit, verify, decide

Moved the index
19

commits that changed repository state

Accepted Claims
3

after the newest transition

Thursday 27 August 20263 commits

ci: bind Math qualification to Python 3.13

WBWill Blair36c6d0fef71a3fec84d9dcd5eeca4e22e378f7cb1 path

ci: add Math replay and domain qualification

WBWill Blair4b5deab8d54564c4e449add5717843dd8c89eb071 path

chore(result-runner): repin Vela 0.977.6

WBWill Blair3cbaa815b502183d9e2a2c5f91b0ede243f5f43516 paths

Friday 21 August 202611 commits

fix(result-runner): require committed review receipt

WBWill Blaircf6d76687b205a39e2515e9fec7087c819454d2f3 paths

fix(result-runner): bind executable campaign evidence

WBWill Blairfc852724304896ae8b472f2a76785c4d6562557d17 paths

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

WBWill Blair8eca684f02db097ccd25f4e0de0a451bcf7f68eb27 paths

Harden Result Runner for source-native campaigns

WBWill Blair033ff587142f23f67e2b7fb281821c2f6395839f19 paths

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

WBWill Blair6fea63f2e7882fd9de0398868984cd88a17898f10 paths

fix(result-runner): repin signed Vela 0.977.4

WBWill Blair50e0846dcc6751e358fb047f4841f6fa50bb4d9b84 paths

Merge independently qualified Result Runner

WBWill Blair7a535164d1a5f1139997f875a586f58fce7e25630 paths

docs(result-runner): retain SQLite serializer preimage

WBWill Blair34649cf2fc7f58df6ce28beaac4207edd6fc33ab2 paths

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

WBWill Blair985e7065a1befa525aef64f45cc61a1f087438d49 paths

Correct and qualify maintained Result Runner

WBWill Blair2ba67830a42e657567bd30755f560183e767c26c51 paths

feat: add canonical Vela Result Runner

WBWill Blair1e7ca3ec4821651c0697c8952fce7d29d616eb5211 paths

Thursday 20 August 20265 commits

Merge dormant source-owner outreach artifacts

WBWill Blair5de716c896065c03c0a470d015ba2a328a527f730 paths

results: prepare source-owner outreach drafts

WBWill Blair7d35a741f701eab4dde8160e9c30434ee3cbd5514 paths

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

WBWill Blair0ee3e94d754e12a6ad5079f32448871fc21827800 paths

results: prepare three source-bound candidate packets

WBWill Blair4624ea801c43b773b5d4a8b795c91e1882d8c02b5 paths

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

WBWill Blaird03e736d3ada31b5cfc02507d99e54f04d335b668 paths

Wednesday 19 August 20264 commits

evaluations: audit conditional proofs behind Formal Conjectures links

WBWill Blairc739bde3b93346090896ff5cf55809b6ad7c86d313 paths

Add known-result and duplicate search as a scoped Check

WBWill Blair2415f78e850aeee50afdca525c6f2e0ea606f2073 paths

Add FAR and ProbXiv Result-boundary evaluation

WBWill Blair044abf577dc887425884b6044a457ae608ad784b14 paths

Document signed Vela 0.977.3 replay

WBWill Blaircf46d6f98b053714d16f113587c23a39d3e8bc8b2 paths

Tuesday 18 August 20269 commits

Document signed Vela 0.977.2 replay

WBWill Blair84b118ed1622d34e5a1431821cf35dca91fb87202 paths

Document current Submission v3 Math state

WBWill Blair4956c6c4c0f1fd9bbaccb9604eb5580c2febf8653 paths

vela: review review_accept

Accepted Claims3 → 3unchanged1 left review

Compare exact revisions

protocolAIVela Repositoryc875b49a7b703d0c0bf6892c345ffd71537885344 paths

vela: verification import

Accepted Claims3 → 3unchanged

Compare exact revisions

protocolAIVela Repositorycd17762373ae4dd7be8a1dca6b934a895c4cd0483 paths

vela: verification import

Accepted Claims3 → 3unchanged

Compare exact revisions

protocolAIVela Repositorye19467b09e29877e130d72fdee0b8bd4834fca753 paths

Retain Erdős 94 v3 cleanup observations

WBWill Blair2ec6bab9e94aef4e323b0e09cd80cf80519f8cfa2 paths

vela: submit

Accepted Claims3 → 3unchanged

Compare exact revisions

protocolAIVela Repository37738df74bf00619f5d884110d12fdbf0e94a0ac5 paths

Retain Erdős 94 v3 cleanup review inputs

WBWill Blair14affbbbba6be46a2013c6b379177fbfb57f4cd63 paths

evaluation: add time-frozen Erdos 321 replay pilot

WBWill Blairf4672aaaabde21e69c3439afdc3f5ddec42a0a6d14 paths

Monday 17 August 202618 commits

Document compact Submission v3 genesis

WBWill Blairf9b28280881472ccb9c4b1b35d8e741745f0bd992 paths

vela: review review_accept

Accepted Claims3 → 3unchanged1 left review

Compare exact revisions

protocolAIWill Blair9e14613b7bad9b5def871067e3f8d5ff2cccebcb4 paths

vela: verification import

Accepted Claims3 → 3unchanged

Compare exact revisions

protocolAIWill Blair6ac4a44da0d02777e315c3835649c033b75888cd3 paths

vela: verification import

Accepted Claims3 → 3unchanged

Compare exact revisions

protocolAIWill Blair761d01951566e035828d53cb98f0dda15c031cd63 paths

Attribute v3 checks to independent reviewer

WBWill Blair8007f59c9e7fe786e62653c0795d0ef18edc03532 paths

vela: submit

Accepted Claims3 → 3unchanged

Compare exact revisions

protocolAIWill Blair6fcc1e4f4e2d12163e72a70a20b6b45ec293bc495 paths

Root Erdos 94 occurrence evidence in v3 lineage

WBWill Blair2c29c9158ed39218505bfc886a16d033d7406b3e7 paths

vela: review review_accept

Accepted Claims2 → 3+11 left review

Compare exact revisions

protocolAIWill Blair749634087597021af6f3e13eeddf4faa584b36df4 paths

vela: submit

Accepted Claims2 → 2unchanged

Compare exact revisions

protocolAIWill Blair20d3c2d949675654e50c20329d915a1c0777faa76 paths

vela: review review_accept

Accepted Claims1 → 2+11 left review

Compare exact revisions

protocolAIWill Blair9626f9df2ef77109cb6bfb8156c2bdbcbb05252f4 paths

vela: verification import

Accepted Claims1 → 1unchanged

Compare exact revisions

protocolAIWill Blair4924adfb02d7fdf73f66927ebaad23486d6cb98a2 paths

vela: submit

Accepted Claims1 → 1unchanged

Compare exact revisions

protocolAIWill Blair5a385adc4402ca956a76e955c537a3b04aee02885 paths

vela: review review_accept

Accepted Claims1 → 1unchanged1 left review

Compare exact revisions

protocolAIWill Blairb6a4cf32253c5bc9a17295e7ab1b048243ee53bc4 paths

vela: verification import

Accepted Claims1 → 1unchanged

Compare exact revisions

protocolAIWill Blair552d14af7620e4e7021747ec79f57a306fcc002f2 paths

vela: submit

Accepted Claims1 → 1unchanged

Compare exact revisions

protocolAIWill Blair2bcc03558e83646ecb0f84111312ff793f534c714 paths

vela: review review_accept

Accepted Claims0 → 1+11 left review

Compare exact revisions

protocolAIWill Blaira1ded634fda7e255d416ea248a8a47500de569f34 paths

Submit compact v3 Erdos 321 predecessor

Accepted Claims0 → 0unchanged

Compare exact revisions

WBWill Blairc7da10ae78f761878a97d6b247a08c61747476295 paths

Add exact review methods for v3 migration

WBWill Blaird5e214ea2d735771dbf97b887bb9738c6d6247462 paths