ci(tla/tlc): add DbspSpec to TLC test list (closes B1 partial — 1 of 4 deferred specs)#1397

Merged

AceHack merged 2 commits intomainfrom

ci/tla-dbsp-spec-into-ci-b1-partial

May 3, 2026

Commits on May 3, 2026

ci(tla/tlc): add DbspSpec to TLC test list (closes B1 partial — 1 of 4 deferred specs)
AceHack
committed
fix(tlc-runner): correct DbspSpec coverage-scope claim — positive weights only, retraction NOT exercised
AceHack
committed