{
  "schema_version": "1.1",
  "id": "archive:https://www.youtube.com/watch?v=03l29gJXpCE",
  "slug": "guide-verify-solve-anirban-chatterjee-sonar-1igfmbm",
  "url": "https://feed7.dev/p/guide-verify-solve-anirban-chatterjee-sonar-1igfmbm",
  "title": "Guide, Verify, Solve — Anirban Chatterjee, Sonar",
  "why_included": "A Sonar talk argues that coding-agent gains need repeatable verification, citing a three-month productivity spike alongside persistent static-analysis warnings and complexity.",
  "summary": "A GitHub-project study presented by Sonar found an AI-associated productivity increase that faded after about **three months**, while static-analysis warnings and complexity persisted. A separate human study cited in the talk found participants followed correct AI advice **92.7%** of the time and incorrect advice nearly **80%** of the time.",
  "practical_implication": "Treat verification as part of the agent harness, not a final human glance. The proposed **Guide–Verify–Solve** loop encodes constraints first, runs repeatable computational and LLM-based checks, then gives the agent tools to remediate findings before proceeding.",
  "agent_context": "A GitHub-project study presented by Sonar found an AI-associated productivity increase that faded after about **three months**, while static-analysis warnings and complexity persisted. A separate human study cited in the talk found participants followed correct AI advice **92.7%** of the time and incorrect advice nearly **80%** of the time.\n\nTreat verification as part of the agent harness, not a final human glance. The proposed **Guide–Verify–Solve** loop encodes constraints first, runs repeatable computational and LLM-based checks, then gives the agent tools to remediate findings before proceeding.\n\nThis was a vendor presentation, and the material does not establish that AI caused the observed project trends. It also provides no comparative results showing that Sonar's specific products outperform other layered test, analysis, and review setups.",
  "source": {
    "name": "AI Engineer",
    "url": "https://www.youtube.com/watch?v=03l29gJXpCE",
    "published_at": "2026-08-09T17:45:13.000Z"
  },
  "source_class": "video",
  "content_type": "Video",
  "layer": "agent",
  "domains": [
    "coding",
    "security"
  ],
  "topics": [
    "harness-engineering",
    "agent-reliability",
    "agent-evals"
  ],
  "verification": {
    "status": "source_linked",
    "label": "Source Linked",
    "method": "source_feed",
    "verified_at": null
  },
  "uncertainty": [
    "This was a vendor presentation, and the material does not establish that AI caused the observed project trends. It also provides no comparative results showing that Sonar's specific products outperform other layered test, analysis, and review setups."
  ],
  "connected_context": {
    "meaning": "This adds a concrete control loop to warnings that agent throughput can outpace software quality: constraints and verification must shape each iteration, not appear only at final review. The cited persistence of warnings narrows productivity claims to short-term output rather than maintainable progress, while the high compliance with incorrect advice shows why an unaided human glance is an unreliable safety boundary.",
    "corpus_size": 409,
    "generated_at": "2026-08-10T10:04:45.565Z",
    "connections": [
      {
        "title": "Harness Engineering is not Enough: Why Software Factories Fail — Dex Horthy, HumanLayer",
        "source_name": "AI Engineer",
        "source_url": "https://www.youtube.com/watch?v=Ib5GBkD555M",
        "feed7_url": "https://feed7.dev/p/harness-engineering-is-not-enough-why-software-factories-fail-dex-horthy-1tj1amt",
        "reason": "It operationalizes HumanLayer’s maintainability warning by placing constraints and repeatable checks inside the coding loop while retaining human ownership."
      },
      {
        "title": "LLM-as-a-Verifier: A General-Purpose Verification Framework",
        "source_name": "arXiv",
        "source_url": "https://arxiv.org/abs/2607.05391v1",
        "feed7_url": "https://feed7.dev/p/2607-05391v1-10hi3eo",
        "reason": "The LLM verifier could implement part of the proposed verification stage, but the talk’s layered checks avoid treating an LLM judge as sufficient on its own."
      },
      {
        "title": "From Agent Traces to Agent Simulations — Rustem Feyzkhanov, Snorkel AI",
        "source_name": "AI Engineer",
        "source_url": "https://www.youtube.com/watch?v=Ib5t2RLtxvM",
        "feed7_url": "https://feed7.dev/p/from-agent-traces-to-agent-simulations-rustem-feyzkhanov-snorkel-ai-0zwlzjq",
        "reason": "Replayable production-derived environments would let teams test whether the Guide–Verify–Solve loop catches representative failures under fixed conditions."
      },
      {
        "title": "Distributed Attacks in Persistent-State AI Control",
        "source_name": "arXiv",
        "source_url": "https://arxiv.org/abs/2607.02514v1",
        "feed7_url": "https://feed7.dev/p/2607-02514v1-02bqscm",
        "reason": "Distributed attacks across multiple pull requests expose a boundary of per-change verification and imply that checks also need persistent, cross-session state."
      }
    ]
  },
  "lifecycle": "Current",
  "published_at": "2026-08-09T17:45:13.000Z",
  "modified_at": "2026-08-09T17:45:13.000Z",
  "supersedes": [],
  "expires_at": null,
  "formats": {
    "html": "https://feed7.dev/p/guide-verify-solve-anirban-chatterjee-sonar-1igfmbm",
    "json": "https://feed7.dev/p/guide-verify-solve-anirban-chatterjee-sonar-1igfmbm.json",
    "markdown": "https://feed7.dev/p/guide-verify-solve-anirban-chatterjee-sonar-1igfmbm.md"
  }
}