Skip to content

TEST 087

sergio velderrain edited this page Nov 9, 2026 · 1 revision

TEST-087

Stimulus

Start V1 before D0 passes; skip D1; run V2 before V1; supply a V1 record from another conveyor or candidate; halt on FAIL and on UNKNOWN; restart after a failure; rerun a station with a fresh output location and with changed inputs; present a self-asserted lane or LUnit PASS without verified evidence.

Required observation

Only the ordered D0, V1, D1, V2, D2 sequence for one conveyor and candidate can complete. Any halt prevents later stages; a restart uses a new conveyor ID from D0; a borrowed record cannot satisfy a station; a second, different record for one station is a fork that fails the conveyor; asserted results without verified evidence are UNKNOWN.

Clone this wiki locally