Cantonese Resultative / Phase Complements

@cite{matthews-yip-1994} @cite{cheung-2007} @cite{yip-k-f-2025} @cite{liu-yip-2026} App. B (127), Table 6

Cantonese inner-aspectual postverbal elements catalogued by @cite{yip-k-f-2025} and reproduced in @cite{liu-yip-2026} Appendix B (127). The audit on Liu & Yip 2026's integration flagged that these elements were entirely absent from linglib at that point; this file fills the gap with a theory-light per-morpheme inventory paralleling Mandarin's Fragments/Mandarin/Resultatives.lean phase-complement entries.

Distinguishing the resultative-verbal-complements (RVCs) from the phase complements proper requires the three diagnostics of Liu & Yip Appendix B Table 6: perfective suffixation, -dak / -m- infixation, and following an RVC. We commit only the morphological/phonological data; the diagnostic-based classification lives in the Studies file.

structure Fragments.Cantonese.ResultativeComplements.InnerAspMarker : Type

A Cantonese inner-aspectual postverbal element.

• jyutping : String
• hanzi : String
• gloss : String
• example_ : String
• notes : String

def Fragments.Cantonese.ResultativeComplements.instReprInnerAspMarker.repr : InnerAspMarker → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[implicit_reducible]

instance Fragments.Cantonese.ResultativeComplements.instReprInnerAspMarker : Repr InnerAspMarker

Equations

• Fragments.Cantonese.ResultativeComplements.instReprInnerAspMarker = { reprPrec := Fragments.Cantonese.ResultativeComplements.instReprInnerAspMarker.repr }

Inventory per @cite{liu-yip-2026} Appendix B (127a–m)

def Fragments.Cantonese.ResultativeComplements.dim : InnerAspMarker

-dim6 掂 'all right'. e.g. gaau2-dim6 'finished, settled'.

Equations

• Fragments.Cantonese.ResultativeComplements.dim = { jyutping := "-dim6", hanzi := "掂", gloss := "all right", example_ := "gaau2-dim6 (finished, settled)" }

def Fragments.Cantonese.ResultativeComplements.dou : InnerAspMarker

-dou2 倒 'arrive'. e.g. wan2-dou2 'found'.

Equations

• Fragments.Cantonese.ResultativeComplements.dou = { jyutping := "-dou2", hanzi := "倒", gloss := "arrive", example_ := "wan2-dou2 (found)" }

def Fragments.Cantonese.ResultativeComplements.gin : InnerAspMarker

-gin3 見 'see'. e.g. teng1-gin3 'hear'.

Equations

• Fragments.Cantonese.ResultativeComplements.gin = { jyutping := "-gin3", hanzi := "見", gloss := "see", example_ := "teng1-gin3 (hear)" }

def Fragments.Cantonese.ResultativeComplements.hei : InnerAspMarker

-hei2 起 (lit. 'lift'). e.g. waak6-hei2 'finished drawing'.

Equations

• Fragments.Cantonese.ResultativeComplements.hei = { jyutping := "-hei2", hanzi := "起", gloss := "lift / finish", example_ := "waak6-hei2 (finished drawing)" }

def Fragments.Cantonese.ResultativeComplements.hou : InnerAspMarker

-hou2 好 'good'. e.g. zou6-hou2 'being done'.

Equations

• Fragments.Cantonese.ResultativeComplements.hou = { jyutping := "-hou2", hanzi := "好", gloss := "good", example_ := "zou6-hou2 (being done)" }

def Fragments.Cantonese.ResultativeComplements.jyun : InnerAspMarker

-jyun4 完 'finish'. e.g. sik6-jyun4 'finished eating'.

Equations

• Fragments.Cantonese.ResultativeComplements.jyun = { jyutping := "-jyun4", hanzi := "完", gloss := "finish", example_ := "sik6-jyun4 (finished eating)" }

def Fragments.Cantonese.ResultativeComplements.seng : InnerAspMarker

-seng4 成 'succeed'. e.g. joek3-seng4 'succeeded in making an appointment'.

Equations

• Fragments.Cantonese.ResultativeComplements.seng = { jyutping := "-seng4", hanzi := "成", gloss := "succeed", example_ := "joek3-seng4 (succeeded in making an appointment)" }

def Fragments.Cantonese.ResultativeComplements.zoek : InnerAspMarker

-zoek6 著 'on target'. e.g. fan3-zoek6 'slept'.

Equations

• Fragments.Cantonese.ResultativeComplements.zoek = { jyutping := "-zoek6", hanzi := "著", gloss := "on target", example_ := "fan3-zoek6 (slept)" }

def Fragments.Cantonese.ResultativeComplements.lok : InnerAspMarker

-lok6 落 'finish, fall'. e.g. zyu2-lok6 'taught way back then'.

Equations

• Fragments.Cantonese.ResultativeComplements.lok = { jyutping := "-lok6", hanzi := "落", gloss := "finish (a long time ago)", example_ := "zyu2-lok6 (taught way back then)" }

def Fragments.Cantonese.ResultativeComplements.ding : InnerAspMarker

-ding6 定 'in advance'. e.g. zyu2-ding6 'cooked in advance'. Per @cite{wong-shing-kit-2018}.

Equations

• Fragments.Cantonese.ResultativeComplements.ding = { jyutping := "-ding6", hanzi := "定", gloss := "in advance", example_ := "zyu2-ding6 (cooked in advance)" }

def Fragments.Cantonese.ResultativeComplements.can : InnerAspMarker

-can1 親 'adversative'. e.g. daa2-can1 'injure by hitting'. Per @cite{sio-2020}.

Equations

• Fragments.Cantonese.ResultativeComplements.can = { jyutping := "-can1", hanzi := "親", gloss := "adversative", example_ := "daa2-can1 (injure by hitting)" }

def Fragments.Cantonese.ResultativeComplements.zyu : InnerAspMarker

-zyu6 住 'hold'. Continuative use. e.g. kam2-zyu6 'cover still'.

Equations

• Fragments.Cantonese.ResultativeComplements.zyu = { jyutping := "-zyu6", hanzi := "住", gloss := "hold (continuative)", example_ := "kam2-zyu6 (cover still)" }

def Fragments.Cantonese.ResultativeComplements.sat : InnerAspMarker

-sat6 實 'firm'. e.g. mong6-sat6 'keep looking'.

Equations

• Fragments.Cantonese.ResultativeComplements.sat = { jyutping := "-sat6", hanzi := "實", gloss := "firm", example_ := "mong6-sat6 (keep looking)" }

def Fragments.Cantonese.ResultativeComplements.all : List InnerAspMarker

Equations

• One or more equations did not get rendered due to their size.

theorem Fragments.Cantonese.ResultativeComplements.all_count : all.length = 13

Drift sentry: 13 inner-aspectual elements per @cite{liu-yip-2026} Appendix B (127a–m).

def Fragments.Cantonese.ResultativeComplements.InnerAspMarker.toAspHead : InnerAspMarker → Minimalist.AspHead

All entries are inner-aspectual, projecting to AspFlavor.inner.

Equations

• x✝.toAspHead = { flavor := Minimalist.AspFlavor.inner }

theorem Fragments.Cantonese.ResultativeComplements.all_inner (m : InnerAspMarker) : m ∈ all → m.toAspHead.flavor = Minimalist.AspFlavor.inner