{
  "created_at": "2026-11-12T07:59:12Z",
  "result": {
    "engine": "fast_path_authority",
    "limits": "Reviews the fast-path record. It does not call the model, prove its output is correct, or prove a sampled audit caught every issue. The run is Ed25519-signed; pin the issuer key out of band.",
    "module": "cain_a75_engines/fastpath/engine.py",
    "profile": "latency_sensitive_retrieval",
    "run": {
      "label": "Recomputes a fast-path delegation: tool/cost/expiry subsets, policy fast-path bounds, per-action authority, post-audit sampling and claim honesty. It does not call the model.",
      "public_key_b64": "pbvQUk24n/wjJwffd3O7aKHfq12Tg8LFP5HvIuCM2/A=",
      "records": [
        {
          "checks": [
            {
              "detail": "subagent tools ['read', 'search'] subset of parent ['read', 'search', 'summarize']",
              "id": "authority.tools_subset",
              "ok": true
            },
            {
              "detail": "subagent cost ceiling is within the parent",
              "id": "authority.cost_subset",
              "ok": true
            },
            {
              "detail": "expires 1500.0 > now 1000.0",
              "id": "authority.not_expired",
              "ok": true
            },
            {
              "detail": "subagent expiry 1500.0 <= parent 2000.0",
              "id": "authority.expiry_bounded",
              "ok": true
            },
            {
              "detail": "the fast path is enabled",
              "id": "fast_path.enabled",
              "ok": true
            },
            {
              "detail": "a reason is stated",
              "id": "fast_path.reason",
              "ok": true
            },
            {
              "detail": "tools ['read', 'search'] subset of ['read', 'search']",
              "id": "fast_path.tools_allowed",
              "ok": true
            },
            {
              "detail": "ceiling 0.5 <= 1.0",
              "id": "fast_path.cost_bounded",
              "ok": true
            },
            {
              "detail": "3 <= 10",
              "id": "actions.count",
              "ok": true
            },
            {
              "detail": "tool 'search' in subagent authority",
              "id": "A1.tool",
              "ok": true
            },
            {
              "detail": "action cost within the ceiling",
              "id": "A1.within_cost",
              "ok": true
            },
            {
              "detail": "tool 'read' in subagent authority",
              "id": "A2.tool",
              "ok": true
            },
            {
              "detail": "action cost within the ceiling",
              "id": "A2.within_cost",
              "ok": true
            },
            {
              "detail": "tool 'search' in subagent authority",
              "id": "A3.tool",
              "ok": true
            },
            {
              "detail": "action cost within the ceiling",
              "id": "A3.within_cost",
              "ok": true
            },
            {
              "detail": "total 0.25 <= ceiling",
              "id": "actions.total_cost",
              "ok": true
            },
            {
              "detail": "2 audited, sampled need 2",
              "id": "audit.sample_met",
              "ok": true
            },
            {
              "detail": "claimed True, computed True",
              "id": "claims.audited",
              "ok": true
            },
            {
              "detail": "claimed True, computed True",
              "id": "claims.fast_path_bounded",
              "ok": true
            },
            {
              "detail": "claimed True, computed True",
              "id": "claims.within_parent_authority",
              "ok": true
            }
          ],
          "created_at": "2026-11-12T07:59:12Z",
          "engine": "a75-039/1.0.0",
          "extra": {
            "actions": {
              "A1": {
                "audited": true,
                "cost": 0.1,
                "tool": "search"
              },
              "A2": {
                "audited": false,
                "cost": 0.05,
                "tool": "read"
              },
              "A3": {
                "audited": true,
                "cost": 0.1,
                "tool": "search"
              }
            },
            "audited": 2,
            "computed": {
              "audited": true,
              "fast_path_bounded": true,
              "within_parent_authority": true
            }
          },
          "failed": [],
          "label": "Recomputes a fast-path delegation: tool/cost/expiry subsets, policy fast-path bounds, per-action authority, post-audit sampling and claim honesty. It does not call the model.",
          "prev_record_hash": "d0ac5ef3de20b381ec028c182b0486c6c5c7d3dc43d94968c080bc81018f3fe8",
          "public_key_b64": "pbvQUk24n/wjJwffd3O7aKHfq12Tg8LFP5HvIuCM2/A=",
          "record_hash": "b02747c6d232248242aec4681347a6c080bb9e3d60ac4cdb7f11d15bd48177cf",
          "schema": "cain42.a75.fastpath.record.v1",
          "signature_b64": "qsl18BGV0K8zD4EGrNwNySPQJu14Cdki2uWbyU0lUrvtU4OcftV8vVXoRG2SsQ1YKghV5/Bs00UDwkH2gH43DA==",
          "sku": "CAIN-A75-039",
          "subject": {
            "actions": [
              {
                "at": 1001.0,
                "audit_ref": "AUD-1",
                "cost_usd": 0.1,
                "id": "A1",
                "tool": "search"
              },
              {
                "at": 1002.0,
                "cost_usd": 0.05,
                "id": "A2",
                "tool": "read"
              },
              {
                "at": 1003.0,
                "audit_ref": "AUD-2",
                "cost_usd": 0.1,
                "id": "A3",
                "tool": "search"
              }
            ],
            "claims": {
              "audited": true,
              "fast_path_bounded": true,
              "within_parent_authority": true
            },
            "fast_path": {
              "audit_sample_rate": 0.5,
              "enabled": true,
              "max_latency_ms": 200,
              "now": 1000.0,
              "reason": "latency-sensitive retrieval"
            },
            "parent": {
              "expires_at": 2000.0,
              "id": "agent:lead",
              "max_cost_usd": 2.0,
              "tools": [
                "search",
                "read",
                "summarize"
              ]
            },
            "policy": {
              "fast_path_allowed_tools": [
                "search",
                "read"
              ],
              "fast_path_max_cost": 1.0,
              "max_actions": 10,
              "require_post_audit": true
            },
            "schema": "cain42.a75.fastpath.v1",
            "subagent": {
              "expires_at": 1500.0,
              "id": "agent:fast",
              "max_cost_usd": 0.5,
              "model_tier": "fast",
              "tools": [
                "search",
                "read"
              ]
            }
          },
          "subject_sha256": "bb14912f7137ed8275eaf3a802d04b0b6e36a5af7faa1e8793644c95d96f5c5f",
          "verdict": "SOUND"
        }
      ],
      "run_hash": "69976b16843f7df90f2fc47bec1566df8cc5f5dbfb69e9a559940c1d2e4d55b4",
      "schema": "cain42.a75.fastpath.run.v1",
      "sku": "CAIN-A75-039",
      "verdict": "VERIFIED",
      "verdicts": [
        "SOUND"
      ]
    },
    "scenarios": [
      {
        "actions": 3,
        "audited": 2,
        "name": "latency_sensitive_retrieval",
        "run_hash": "69976b16843f7df90f2fc47bec1566df8cc5f5dbfb69e9a559940c1d2e4d55b4",
        "verdict": "VERIFIED"
      },
      {
        "expected": "SOUND",
        "name": "honest_fast_path",
        "verdict": "SOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "authority_escalation",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "cost_escalation",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "subagent_expired",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "expiry_beyond_parent",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "fast_tool_not_allowed",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "fast_cost_above_policy",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "too_many_actions",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "action_over_ceiling",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "action_tool_outside_authority",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "audit_sample_not_met",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "fast_path_disabled",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "duplicate_action",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "claim_overstates",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "unknown_claim",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "wrong_schema",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "garbage",
        "verdict": "UNSOUND"
      }
    ],
    "summary": "VERIFIED: parent subset, fast-path policy, per-action authority and audit sample recomputed; 17/17 fast-path-failure cases as expected"
  },
  "schema": "cain42.agentic75.findings.v1",
  "sku": "CAIN-A75-039"
}