;;; -*- scheme -*-
;;; LegoBallSorter SYSTEM component `Robot` baked from
;;; $LBS/Robot.dzn via
;;; scripts/gen-lbs-system-test-models.sh.
;;; Imports inlined; ALL components KEPT — a system composes its
;;; sub-components, so siblings/leaves stay in the baked .dzn. The
;;; file is self-contained (dzn re-parses it with no -I).
;;; dir-name == file-name; SUT == `Robot` (nuctest strips the
;;; `lbs_` prefix and passes -m Robot).
;;;
;;; The `lbs_` marker drives classify_by_name → Category::LbsLts;
;;; LBS runs only under `--category lbs`. Golden is the system
;;; LTS from `dzn graph -b lts`; the structural (weak-failures)
;;; LTS check is the regression gate (verify byte-diff diverges
;;; uniformly across the corpus). Systems that exceed the
;;; generation budget carry a sanctioned `baseline/lts.skip`;
;;; systems with external-queue / foreign-timer boundaries carry a
;;; sanctioned `baseline/lts.xfail`.
