| program research_loop | |
| const fuel_budget=12 | |
| const min_sources=3 | |
| entry: fuel fuel_budget | |
| plan: request search, query("topic decomposition") -> await_result -> verify -> branch_invalid retry_plan | |
| search: request search, subquestion batch -> await_result -> verify -> evidence -> coverage -> branch_lt min_sources, search | |
| read: request fetch, selected -> await_result -> verify -> evidence | |
| synthesize: request local_model, render_cited_answer -> await_result -> verify -> emit final -> halt | |