One operation's statically-extracted writes field-ownership shape -- true (owns the whole capability), a nested plain object mirroring FieldOwnership<T> (untyped, since this is extracted data), or undefined when it couldn't be determined (never guessed at).
One operation's statically-extracted
writesfield-ownership shape --true(owns the whole capability), a nested plain object mirroringFieldOwnership<T>(untyped, since this is extracted data), orundefinedwhen it couldn't be determined (never guessed at).