{
  "contract_version": "1.0.0",
  "surface": {
    "name": "Vessels Assurance RECORD",
    "url": "https://a11oy.net/vessels/",
    "receipt": "https://a11oy.net/vessels/receipt.json",
    "publisher": "SZL Holdings",
    "meaning": "Proof-origin stub of Packet 8 Vessels Assurance. Does not run the kernel. Evaluate on a-11-oy.com/vessels. Hub Space not required. Not a fifth flagship.",
    "implementation": "static GitHub Pages JSON"
  },
  "permalinks": {
    "proof_html": "https://a11oy.net/vessels/",
    "proof_json": "https://a11oy.net/vessels.json",
    "proof_receipt": "https://a11oy.net/vessels/receipt.json",
    "product_desk": "https://a-11-oy.com/vessels",
    "parent_proof": "https://a11oy.net/decision/",
    "source": "https://github.com/szl-holdings/a11oy/tree/main/verticals/vessels",
    "kernel": "https://github.com/szl-holdings/a11oy/blob/main/verticals/_kernel/a11oy_kernel.py",
    "ofac_sdn": "https://ofac.treasury.gov/specially-designated-nationals-and-blocked-persons-list-sdn-human-readable-lists",
    "ais_standards": "https://a11oy.net/vessels/ais-standards.json",
    "ais_lattice": "https://a11oy.net/vessels/ais-lattice.json",
    "ais_lattice_html": "https://a11oy.net/vessels/lattice/",
    "public_lists_world": "https://a11oy.net/vessels/public-lists-world.json",
    "public_list_lattice": "https://a11oy.net/vessels/public-list-lattice.json",
    "world_html": "https://a11oy.net/vessels/world/",
    "joint_freshness": "https://a11oy.net/vessels/joint-freshness.json",
    "cn_kr_ua": "https://a11oy.net/vessels/public-lists-cn-kr-ua.json"
  },
  "status": "ROADMAP",
  "data_label": "SAMPLE",
  "formula_authority": "NONE",
  "lambda": "Conjecture 1 / ADVISORY_CONJECTURAL",
  "kernel_version": "8.0.0",
  "kernel_schema": "szl.decision-integrity-kernel/v8",
  "kernel_sha256": "be143acc1cbb52591a05b56da7b9ae362c315a65cd570087faba08966e339f85",
  "runtime_claimed": false,
  "hub_spaces_required": false,
  "licensed_ais_admitted": false,
  "production_ready": false,
  "stamps_live": false,
  "vertical": {
    "id": "vessels",
    "display_name": "Vessels Assurance",
    "wedge": "Sanctions-to-Case Decision Assurance. Licensed AIS stays CLOSED.",
    "role": "PARALLEL_ENTERPRISE_PROOF",
    "case_count": 3,
    "space": "none"
  },
  "cases": [
    {
      "eval_id": "VESSELS-E-ABSTAIN",
      "expected_state": "ABSTAINED",
      "receipt_digest": "ec8868f29dea05cd9fe94c74fd765a1914d6545c0f11db7f48c3752f9eb86458"
    },
    {
      "eval_id": "VESSELS-E-AWAIT-01",
      "expected_state": "AWAITING_APPROVAL",
      "receipt_digest": "ae6e3fc7fdc6fb28e62040926d474848b729f31ef3fda7a4253575880638e5be"
    },
    {
      "eval_id": "VESSELS-E-DENY-AIS",
      "expected_state": "DENIED",
      "receipt_digest": "0829bcbcd01154d383dca25ff996a8a4704e3183bbce00b393e0426a91bd9275"
    }
  ],
  "sample": {
    "frozen_cases": 3,
    "state_match": 3,
    "reason_match": 3,
    "replay_hold": 3,
    "licensed_ais_queries": 0,
    "honesty": "SAMPLE. Local stdlib replay of frozen payloads against kernel 8.0.0. Not a production certificate. Not a licensed-AIS TPR. Entity-resolution precision remains OUTSTANDING."
  },
  "ais_lattice": {
    "honesty": "CITATION_ONLY",
    "surface": "https://a11oy.net/vessels/ais-lattice.json",
    "html": "https://a11oy.net/vessels/lattice/",
    "digest": "f931b48544bcf70b1ca0d1c03b38b6c8e9dbf1933adfb8128316324e82eeb457",
    "licensed_ais_queries": 0,
    "message_types": 27,
    "note": "Types are authority classes. Cite admitted. Live query DENIED."
  },
  "boundaries": {
    "this_origin_does_not_run_the_kernel": true,
    "this_origin_is_not_a_product_host": true,
    "hub_spaces_required": false,
    "fifth_flagship": false,
    "stamps_live": false,
    "licensed_ais_admitted": false,
    "formula_grants_authority": false,
    "lambda_uniqueness": "Conjecture 1 OPEN",
    "never": "a11oy.com"
  },
  "public_lists_world": {
    "honesty": "CITATION_ONLY",
    "digest": "70fd1918fb38791159cfa2c520dc989f32125e4e0de4104b59d0a26fa48e1cb5",
    "lists": 50,
    "licensed_ais_queries": 0,
    "note": "Clocks are reachability. Cite admitted. Live query DENIED."
  },
  "public_list_lattice": {
    "honesty": "CITATION_ONLY",
    "digest": "b2d23ac69631667c09a8e3c4715d9a7caabda23edc9739b74d743fe6d9f88c1d",
    "authority_classes": 7
  },
  "joint_freshness": {
    "honesty": "CITATION_ONLY",
    "digest": "1cb5b1178b7cda2327443eb7b8e33703aae26a23b4102a0d5f91291cff149898",
    "rule": "min-link",
    "winner_not_picked": true,
    "negative_evidence": "SAMPLE_TEXT_MISS",
    "miss_is_not_clearance": true
  }
}