feat: Hoare logic, TM combinators, encoding, and subroutines#7

Merged

SamuelSchlesinger merged 6 commits into

devfrom

feat/hoare-combinators

Apr 4, 2026

Commits on Apr 4, 2026

feat(Combinators): add seqTM, ifTM, loopTM combinators with generic proof infrastructure
SamuelSchlesinger
committed
feat(Hoare): add time-bounded Hoare logic for compositional TM reasoning
SamuelSchlesinger
committed
chore: add .claude/ to .gitignore
SamuelSchlesinger
committed
refactor: unify duplicated transition tape operations, remove linter suppression
SamuelSchlesinger
committed
feat(Encoding,Subroutines): add state normalization, binary encoding, and TM building blocks
SamuelSchlesinger
committed
docs: improve module docstrings and add missing definition docs
SamuelSchlesinger
committed