2 Commits

Include renames

Author	SHA1	Message	Date
dela	f2ccd6fb08	fix: \sdcol emits English labels illegal/legal in [en] mode ... Previously \sdcol hardcoded Chinese labels 非法/合法 regardless of the package option. [en] mode now produces 'illegal' and 'legal'.	2026-08-21 14:56:39 +08:00
dela	9f635d358b	feat: add superderive stepwise derivation figures ... A third sibling toolkit: rewrite steps, justification rails, cancel/substitute highlights, and lint-on-warning builds.	2026-08-17 10:05:03 +08:00