6d23dc41

By: ValentinHirschi <valentin.hirschi@gmail.com>

preserve exact coefficients on rational source-port case charts

Retain integer case semantics with native Symbolica rational charts, add value-preserving specialization audits, and expose measured sector scheduling. Record the complete release regression, the422/436-sector PM frontier, and the independently audited parallel Vakint artifact delivery plan.

GitHub

Tree Dependencies

	Time to Start	Worker time	Duration	Time to finish	Idle
Config	-	-	-	-	900h22m40s
Eval	-	-	-	-	-
Build	-	-	-	-	-
Suite	-	-	-	-	900h22m40s

Agent Instructions

This page shows suite timings.

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:rustred/main/6d23dc41e5cdb6feb90f8b0b3337a302c6699fbf/timing
curl --netrc -H 'Accept: text/markdown' https://nix-ci.com/gh:alphal00p:rustred/main/6d23dc41e5cdb6feb90f8b0b3337a302c6699fbf/timing

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