;;; -*- scheme -*-
;;; LegoBallSorter SYSTEM component `Brick2` baked from
;;; $LBS/Brick2.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 == `Brick2` (nuctest strips the
;;; `lbs_` prefix and passes -m Brick2).
;;;
;;; 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 with external-queue /
;;; foreign-timer boundaries carry a sanctioned `baseline/lbs.xfail`.
