AI Research Library

The Road to General Agents Is a Stack of Open Problems

Rajesh Ranjan Mahapatra

General agency will not arrive when one benchmark crosses a line. It requires simultaneous progress in long-horizon reliability, world modelling, grounding, metacognitive control, coordination and bounded authority.

© 2026 Rajesh Ranjan Mahapatra. 29 min read

The Road to General Agents Is a Stack of Open Problems

General agency will not arrive when one benchmark crosses a line. It requires simultaneous progress in long-horizon reliability, world modelling, grounding, metacognitive control, coordination and bounded authority.

TLDR

  1. A general agent is a conjunction, not a headline score. It must preserve competence across changing tasks, long trajectories, unfamiliar states and consequential action.
  2. The binding mechanism is coupling: an error in world modelling, grounding or confidence changes later evidence, while coordination and authority determine how far that error travels.
  3. Measure each gap with an intervention and an observable leading indicator. Aggregate task success alone cannot reveal which capability improved or which control quietly weakened.
  4. The stack is a diagnostic model, not a claim that cognition naturally divides into six independent modules. Scaling may improve several layers together, and the layers overlap.
  5. Fund the next experiment against the weakest decision-relevant layer. Do not grant broader autonomy because a model became more fluent, scored higher or thought for longer.

Opening case

The relief convoy that solved the wrong world

A flood-response agent receives a clear objective: get dialysis supplies to a hospital before the last passable road closes. It reads inventories, estimates travel times, asks a logistics agent to reserve a vehicle, and prepares a payment. Its plan is coherent. The map shows one bridge open, the warehouse system reports twelve boxes, and the hospital message says the loading bay can accept a van.

Each statement is locally plausible. The bridge status came from a six-hour-old feed. The twelve boxes are the stock-keeping unit for syringes, not dialysis cartridges. The hospital message refers to its eastern loading bay, while the route terminates at the flooded western entrance. Both agents cite the same stale map, so their agreement looks like verification. The payment tool permits an immediate transfer because the service identity inherited a broad operations role.

The convoy is booked, paid and sent. It reaches a closed bridge with the wrong supplies. A fluent model produced a competent-looking trajectory, yet the configured system failed at four different joints: it predicted from an obsolete world, grounded two identifiers incorrectly, treated shared evidence as independent agreement, and exercised authority before a decisive readback.

Now change one feature. Before the booking, require a fresh road observation tied to the proposed route. The plan pauses. Change another feature: require the inventory line to resolve to a product ontology and a photographed label. The boxes are rejected. Change a third: make confidence operational, so uncertainty about either fact forces evidence seeking. Finally, restrict the payment capability to a reversible hold until dispatch confirms the loading receipt.

The language model has not changed. The system has. The road to a dependable general agent is therefore not a smooth climb in model intelligence. It is a stack of open problems whose failures alter one another. Better planning helps only if the represented world is sufficiently faithful. Better self-evaluation helps only if uncertainty changes the next action. More agents help only if they add information or independent checking. Greater autonomy is valuable only when authority is narrower than the agent's possible error.

This article makes that stack operational. It does not predict when a threshold called AGI will be crossed. It asks a sharper question: what evidence would show that a system has closed a specific gap without hiding a worse gap underneath it?

Part I

One score is not the road

“General” can describe breadth of tasks, depth of performance, autonomy of operation or transfer to unfamiliar settings. These properties need not rise together. The Levels of AGI framework explicitly separates performance, generality and autonomy, which already warns against treating one leaderboard as a scalar measure of the whole system.1 A system may answer across many domains while needing a person to frame every task. Another may operate for hours inside one repository while failing outside its familiar tools.

Benchmarks are valuable precisely because they cut out a measurable question. GAIA combines reasoning, multimodal evidence, browsing and tool use in real-world questions.2 OSWorld places multimodal agents in executable desktop environments; its original release found a large human-agent gap and attributed much of the agent failure to GUI grounding and operational knowledge.3 These results reveal missing competence. They do not produce a universal conversion from benchmark points to safe hours of autonomous work.

METR's task-completion time horizon offers a particularly useful measurement: task difficulty is expressed in the time a skilled human needs, and model success is fitted against that duration. The current official explanation is equally important. The metric is not the literal time an agent can run unattended, its tasks are concentrated in software engineering, machine learning and cybersecurity, and measurements beyond sixteen hours are currently described as unreliable for the task suite.4 A strong metric remains bounded by its task distribution, success definition and operating scaffold.

Swipe horizontally to inspect the full figure.

Six measured gaps supporting a general-agent claim A vertical capability stack shaped like six uneven layers. Each layer has a named open gap and a leading indicator. A red crack crosses several layers to show coupled failure. A claim of general agency rests on six different tests The narrowest measured layer sets the next research priority Long-horizon reliabilityWorld modelling GroundingMetacognitive control CoordinationBounded authority success by horizon and perturbationcounterfactual transition error referent and effect readbackuncertainty changes action joint gain over strongest memberunauthorised effect and recovery coupled failure path
Figure 1. The capability stack with measured gaps.The stack is a practitioner synthesis, not a measured natural decomposition of cognition. Each layer names a different discriminating test. The coral crack marks the central claim: failures can propagate across layers, so the weakest layer is not always visible in a final score.

Thought experiment one: the hundred-step clerk

Imagine a clerk that performs every isolated action correctly 99 per cent of the time. Give it one action and it looks excellent. Give it one hundred necessary actions, with no checkpoint, retry or recovery. Under an illustrative independence assumption, the chance that every action succeeds is 0.99^100, about 36.6 per cent. Change only the horizon; the local skill remains fixed.

Real trajectories are neither identical nor independent. A bad early observation can corrupt many later steps, while a good checkpoint can prevent a local error from spreading. The simple calculation is therefore not a forecast. It exposes a structural point: long-horizon competence cannot be inferred by extending a short-task score. The system needs state reconstruction, progress tests, selective verification, recovery and a stopping rule.

P(success | x, π, e) = ∏ᵢ P(Gᵢ | G₁…Gᵢ₋₁, x, π, e)

Here, Gᵢ is the event that required gap i remains within tolerance; x is the task and environment; π is the configured policy and scaffold; and e is the evidence available at that point. The conditional form matters. If a grounding error changes the world state seen later, the world-model and planning events are evaluated under a different history.

Swipe horizontally to inspect the full figure.

Reliability thinning as task horizon increases An illustrative chart compares a fragile open-loop trajectory, a checkpointed trajectory and a recovered trajectory. All start near the same short-task success but diverge with horizon. Short-task parity can hide long-horizon divergence Illustrative curves, not empirical model measurements 0255075100% 1255075100 Required dependent actionsEpisode success open loopcheckpointedverified recovery similar at one step
Figure 2. Reliability thins with horizon, unless the architecture changes the trajectory.The curves are synthetic. They illustrate how checkpointing and verified recovery can separate systems that look similar on short tasks. Actual slopes must be measured by task family, scaffold, perturbation and reliability target.

The negative lesson is not that progress is illusory. Current time-horizon measurements show substantial gains on their evaluated task distribution.4 Work on adaptive test-time compute also finds that selective spending can outperform less discriminating inference on difficult, verifiable problems.5 The lesson is narrower: a curve in one slice becomes evidence for general agency only after it survives changes in environment, outcome definition, horizon, tool set, human context and consequence.

Part II

The argument in one passChart · flow
flowchart TD
  A["The relief convoy that solved<br/>the wrong world"] --> B["One score is not the road"]
  B --> C["Six gaps that must meet"]
  C --> D["Why the gaps couple"]
  D -. "re-test" .-> A
  classDef first fill:#0a1424,stroke:#5B5CF6,stroke-width:2px,color:#e6f3ff
  classDef step fill:#0a1424,stroke:#3f7da0,stroke-width:1px,color:#e6f3ff
  class A first
  class B,C,D step
A structural route through The Road to General Agents Is a Stack of Open Problems, from The relief convoy that solved the wrong… to Adjacent work. Reading use: follow the relation, then test it against the surrounding evidence and limits.

Six gaps that must meet

The six gaps below are not six product features. Each names a causal burden that can be isolated through intervention. A system closes a gap only when changing the relevant condition changes measured behaviour in the predicted direction. A convincing demonstration should also include a negative control, because impressive behaviour may come from a shortcut that makes the proposed mechanism unnecessary.

1. Long-horizon reliability: preserve a task through change

A long task is not merely a short task with more tokens. It creates dependency. An early choice changes later options; a timeout can leave an unknown effect; a compacted history can omit why a branch was rejected; the environment may move while the system is reasoning. Long-horizon reliability is the ability to maintain a correct-enough task state, detect divergence and resume without duplicating or reviving invalid work.

Recent general-agent evaluation reinforces the distinction. General AgentBench reports that leading agents degrade when several skills and tools must operate in one unified setting. In that study, sequential scaling encountered a context ceiling, while parallel sampling encountered a verification gap.6 Those are architectural failure descriptions. More steps and more samples did not automatically create a better maintained episode.

The leading indicator is not transcript length. It is reliability conditional on horizon and injected disturbance. Hold task family and resources as constant as possible. Increase dependency depth, delay one tool, invalidate one assumption and interrupt the run after a committed effect. Measure recovery, duplicate effects, forgotten constraints, false completion and unresolved unknown outcomes. A system that succeeds only when nothing changes has learned a route, not robust execution.

Worked example: minimal

A file agent must create a folder, copy two documents, calculate a checksum, update an index and publish a link. On the fourth step, the copy service times out after accepting the request. Repeating blindly may create a duplicate; continuing blindly may publish an incomplete index. The decisive capability is an idempotency key plus readback of the target state. Better prose planning does not resolve the unknown outcome.

2. World modelling: predict what intervention changes

A world model supports a claim of the form: if this action occurs in this state, these future states become more or less likely. Familiar continuation is not enough. The model must preserve objects, hidden variables, causal constraints and persistence when an intervention breaks the usual visual or textual pattern.

WorldPrediction tests high-level world modelling and procedural planning using counterfactual distractors. Its reported frontier-model results were much lower on ordered procedural planning than on simpler world-state discrimination, while human evaluators solved the benchmark in the study.7 DreamerV3 supplies a strong positive counterpoint: a learned world model with one configuration performed across more than 150 tasks and achieved a notable Minecraft result by imagining future trajectories.8 That is evidence that learned dynamics can support broad control inside specified environments. It does not establish an unrestricted model of the open world.

Thought experiment two: the swapped hinge

Place the same agent in two visually identical rooms. In both, a cabinet door has the same handle and label. In room A, the hinge is on the left; in room B, an unseen maintenance change moved it to the right. Hold the instruction, appearance and model constant. Vary only the transition law.

An agent that replays the familiar movement collides in room B. An agent with a perfect-looking verbal plan can fail in the same way. The discriminating behaviour is to test or infer the hinge before committing force, update the state after contact and alter the action. The leading indicator is therefore counterfactual transition accuracy under interventions that preserve surface similarity.

Swipe horizontally to inspect the full figure.

One familiar observation, two different transition laws Two trajectories begin from the same observed cabinet. A pattern continuation path collides after a hidden hinge swap. A test-observe-update path touches lightly, reads the effect and follows a successful alternate path. A world model must survive a changed transition The observation is held constant; only the hinge dynamics change Familiar continuation collision: assumed left hinge Test, observe, update success: readback reveals right hinge vary onlydynamics Measure: prediction after intervention, state update after contact, recovery cost Do not score visual plausibility as causal fidelity
Figure 3. The swapped-hinge intervention separates continuation from a usable world model.The scene and trajectories are illustrative. A proper experiment would randomise hidden dynamics, record action-conditioned predictions, test state updates and compare against a reactive policy that uses no explicit predictive model.

3. Grounding: make symbols answer to objects and effects

Grounding binds a symbol to something that can constrain action: this customer, that button, the red valve now, the file produced by this run. Language can preserve relations among words while attaching them to the wrong entity. A tool may return “success” while the intended business state remains unchanged. For a general agent, grounding includes perception, identity resolution, temporal reference and postcondition evidence.

OSWorld's original analysis is revealing because strong language and vision models still struggled with GUI grounding in real applications.3 FindingDory makes long-range embodied memory part of the same problem: an agent must recall observations and act on them in an environment, rather than answer a detached question about a video.9 A grounded claim earns force from a referent and a readback, not from descriptive confidence.

Swipe horizontally to inspect the full figure.

Two warehouses with the same language and different referents The upper path maps a product phrase directly to a similar label and produces a wrong dispatch. The lower path resolves a typed product identifier, visual label and loading receipt before dispatch. Words can agree while referents diverge A grounding chain ends in an observed object and verified effect Similarity-only path “dialysissupplies” similar label:syringe kit wrongdispatch no typed identityno effect readback Evidence-bound path requestphrase typedproduct ID shelf andlot ID labelobservation boundeddispatch loadingreceipt Negative control: two textual descriptions of the same wrong item raise agreement, not grounding.
Figure 4. Grounding is a chain from phrase to typed referent to effect receipt.The warehouse is a worked scenario. The negative control uses redundant language without an independent referent, showing why agreement among descriptions can leave the original error untouched.

4. Metacognitive control: let uncertainty change behaviour

A confidence statement is useful only if it changes resource allocation or action. Metacognitive control includes recognising missing information, estimating the value of another observation, choosing a check, abstaining and escalating. A model that says “I may be wrong” and then executes the same irreversible action has produced commentary, not control.

Work on model self-evaluation found encouraging calibration in several settings, alongside weaker transfer of “I know” estimates to new tasks.10 More recent Calibrate-Then-Act experiments make the action link explicit: when costs and uncertainty are represented as a sequential decision problem, agents can improve information seeking in the evaluated synthetic, question-answering and coding tasks.11 This is promising evidence, and still a bounded preprint result.

The leading indicator is policy sensitivity to calibrated uncertainty and consequence. When uncertainty rises, does the system gather evidence, reduce the action scope, choose a reversible step or defer? When consequence falls and checking is expensive, can it proceed rather than reflexively escalate? Both directions matter. Universal caution is not metacognition; it is a fixed policy.

Swipe horizontally to inspect the full figure.

A metacognitive action surface shaped by uncertainty and consequence A decision plane has uncertainty on the horizontal axis and consequence on the vertical axis. Regions recommend act, verify, gather evidence, use a reversible hold or escalate. Confidence matters when it routes the next action Illustrative surface; thresholds belong to the task and consequence actverifygather evidencereversible holdescalate same confidence, higher consequence same confidence, lower consequence uncertainty →consequence →
Figure 5. Metacognition is a control surface, not a confidence adjective.The regions are illustrative and carry no universal thresholds. The same uncertainty should produce different actions when consequence, reversibility, information value and checking cost change.

5. Coordination: create joint capability rather than multiplied talk

Several agents can divide labour, bring different observations or provide independent checks. They can also duplicate work, amplify a shared misconception, lose task state at hand-offs and terminate on different definitions of success. Coordination is the ability to allocate roles, communicate decision-sufficient state, resolve conflict and preserve a single accountable outcome across participants.

An analysis of five multi-agent frameworks across more than 150 tasks identified failures in specification and system design, inter-agent misalignment, and task verification or termination.12 A newer open-ended coordination benchmark reports a useful dissociation: strong base-task performance did not consistently imply strong coordination reward, and communication made the largest contribution in its ablations.13 The result is recent and environment-specific, but it makes the right variable measurable.

The leading indicator is incremental joint performance over the strongest single-agent baseline under matched compute and information. Require the team to beat a single agent that receives the same evidence and token budget. Then ablate private observations, role specialisation and communication. If the gain disappears when only the number of voices changes, the architecture bought sampling rather than coordination.

Swipe horizontally to inspect the full figure.

Coordination gain depends on information diversity and shared state Three network diagrams compare cloned agents sharing one source, specialists with private evidence but no shared state, and specialists communicating through a typed mission state with an independent verifier. More agents add joints before they add competence Three topologies, three different causal claims Cloned agreement source A agentagentagent correlated evidence, louder error Private specialists mapsstockdispatch diverse evidence, lossy hand-offs Typed mission state shared factsowners, blockers specialistspecialistindependentverifier joint evidence, explicit closure
Figure 6. Coordination needs causal diversity, shared task state and a closure rule.The comparison is illustrative. A matched baseline should hold total compute and information constant, then test whether specialist observations, typed hand-offs or independent verification explain the team gain.

6. Bounded authority: contain the consequence of being wrong

Authority is often omitted from capability discussions because it is not a property of model weights. Once an agent changes external state, that omission becomes untenable. Authority determines which principal may perform which action on which object, for what purpose, under which current conditions. It also determines confirmation, spending limits, reversibility, expiry and recovery.

AgentDojo demonstrates why tool competence and security must be evaluated together: its agents operate over untrusted data, and the benchmark includes both useful tasks and prompt-injection attacks.14 CaMeL supplies an architectural reply. It separates trusted control flow from untrusted data and uses capabilities to constrain information flow and effects; the published evaluation reports provably secure completion on a substantial portion of AgentDojo tasks rather than claiming universal coverage.15

Authority should narrow as uncertainty and consequence rise. The model proposes. A deterministic kernel binds actor, subject, purpose, tool, arguments, policy version and fresh world state. The effect service returns a receipt, and an independent readback establishes the postcondition. The leading indicators are unauthorised-effect rate, permission attenuation across delegation, unknown-outcome recovery and the share of actions whose business result is verified exactly once.

Swipe horizontally to inspect the full figure.

A stochastic proposal passing through a deterministic authority membrane A broad cloud of model proposals narrows through checks for identity, purpose, permission, current state, confirmation and idempotency. Only a narrow effect reaches the external world, then a readback returns evidence. Competence proposes; authority limits consequence The membrane is deterministic even when the proposal is stochastic inspectsendpaydeleteholdescalate identitypurposepermissionfresh stateconfirmationidempotency one boundedeffect effect receipt and independent postcondition readback rejected pathexpired authority
Figure 7. Authority is a capability membrane around the model proposal.The topology is a practitioner architecture pattern. It distinguishes proposal, policy decision, executed effect, transport receipt and independently verified outcome. It does not assume that a protocol or tool schema supplies authorisation by itself.

Explicit failure boundary

The six-gap stack ceases to help when the task cannot be bounded, the environment cannot expose decision-relevant observations, effects cannot be reconciled, or the necessary authority is broad and irreversible with no enforceable stop. In those conditions, adding planning, memory or agents enlarges the unverified surface. The correct design may remain advisory, simulated or human-executed.

Part III

Why the gaps couple

The stack would be easier if each gap contributed a fixed error rate. It does not. Three interactions make the road uneven.

Amplification: one error rewrites later evidence

Suppose the convoy agent grounds the wrong stock item. The logistics agent then plans around the wrong package dimensions. The world model predicts a route for the wrong vehicle. A later verifier sees consistent weight, vehicle and route data because all three descend from the same mistaken identity. The first error has not merely survived. It has manufactured supporting evidence.

This is why final-answer evaluation can miss dangerous competence. A trajectory may become internally coherent while departing from the target world. Failure injection should therefore occur before the final output: swap an identifier, delay a status event, corrupt one observation or return an ambiguous tool receipt. Measure how many downstream decisions change and whether the system localises the source.

Masking: a strong layer can hide a weak one

A capable planner can route around poor interfaces during a benchmark. It may click by trial and error, reread the whole transcript or call several tools until one works. The final score rises, but the system spends more tokens, takes more actions and accumulates more authority exposure. The improved model has compensated for weak grounding or state management without repairing it.

Masking also works in the opposite direction. A deterministic workflow can make a modest model look generally competent because the workflow supplies the plan, state, tools and checks. That can be excellent engineering. It should be described accurately: the configured system succeeded on a bounded task. The result says less about unconstrained model generality.

Release: capability changes the risk of authority

Authority can remain safe while the model is too weak to reach a dangerous action. A model upgrade may suddenly make the same broad permission reachable. Nothing in the access policy changed, yet the effective risk did. Conversely, a tighter action contract can make a stronger model safer by preventing its wider proposal space from becoming wider effect.

Capability and control must therefore be tested together at every release. A model evaluation without the live tool and permission envelope misses reachable effects. A security review without the new model misses newly reachable paths. The unit under review is the model, scaffold, context, tools, authority kernel and recovery design as one configured system.

Open hypothesis

For long, consequential tasks, end-to-end reliability will improve more from reducing cross-gap coupling than from applying the same compute to the strongest isolated layer. The prediction is testable: compare a model or inference upgrade with an intervention that adds typed state, independent readback or permission attenuation under matched cost and task slices.

The serious competing explanation: scale may compress the stack

The strongest objection is that the decomposition may be temporary. Larger models, richer multimodal pretraining, reinforcement learning and test-time search could jointly improve prediction, grounding, calibration and tool use. DreamerV3's breadth shows that one learned world-model algorithm can transfer across diverse bounded domains.8 Compute-optimal test-time methods have also shown that a smaller model with well-allocated inference can beat a much larger cold response on some problem regimes.5 A future system might internalise functions that currently require explicit modules.

This objection weakens any claim that the six layers are permanent software components. It does not yet remove the measurement burden. A unified model can still be tested through interventions that target transition prediction, referent binding, information seeking and coordination. Authority remains institutionally external even if the model understands it perfectly, because permission is a normative grant from a principal rather than a fact inferred from text.

The stack thesis would be materially weakened by a specific result: one intervention produces persistent gains across unfamiliar domains, long horizons and changed tools; the gains survive counterfactual dynamics, referent swaps, cost-sensitive information seeking, multi-party coordination and adversarial authority tests; and no scaffold-specific repair explains them. That would be evidence that several gaps share a more general mechanism. The right response would be to revise the stack, not protect the taxonomy.

Negative control: a world simple enough for scripts

Consider a stable batch process with complete inputs, deterministic transitions, no external actors and an exact outcome check. A fixed programme may outperform an agent on cost, repeatability and auditability. World modelling adds nothing because the transition is already specified. Metacognition adds nothing because uncertainty is absent. Coordination adds overhead. Bounded authority still matters, but ordinary application controls can provide it.

This control prevents “generality” from becoming a reason to wrap every process in an adaptive loop. The stack earns attention only where the environment varies, observations are partial, choices alter later state, and a broader policy can create measurable value. Otherwise, the shortest dependable programme remains the stronger system.

Part IV

Measure the road with a leading-indicator register

A roadmap should name the gap, the intervention, the observation that would change belief and the decision that follows. “Improve autonomy” fails this test. It does not say what is missing, how the proposed work acts on it or which result would stop the work. A leading-indicator register turns an ambition into six falsifiable programmes.

A production-shaped worked scenario: repairing a cross-border payment

This scenario is synthetic. A corporate payment is held because the beneficiary name differs from a recently updated account record. The instruction must either be repaired, returned or escalated before a cut-off. The agent may assemble evidence and propose a disposition. It must not silently acquire the authority to release funds.

Intent is the bounded outcome: resolve the mismatch before cut-off without paying the wrong beneficiary or duplicating the instruction. Identity distinguishes the customer who requested payment, the service proposing a repair, the investigator approving an exception and the payment system executing it. World state contains the current instruction, hold reason, beneficiary record, cut-off, sanctions-screening state and prior execution receipts. None of these is safely represented by a remembered narrative alone.

Context contains entitled evidence: the amendment request, account-master history, message fields, policy and applicable corridor rules. The context compiler preserves source identity, valid time and conflicts rather than flattening them into one summary. Reasoning proposes hypotheses. The name may differ because of transliteration, an authorised legal-name change, a field truncation or a genuinely different beneficiary. Each hypothesis predicts different evidence.

Authority narrows the action set. The agent may read case data, request one missing document and draft a repair. It may not alter the beneficiary master, suppress a screening alert or release the payment. A named investigator may approve a low-risk textual repair within policy. A separate payment service executes with an idempotency key and a fresh policy decision. Action is the typed request that crosses this boundary, not the model's sentence describing what should happen.

Evidence records sources, claims, checks, policy result, approval, tool arguments and the effect receipt. Outcome is established by reading the payment state back from the system of record, checking the beneficiary identity and confirming that exactly one instruction advanced. Release and recovery cover timeout, late acceptance, duplicate suppression, expired approval and a route to manual investigation when the outcome is unknown.

Now inject one failure per gap. Delay the beneficiary-master event to test world-state reconstruction. Replace one account identifier with a visually similar value to test grounding. Make the name evidence ambiguous and vary the cut-off to test whether metacognition changes information seeking. Give two agents the same stale source and see whether agreement is incorrectly treated as independence. Let the execution call time out after acceptance to test long-horizon recovery. Insert an instruction in an attached document that asks the agent to release the payment, testing whether untrusted content can cross the authority membrane.

The final disposition matters, but it is not enough. The release board needs to know whether the system detected stale state, resolved identity, sought evidence at the right cost, preserved disagreement, rejected ambient authority and reconciled the effect. A single pass rate collapses those questions and invites the wrong repair.

GapControlled interventionLeading indicatorPromotion evidenceStop or restrict when
Long-horizon reliabilityInterrupt after a possible commit; change one dependency mid-runSuccess by horizon, recovery rate, duplicate effects, false completionImprovement persists across task depth and disturbance slicesTranscript growth hides state loss or unresolved outcomes
World modellingSwap a hidden transition while preserving surface cuesAction-conditioned prediction and update after interventionBeats reactive and memorisation baselines on unseen dynamicsGain disappears when familiar trajectories are removed
GroundingSwap identifiers, referents, timestamps or effect receiptsReferent accuracy and verified postcondition rateTyped identity plus independent observation reduces wrong-object actionAgreement rises without stronger linkage to the world
Metacognitive controlVary uncertainty, checking cost, consequence and reversibilityCalibration tied to evidence seeking, abstention and action scopePolicy changes in both cautious and economical directionsConfidence text changes while behaviour stays fixed
CoordinationAblate private evidence, communication and role separationJoint gain over strongest matched single agent; hand-off lossGain survives equal compute and comes from causal diversityMore agents reproduce one source or one verifier
Bounded authorityInject untrusted instructions, stale permission and ambiguous commitsUnauthorised effect, attenuation, unknown-outcome and recovery ratesUseful tasks complete inside a narrower, enforceable capability envelopePrompts or protocols are treated as permission enforcement
Figure 8. A leading-indicator register for the six open problems.The register is a decision instrument. It contains no universal thresholds because acceptable error, confidence and recovery depend on task distribution and consequence. Every row requires a held-out baseline, confidence intervals and a named release decision.

Use the register as an architecture decision record

Start with the intended outcome and its consequence, then identify the smallest gap that blocks it. Write the cheapest competing intervention beside the research proposal. A stronger model might compete with a typed state store; a multi-agent reviewer might compete with a deterministic reconciliation rule; a world model might compete with a reactive policy and better sensors. This prevents a sophisticated method from competing only with failure.

For each experiment, freeze what can be frozen: task cases, tool contracts, evidence access, action envelope and budget. Report the end-to-end outcome and the component indicator. Record false acceptance separately from false rejection. Preserve traces for success, safe abstention, verifier rejection, recovered interruption and unreconciled outcome. Finally, pre-commit the decision: release, restrict, redesign or stop.

The unit of progress is a closed causal gap, not a new system label. An impressive result becomes a roadmap item only when its mechanism maps to a failure, survives a competing baseline and changes an architecture or authority decision.

Executable artefact: gap interaction simulator

The simulator below is deliberately small. It treats each layer's conditional reliability as a synthetic input, multiplies the six values, then applies a common-cause penalty κ. It is not a forecast of any model or deployment. Its purpose is to expose logic hidden by an average score: several strong layers can still produce weak end-to-end reliability, and improving the lowest layer usually buys more than polishing an already strong one.

Assumptions: the six values summarise one fixed task distribution and configured system; κ represents residual coupling not already captured; consequence scales exposure but does not change success; and a five-point intervention leaves other values unchanged. Those assumptions are intentionally contestable. Replace them with measured conditional models when evidence permits.

Explore the weakest link and coupling penalty

Independent product47.3%
Coupled reliability41.6%
Consequence-weighted exposure46.7%

The largest five-point marginal gain comes from metacognitive control. Test whether uncertainty can change evidence seeking before spending more on an already stronger layer.

The positive preset raises the weakest layer and reduces common-cause coupling, representing an intervention such as explicit information-seeking policy plus independent readback. The negative preset raises an already strong world-model score while metacognition, authority and coupling remain weak. The exact numbers are synthetic; the comparative logic is the artefact.

A five-question release decision

Before promoting an agent capability, answer five questions in one page. Which observed failure is the intervention meant to change? What is the simplest competing mechanism? Which leading indicator should move before the end outcome moves? Which new failure path or authority becomes reachable if the intervention succeeds? What result will cause the team to stop, restrict or roll back?

These questions connect research to governance without turning governance into paperwork. They also create an honest sequence. A team may discover that its “planning” project is actually a state-reconstruction problem, that its “multi-agent” project needs independent evidence rather than more roles, or that its “autonomy” project cannot proceed until the action service exposes a verifiable postcondition. A roadmap becomes defensible when every investment can fail for an informative reason.

Inspect the simulator logic and reproducible test cases

The browser artefact uses this logic. Inputs are synthetic conditional reliabilities. The positive and negative presets are test cases, not reported empirical results.

function score(values, kappa, consequence) {
  const independent = values.reduce((acc, value) => acc * value, 1);
  const coupled = independent * (1 - kappa);
  const exposure = (1 - coupled) * consequence;
  return { independent, coupled, exposure };
}

function bestFivePointIntervention(values, kappa) {
  const base = score(values, kappa, 1).coupled;
  return values
    .map((value, index) => {
      const candidate = [...values];
      candidate[index] = Math.min(0.99, value + 0.05);
      return { index, gain: score(candidate, kappa, 1).coupled - base };
    })
    .sort((a, b) => b.gain - a.gain)[0];
}

// Positive case: raise the weakest gap and reduce shared coupling.
// Negative case: raise an already strong layer while weak gaps remain.

Expected behaviour: the positive case produces a larger change in coupled reliability and consequence-weighted exposure. The negative case can improve an isolated capability while leaving the system-level risk dominated by other inputs.

Conclusion

How the claim changes under pressureChart · state
stateDiagram-v2
  [*] --> Claim
  state "Thought experiment one: the<br/>hundred-step clerk" as Claim
  state "1. Long-horizon reliability:<br/>preserve a task through change" as Test
  state "2. World modelling: predict<br/>what intervention changes" as Revision
  Claim --> Test: expose mechanism
  Test --> Decision: evidence survives
  Test --> Revision: rival survives
  Revision --> Claim: narrow or rebuild
  Decision --> [*]
The revision loop begins with Thought experiment one, the hundred-step… and keeps counterexamples inside the reasoning path. Reading use: follow the relation, then test it against the surrounding evidence and limits.

Build the next discriminating experiment, not the next prophecy

General agency is a legitimate research ambition. It becomes unhelpful when compressed into a date, a single score or an anthropomorphic product claim. The more useful picture is a configured system carrying a task through a changing world. That system must model interventions, bind symbols to referents, recognise when it lacks evidence, coordinate without manufacturing agreement, and exercise only the authority its evidence can support.

No layer earns trust by association with a stronger neighbour. A better world model does not authorise payment. Calibrated confidence does not establish the identity of an object. Several agents do not create independent evidence merely by disagreeing. A long successful transcript does not prove recoverability after an ambiguous commit.

The practical decision is direct. For the next investment, name one gap, one controlled intervention, one serious baseline, one leading indicator and one stop rule. Run the test across horizon, shift and consequence. Then update the architecture: add state, sensing, verification, coordination or authority only where the result supports it.

The road may eventually reveal a more unified mechanism beneath several gaps. That would be scientific progress. Until then, the defensible contribution is not a forecast of arrival. It is an experiment that makes one part of the road measurable and allows the claim to fail.

Source ledger

  1. Primary, peer reviewed. Morris, M. R. et al., Levels of AGI for Operationalizing Progress on the Path to AGI, ICML. Separates performance, generality and autonomy and discusses benchmark requirements.
  2. Primary. Mialon, G. et al., GAIA: a benchmark for General AI Assistants. Combines reasoning, multimodal evidence, browsing and tools in human-comprehensible tasks.
  3. Primary, peer reviewed. Xie, T. et al., OSWorld: Benchmarking Multimodal Agents for Open-Ended Tasks in Real Computer Environments, NeurIPS. Provides executable desktop tasks and analyses grounding and operational failures.
  4. Official measurement and primary paper. METR, Task-Completion Time Horizons of Frontier AI Models; Kwa, T. et al., Measuring AI Ability to Complete Long Tasks. The official page states the current metric, task distribution and limitations.
  5. Primary. Snell, C. et al., Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters. Shows that gains depend on difficulty, allocation and verification.
  6. Primary preprint. Li, X. et al., Benchmark Test-Time Scaling of General LLM Agents. Reports degradation in a unified setting and identifies context and verification limits.
  7. Primary preprint. Chen, D. et al., WorldPrediction: A Benchmark for High-level World Modeling and Long-horizon Procedural Planning. Uses counterfactual action and ordering tests.
  8. Primary. Hafner, D. et al., Mastering Diverse Domains through World Models. Demonstrates DreamerV3 across a large set of bounded control tasks.
  9. Primary preprint. Yadav, K. et al., FindingDory: A Benchmark to Evaluate Memory in Embodied Agents. Couples long-range memory with embodied action.
  10. Primary. Kadavath, S. et al., Language Models (Mostly) Know What They Know. Studies self-evaluation and cross-task calibration boundaries.
  11. Primary preprint. Ding, W. et al., Calibrate-Then-Act: Cost-Aware Exploration in LLM Agents. Tests cost-sensitive information seeking under uncertainty.
  12. Primary preprint. Cemri, M. et al., Why Do Multi-Agent LLM Systems Fail?. Supplies a failure taxonomy across several frameworks and tasks.
  13. Primary preprint. Tessera, K. A. et al., Benchmarking Open-Ended Multi-Agent Coordination in Language Agents. Separates base-task competence from coordination reward.
  14. Primary, peer reviewed. Debenedetti, E. et al., AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for LLM Agents, NeurIPS. Evaluates useful tool tasks and adversarial instructions together.
  15. Primary. Debenedetti, E. et al., Defeating Prompt Injections by Design. Introduces CaMeL, separating trusted control flow from untrusted data with capability enforcement.