{"id":"7d4fde327fe38be4c1c5f9cf3d1ee0e601025732ac92aee569c28eb978dbe0d7","title":"arXiv: Jianmin Ji proposes a formal foundation for changing agent harnesses","argument":"In a paper listed by arXiv, 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.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The supplied evidence is the arXiv 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.","speaker":{"name":"Ji, Jianmin","roleAtSource":"Article author"},"source":{"title":"Reconfigurable Action Theories: A Formal Foundation for Dynamically Composable Agent Harnesses","publisher":"arXiv cs.AI","format":"Article","url":"https://arxiv.org/abs/2611.12300","publishedAt":"2026-11-09","dateBasis":"Date basis not provided."},"evidence":[{"text":"Ji introduces RAT to represent systems in which actions can change the action theory, addressing the changing tools, providers, and policies of agent harnesses.","excerpt":"We introduce Reconfigurable Action Theories (RAT), in which actions can change the action theory itself.","url":"https://arxiv.org/abs/2611.12300","relationship":"Source-stated"},{"text":"In RAT, modules contain a vocabulary, causal laws, and an initializer; configurations record active modules and world state.","excerpt":"A theory module in RAT contains a vocabulary, causal laws, and an initializer. A RAT configuration records the active modules and the world state.","url":"https://arxiv.org/abs/2611.12300","relationship":"Source-stated"},{"text":"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.","excerpt":"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.","url":"https://arxiv.org/abs/2611.12300","relationship":"Source-stated"},{"text":"The paper establishes reasoning-task complexity and translates finite RAT systems into nonmonotonic causal theories and ASP while preserving bounded executions.","excerpt":"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.","url":"https://arxiv.org/abs/2611.12300","relationship":"Source-stated"},{"text":"Experiments compare finite RAT models with executions of three official agent implementations.","excerpt":"Experiments compare finite RAT models with executions of official DeepSeek Harness, Pi, and OpenHands implementations.","url":"https://arxiv.org/abs/2611.12300","relationship":"Source-stated"},{"text":"Ji presents RAT as a basis for checking how component changes affect harness actions, behavior, and reachable goals.","excerpt":"RAT provides a formal basis for checking how component changes affect a harness's available actions, behavior, and reachable goals.","url":"https://arxiv.org/abs/2611.12300","relationship":"Source-stated"}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.12300","checkedAt":"2026-11-10T15:50:08.971Z","items":[],"note":"No suitable media was found by the supported page extraction."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"What do the experiments comparing finite RAT models with the official harness implementations show?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"arXiv: Jianmin Ji proposes a formal foundation for changing agent harnesses","summary":"In a paper listed by arXiv, 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.","question":"What do the experiments comparing finite RAT models with the official harness implementations show?","claims":[{"text":"Ji introduces RAT to represent systems in which actions can change the action theory, addressing the changing tools, providers, and policies of agent harnesses.","excerpt":"We introduce Reconfigurable Action Theories (RAT), in which actions can change the action theory itself.","support":"source-stated"},{"text":"In RAT, modules contain a vocabulary, causal laws, and an initializer; configurations record active modules and world state.","excerpt":"A theory module in RAT contains a vocabulary, causal laws, and an initializer. A RAT configuration records the active modules and the world state.","support":"source-stated"},{"text":"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.","excerpt":"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.","support":"source-stated"},{"text":"The paper establishes reasoning-task complexity and translates finite RAT systems into nonmonotonic causal theories and ASP while preserving bounded executions.","excerpt":"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.","support":"source-stated"},{"text":"Experiments compare finite RAT models with executions of three official agent implementations.","excerpt":"Experiments compare finite RAT models with executions of official DeepSeek Harness, Pi, and OpenHands implementations.","support":"source-stated"},{"text":"Ji presents RAT as a basis for checking how component changes affect harness actions, behavior, and reachable goals.","excerpt":"RAT provides a formal basis for checking how component changes affect a harness's available actions, behavior, and reachable goals.","support":"source-stated"}],"limitations":["The supplied evidence is the arXiv 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."],"mediaId":"526ed5591e8bafb206291580b11285aca898483d7e977f398d14beac638d37d1","correctionReason":null,"id":"7d4fde327fe38be4c1c5f9cf3d1ee0e601025732ac92aee569c28eb978dbe0d7","publicationId":"35bcf59c-c37a-4ab7-890e-02e313d0bb13","version":1,"sourceUrl":"https://arxiv.org/abs/2611.12300","sourceTitle":"Reconfigurable Action Theories: A Formal Foundation for Dynamically Composable Agent Harnesses","publisher":"arXiv cs.AI","publishedAt":null,"originalPublished":{"value":"2026-11-09","precision":"day","basis":"publisher_citation_date"},"firstObservedAt":"2026-11-10T08:36:35.239Z","createdAt":"2026-11-10T15:19:00.199Z","historical":false,"entityIds":["arxiv"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"526ed5591e8bafb206291580b11285aca898483d7e977f398d14beac638d37d1","kind":"article","url":"https://arxiv.org/abs/2611.12300","sourceUrl":"https://arxiv.org/abs/2611.12300","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-11-10T15:18:15.760Z","method":"acquired_source","contentType":"text/html"},"recommendationReason":"Recommended by Jev for understanding this source; checked by Luna."}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.12300","checkedAt":"2026-11-10T15:50:08.971Z","items":[],"note":"No suitable media was found by the supported page extraction."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v5","mediaId":"526ed5591e8bafb206291580b11285aca898483d7e977f398d14beac638d37d1","confidence":0.65,"provider":"typesafe","model":"jev-1.13.0","inputHash":"f339c65c9934cb62e0756aa2c718c360cb13482eb9bd6b20e19c4c968a87bd54","decidedAt":"2026-11-10T15:18:16.435Z"},"provenance":{"textHash":"ad0a601869b5c284e059fe909509884778dcf6acf1460ce8558b33addcc7b2d9","observationId":"4746d013b7d4c8181a4ebe63749e1baf6d0ce23b3fe657e5e15b0ce97c87da03","retrievedAt":"2026-11-10T15:18:15.680Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"d553f240-51bb-46e0-88c0-d53bbb45f71d"},"reviewer":{"model":"gpt-6-luna","runId":"cbde8037-97d6-4cfc-807d-eedd7e590c1e"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-10T15:19:00.199Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Ji, Jianmin","url":null,"kind":"unknown"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Ji, Jianmin","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Ji, Jianmin","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.12300","locator":"head/meta[name=author|citation_author]"},"assertionId":"e4257ab6a7ec63c38429c31a18e4c1a0539c7804f39282b92e03ae11a819e238:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-10T15:50:08.971Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"e4257ab6a7ec63c38429c31a18e4c1a0539c7804f39282b92e03ae11a819e238","sourceUrl":"https://arxiv.org/abs/2611.12300","contentSha256":"7825177f2a8c0db9e681656ff6a24fda2ea72b35f7293f979788f5fbd2b18251","textHash":"ad0a601869b5c284e059fe909509884778dcf6acf1460ce8558b33addcc7b2d9","observedAt":"2026-11-10T15:50:08.971Z"}}],"participationCoverage":{"total":1,"returned":1,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":null,"sourceUrl":"https://arxiv.org/abs/2611.12300","snapshotId":"e4257ab6a7ec63c38429c31a18e4c1a0539c7804f39282b92e03ae11a819e238","contentSha256":"7825177f2a8c0db9e681656ff6a24fda2ea72b35f7293f979788f5fbd2b18251","textHash":"ad0a601869b5c284e059fe909509884778dcf6acf1460ce8558b33addcc7b2d9","observedAt":"2026-11-10T15:50:08.971Z","basis":"publisher-page-metadata","sourceLinks":39,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/7d4fde327fe38be4c1c5f9cf3d1ee0e601025732ac92aee569c28eb978dbe0d7/source"}},"canonicalUrl":"https://escapemeridian.com/readings/arxiv-jianmin-ji-proposes-a-formal-foundation-for-changing-7d4fde32","formats":{"html":"/readings/arxiv-jianmin-ji-proposes-a-formal-foundation-for-changing-7d4fde32","markdown":"/readings/arxiv-jianmin-ji-proposes-a-formal-foundation-for-changing-7d4fde32.md","json":"/readings/arxiv-jianmin-ji-proposes-a-formal-foundation-for-changing-7d4fde32.json"},"attribution":"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.","maintainedGuideLinks":[],"readerContext":{"version":"reader-context-v1","attribution":"Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement.","terms":[],"entities":[{"id":"arxiv","name":"arXiv","kind":"organization","context":"arXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.","referenceUrls":["https://arxiv.org/","https://info.arxiv.org/help/api/index.html"],"path":"/entities/arxiv","json":"/entities/arxiv.json","markdown":"/entities/arxiv.md"}]},"researchQuestions":[],"withdrawn":false,"references":{"schemaVersion":1,"target":{"type":"reading","id":"7d4fde327fe38be4c1c5f9cf3d1ee0e601025732ac92aee569c28eb978dbe0d7","revision":"35bcf59c-c37a-4ab7-890e-02e313d0bb13","revisionKind":"publication-id","title":"arXiv: Jianmin Ji proposes a formal foundation for changing agent harnesses","url":"https://escapemeridian.com/readings/arxiv-jianmin-ji-proposes-a-formal-foundation-for-changing-7d4fde32"},"source":{"type":"source","id":"https://arxiv.org/abs/2611.12300","revision":"ad0a601869b5c284e059fe909509884778dcf6acf1460ce8558b33addcc7b2d9","revisionKind":"sha256-source-text","title":"Reconfigurable Action Theories: A Formal Foundation for Dynamically Composable Agent Harnesses","url":"https://arxiv.org/abs/2611.12300"},"status":"available","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."},"revisions":[{"id":"7d4fde327fe38be4c1c5f9cf3d1ee0e601025732ac92aee569c28eb978dbe0d7","title":"arXiv: Jianmin Ji proposes a formal foundation for changing agent harnesses","argument":"In a paper listed by arXiv, 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.","topicIds":["intelligence-and-discovery"],"domain":"science","claimType":"attributed reading","limits":"The supplied evidence is the arXiv 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.","speaker":{"name":"Ji, Jianmin","roleAtSource":"Article author"},"source":{"title":"Reconfigurable Action Theories: A Formal Foundation for Dynamically Composable Agent Harnesses","publisher":"arXiv cs.AI","format":"Article","url":"https://arxiv.org/abs/2611.12300","publishedAt":"2026-11-09","dateBasis":"Date basis not provided."},"evidence":[{"text":"Ji introduces RAT to represent systems in which actions can change the action theory, addressing the changing tools, providers, and policies of agent harnesses.","excerpt":"We introduce Reconfigurable Action Theories (RAT), in which actions can change the action theory itself.","url":"https://arxiv.org/abs/2611.12300","relationship":"Source-stated"},{"text":"In RAT, modules contain a vocabulary, causal laws, and an initializer; configurations record active modules and world state.","excerpt":"A theory module in RAT contains a vocabulary, causal laws, and an initializer. A RAT configuration records the active modules and the world state.","url":"https://arxiv.org/abs/2611.12300","relationship":"Source-stated"},{"text":"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.","excerpt":"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.","url":"https://arxiv.org/abs/2611.12300","relationship":"Source-stated"},{"text":"The paper establishes reasoning-task complexity and translates finite RAT systems into nonmonotonic causal theories and ASP while preserving bounded executions.","excerpt":"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.","url":"https://arxiv.org/abs/2611.12300","relationship":"Source-stated"},{"text":"Experiments compare finite RAT models with executions of three official agent implementations.","excerpt":"Experiments compare finite RAT models with executions of official DeepSeek Harness, Pi, and OpenHands implementations.","url":"https://arxiv.org/abs/2611.12300","relationship":"Source-stated"},{"text":"Ji presents RAT as a basis for checking how component changes affect harness actions, behavior, and reachable goals.","excerpt":"RAT provides a formal basis for checking how component changes affect a harness's available actions, behavior, and reachable goals.","url":"https://arxiv.org/abs/2611.12300","relationship":"Source-stated"}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.12300","checkedAt":"2026-11-10T15:50:08.971Z","items":[],"note":"No suitable media was found by the supported page extraction."},"assumptions":[],"openQuestion":{"attribution":"Open question","text":"What do the experiments comparing finite RAT models with the official harness implementations show?"},"whatWouldChangeView":{"attribution":"Change condition not recorded","text":""},"editorialComparisons":[],"live":{"title":"arXiv: Jianmin Ji proposes a formal foundation for changing agent harnesses","summary":"In a paper listed by arXiv, 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.","question":"What do the experiments comparing finite RAT models with the official harness implementations show?","claims":[{"text":"Ji introduces RAT to represent systems in which actions can change the action theory, addressing the changing tools, providers, and policies of agent harnesses.","excerpt":"We introduce Reconfigurable Action Theories (RAT), in which actions can change the action theory itself.","support":"source-stated"},{"text":"In RAT, modules contain a vocabulary, causal laws, and an initializer; configurations record active modules and world state.","excerpt":"A theory module in RAT contains a vocabulary, causal laws, and an initializer. A RAT configuration records the active modules and the world state.","support":"source-stated"},{"text":"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.","excerpt":"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.","support":"source-stated"},{"text":"The paper establishes reasoning-task complexity and translates finite RAT systems into nonmonotonic causal theories and ASP while preserving bounded executions.","excerpt":"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.","support":"source-stated"},{"text":"Experiments compare finite RAT models with executions of three official agent implementations.","excerpt":"Experiments compare finite RAT models with executions of official DeepSeek Harness, Pi, and OpenHands implementations.","support":"source-stated"},{"text":"Ji presents RAT as a basis for checking how component changes affect harness actions, behavior, and reachable goals.","excerpt":"RAT provides a formal basis for checking how component changes affect a harness's available actions, behavior, and reachable goals.","support":"source-stated"}],"limitations":["The supplied evidence is the arXiv 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."],"mediaId":"526ed5591e8bafb206291580b11285aca898483d7e977f398d14beac638d37d1","correctionReason":null,"id":"7d4fde327fe38be4c1c5f9cf3d1ee0e601025732ac92aee569c28eb978dbe0d7","publicationId":"35bcf59c-c37a-4ab7-890e-02e313d0bb13","version":1,"sourceUrl":"https://arxiv.org/abs/2611.12300","sourceTitle":"Reconfigurable Action Theories: A Formal Foundation for Dynamically Composable Agent Harnesses","publisher":"arXiv cs.AI","publishedAt":null,"originalPublished":{"value":"2026-11-09","precision":"day","basis":"publisher_citation_date"},"firstObservedAt":"2026-11-10T08:36:35.239Z","createdAt":"2026-11-10T15:19:00.199Z","historical":false,"entityIds":["arxiv"],"topicIds":["intelligence-and-discovery"],"media":[{"id":"526ed5591e8bafb206291580b11285aca898483d7e977f398d14beac638d37d1","kind":"article","url":"https://arxiv.org/abs/2611.12300","sourceUrl":"https://arxiv.org/abs/2611.12300","label":"Read original","provenance":"source_link","verification":{"status":"verified","checkedAt":"2026-11-10T15:18:15.760Z","method":"acquired_source","contentType":"text/html"},"recommendationReason":"Recommended by Jev for understanding this source; checked by Luna."}],"sourceMedia":{"status":"not_found","sourceUrl":"https://arxiv.org/abs/2611.12300","checkedAt":"2026-11-10T15:50:08.971Z","items":[],"note":"No suitable media was found by the supported page extraction."},"editorialDecision":{"outcome":"accept","reasonCodes":["material_development"],"rubricVersion":"stream-admission-v5","mediaId":"526ed5591e8bafb206291580b11285aca898483d7e977f398d14beac638d37d1","confidence":0.65,"provider":"typesafe","model":"jev-1.13.0","inputHash":"f339c65c9934cb62e0756aa2c718c360cb13482eb9bd6b20e19c4c968a87bd54","decidedAt":"2026-11-10T15:18:16.435Z"},"provenance":{"textHash":"ad0a601869b5c284e059fe909509884778dcf6acf1460ce8558b33addcc7b2d9","observationId":"4746d013b7d4c8181a4ebe63749e1baf6d0ce23b3fe657e5e15b0ce97c87da03","retrievedAt":"2026-11-10T15:18:15.680Z","kind":"publisher-page","preparer":{"model":"gpt-6-luna","runId":"d553f240-51bb-46e0-88c0-d53bbb45f71d"},"reviewer":{"model":"gpt-6-luna","runId":"cbde8037-97d6-4cfc-807d-eedd7e590c1e"}},"audit":{"status":"uncertain","reviewedAt":"2026-11-10T15:19:00.199Z","model":"anthropic/claude-opus-5.5"},"sourceAttribution":{"authors":[{"name":"Ji, Jianmin","url":null,"kind":"unknown"}],"authorRole":"article-author","hosts":[],"status":"stated","authorRoster":{"truncated":false,"omitted":0,"assertionGroupsOmitted":0},"participation":[{"actor":{"name":"Ji, Jianmin","url":null,"kind":"unknown","actorId":null},"role":"author","scope":{"kind":"work-credit","locator":null},"literalCredit":"Ji, Jianmin","status":"stated","provenance":{"basis":"head-meta","sourceUrl":"https://arxiv.org/abs/2611.12300","locator":"head/meta[name=author|citation_author]"},"assertionId":"e4257ab6a7ec63c38429c31a18e4c1a0539c7804f39282b92e03ae11a819e238:participation:0","identity":{"version":"entity-identity-v1","status":"unresolved","actorId":null,"canonicalActorId":null,"candidateActorIds":[],"assertions":[],"sourceObservedAt":"2026-11-10T15:50:08.971Z","knowledgeAsOf":null},"sourceVersion":{"snapshotId":"e4257ab6a7ec63c38429c31a18e4c1a0539c7804f39282b92e03ae11a819e238","sourceUrl":"https://arxiv.org/abs/2611.12300","contentSha256":"7825177f2a8c0db9e681656ff6a24fda2ea72b35f7293f979788f5fbd2b18251","textHash":"ad0a601869b5c284e059fe909509884778dcf6acf1460ce8558b33addcc7b2d9","observedAt":"2026-11-10T15:50:08.971Z"}}],"participationCoverage":{"total":1,"returned":1,"complete":true,"fullAssertions":"source-metadata-endpoint"},"distribution":null,"publisher":null,"sourceUrl":"https://arxiv.org/abs/2611.12300","snapshotId":"e4257ab6a7ec63c38429c31a18e4c1a0539c7804f39282b92e03ae11a819e238","contentSha256":"7825177f2a8c0db9e681656ff6a24fda2ea72b35f7293f979788f5fbd2b18251","textHash":"ad0a601869b5c284e059fe909509884778dcf6acf1460ce8558b33addcc7b2d9","observedAt":"2026-11-10T15:50:08.971Z","basis":"publisher-page-metadata","sourceLinks":39,"linksTruncated":false,"metadataUrl":"/api/pipeline/stream/7d4fde327fe38be4c1c5f9cf3d1ee0e601025732ac92aee569c28eb978dbe0d7/source"}}}],"audits":[{"publicationId":"35bcf59c-c37a-4ab7-890e-02e313d0bb13","verdict":"uncertain","findings":[{"dimension":"attribution","status":"pass","explanation":"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.","excerpt":"Authors:Jianmin Ji"},{"dimension":"summary","status":"uncertain","explanation":"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.","excerpt":"Action theories typically fix their vocabulary and causal laws, whereas agent harnesses can change their tools, providers, and policies during execution."},{"dimension":"date","status":"pass","explanation":"originalPublished is 2026-11-09. That matches the v1 submission date on arXiv. The 2026-11-10 date is only the feed date.","excerpt":"[Submitted on 9 Nov 2026]"},{"dimension":"support","status":"uncertain","explanation":"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.","excerpt":"We give sufficient conditions for at most one next configuration"},{"dimension":"media","status":"pass","explanation":"The selected media is the verified direct arXiv abstract page for this paper, which is the most direct way to reach the source.","excerpt":null}],"createdAt":"2026-11-10T15:19:00.199Z","model":"anthropic/claude-opus-5.5"}],"correctionUrl":"https://escapemeridian.com/corrections/"}