candidate-nar-mismatch-refused
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
A display-scale candidate’s store contents no longer hash to the NAR hash recorded when it was built. It is refused before activation: verification checks the hash, not that the path exists (§9 step 3, C6).
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | generation: base; override_source: base; txn: Rejected(Other(“candidate failed verification”)) ApplyChange | fake: PASS |
What it exercises
No invariant by name.