✓ vakint_rustred c4e1185a gammaloop alphal00p

c4e1185a

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

perf(vakint): adopt rational RustRed numerator lowering

Pin the verified RustRed implementation and retain an opt-in native witness-parity diagnostic. Preserve the normal matching order, exact admission and symbolic output convention.

Validated feature-on/off compilation, nine focused native controls and an existing R2 saved-package factor/caching canary on the published Git dependency.

Total

	Time to Start	Worker time	Duration	Time to finish	Idle
Config	14s	1s	1s	15s	14s
Eval	-	-	-	-	-
Build	-	-	-	-	-
Suite	14s	1s	1s	15s	14s

Timeline

Config Compressed gap

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:gammaloop/vakint_rustred/c4e1185a2b61f249bcb7a80b4095a9017afcab9c/timing
curl --netrc -H 'Accept: text/markdown' https://nix-ci.com/gh:alphal00p:gammaloop/vakint_rustred/c4e1185a2b61f249bcb7a80b4095a9017afcab9c/timing

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