refactor(Logic/Modal): register pass — refinement class is le, doc fixes - #1983

Merged

hawkrobe merged 11 commits into

mainfrom

modal-defs-register

Aug 12, 2026

Commits on Aug 11, 2026

refactor(Logic/Modal): register pass — refinement class is le, doc fixes
hawkrobe
committed
f1d6eaf
docs(Logic/Modal): bare section header for frame conditions
hawkrobe
committed
924653e
docs(Logic/Modal): definition-only docstrings for frame conditions
hawkrobe
committed
35ade28
docs(Logic/Modal): serial as LeftTotal field; definition-form docstrings
hawkrobe
committed
9340c3b
style(Logic/Modal): derive top instances; where-style frame implications
hawkrobe
committed
fb2223c
style(Logic/Modal): drop instance priorities — tabled resolution suffices
hawkrobe
committed
6775cd4
style(Logic/Modal): lift R to variable block; one-line instance fields
hawkrobe
committed
d104dae
docs(Logic/Modal): one-line box and diamond docstrings
hawkrobe
committed
70310f9

Commits on Aug 12, 2026

feat(Logic/Modal): box notation; push-neg duality; operators first
hawkrobe
committed
a6f47aa
docs(Logic/Modal): drop redundant duality docstrings
hawkrobe
committed
406d606
Merge branch 'main' into modal-defs-register
hawkrobe
authored
80bda33