smtool: symbolic-model tool library checkpoint (wip) - #128

Draft

jar-ben wants to merge 21 commits into

jaroslav/smtool-checkpoint

Commits on Aug 6, 2026

smtool: symbolic-model tool library checkpoint (wip)
jar-ben
committed
844386d

Commits on Aug 16, 2026

smtool: revert modeling
jar-ben
committed
b02eda5
smtool: summarization-target detector — AST hashing signal + reachability-from-main gate
jar-ben
committed
9612f65
summarization-detector: standalone summarization-target detector (AST hashing + reachability gate)
jar-ben
committed
cf391dc

Commits on Aug 17, 2026

Commits on Aug 18, 2026

smtool: summarization-pipeline checkpoint — classifier, regression gate, relational injectivity
jar-ben
committed
f0b25d7

Commits on Aug 19, 2026

Commits on Aug 20, 2026

Commits on Aug 21, 2026