dzn-simulate ARTIFACT, nucleos canonical. At these head-k boundaries dzn-simulate
emits an end-of-trail <queue-full> (in component "ihello", external queue) and offers
(eligible) empty, but dzn-simulate DIVERGES FROM dzn-VERIFY here: nucleos delivers the
external inevitable cleanly (w.cruel) and is ltscompare-EQUAL to dzn verify --out=aut.
Driving the spontaneous explicitly renders byte-identical in both tools. Override holds
nucleos canonical eligible. Sanctioned per-model 2026-06-26 (explicit human permission).
