Multistage Write Select Call Cordis 20260814 Directory

Type: kb/types/generated-index.md

← Parent

• Any symbolic program with LLM calls is a select/call program (note) - Any program whose non-LLM steps are symbolic computation over explicit machine state K can be mechanically converted into the select/call loop with the same LLM calls in the same order
• Brief: integrate Cordis into the select/call lemma