TEST 094

TEST-094

Stimulus

Take a lane run whose evidence record verifies, and change in turn its schema version, engine commit, candidate commit, declaration, one tool version, and one output's digest or size. Separately, add an extra file to the evidence directory, add a forbidden key name to the record, and submit a declaration naming an output disk.vdi. Also run lanes that end failed, timeout, and probe-mismatch.

Required observation

The unmodified record verifies: the recomputed declaration digest and every output digest and size match. Each changed field fails verification, the extra file fails, the forbidden key fails, and the disk.vdi declaration is rejected before any VM mutation. Every run that reached the guest, including the failed, timed-out, and probe-mismatch runs, has exactly one projectbuddy/lane-evidence@1 record carrying the matching status.