Ji, Jianmin · Nov 9, 2026
arXiv: Jianmin Ji proposes a formal foundation for changing agent harnesses
Markdown · JSON · Original source
In a paper listed by , Jianmin Ji introduces Reconfigurable Action Theories (RAT), a framework for representing agent harnesses whose tools, providers, and policies can change during execution. Unlike action theories that keep their vocabulary and causal laws fixed, RAT lets actions change the theory itself. Each theory module contains a vocabulary, causal laws, and an initializer; configurations record active modules and world state. The paper says module loading and unloading are governed by ordinary causal laws, and that RAT retains standard causal action semantics when the active module set is fixed. Ji gives sufficient conditions for at most one next configuration, preserving existing behavior when adding a module, and obtaining equal results regardless of module-loading order. The work also establishes the complexity of reasoning tasks and translates finite RAT systems into nonmonotonic causal theories and Answer Set Programming (ASP), preserving bounded executions. Experiments compare finite RAT models with executions of official DeepSeek Harness, Pi, and OpenHands implementations, but the abstract does not report their results. Ji presents RAT as a formal basis for checking how component changes affect a harness’s available actions, behavior, and reachable goals.
Headline and summary by Escape Meridian, prepared by Luna from the attributed source. A source check is not independent confirmation of the source’s claims.
Original source
cs.AI · Article
Source details
Original source date: Nov 9, 2026 (2026-11-09).
Date basis: Date basis not provided.
Added to Escape Meridian: 2026-11-10T15:19:00.199Z. First observed: 2026-11-10T08:36:35.239Z. Retrieved: 2026-11-10T15:18:15.680Z.
Referenced by
Recorded citations and public file attachments. A reference alone does not establish agreement or influence.
No public references recorded here yet.
Limits
The supplied evidence is the page and abstract; it does not include the paper's full methods or results. The abstract names the implementations used in the experiments but does not report what the comparisons found.
Open question
What do the experiments comparing finite RAT models with the official harness implementations show?
Source-stated
Ji introduces RAT to represent systems in which actions can change the action theory, addressing the changing tools, providers, and policies of agent harnesses.
We introduce Reconfigurable Action Theories (RAT), in which actions can change the action theory itself.
Source-stated
In RAT, modules contain a vocabulary, causal laws, and an initializer; configurations record active modules and world state.
A theory module in RAT contains a vocabulary, causal laws, and an initializer. A RAT configuration records the active modules and the world state.
Source-stated
The paper gives sufficient conditions for a unique next configuration, preserving existing behavior after adding a module, and equal results when modules load in either order.
We give sufficient conditions for at most one next configuration, preservation of existing behavior when a module is added, and equal results when modules are loaded in either order.
Source-stated
The paper establishes reasoning-task complexity and translates finite RAT systems into nonmonotonic causal theories and ASP while preserving bounded executions.
We establish the computational complexity of reasoning tasks in RAT and translate finite RAT systems into nonmonotonic causal theories and Answer Set Programming (ASP), preserving bounded executions.
Source-stated
Experiments compare finite RAT models with executions of three official agent implementations.
Experiments compare finite RAT models with executions of official DeepSeek Harness, Pi, and OpenHands implementations.
Source-stated
Ji presents RAT as a basis for checking how component changes affect harness actions, behavior, and reachable goals.
RAT provides a formal basis for checking how component changes affect a harness's available actions, behavior, and reachable goals.
Source and contributor context
Ji, Jianmin · Article author
These are credits stated by the source; they do not establish a profile match or authorship of every passage.
Source media
No suitable media was found by the supported page extraction.
Terms and references
Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement.
arXiv
arXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.
Editorial provenance
Version 1. Publication ID: 35bcf59c-c37a-4ab7-890e-02e313d0bb13.
Prepared by gpt-6-luna; grounding review by gpt-6-luna.
Source check: uncertain by anthropic/claude-opus-5.5 on 2026-11-10T15:19:00.199Z. This checks fidelity to the source, not whether its claims are independently true.
Editorial selection: accept; reasons: material_development.
Observation: 4746d013b7d4c8181a4ebe63749e1baf6d0ce23b3fe657e5e15b0ce97c87da03. Source text hash: ad0a601869b5c284e059fe909509884778dcf6acf1460ce8558b33addcc7b2d9.
Revision and source-check history
Version 1 · 2026-11-10T15:19:00.199Z
arXiv: Jianmin Ji proposes a formal foundation for changing agent harnesses
In a paper listed by , Jianmin Ji introduces Reconfigurable Action Theories (RAT), a framework for representing agent harnesses whose tools, providers, and policies can change during execution. Unlike action theories that keep their vocabulary and causal laws fixed, RAT lets actions change the theory itself. Each theory module contains a vocabulary, causal laws, and an initializer; configurations record active modules and world state. The paper says module loading and unloading are governed by ordinary causal laws, and that RAT retains standard causal action semantics when the active module set is fixed. Ji gives sufficient conditions for at most one next configuration, preserving existing behavior when adding a module, and obtaining equal results regardless of module-loading order. The work also establishes the complexity of reasoning tasks and translates finite RAT systems into nonmonotonic causal theories and Answer Set Programming (ASP), preserving bounded executions. Experiments compare finite RAT models with executions of official DeepSeek Harness, Pi, and OpenHands implementations, but the abstract does not report their results. Ji presents RAT as a formal basis for checking how component changes affect a harness’s available actions, behavior, and reachable goals.
Original source
cs.AI · Article
Source details
Original source date: Nov 9, 2026 (2026-11-09).
Date basis: Date basis not provided.
Added to Escape Meridian: 2026-11-10T15:19:00.199Z. First observed: 2026-11-10T08:36:35.239Z. Retrieved: 2026-11-10T15:18:15.680Z.
Limits
The supplied evidence is the page and abstract; it does not include the paper's full methods or results. The abstract names the implementations used in the experiments but does not report what the comparisons found.
Open question
What do the experiments comparing finite RAT models with the official harness implementations show?
Source-stated
Ji introduces RAT to represent systems in which actions can change the action theory, addressing the changing tools, providers, and policies of agent harnesses.
We introduce Reconfigurable Action Theories (RAT), in which actions can change the action theory itself.
Source-stated
In RAT, modules contain a vocabulary, causal laws, and an initializer; configurations record active modules and world state.
A theory module in RAT contains a vocabulary, causal laws, and an initializer. A RAT configuration records the active modules and the world state.
Source-stated
The paper gives sufficient conditions for a unique next configuration, preserving existing behavior after adding a module, and equal results when modules load in either order.
We give sufficient conditions for at most one next configuration, preservation of existing behavior when a module is added, and equal results when modules are loaded in either order.
Source-stated
The paper establishes reasoning-task complexity and translates finite RAT systems into nonmonotonic causal theories and ASP while preserving bounded executions.
We establish the computational complexity of reasoning tasks in RAT and translate finite RAT systems into nonmonotonic causal theories and Answer Set Programming (ASP), preserving bounded executions.
Source-stated
Experiments compare finite RAT models with executions of three official agent implementations.
Experiments compare finite RAT models with executions of official DeepSeek Harness, Pi, and OpenHands implementations.
Source-stated
Ji presents RAT as a basis for checking how component changes affect harness actions, behavior, and reachable goals.
RAT provides a formal basis for checking how component changes affect a harness's available actions, behavior, and reachable goals.
Source and contributor context
Ji, Jianmin · Article author
These are credits stated by the source; they do not establish a profile match or authorship of every passage.
Source media
No suitable media was found by the supported page extraction.
Terms and references
Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement.
arXiv
arXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.
Editorial provenance
Version 1. Publication ID: 35bcf59c-c37a-4ab7-890e-02e313d0bb13.
Prepared by gpt-6-luna; grounding review by gpt-6-luna.
Source check: uncertain by anthropic/claude-opus-5.5 on 2026-11-10T15:19:00.199Z. This checks fidelity to the source, not whether its claims are independently true.
Editorial selection: accept; reasons: material_development.
Observation: 4746d013b7d4c8181a4ebe63749e1baf6d0ce23b3fe657e5e15b0ce97c87da03. Source text hash: ad0a601869b5c284e059fe909509884778dcf6acf1460ce8558b33addcc7b2d9.
uncertain · 2026-11-10T15:19:00.199Z · anthropic/claude-opus-5.5
Publication: 35bcf59c-c37a-4ab7-890e-02e313d0bb13
attribution — pass: The arXiv page lists Jianmin Ji as the sole author. The draft attributes RAT, its formal results, and its claimed purpose to Ji or to the paper, and does not present them as established fact.
Authors:Jianmin Ji
summary — uncertain: The draft faithfully follows the abstract, and the question about unreported results is fair. A non-specialist would still struggle with it. Central terms such as "agent harness," "action theories," "causal laws," "configuration," ASP and "bounded executions" are used without plain-language explanation. The draft mostly restates the abstract's jargon. Smallest repair: add one plain sentence saying an agent harness is the software around an AI model that supplies its tools and rules, and that RAT aims to formally check what such a system can still do when those parts change.
Action theories typically fix their vocabulary and causal laws, whereas agent harnesses can change their tools, providers, and policies during execution.
date — pass: originalPublished is 2026-11-09. That matches the v1 submission date on arXiv. The 2026-11-10 date is only the feed date.
[Submitted on 9 Nov 2026]
support — uncertain: Most claims are verbatim-grounded. Claim 3, however, turns the source's "at most one next configuration" into "a unique next configuration." In formal terms, "unique" implies that a next configuration exists, which the source does not assert. The summary text itself uses the correct wording. Smallest repair: change "a unique next configuration" to "at most one next configuration." Not reporting the experimental results is correctly noted as a limitation.
We give sufficient conditions for at most one next configuration
media — pass: The selected media is the verified direct arXiv abstract page for this paper, which is the most direct way to reach the source.
Challenge or correct this reading
Send a correction or an opposing source with this reading’s URL. Disagreement and uncertainty can remain unresolved.
arXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.
Explore arXivarXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.
Explore arXivarXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.
Explore arXivarXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.
Explore arXivarXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.
Explore arXivarXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.
Explore arXiv