{
  "schema_version": "1.1",
  "id": "s13:https://arxiv.org/abs/2609.20822v1",
  "slug": "2609-20822v1-1hfyx5i",
  "url": "https://feed7.dev/p/2609-20822v1-1hfyx5i",
  "title": "Coding Agents with an Obstacle-Aware Harness for Safe Robot Manipulation",
  "why_included": "A safety prompt did not stop robot coding agents from colliding with obstacles. SafeHarness instead makes route verification, replanning, and contact constraints explicit in the execution loop.",
  "summary": "The tested coding agent recognized the obstacle and was explicitly told not to touch it, yet collided in most cases because safety never became a planning priority. SafeHarness reached **71.9% task success** and **87.5% collision avoidance**.",
  "practical_implication": "For safety-critical agents, encode constraints in the harness rather than relying on prompt compliance. Here that means grounding objects as boxes, generating and verifying waypoint routes, replanning blocked paths, and selecting a safe contact position.",
  "agent_context": "The tested coding agent recognized the obstacle and was explicitly told not to touch it, yet collided in most cases because safety never became a planning priority. SafeHarness reached **71.9% task success** and **87.5% collision avoidance**.\n\nFor safety-critical agents, encode constraints in the harness rather than relying on prompt compliance. Here that means grounding objects as boxes, generating and verifying waypoint routes, replanning blocked paths, and selecting a safe contact position.\n\nThe reported gains over the previous state of the art are **6.5%** for task success and **27.0%** for collision avoidance. The abstract does not establish whether the method transfers beyond its evaluated robot-manipulation tasks and obstacle setup.",
  "source": {
    "name": "arXiv",
    "url": "https://arxiv.org/abs/2609.20822v1",
    "published_at": "2026-09-17T17:59:58.000Z"
  },
  "source_class": "blog_post",
  "content_type": "Paper",
  "layer": "agent",
  "domains": [
    "coding"
  ],
  "topics": [
    "harness-engineering",
    "agent-reliability"
  ],
  "verification": {
    "status": "needs_review",
    "label": "Needs Review",
    "method": "unverified",
    "verified_at": null
  },
  "uncertainty": [
    "The reported gains over the previous state of the art are **6.5%** for task success and **27.0%** for collision avoidance. The abstract does not establish whether the method transfers beyond its evaluated robot-manipulation tasks and obstacle setup."
  ],
  "connected_context": {
    "meaning": "This provides task-level evidence that explicit safety instructions can fail even when the agent recognizes the hazard. It strengthens the case for moving constraints from prompts into executable planning and verification, and makes that principle concrete through grounded geometry and checked routes. Transfer beyond the tested manipulation setup remains unresolved.",
    "corpus_size": 807,
    "generated_at": "2026-09-18T10:06:53.960Z",
    "connections": [
      {
        "title": "In Code They Act, In Proof We Trust — Erik Meijer, Leibniz Labs",
        "source_name": "YouTube",
        "source_url": "https://www.youtube.com/watch?v=-CnA2lGfymY",
        "feed7_url": "https://feed7.dev/p/in-code-they-act-in-proof-we-trust-erik-meijer-leibniz-labs-1lyno2y",
        "reason": "SafeHarness operationalizes the proposed proof-before-side-effects pattern in robotics by verifying waypoint routes before physical execution."
      },
      {
        "title": "Twin: Playing an Unknown Game with a Test-Time Digital Twin",
        "source_name": "arXiv",
        "source_url": "https://arxiv.org/abs/2608.14490v1",
        "feed7_url": "https://feed7.dev/p/2608-14490v1-0d3xjvt",
        "reason": "Both gate real actions with an executable domain model; Twin validates simulated transitions, whereas SafeHarness verifies geometric routes and replans around obstacles."
      },
      {
        "title": "The Design-Code Roundtrip That Isn't — Jonathan Gordon, ReWeaver AI",
        "source_name": "AI Engineer",
        "source_url": "https://www.youtube.com/watch?v=NW-jwOVr32w",
        "feed7_url": "https://feed7.dev/p/the-design-code-roundtrip-that-isn-t-jonathan-gordon-reweaver-ai-0fkffut",
        "reason": "Both show deterministic checks catching risks that iterative generation can introduce or ignore, though this Signal moves the gate from artifact comparison to physical collision avoidance."
      }
    ]
  },
  "lifecycle": "Current",
  "published_at": "2026-09-17T17:59:58.000Z",
  "modified_at": "2026-09-17T17:59:58.000Z",
  "supersedes": [],
  "expires_at": null,
  "formats": {
    "html": "https://feed7.dev/p/2609-20822v1-1hfyx5i",
    "json": "https://feed7.dev/p/2609-20822v1-1hfyx5i.json",
    "markdown": "https://feed7.dev/p/2609-20822v1-1hfyx5i.md"
  }
}