core-target-rejected

planarian @ a924e09 · Spec v4.6 · snapshot main · all versions

A candidate whose evaluated unit file for planariad differs from the running one is rejected as CoreTarget, under any approval.

What it exercises

No invariant by name.