{
  "source_commit": "047507a10945d6be8302dafeed671c6121f5286b",
  "trigger_commit": "047507a10945d6be8302dafeed671c6121f5286b",
  "predicate_revision": "provided-contract-v2-detailed-evidence",
  "predicate_source_sha256": "865600cd2201745b4eecc5f527d3b82261fc033ce0f8465418d49ccae8daba86",
  "at": "2026-11-01T01:23:35.741Z",
  "execution_id": "41260861461",
  "task_kind": "provided_spec_readonly_HTTP_contract_check",
  "spec_provided_in_prompt": true,
  "original_design_claimed": false,
  "paid": false,
  "tx_hash": null,
  "status": "live_contract_check_failed",
  "worker_generation": {
    "model": "doubao-seed-2-1-pro-260915",
    "status": "success",
    "finish_reason": "stop",
    "tokens_used": 1293
  },
  "source": "knowledge/results/wep3/delivery-contract-2026-11-01.json",
  "source_delivery_file_sha256": "d8dd4d9cec8927ce5093f101cef3ada07a539cfe777b36128d6e11a2eab04429",
  "negative_controls": {
    "kind": "local_assertion_evaluator_fault_injection",
    "network_calls": 0,
    "independent_design_proven": false,
    "passed": true,
    "samples": [
      {
        "name": "baseline",
        "pass": true,
        "expected": true
      },
      {
        "name": "wrong_http_rejected",
        "pass": false,
        "expected": false
      },
      {
        "name": "wrong_json_rejected",
        "pass": false,
        "expected": false
      },
      {
        "name": "wrong_authentication_rejected",
        "pass": false,
        "expected": false
      }
    ]
  },
  "live_checks": [
    {
      "id": "HEALTH_001",
      "path": "/health",
      "http": 200,
      "expected_http": 200,
      "actual": {
        "ok": true
      },
      "passed": true,
      "comparison": {
        "revision": "provided-contract-v2-detailed-evidence",
        "passed": true,
        "expected_shape_valid": true,
        "expected_http": 200,
        "actual_http": 200,
        "http_matched": true,
        "fields": [
          {
            "key": "ok",
            "expected": true,
            "actual": true,
            "actual_present": true,
            "expected_type": "boolean",
            "actual_type": "boolean",
            "matched": true
          }
        ]
      },
      "response_sha256": "75796860c701d7db76ffddf0700746a8c645f3ed3c0dd583e3e93c00d2efb5a9",
      "observed_at": "2026-11-01T01:23:55.313Z",
      "method": "GET",
      "auth_kind": "public"
    },
    {
      "id": "TREASURY_001",
      "path": "/market/treasury",
      "http": 200,
      "expected_http": 200,
      "actual": {
        "ok": true,
        "controlled": false,
        "address": "0x5df57a78E0A13df2aE983BDAD69cFCBD3DD7a32d"
      },
      "passed": false,
      "comparison": {
        "revision": "provided-contract-v2-detailed-evidence",
        "passed": false,
        "expected_shape_valid": true,
        "expected_http": 200,
        "actual_http": 200,
        "http_matched": true,
        "fields": [
          {
            "key": "ok",
            "expected": true,
            "actual": true,
            "actual_present": true,
            "expected_type": "boolean",
            "actual_type": "boolean",
            "matched": true
          },
          {
            "key": "controlled",
            "expected": true,
            "actual": false,
            "actual_present": true,
            "expected_type": "boolean",
            "actual_type": "boolean",
            "matched": false
          },
          {
            "key": "address",
            "expected": "0x5df57a78E0A13df2aE983BDAD69cFCBD3DD7a32d",
            "actual": "0x5df57a78E0A13df2aE983BDAD69cFCBD3DD7a32d",
            "actual_present": true,
            "expected_type": "string",
            "actual_type": "string",
            "matched": true
          }
        ]
      },
      "response_sha256": "f3e0e219797600ea43d44d26163303fc4edf1f628dcbebe7de36bf6d1f6b7336",
      "observed_at": "2026-11-01T01:23:55.398Z",
      "method": "GET",
      "auth_kind": "public"
    },
    {
      "id": "AAVE_STATUS_001",
      "path": "/market/aave/status",
      "http": 200,
      "expected_http": 200,
      "actual": {
        "ok": true,
        "chain_id": 8453
      },
      "passed": true,
      "comparison": {
        "revision": "provided-contract-v2-detailed-evidence",
        "passed": true,
        "expected_shape_valid": true,
        "expected_http": 200,
        "actual_http": 200,
        "http_matched": true,
        "fields": [
          {
            "key": "ok",
            "expected": true,
            "actual": true,
            "actual_present": true,
            "expected_type": "boolean",
            "actual_type": "boolean",
            "matched": true
          },
          {
            "key": "chain_id",
            "expected": 8453,
            "actual": 8453,
            "actual_present": true,
            "expected_type": "number",
            "actual_type": "number",
            "matched": true
          }
        ]
      },
      "response_sha256": "f6e94c3d3f2aa89bbcc05ff257aeeda30707faf560758f610244040e03c574f3",
      "observed_at": "2026-11-01T01:23:56.682Z",
      "method": "GET",
      "auth_kind": "public"
    },
    {
      "id": "RUNNER_READINESS_PUBLIC_001",
      "path": "/market/runner/readiness",
      "http": 200,
      "expected_http": 200,
      "actual": {
        "authenticated": false
      },
      "passed": true,
      "comparison": {
        "revision": "provided-contract-v2-detailed-evidence",
        "passed": true,
        "expected_shape_valid": true,
        "expected_http": 200,
        "actual_http": 200,
        "http_matched": true,
        "fields": [
          {
            "key": "authenticated",
            "expected": false,
            "actual": false,
            "actual_present": true,
            "expected_type": "boolean",
            "actual_type": "boolean",
            "matched": true
          }
        ]
      },
      "response_sha256": "83cbf6d4524fbe9195534df78c5c63afaf2ee4159aa4d71edc7ea722229649aa",
      "observed_at": "2026-11-01T01:23:56.765Z",
      "method": "GET",
      "auth_kind": "public"
    },
    {
      "id": "RUNNER_READINESS_VALID_001",
      "path": "/market/runner/readiness",
      "http": 200,
      "expected_http": 200,
      "actual": {
        "authenticated": true
      },
      "passed": true,
      "comparison": {
        "revision": "provided-contract-v2-detailed-evidence",
        "passed": true,
        "expected_shape_valid": true,
        "expected_http": 200,
        "actual_http": 200,
        "http_matched": true,
        "fields": [
          {
            "key": "authenticated",
            "expected": true,
            "actual": true,
            "actual_present": true,
            "expected_type": "boolean",
            "actual_type": "boolean",
            "matched": true
          }
        ]
      },
      "response_sha256": "e433da78b037a98c183159f0ddc0bf8500b336c3cc2bd8bce07e2fdfc07183ef",
      "observed_at": "2026-11-01T01:23:56.789Z",
      "method": "GET",
      "auth_kind": "valid"
    },
    {
      "id": "AAVE_PREVIEW_PUBLIC_001",
      "path": "/market/aave/preview",
      "http": 401,
      "expected_http": 401,
      "actual": {
        "error": "pin_required"
      },
      "passed": true,
      "comparison": {
        "revision": "provided-contract-v2-detailed-evidence",
        "passed": true,
        "expected_shape_valid": true,
        "expected_http": 401,
        "actual_http": 401,
        "http_matched": true,
        "fields": [
          {
            "key": "error",
            "expected": "pin_required",
            "actual": "pin_required",
            "actual_present": true,
            "expected_type": "string",
            "actual_type": "string",
            "matched": true
          }
        ]
      },
      "response_sha256": "0ec67ce8b9de09509319fc97c835dff3420341719bcfb62fb016becf13184202",
      "observed_at": "2026-11-01T01:23:56.888Z",
      "method": "POST",
      "auth_kind": "public"
    },
    {
      "id": "AAVE_PREVIEW_WRONG_001",
      "path": "/market/aave/preview",
      "http": 401,
      "expected_http": 401,
      "actual": {
        "error": "pin_required"
      },
      "passed": true,
      "comparison": {
        "revision": "provided-contract-v2-detailed-evidence",
        "passed": true,
        "expected_shape_valid": true,
        "expected_http": 401,
        "actual_http": 401,
        "http_matched": true,
        "fields": [
          {
            "key": "error",
            "expected": "pin_required",
            "actual": "pin_required",
            "actual_present": true,
            "expected_type": "string",
            "actual_type": "string",
            "matched": true
          }
        ]
      },
      "response_sha256": "0ec67ce8b9de09509319fc97c835dff3420341719bcfb62fb016becf13184202",
      "observed_at": "2026-11-01T01:23:56.926Z",
      "method": "POST",
      "auth_kind": "wrong"
    },
    {
      "id": "AAVE_PREVIEW_VALID_ARBITRARY_TO_001",
      "path": "/market/aave/preview",
      "http": 422,
      "expected_http": 422,
      "actual": {
        "error": "arbitrary_transaction_parameters_forbidden"
      },
      "passed": true,
      "comparison": {
        "revision": "provided-contract-v2-detailed-evidence",
        "passed": true,
        "expected_shape_valid": true,
        "expected_http": 422,
        "actual_http": 422,
        "http_matched": true,
        "fields": [
          {
            "key": "error",
            "expected": "arbitrary_transaction_parameters_forbidden",
            "actual": "arbitrary_transaction_parameters_forbidden",
            "actual_present": true,
            "expected_type": "string",
            "actual_type": "string",
            "matched": true
          }
        ]
      },
      "response_sha256": "5ff76aaa3884f8e644ba0e8a779f6f18dec8649e6c472a558217019dd39892b4",
      "observed_at": "2026-11-01T01:23:56.955Z",
      "method": "POST",
      "auth_kind": "valid"
    }
  ],
  "worker_tokens": 1293
}