;;; -*- scheme -*-
;;; LegoBallSorter leaf component `TouchSense` baked from
;;; $LBS/TouchSensor.dzn via scripts/gen-lbs-test-models.sh.
;;; Imports inlined; sibling components and wrapping systems
;;; stripped from the baked .dzn so the leaf can be verified in
;;; isolation (dir-name == file-name == component-name).
;;;
;;; nuctest's `component_name()` strips the `lbs_` dir prefix
;;; before passing -m to nucleos — the `lbs_` marker also drives
;;; classify_by_name → Category::LbsLts.
;;;
;;; LBS runs only under `--category lbs`. The verify byte-diff
;;; would diverge — `nucleos -v verify -k` and `dzn -v verify -k`
;;; enumerate declared interfaces in different orders/scopes
;;; (uniform across the LBS corpus) — so the LTS structural check
;;; alone is the regression gate.
