Add ter- three-way classification and passive type system for Indonesian fragment

Author: hawkrobe

CHANGELOG.md

@@ -1,5 +1,13 @@
 # Changelog
 
+## [0.229.172] - 2026-03-12
+
+### Added
+- **TerClass (Predicates.lean)**: Three-way *ter-* classification from Sneddon 1996 §1.265–1.275 — stative (result state, no agent), accidental (nonvolitional action), abilitative (circumstantial possibility). Semantic bridges to `Volitionality` and suffix retention. Three new verbs: *tulis* (stative), *bawa* (accidental), *dengar* (abilitative). 27 verification theorems including cross-source bridge connecting B&U root classes to Sneddon ter- classes.
+- **Passive type system (VoiceSystem.lean)**: Two passive types from Sneddon §3.27–3.32 — type one (*di-*verb + *oleh* + agent) and type two (agent + bare verb). `AgentDP` classification with Box A/Box B selection rules, `VoicePrefixConstraint` for *ter-* override (§3.32 forces type one for all agents). 10 theorems including universal quantifier proofs.
+- **Morphophonology.lean**: Fix `String.data` → `String.toList` deprecation
+- **ArgumentRealization.lean**: Extract `SuppressedVarReading`, `ObjectRealization`, `MiddleType` to theory layer (fixes Fragment→Phenomena dependency violation)
+
 ## [0.229.171] - 2026-03-12
 
 ### Changed

Linglib/Fragments/Indonesian/Morphophonology.lean

@@ -0,0 +1,75 @@
+/-!
+# Indonesian Morphophonology
+@cite{sneddon-1996}
+
+The nasal assimilation rules governing the meN- prefix allomorph
+selection, from @cite{sneddon-1996} §1.5.
+
+## meN- allomorph rules
+
+The capital N in *meN-* represents a nasal that assimilates to the
+first segment of the base. The nasal can surface as **m**, **n**,
+**ny**, **ng**, or **zero**, and in some cases the base-initial
+consonant is deleted:
+
+| Base initial       | Prefix  | Deletion? | Example                |
+|--------------------|---------|-----------|------------------------|
+| vowel, g, k, h     | meng-   | k deleted | *meng-ajar*, *meng-irim* |
+| b, p, f            | mem-    | p deleted | *mem-beli*, *mem-akai*   |
+| d, t, c, j, z      | men-    | t deleted | *men-dengar*, *men-ulis* |
+| s                  | meny-   | s deleted | *meny-ewa*               |
+| l, r, m, n, w, y   | me-     | —         | *me-lihat*, *me-masak*   |
+-/
+
+namespace Fragments.Indonesian.Morphophonology
+
+/-- The meN- allomorph prefix selected by the initial segment of the root
+    (@cite{sneddon-1996} §1.5). The nasal N undergoes assimilation:
+    - Before **b, p, f**: *mem-* (bilabial nasal m)
+    - Before **d, t, c, j, z**: *men-* (alveolar nasal n)
+    - Before **s**: *meny-* (palatal nasal ny; s deleted)
+    - Before **l, r, m, n, w, y**: *me-* (N lost)
+    - Elsewhere (vowels, **g, k, h**): *meng-* (velar nasal ng) -/
+def meNPrefix : Char → String
+  | 'b' | 'p' | 'f' => "mem"
+  | 'd' | 't' | 'c' | 'j' | 'z' => "men"
+  | 's' => "meny"
+  | 'l' | 'r' | 'm' | 'n' | 'w' | 'y' => "me"
+  | _ => "meng"
+
+/-- Derive the expected meN- form from a root, using the phonological
+    rules from @cite{sneddon-1996} §1.5. The result shows the morpheme
+    boundary (prefix-root), preserving the root-initial consonant even
+    when it is deleted in the surface form (e.g., *mem-pecah* rather
+    than *memecah*). -/
+def deriveMeN (root : String) : Option String :=
+  match root.toList with
+  | c :: _ => some (meNPrefix c ++ "-" ++ root)
+  | [] => none
+
+-- ============================================================================
+-- Per-class verification
+-- ============================================================================
+
+/-- Vowel-initial roots get *meng-*. -/
+theorem vowel_meng : meNPrefix 'a' = "meng" := rfl
+
+/-- Labial-initial roots get *mem-*. -/
+theorem labial_mem : meNPrefix 'b' = "mem" ∧ meNPrefix 'p' = "mem" := ⟨rfl, rfl⟩
+
+/-- Dental-initial roots get *men-*. -/
+theorem dental_men : meNPrefix 'd' = "men" ∧ meNPrefix 't' = "men" ∧
+    meNPrefix 'c' = "men" ∧ meNPrefix 'j' = "men" := ⟨rfl, rfl, rfl, rfl⟩
+
+/-- Sibilant-initial roots get *meny-*. -/
+theorem sibilant_meny : meNPrefix 's' = "meny" := rfl
+
+/-- Sonorant-initial roots get *me-*. -/
+theorem sonorant_me : meNPrefix 'l' = "me" ∧ meNPrefix 'r' = "me" ∧
+    meNPrefix 'm' = "me" := ⟨rfl, rfl, rfl⟩
+
+/-- Velar-initial roots get *meng-*. -/
+theorem velar_meng : meNPrefix 'g' = "meng" ∧ meNPrefix 'k' = "meng" ∧
+    meNPrefix 'h' = "meng" := ⟨rfl, rfl, rfl⟩
+
+end Fragments.Indonesian.Morphophonology