Your free trial has ended.

Try the live demo or log in .

codex/symgcad


Record release quadratic certificate and ladder ablations	1 week ago
Document positive-root remainder certificate boundaries	1 week ago
Replay rational kinematic map and bounded critical resultant	1 week ago
Replay exact two-point Gram pencils and massless projection identities	1 week ago
Research positive pair endpoint certificates and replay identities	1 week ago
Add exact quadratic-component certificates and five-sector ladder	1 week ago
Measure exact shift-based full-real root-cover replay	1 week ago
Record combined fast-suite validation of certified improvements	1 week ago
Add opt-in exact weighted-square nonvanishing certificates	1 week ago
Explain exact Ax318 layout decline and A377 source quota	1 week ago
Record bounded three-parameter segmentation preflight	1 week ago
Research CFF-guided kinematic chambers and exact graph-flow certificates	1 week ago
Measure bounded multivariate square-free support proposals	1 week ago
Record measured cache pressure and controlled Ax318 continuation	1 week ago
research: retain and replay bounded univariate SQF proposals	1 week ago

Agent Instructions

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

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

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 .