{
  "schema_version": "witness-sweep-v1",
  "timestamp_utc": "2026-05-09T18:27:23+00:00",
  "shards_dir": "/home/fox/.arborist/shards",
  "model": "adamo1139/Hermes-3-Llama-3.1-8B-FP8-Dynamic",
  "endpoint": "https://hermes.ai.unturf.com/v1",
  "summary": {
    "questions": 8,
    "by_agreement_label": {
      "LLM-DIVERGED": 5,
      "STRICT-WITNESSED": 3
    },
    "divergence_count": 5,
    "divergence_rate": 0.625,
    "wall_ms_median": 159.2,
    "wall_ms_max": 1099.3
  },
  "queries": [
    {
      "question": "0.1 + 0.2",
      "status": "cache_hit",
      "audit_mode": "CANONICAL_PROJECTION",
      "pi_star_ref": "arithmetic@v1",
      "canonical_answer": "3/10",
      "agreement_label": "LLM-DIVERGED",
      "llm_raw": "1/10",
      "llm_canonical_match": false,
      "cache_status": "ok",
      "wall_ms": 1099.3,
      "audit_event_hash": "3b25ad3cd28a9505d96e22c85ae42ab182008ee6584b3a74c881dba07e3eab28"
    },
    {
      "question": "1/3 + 1/6",
      "status": "cache_hit",
      "audit_mode": "CANONICAL_PROJECTION",
      "pi_star_ref": "arithmetic@v1",
      "canonical_answer": "1/2",
      "agreement_label": "STRICT-WITNESSED",
      "llm_raw": "1/2",
      "llm_canonical_match": false,
      "cache_status": "ok",
      "wall_ms": 159.2,
      "audit_event_hash": "7677efdeb3b2ad7f60cf4312d2f4825c9fa949ddcbc06434ee5fc4ea50a86e3e"
    },
    {
      "question": "2**10",
      "status": "cache_hit",
      "audit_mode": "CANONICAL_PROJECTION",
      "pi_star_ref": "arithmetic@v1",
      "canonical_answer": "1024/1",
      "agreement_label": "STRICT-WITNESSED",
      "llm_raw": "1024",
      "llm_canonical_match": false,
      "cache_status": "ok",
      "wall_ms": 134.7,
      "audit_event_hash": "ed570bd6127a0b7143bb5c0f8cf76daf37a2092fe84350c0cab1ee2a2bf0410b"
    },
    {
      "question": "A IMPL B",
      "status": "cache_hit",
      "audit_mode": "CANONICAL_PROJECTION",
      "pi_star_ref": "logic-kernel@v1",
      "canonical_answer": "(NOT A OR B)",
      "agreement_label": "LLM-DIVERGED",
      "llm_raw": "TRUE",
      "llm_canonical_match": false,
      "cache_status": "ok",
      "wall_ms": 147.0,
      "audit_event_hash": "0f6fb926fd72150c5a0d8121a004b1f66edf3c8ee4bc15c52168f3a7869786fe"
    },
    {
      "question": "(NOT B) IMPL (NOT A)",
      "status": "cache_hit",
      "audit_mode": "CANONICAL_PROJECTION",
      "pi_star_ref": "logic-kernel@v1",
      "canonical_answer": "(NOT A OR B)",
      "agreement_label": "LLM-DIVERGED",
      "llm_raw": "TRUE",
      "llm_canonical_match": false,
      "cache_status": "ok",
      "wall_ms": 260.2,
      "audit_event_hash": "1b17f6e39edf2bb3d8dce003e20f71df9a3b9bd1b885f8a6e4b78e43ec122c31"
    },
    {
      "question": "A OR NOT A",
      "status": "cache_hit",
      "audit_mode": "CANONICAL_PROJECTION",
      "pi_star_ref": "logic-kernel@v1",
      "canonical_answer": "TRUE",
      "agreement_label": "STRICT-WITNESSED",
      "llm_raw": "TRUE",
      "llm_canonical_match": false,
      "cache_status": "ok",
      "wall_ms": 129.1,
      "audit_event_hash": "5929ffe218bb8a97c391df70cfffed810f66d02c4a54bdce2569755200bd8d0d"
    },
    {
      "question": "(x+1)**2",
      "status": "cache_hit",
      "audit_mode": "CANONICAL_PROJECTION",
      "pi_star_ref": "algebra-symbolic@v1",
      "canonical_answer": "Add(Pow(Symbol('x'), Integer(2)), Mul(Integer(2), Symbol('x')), Integer(1))",
      "agreement_label": "LLM-DIVERGED",
      "llm_raw": "1",
      "llm_canonical_match": false,
      "cache_status": "ok",
      "wall_ms": 196.1,
      "audit_event_hash": "b36f1a830aae8fec514f95f3104ba4473bc6febb98137016c5d0816f859ba440"
    },
    {
      "question": "x**2 + 2*x + 1",
      "status": "cache_hit",
      "audit_mode": "CANONICAL_PROJECTION",
      "pi_star_ref": "algebra-symbolic@v1",
      "canonical_answer": "Add(Pow(Symbol('x'), Integer(2)), Mul(Integer(2), Symbol('x')), Integer(1))",
      "agreement_label": "LLM-DIVERGED",
      "llm_raw": "1",
      "llm_canonical_match": false,
      "cache_status": "ok",
      "wall_ms": 147.3,
      "audit_event_hash": "d307d6990527ddc6af73ea3cb894d4986ea3003106723fe74e22282f16eb62c6"
    }
  ]
}