Your free trial has ended.

Try the live demo or log in .

codex/symgcad


Record final Ax318 and A377 warm continuation audits	1 week ago
Refresh benchmark with all 28 completed one-hour timeouts	1 week ago
Document bounded cross-order algebra cache audit	1 week ago
Audit every original problem in completed one-hour slow campaign	1 week ago
Bind measured discriminant improvements to bounded continuations	1 week ago
Record full fast-suite validation for exact base support blocks	1 week ago
Record public mappings for completed research milestones	1 week ago
Compare bounded native factor and square-free root pipelines	1 week ago
Refresh public source mapping through discriminant validation checkpoint	1 week ago
Pin optional native FastSecDec graph workflow and document verified inte...	1 week ago
Retain fourth one-hour slow-case outcomes without completion credit	1 week ago
Map literature reviews and diagnostic milestones to publication history	1 week ago
Refresh provenance for exact arithmetic and hour-campaign audits	1 week ago
Refresh public provenance map for validated solver milestones	1 week ago
Measure trivial-factor cache overhead and record current validation	1 week ago

Agent Instructions

Click a suite to see its builds. Example suite for ba42c3c1 :

https://nix-ci.com/gh:alphal00p:symGCAD/codex%2Fsymgcad/ba42c3c1bfd29d6faecb87e04a1df1d6954b00c1

This page is also available in machine-friendly formats. Request one with the Accept header:

curl --netrc -H 'Accept: application/json' https://nix-ci.com/gh:alphal00p:symGCAD/codex%2Fsymgcad
curl --netrc -H 'Accept: text/markdown' https://nix-ci.com/gh:alphal00p:symGCAD/codex%2Fsymgcad

For more instructions, fetch https://nix-ci.com/instructions .