Skip to content

feat(Phonology/Subregular): class assimilation as a rewrite effect - #2701

Open
hawkrobe wants to merge 1 commit into
mainfrom
refactor/rewrite-alpha
Open

feat(Phonology/Subregular): class assimilation as a rewrite effect#2701
hawkrobe wants to merge 1 commit into
mainfrom
refactor/rewrite-alpha

Conversation

@hawkrobe

@hawkrobe hawkrobe commented Sep 4, 2026

Copy link
Copy Markdown
Owner

Add the alpha-variable change to local rewrite rules: Effect.copyRight C and Effect.copyLeft C assimilate the feature class C to the adjacent input segment, which is Finset.piecewise on C, so SPE [αF, βG] rules, node spreading (when C is a natural class) and AGREE on a class are one operation. Rules now carry leftReach/rightReach (context length or effect reach), and the window lemmas, bounded scan, ISL result (rightReach = 0) and delayed transducer are restated over reaches.

  • Core/Data/List/DropRight.lean gains getLast?_rtake.
  • Clements 1985: rule (12) and its SPE statement (14) are now Rules; the table (11) derivations run through Rule.apply, (14) agrees with (12) on the English data, and the [αnasal] variant is a legal SPE rule that no single-node spreading matches.
  • The rewrite file's docstrings move to the References-only citation convention.

@github-actions
github-actions Bot enabled auto-merge (squash) September 4, 2026 06:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant