{
  "report": "Plumb transfer-control conformance record",
  "generated": "2026-08-09T04:55:22Z",
  "issued_by": "Plumb \u2014 plumb.vercel.app",
  "findings_sha256": "9489faef92fb085c51905fb1aa6db791bd13c86ac1d2b00f6c30c3368cff699c",
  "reproduce": "python conformance/conform.py --token 0xC53c64ED2a1031deae01155dE440Fcc6bad60536 --rpc https://testnet-rpc.monad.xyz",
  "subject": {
    "symbol": "VBNMA03M",
    "address": "0xC53c64ED2a1031deae01155dE440Fcc6bad60536",
    "network": "Monad Testnet",
    "chain_id": 10143,
    "implementation": "5f74a8dcb60e352f",
    "implementation_kind": "erc1967-proxy",
    "shared_with": 80
  },
  "measurement": {
    "suite": "erc3643-transfer-control",
    "suite_version": "1.0.0",
    "standard": "ERC-3643",
    "standard_url": "https://eips.ethereum.org/EIPS/eip-3643",
    "rpc": "https://testnet-rpc.monad.xyz",
    "chain_id": 10143
  },
  "outcome": {
    "stage": "No stage",
    "stage_level": null,
    "blocking": [
      {
        "key": "gate_observable",
        "question": "Can a stranger observe this token's transfer gate reach a decision?",
        "answer": "unknown"
      }
    ],
    "gate": "NO_SUPPLY",
    "passed": 7,
    "failed": 9,
    "not_observable": 11,
    "not_applicable": 0,
    "failed_ids": [
      "IFACE-IDENTITY-REGISTRY",
      "IFACE-COMPLIANCE",
      "IFACE-PAUSED",
      "IFACE-IS-FROZEN",
      "IFACE-FROZEN-TOKENS",
      "IFACE-ONCHAINID",
      "IFACE-VERSION",
      "IFACE-OWNER",
      "IFACE-IS-AGENT"
    ]
  },
  "vectors": [
    {
      "id": "IFACE-ERC20-NAME",
      "status": "PASS",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": false,
      "check_grade_observed": "ONE-SIDED",
      "check_grade_injected": "NOT_INDUCIBLE"
    },
    {
      "id": "IFACE-ERC20-SYMBOL",
      "status": "PASS",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": false,
      "check_grade_observed": "ONE-SIDED",
      "check_grade_injected": "NOT_INDUCIBLE"
    },
    {
      "id": "IFACE-ERC20-DECIMALS",
      "status": "PASS",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": false,
      "check_grade_observed": "ONE-SIDED",
      "check_grade_injected": "NOT_INDUCIBLE"
    },
    {
      "id": "IFACE-ERC20-TOTALSUPPLY",
      "status": "PASS",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": false,
      "check_grade_observed": "ONE-SIDED",
      "check_grade_injected": "NOT_INDUCIBLE"
    },
    {
      "id": "IFACE-IDENTITY-REGISTRY",
      "status": "FAIL",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "ONE-SIDED",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "IFACE-COMPLIANCE",
      "status": "FAIL",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "ONE-SIDED",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "IFACE-PAUSED",
      "status": "FAIL",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "PROVEN",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "IFACE-IS-FROZEN",
      "status": "FAIL",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "PROVEN",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "IFACE-FROZEN-TOKENS",
      "status": "FAIL",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "ONE-SIDED",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "IFACE-ONCHAINID",
      "status": "FAIL",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "ONE-SIDED",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "IFACE-VERSION",
      "status": "FAIL",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "ONE-SIDED",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "IFACE-OWNER",
      "status": "FAIL",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "PROVEN",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "IFACE-IS-AGENT",
      "status": "FAIL",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "ONE-SIDED",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "IFACE-PRECHECK-ISVERIFIED",
      "status": "NOT_OBSERVABLE",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "UNEXERCISED",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "IFACE-PRECHECK-CANTRANSFER",
      "status": "NOT_OBSERVABLE",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "UNEXERCISED",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "IFACE-REGISTRY-CONTAINS",
      "status": "NOT_OBSERVABLE",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "UNEXERCISED",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "IFACE-REGISTRY-COUNTRY",
      "status": "NOT_OBSERVABLE",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "UNEXERCISED",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "WIRE-COMPLIANCE-BOUND",
      "status": "NOT_OBSERVABLE",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "UNEXERCISED",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "WIRE-COMPLIANCE-REFLEXIVE",
      "status": "NOT_OBSERVABLE",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "UNEXERCISED",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "BEHAV-UNVERIFIED-RECEIVER",
      "status": "PASS",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "PROVEN",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "BEHAV-PRECHECK-AGREES",
      "status": "NOT_OBSERVABLE",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": false,
      "check_grade_observed": "UNEXERCISED",
      "check_grade_injected": "NOT_INDUCIBLE"
    },
    {
      "id": "BEHAV-PAUSED-BLOCKS",
      "status": "NOT_OBSERVABLE",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "UNEXERCISED",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "BEHAV-FROZEN-SENDER",
      "status": "NOT_OBSERVABLE",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "UNEXERCISED",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "BEHAV-FROZEN-RECEIVER",
      "status": "NOT_OBSERVABLE",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "UNEXERCISED",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "BEHAV-FREE-BALANCE",
      "status": "NOT_OBSERVABLE",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "UNEXERCISED",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "CTRL-POSITIVE",
      "status": "PASS",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "PROVEN",
      "check_grade_injected": "PROVEN"
    },
    {
      "id": "CTRL-NEGATIVE",
      "status": "PASS",
      "clause": null,
      "detail": null,
      "check_proven_able_to_fail": true,
      "check_grade_observed": "PROVEN",
      "check_grade_injected": "PROVEN"
    }
  ],
  "gaps": {
    "vectors_that_produced_no_verdict": 11,
    "why": "A vector that could not run is reported here rather than omitted. It is never counted as a pass, and it is never counted as a failure.",
    "checks_never_shown_able_to_fail": [
      "BEHAV-PRECHECK-AGREES",
      "IFACE-ERC20-DECIMALS",
      "IFACE-ERC20-NAME",
      "IFACE-ERC20-SYMBOL",
      "IFACE-ERC20-TOTALSUPPLY"
    ]
  },
  "limits": {
    "network": "Measured on Monad Testnet (chain 10143). Nothing here is a statement about a mainnet deployment.",
    "scope": "This report covers transfer-control conformance against a published ERC-3643 vector set. It is not an audit of the issuer, the underlying asset, custody, or reserves.",
    "not_a_rating": "This is a record of what was observed, not an opinion on creditworthiness or suitability."
  }
}