DJZS adversarial logic audit of a prediction-market trade intent

[
  {
    "scheme": "exact",
    "network": "eip155:8453",
    "payTo": "0xc1923748669dFC3a79497d0403A90a275161eCCA",
    "asset": "0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913",
    "amount": "2000000",
    "maxTimeoutSeconds": 120
  }
]

{
  "bazaar": {
    "info": {
      "input": {
        "body": {
          "intent": {
            "bounds": {
              "exit_condition": "daily close below 66000",
              "max_loss_usd": 250
            },
            "market": "KXBTC-26AUG29-T70000",
            "probability_basis": "implied 0.41 vs model 0.55; basis: Kalshi mid, 2026-08-19T14:00Z",
            "side": "YES",
            "size_usd": 250,
            "thesis": "BTC closes above 70k by Aug 29 on ETF inflow continuation"
          }
        },
        "bodyType": "json",
        "method": "POST",
        "type": "http"
      },
      "output": {
        "example": {
          "charged": true,
          "eas_schema": "0x5ef67e2b8c617635431401d2872b2a6f79eeba54a8e19fd5ecd45aceda2a2030",
          "eas_uid": "…EAS attestation uid…",
          "flags": [
            "DJZS-M02",
            "DJZS-M01",
            "DJZS-M04",
            "unknown:probability_basis"
          ],
          "intent_hash": "…EIP-712 binding key (v2)…",
          "intent_sha256": "…binding key…",
          "risk_score": 75,
          "terms": "https://djzs.ai/terms",
          "verdict": "FAIL",
          "verdict_hash": "0xb1a2…9bb3"
        },
        "type": "json"
      }
    },
    "schema": {
      "$schema": "https://json-schema.org/draft/2020-12/schema",
      "properties": {
        "input": {
          "additionalProperties": false,
          "properties": {
            "body": {
              "properties": {
                "intent": {
                  "description": "A prediction-market trade intent to be adversarially audited. The engine is deterministic: the LLM layer detects, TypeScript decides. Out-of-scope submissions are refused WITHOUT CHARGE — settlement only occurs for in-scope audits.",
                  "properties": {
                    "bounds": {
                      "description": "Loss bound and exit condition. Unbounded intents cannot PASS.",
                      "type": "object"
                    },
                    "market": {
                      "description": "Venue ticker for the target market (e.g. a Kalshi series ticker).",
                      "type": "string"
                    },
                    "probability_basis": {
                      "description": "Where the probability came from: named venue, instrument, and timestamp. Unknown basis is a flagged defect (M02 family).",
                      "type": "string"
                    },
                    "side": {
                      "description": "Position side under audit (e.g. YES / NO / LONG / SHORT).",
                      "type": "string"
                    },
                    "size_usd": {
                      "description": "Intended position size in USD.",
                      "type": "number"
                    },
                    "thesis": {
                      "description": "The claim being audited, stated plainly. Vague or unbounded theses draw flags.",
                      "type": "string"
                    }
                  },
                  "required": [
                    "market",
                    "side",
                    "thesis"
                  ],
                  "type": "object"
                }
              },
              "required": [
                "intent"
              ],
              "type": "object"
            },
            "bodyType": {
              "enum": [
                "json",
                "form-data",
                "text"
              ],
              "type": "string"
            },
            "method": {
              "enum": [
                "POST",
                "PUT",
                "PATCH"
              ],
              "type": "string"
            },
            "type": {
              "const": "http",
              "type": "string"
            }
          },
          "required": [
            "type",
            "method",
            "bodyType",
            "body"
          ],
          "type": "object"
        },
        "output": {
          "properties": {
            "example": {
              "type": "object"
            },
            "mimeType": {
              "type": "string"
            },
            "type": {
              "type": "string"
            }
          },
          "required": [
            "type"
          ],
          "type": "object"
        }
      },
      "required": [
        "input"
      ],
      "type": "object"
    }
  }
}

curl "https://mcp.djzs.ai/x402/verify_pm_trade"
# -> 402 Payment Required, accepts[] lists how to pay
# retry with a PAYMENT-SIGNATURE (or PAYMENT header) once paid

const res = await fetch("https://mcp.djzs.ai/x402/verify_pm_trade");
if (res.status === 402) {
  const { accepts } = await res.json();
  // pay one of accepts[] via an x402 client, then retry with the payment header
}

import httpx
res = httpx.get("https://mcp.djzs.ai/x402/verify_pm_trade")
if res.status_code == 402:
    accepts = res.json()["accepts"]
    # pay one of accepts[] via an x402 client, then retry with the payment header