lts.override.aut — sanctioned per-model LTS override (user-authorized).

wf-check verdict: OURS ⊑ GOLD (ours refines; dzn over-generates). Same
project/foreign nested-composition flavor as Camera: ours is the
consistent/refining side; dzn nested composition adds interleavings.
Hold nucleos lts (des (0,19,18)) as golden per no-overfit-to-dzn. Was lts.xfail
(ours⊆gold). dzn gold kept as baseline/lts.aut for reference.

---------- prior lts.xfail note ----------
# Expected to fail in lts category — known regression.
#
# This model fails `nucleos lts` weak-failures comparison against
# the dzn-generated `baseline/lts.aut`. The failure has been
# present long enough to be characterised:
#   - cluster of foreign-port / injected-port / fork / requires
#     models that exercise similar codepaths
#   - documented in memory [Parallel BFS bug] +
#     [Bail audit 2026-05-13]
#
# nuctest treats this as XFAIL (does NOT count toward CI exit-1)
# while a fix is pending. When the underlying bug is fixed and
# this model starts passing, nuctest will emit UNEXPECTED PASS
# in the summary header — that is the cleanup signal: delete
# this marker in the same commit as the fix.
