;;; -*- scheme -*-
((skip ("simulate" "c" "cs" "scheme" "javascript"))
 (comment
   "REPRO: requires-port iface-node cross-product LTS blowup. nucleos LTS is ~1665x
    the dzn golden (states ~151552 vs 91) yet weak-failures EQUIVALENT. The lts
    category's global state-count budget (DEFAULT_MAX_STATE_FACTOR=20x) makes this
    model FAIL — the tracked signal, auto-resolving when the blowup is fixed. See
    the .dzn header + memory project_requires_port_lts_blowup. Non-lts skipped."))
