Learning When to Automate: Queue Control in Human-AI Service Systems
summary
The gist
The gist: The proposed UCB-DPP policy achieves regret Oe(K√T) and guarantees mean-rate stability of the human-service queues in a human-AI service system where automation decisions and human
In short
The UCB-DPP policy addresses a human-AI service system where automation decisions and human scheduling are coupled. It learns unknown parameters like chatbot success rates and human service speeds by combining Upper Confidence Bounds with Drift-Plus-Penalty control. This results in sublinear regret, $O(K ilde{p}_T ext{ log } T)$, while guaranteeing mean-rate stability of the human service queues.
Key concepts
- UCB-DPP Policy
- This is the proposed decision policy that jointly chooses chatbot cost and human scheduling action at each time step. It uses Upper Confidence Bounds to manage uncertainty in parameter estimation and Drift-Plus-Penalty control to balance learning new parameters with maintaining queue stability.
- Chatbot Success Probability ($p$)
- This represents the unknown probability that the chatbot successfully resolves a task type. The policy estimates this using an optimistic estimator, which is adjusted by a penalty term related to the current queue state, helping it learn effectively under uncertainty.
- Human Service Rate ($ ilde{ ho}_k$ or $ar{ ho}_k$)
- This is the unknown rate at which a human agent processes tasks of type $k$. The policy estimates this using an optimistic estimator that incorporates the current queue backlog. This coupling allows the system to learn how much automation and human service are effective simultaneously.
- Mean-Rate Stability
- This is a crucial performance guarantee ensuring that, on average, the rate at which tasks enter the human service queues does not exceed their processing capacity. Achieving this stability ensures that the human agents do not become permanently overloaded.
Terminology used across episodes
This episode discusses
The paper
Learning When to Automate: Queue Control in Human-AI Service Systems · Read on arXiv
Giovanni Montanari, Marco Scarsini, Vianney Perchet
FairPlay Joint Team · inria · Criteo AI Lab · CREST · ENSAE, Institut Polytechnique de Paris · Department of Economics and Financial Markets, Luiss University
Transcript
Introduction to the show: ident: AI Radio. Generated commentary on the latest Artificial Intelligence papers.
Tom: We're looking at the paper: "Learning When to Automate".
Jane: Here's the gist of the paper. The gist: The proposed UCB-DPP policy achieves regret Oe(K√T) and guarantees mean-rate stability of the human-service queues in a human-AI service system where automation decisions and human scheduling decisions are coupled.
Tom: Model Overview The study considers a two-stage architecture for a human-AI service system where tasks arrive sequentially over a finite horizon T, and each task belongs to one of K heterogeneous types The decision maker chooses how many resources to allocate to the chatbot, whose type-dependent success probabilities are initially unknown Tasks not resolved by the chatbot enter type-dependent human-service queues where they are processed by a human agent with unknown service rates This model captures a central tradeoff in hybrid service systems: relying more on automation reduces human congestion but increases chatbot costs, while insufficient automation may overload the human agent.
Jane: Key Contributions The paper makes three main contributions to the field The first contribution is a queueing model for human-AI service platforms in which automation decisions and human scheduling decisions are coupled, where chatbot decisions endogenously control the residual arrival process into the human queues while scheduling decisions determine how the human agent serves the resulting queues.
Tom: The second contribution is algorithmic, proposing the UCB-DPP policy which combines Upper Confidence Bounds with Drift-Plus-Penalty control to learn unknown parameters while making queue-aware decisions.
Title and authors: Tom: So, this paper, "Learning When to Automate: Queue Control in Human-AI Service Systems," it’s looking at this two-stage setup where you have a chatbot first and then a human agent if the chatbot can't handle the task. It’s about figuring out the best way to manage that whole process.
Jane: It sounds like it tackles that classic tradeoff, right? The idea is that using more automation helps reduce congestion on the human side, but it also increases costs for those chatbots, and if you automate too little, you can overload the human agent. That’s the core tension they are addressing here.
Lu: Exactly. The paper frames this as a system where automation decisions and human scheduling decisions are coupled over time in response to current congestion states (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg2>). It's not just about one decision; it’s about coordinating them across the whole horizon T.
Meng: From a deployment standpoint, coupling decisions is crucial because you can’t optimize them independently. If the AI decides to automate heavily now, that affects how much work lands on the human queue later. I always worry about those kinds of feedback loops breaking when you try to scale things up and down dynamically (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg2>).
Lalam: My analysis shows that because the platform doesn't know how different task types will be handled by the chatbot and by the human agent in advance, it has to learn those effectiveness rates from experience (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg2>). This makes the parameters unknown at first.
Tom: So they propose a specific policy called UCB-DPP which combines Upper Confidence Bounds with Drift-Plus-Penalty control. They’re using this mechanism to learn those unknown parameters, both the human service rate and the chatbot success probability. That’s where I get excited—a structured approach for handling uncertainty in a learning system (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>).
Jane: What’s interesting is how they handle those estimations of unknown parameters. They use empirical estimators, like k(t), which estimates the human service rate based on what has happened so far, and then they use an optimistic estimate by adding a term beta mu k(t) to it (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>).
Lu: And for the chatbot success probability p, they do something similar with k(t) and use an optimistic estimate k(t) using that same beta term (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>). This optimism is key to balancing exploration and exploitation in this setting.
Title and authors: Meng: Optimism sounds good for learning, but at scale, you need a concrete way to make the decisions. The policy minimizes a surrogate objective function t(c, a), which they derive from conditional drift and a penalty term (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>). That structure helps guide the choice between cost c and scheduling action a.
Tom: And the resulting decision rule for the chatbot cost is threshold-based, meaning you choose how much automation to use based on a value c that goes from zero to one (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>). Then the human scheduling action is determined by a MaxWeight rule using these optimistic estimates of service potential j(t-one) (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>) <ref:2607.06017#pg1,Learning When to Automate: Queue Control in Human-AI Service Systems>.
Jane: So, in short, they map the current state information to a pair of decisions—the cost and the schedule—and they use these optimistic estimates to make those choices (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>). Does that make sense? It's about joint control.
Lu: It really is a joint control mechanism. They are not just learning the human rate or the chatbot success; they are jointly deciding how much to automate and how to allocate capacity across queues based on those learned estimates (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg2>). This addresses the difficulty that automation and human service cannot be optimized independently over time.
Meng: What I want to know is the performance guarantee. If this policy is learning these parameters online, what’s the actual bound on how much regret we can expect over a finite horizon T? Is it manageable?
Tom: The analysis proves that the regret of UCB-DPP grows sublinearly with T, specifically R UCB-DPP T = O(K p T T) (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>). That’s a sublinear bound, which is what we want when learning online.
Jane: And they also ensure mean-rate stability of the human service queues by setting V equal to sqrt T and delta equal to T - two (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>) <ref:2607.06017#pg1,Learning When to Automate: Queue Control in Human-AI Service Systems>. Stability is important because if the queues keep growing without bound, even with a good policy, the system fails.
Lu: The terminal backlog term R four(T) is bounded by O(V + K (T / delta)) + r T P(G T) (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>) <ref:2607.06017#pg1,Learning When to Automate: Queue Control in Human-AI Service Systems>. That bound shows how the final state of the system behaves. It's controlled by terms related to sqrt T and logarithmic factors in T.
Title and authors: Meng: For me, the practical implication is that this policy gives us a way to learn when and how much to automate without letting costs or congestion spiral out of control over long periods. It moves from a reactive system to an adaptive one (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg2>).
Tom: So, the simulation results show that on synthetic instances, the cumulative regret grows sublinearly over time, which aligns perfectly with their theoretical bound (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>). The comparison plots also show how both the optimism mechanism and that queue-aware structure help stabilize things while controlling chatbot usage (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg2>).
Jane: It’s a solid result because it shows they can actually coordinate those two separate decisions—the cost decision and the scheduling action—to achieve this stable learning (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>). This moves beyond just looking at one part of the system.
Lu: It's a significant theoretical step because they are proving that this specific combination of UCB and DPP works for this coupled problem, which is hard because you have unknown success probabilities and unknown service rates simultaneously (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg2>).
Meng: If we were to deploy something like this on real traffic, I’d be focused on how robust those empirical estimators k(t) are when the true distribution shifts suddenly. They assume some underlying structure that might not hold perfectly in a chaotic real-world environment (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>).
Tom: That's fair, Meng. The paper acknowledges that these observations motivate treating chatbot effectiveness and human service rates as task-dependent and initially unknown (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg2>). So the learning mechanism is designed to handle that uncertainty.
Jane: And what does this mean for someone who just listens? It means that when you’re using an AI service, it doesn't just blindly follow a rule; it learns how much risk to take with the automation versus how much capacity to give the human agent based on what it’s seen happen so far (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>).
Lu: It changes the way we think about hybrid systems. Instead of thinking about a fixed split between AI and human resources, this suggests a dynamic allocation strategy that balances immediate cost against long-term queue stability (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg2>).
Title and authors: Meng: If we look at the related work, they mention how other literature studies the handoff problem when a chatbot needs to transfer tasks to a human agent (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg3>). This paper adds the control aspect—it’s not just predicting *if* you need a human, but optimizing *when* and *how much* capacity you give them (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>).
Tom: So, we’ve seen the mechanics of how they learn these rates and probabilities online, the mathematical structure behind the UCB-DPP policy, and they've proven a sublinear regret bound of O(K p T T) (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>).
Jane: And they’ve shown that this learning process actually keeps the human service queues mean-rate stable by setting V and delta appropriately (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>). It connects the learning objective directly to system stability.
Lu: The core contribution is coupling the chatbot cost decision with human scheduling decisions, which is a key insight because it shows automation and human service cannot be optimized independently over time (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg2>). It’s about the coordination between those two choices.
Meng: For production, what I see is that they provide a framework for dynamic resource allocation based on queue feedback, which is something we need when service demand fluctuates unpredictably (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg2>). It gives us a principled way to handle the uncertainty they mentioned in the motivation.
Tom: So, to wrap up this section of the paper on "Learning When to Automate: Queue Control in Human-AI Service Systems," we see a policy that jointly learns unknown parameters using optimistic estimates and makes decisions based on queue-aware objectives (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>).
Jane: The final result is a sublinear regret of O(K p T T) and stability for the human queues, which means the system stays manageable even as time goes on (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>). That’s a pretty concrete outcome for managing hybrid service systems.
Lu: It’s a robust result because it handles the coupling between automation decisions and human scheduling decisions which is a difficult hurdle in this area (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg2>). This framework provides a path forward for more complex hybrid service platforms.
Meng: It gives us the theoretical backing we need to start thinking about how to implement adaptive resource allocation rather than just static rules (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg2>). That’s the practical value I’m seeing here.
Title and authors: Tom: We've seen how they use empirical estimators for the human service rate and chatbot success probability, coupled with optimism to guide their decisions on cost and scheduling (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>). That’s the engine driving the policy.
Jane: So, this paper is about learning when it's worth automating more versus relying on human intervention by coordinating those two actions over time (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>). It’s a framework for dynamic adaptation in these complex service settings.
Lu: The main implication is that we can build models that learn task complexities and resource rates online while simultaneously controlling the resulting queue behavior (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg2>).
Meng: If you look at the limitations they mentioned, it seems like their analysis relies on some assumptions about the underlying structure of the task types and service rates that might need careful testing in very messy real-world scenarios (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>).
Tom: Exactly. The paper states that empirical evidence suggests effectiveness depends on task complexity, and model performance can vary sharply across tasks even if they seem similar (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg2>). So the learning mechanism is designed to handle that variability.
Jane: It’s a lot of technical detail with all those terms like drift-plus-penalty and MaxWeight rules, but the result is really about coordination—coordinating cost control and queue management simultaneously (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>).
Lu: It’s about creating a system that learns how effective automation is while respecting the constraints of human service capacity over a long horizon T (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg2>). That's the big picture idea.
Meng: So, this paper provides a clear path for developing AI systems that can dynamically adjust their automation levels based on real-time queue backlogs and learned parameters (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg2>). That’s what we need to talk about when we think about deployment.
Tom: So, the final word on "Learning When to Automate: Queue Control in Human-AI Service Systems" is that it provides a mathematically grounded policy for joint control over chatbot cost and human scheduling decisions under uncertainty (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>).
Jane: It’s a piece of work that shows how you can use learning to manage the tradeoff between cost and congestion in these human-AI service systems (Learning When to Automate: Queue Control in Human-AI Service Systems, <ref:2607.06017#pg1>). We've got a lot of interesting ideas to explore next.
The paper's summary: Tom: So, to recap, this paper is about figuring out how an AI system should decide when to use automation versus when to bring in a human agent for service tasks, and it does that by linking the cost of the chatbot directly to how full the human queues are getting over time.
Jane: Right. The core idea is that if you just optimize for low chatbot costs now, you might end up drowning the human agents later because too many tasks pile up. This paper proposes a way to balance that immediate cost against keeping those human service queues stable in the long run.
Lu: It does this by coupling the decision-making—the AI’s choice on how much to automate and the scheduling decision for when a human gets assigned a task—so they are not being made separately. That coupling is what makes this approach different from just looking at one part of the system.
Meng: From my side, I’m interested in how they handle that uncertainty about the task types and service rates, because on real traffic, those things change constantly and unpredictably.
Tom: Exactly. The authors use a specific policy called UCB-DPP which incorporates Upper Confidence Bounds with Drift-Plus-Penalty control to learn those unknown parameters online while making decisions that consider the current queue state.
Jane: That learning mechanism involves optimistic estimates for both the human service rate and the chatbot success probability, which is smart because it lets the system explore options while still being cautious about what it knows.
Lu: They define these estimators as empirical, meaning they update them based on what has actually happened, but then they apply an optimistic adjustment using a parameter beta to make those estimates more robust for decision-making.
Tom: And the resulting policy minimizes a surrogate objective function that combines the drift and penalty terms, which essentially tells the AI what is best right now given where it’s headed.
Jane: The final decision rule for the chatbot cost is threshold-based, meaning it takes a value between zero and one based on those objectives, and then the human scheduling action uses a MaxWeight rule based on those optimistic service potential estimates.
Lu: They prove that this UCB-DPP policy achieves a sublinear regret bound of order O(K p T T) over the entire horizon T, and crucially, it ensures mean-rate stability of the human service queues by setting specific values for V and delta.
Tom: That sublinear bound is important because it means the total learning error doesn't explode as time goes on; it grows slowly with T. And they tie that stability to sqrt T and T minus two for those parameters.
Jane: For someone just listening, what this means is that this AI system gets smarter about when to automate versus when to let the human agents handle things, and it guarantees that the human service side won't get infinitely overwhelmed.
Lu: It’s a theoretical proof that you can have a learning agent jointly control two different kinds of resource allocation—the automation cost and the scheduling—while keeping the system stable under uncertainty about its underlying service capabilities.
Meng: I’m still focused on how those empirical estimators behave in practice when the true distribution shifts suddenly, because if they assume too much structure, the model might fail when things get messy.
Tom: The paper does acknowledge that effectiveness depends on task complexity and that performance can vary sharply across different tasks even if they look similar. That’s why their learning mechanism is designed to be flexible enough to handle that variability.
Jane: So, this isn't just a static rule; it’s an adaptive system that learns how effective the AI is and how capable the human service is on a task-by-task basis as time goes on.
Lu: The coupling of cost decisions with scheduling decisions provides a framework for dynamic resource allocation that balances immediate costs against long-term queue stability. That coordination is what makes this model reach its conclusion.
The paper's improvements: Tom: So, we’re looking at what the authors suggest for next steps after they prove this UCB-DPP policy works for controlling automation and scheduling decisions in human service systems, and they basically want to build on it by making it even more robust or scalable.
Jane: Right. They aren't just stopping at proving stability; they are looking at how to make the learning process itself better, maybe by introducing different ways the AI could learn those unknown parameters, or perhaps testing how this structure holds up under much messier real-world conditions.
Lu: They’re pushing toward a more general framework where this coupling idea isn't just for one type of service system but can apply to various hybrid settings, which is ambitious because the underlying task structures are so different.
Meng: From an engineering standpoint, I wonder if they explore how this works when the system has even more unpredictable failures or when the costs associated with automation aren't constant, because that’s where my deployment worries kick in.
Tom: They do look at how they can adapt the estimation mechanisms themselves, perhaps by allowing them to learn those parameters differently based on which task type they are dealing with, which would be a big step toward generalization.
Jane: It sounds like they want to move from just learning a single set of rates to building a system that can learn different sets of rates for different parts of the service system, which is key for handling complexity.
Lu: They are definitely suggesting that the structure could be expanded to handle more complex reward functions or constraints, because right now it’s tightly focused on minimizing cost while ensuring queue stability.
Tom: I think they're pointing toward integrating methods that allow for more explicit modeling of task-dependent uncertainty, which means the AI wouldn't just guess a single success rate but would maintain a distribution over possibilities.
Jane: That would mean the system gets better at knowing *how sure* it is about its guesses, which is super important when you’re making decisions that affect real people waiting in a line.
Meng: If they can build in that explicit uncertainty modeling, it might give us more confidence when we deploy this to production, because we could quantify exactly how much risk we are taking with the automation.
Lu: It suggests that the next evolution of this work would be to see how these queue-aware decisions interact with other high-level planning mechanisms, moving beyond just slot-by-slot optimization.
Tom: So, they’re looking at taking this control mechanism and making it part of a larger planning graph repair system, which is something we touched on in the related work when we talked about long-horizon agents.
Jane: That would mean the AI isn't just making one good decision at time t; it’s looking ahead to see how that choice ripples through the entire service process over many slots.
Meng: A multi-slot view sounds better for production because it helps with proactive resource allocation instead of just reacting to current congestion spikes.
Lu: They are essentially proposing an architecture where the learning component feeds into a broader planning framework, which is where this paper’s theoretical contribution really starts to connect with larger AI research directions.
Conclusion: Tom: So to wrap up, the main point of this paper, "Learning When to Automate: Queue Control in Human-AI Service Systems," is that they’ve developed a policy called UCB-DPP that successfully coordinates automation decisions with human scheduling decisions.
Jane: It shows that by coupling those two things—the chatbot cost and how the human agent is scheduled—the system can learn how to manage uncertainty and keep the human service queues stable over a long time horizon T.
Lu: The paper establishes that this sublinear regret bound of order O(K p T log T) is achievable, which means the learning error doesn't grow too fast as time goes on, and they also prove mean-rate stability by setting V equal to sqrt T and delta equal to T minus two.
Meng: For us at the startup level, what this means is that we have a principled way to manage our operational costs against human capacity when we’re dealing with unknown task complexities. It gives us something concrete instead of just guessing how much automation we need.
Lalam: From my perspective, I see it as proving that an AI can learn the trade-off between immediate cost and long-term system health by using optimistic estimates for both the human service rate and the chatbot success probability. I’m very sure this coordination mechanism is sound because it directly addresses those coupled errors.
Tom: It really does, Lalam, because they show how that empirical estimation feeds directly into a decision function that minimizes a drift-plus-penalty surrogate objective. That’s the engine driving the policy's logic.
Jane: So for someone just listening, this means we’re moving past simple automation rules toward a system that dynamically adjusts its resources based on real-time queue feedback and what it has learned about task performance.
Lu: The implication is that this framework provides a solid foundation for building more complex hybrid service platforms where the AI needs to understand not just how to automate, but also how those automation choices impact the downstream human workload.
Meng: I hope they continue looking into making those empirical estimators even more robust when we deploy this on systems that have high variability in task types, because real traffic is rarely perfectly structured.
Lalam: I’m confident the framework holds up because it handles the uncertainty by using those optimistic bounds, and it doesn't rely on perfect initial knowledge of the system dynamics.
Tom: It’s a clean result that links learning theory directly to system stability in a complex hybrid setting, which is exactly what we aim for when shipping models that need to run reliably at scale.
Jane: This paper on "Learning When to Automate: Queue Control in Human-AI Service Systems" shows us how coordination between cost control and queue management leads to a stable learning process with manageable regret bounds.
Lu: It points toward future work where we can expand this joint control idea into larger planning graphs, integrating the learned parameters into broader, more complex agentic planning frameworks.
More episodes
- 2510.11953-Sculpting the Latent Space: Disentanglement with WAE-MMD and Programmable Priors
- 2510.16511-Structured Temporal Causality for Interpretable Multivariate Time Series Anomaly Detection
- 2511.14130-PRISM: Prompt-Refined In-Context System Modelling for Financial Retrieval
- 2512.02088-Comparing Baseline and Day-1 Diffusion MRI Using Multimodal Deep Embeddings for Stroke Outcome Prediction
- 2512.06746-Align, Don't Blend: Orthogonal Supervision Disentanglement As the Key to Generalizable AI-Generated Image Detection
- 2512.08945-Algorithmic Reflectivity in Large Language Models: Methodological Study of Linguistic Structure in Mentalization
- 2601.13235-RubRIX: Rubric-Driven Risk Mitigation in Caregiver-AI Interactions
- 2601.16823-Disentangling generalization and memorization in large language models using chess
- 2601.17454-Does Centralized Learning Help Embodied Agents Coordinate, and When Can a Tabular Study Tell?
- 2601.18702-From Fuzzy to Exact: The Halo Architecture for Infinite-Depth Reasoning via Rational Arithmetic