{
  "schema": "vedokrok.public-item.v1",
  "release_id": "MHC-RPUB-20260920-75ad787a",
  "url": "/knowledge/give-verification-an-independent-evidence-path",
  "id": "MHC-D-RESEARCH-1162",
  "version": "0.1.0",
  "title": "Give verification an independent evidence path",
  "summary": "A second opinion is weak when it only rereads the first opinion.",
  "kind": "principle",
  "body": "Let the verifier inspect the artifact and evidence directly: run tests, query the system, open the source, inspect screenshots or recompute a result. Separating author and verifier can reduce shared incentives, but the larger gain comes from giving verification an evidence path that does not depend on the author's summary.",
  "limits": [
    "A separate model is not automatically independent. Shared data, prompts, tools or blind spots can still produce correlated errors."
  ],
  "topics": [
    "union-ai-runtime-verification-2026"
  ],
  "intents": [],
  "source_ids": [
    "RS-3BF9DF61A375DF34"
  ],
  "evidence": [
    {
      "claim": "Verification is stronger when the verifier can inspect evidence with tools and is not limited to accepting the generator's own explanation of success.",
      "source_id": "RS-3BF9DF61A375DF34",
      "role": "supports",
      "note": "A separate verifier can share the same blind spots or bad evidence; independence is a design aid, not a proof of correctness.",
      "locator": "5:56-6:40, separate verifier from author, provide verification tools and make the next owner explicit"
    }
  ],
  "use_when": [
    "The same agent that produced an artifact is also asked whether its own work is correct."
  ],
  "avoid_when": [
    "A separate model is not automatically independent. Shared data, prompts, tools or blind spots can still produce correlated errors."
  ],
  "example": "A code agent says a page works. The verifier opens the deployed preview, runs the relevant tests and checks the requested behavior rather than asking the code agent to self-critique its explanation.",
  "check": "At least one important acceptance claim is checked against independent artifact or system evidence.",
  "sources": [
    {
      "id": "RS-3BF9DF61A375DF34",
      "title": "What Does Done Even Mean? Agents and Paperclip's Liveness Model",
      "url": "https://ai.engineer/talks/7P0elyLIxXo-what-does-done-even-mean-agents-paperclips"
    }
  ],
  "relations": [
    {
      "from": "MHC-D-RESEARCH-1162",
      "to": "MHC-D-RESEARCH-0957",
      "type": "useful_with",
      "url": "/knowledge/combine-grader-types-instead-of-asking-one-llm-judge-to-decide-everything"
    }
  ],
  "collections": [
    {
      "id": "RC-ACD6385FB70207D3",
      "title": "Operate AI agents as systems you can replay, verify and constrain",
      "url": "/collections/operate-ai-agents-as-systems-you-can-replay-verify-and-constrain"
    }
  ]
}