Fix #420: t2s function folds under the rule contract + close trans gaps - #421

Merged

petlenz merged 2 commits into

mainfrom

420-t2s-function-rule-contract

Sep 14, 2026

Commits on Jul 29, 2026

Fix #420: t2s function folds under the rule contract + close trans gaps
petlenz
committed
ce2e979
Review fixes on #420: extract t2s exp/sqrt folds; rename result→t2s_holder
petlenz
committed
18b9a59