the definitions seem ok (maybe a little redundant)
but the explanations look the same both cases

so I propose to clarify responsabilities,

• weak ref, the engine does the optimization
• finalization callback, you do additional cleaning related to the trashed object

...

mm...
I think is clearer in this comment than the lines I changed
Maybe an native English speaker could tell...