Patch 3: coefficient instantiation (Q3)

Each ingredient of (eq:L)–(eq:K9) is recorded as identified or as an explicit open datum reduced to one sheet and one sentence. $K_8$ and $K_9$ are not recopied; their displays stand in sec:entries for enumeration.