Admit generic Edict pure-program contracts #874

Job	Run time
classify-changes	8s
Static nondeterminism inspection	16s
G3 perf regression (criterion)	2m 18s
G2 decoder security tests	31s
G4 build candidate 2	2m 51s
G1 determinism (linux)	1m 12s
G4 build candidate 1	2m 43s
G1 determinism (macos)	1m 28s
G4 independent build comparison	1m 5s
Evidence artifact presence	9s
	12m 41s

Navigation Menu