Runtime Initialization, Finalization, and EntryPoint Handling Workstream Definition

[amccaskey]

We propose a new workstream focused on updating the specification to handle QIR runtime library initialization, finalization, and entrypoint handling with input parameterization. Opening this PR as a first step to getting this workstream approved and inviting the QIR Alliance members and the community to provide feedback and input on this workstream definition.

[amccaskey]

@bettinaheim @DmitryLyakh @rtvuser1 @ffrachon @kalzoo @qci-petrenko @dan1pal

I have updated the workstream proposal with feedback from the discussion at today's steering committee meeting. Please take a look and review. With your approval we will consider this workstream proposal accepted and I will begin working to publicize and set up the first workstream working meeting. If you see anything lacking let's discuss here and iterate on the document.

The proposal has been updated to highlight the need for the workstream to define what is a valid return type for an EntryPoint. It has been updated to highlight the utility of QIR code without main or EntryPoint (as archived library code for modular reuse). The future work section has been updated to note that the return of quantum results and further discussion on modular QIR is to be left for future workstreams.

[dan1pal]

This should be a fun project. It is clear and well-scoped.

[kalzoo]

Possible clarifying comment, but it’s non-blocking. Thanks for the good work here @amccaskey

[rtvuser1]

This looks very well-defined.
Schedule dates are missing, but I assume that this will come later as work is underway

[bettinaheim]

lgtm aside from minor comments