Phase 2.2 prep: state-var alignment invariant, declared tag, find_state_variable_by_name (#59) - #66

Merged

petlenz merged 4 commits into

mainfrom

phase-2.2-prep-59

Jun 3, 2026

Commits on Jun 2, 2026

Phase 2.2 prep: state-var alignment invariant, declared tag, find_state_variable_by_name (#59)
petlenz
committed
7bc20f7

Commits on Jun 3, 2026

Address PR #66 review: alignment in pass, conditional tag, enum-value msgs, 5 negative tests
petlenz
committed
16ac2b9
Address PR #66 round-2 review: reset flag on run() entry, fix docs, tighten 5 negative tests
petlenz
committed
a278fee
Address PR #66 round-3 review: codify state-var precondition, factor friend header, same-instance reuse test
petlenz
committed
de97352