Resolving to What the Program Knows: Tracing Written Microwave-Synthesis Procedures to the Stored Programs That Run Them…