{
  "schema": "lispex.full-provider-vectors/v1",
  "status": "exact-qualified-by-referenced-evidence",
  "evaluator_sha256": "10260c494ad946776fd92ebdb422948bf07fce78dedda466ea927c0a015dee4e",
  "contracts": {
    "language_profile_id": "lispex-profile-1.5",
    "semantic_profile_id": "lispex/r7rs-rule-current-profile-bounded/1",
    "feature_set_sha256": "6ff16159ab9c6758c1485b67c928a9b3b4a896e4f2ecf96e4cf3cbaf5ac22fae",
    "model_id": "lispex-full-vm-meter/1",
    "abi_id": "lispex.embed-wasm-abi/v1",
    "value_codec_id": "lispex.embed-value/v1",
    "transcript_id": "lispex.embed-transcript/v1",
    "receipt_schema_id": "lispex.embed-receipt-core/v1",
    "component_id": "lispex-evaluator/rust-vm-current-profile/2"
  },
  "positives": [
    {
      "name": "prepared",
      "artifact": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/prepared.lpxfull",
        "bytes": 1620,
        "sha256": "a75090eb529a1243261700147b475accc53603cd3881b683525c2c47c91dc74b"
      },
      "operation": "prepare",
      "category": "prepared",
      "portable_core": null
    },
    {
      "name": "complete",
      "artifact": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/complete.lpxfull",
        "bytes": 3883,
        "sha256": "930a53a3317a188a29ebce83aa7b35bbacdc31ec46f64b5d492423d9214b248b"
      },
      "operation": "evaluate",
      "category": "complete",
      "portable_core": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/complete.core",
        "bytes": 1930,
        "sha256": "445810ade3187c48a53f7244b212ca1e812b233042d80e50a4f678d45ea58bc2"
      }
    },
    {
      "name": "semantic-fault",
      "artifact": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/semantic-fault.lpxfull",
        "bytes": 3796,
        "sha256": "d8a4179d10e1515b63716668c3dd93f8d740ebcc4b974802112ecb7518b84b5b"
      },
      "operation": "evaluate",
      "category": "semantic-fault",
      "portable_core": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/semantic-fault.core",
        "bytes": 1915,
        "sha256": "c02f7c6bd376a8b9292b8b8674ce6450d7684503bb6fd49bbe982960c3b240e1"
      }
    },
    {
      "name": "evaluation-exhausted",
      "artifact": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/evaluation-exhausted.lpxfull",
        "bytes": 3689,
        "sha256": "974602ae4e8f4d224d86c144751c66ff26d06bbd2b940c070276ef642a1a253b"
      },
      "operation": "evaluate",
      "category": "exhausted",
      "portable_core": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/evaluation-exhausted.core",
        "bytes": 1901,
        "sha256": "f2d69be707de4334e852d153181a77371ef1ace01e24de042f5317bcbb64493b"
      }
    },
    {
      "name": "preparation-exhausted",
      "artifact": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/preparation-exhausted.lpxfull",
        "bytes": 835,
        "sha256": "311371d66546890a4941be0b121576690ffea52b4809a0ee71dc822b339d91f6"
      },
      "operation": "prepare",
      "category": "exhausted",
      "portable_core": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/preparation-exhausted.core",
        "bytes": 547,
        "sha256": "a0cbb1bba947b96879bb52faefe17c5972a6bcac6c0b1e121482355b814be4f4"
      }
    },
    {
      "name": "request-refusal",
      "artifact": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/request-refusal.lpxfull",
        "bytes": 675,
        "sha256": "9dc8ab28f2b11a562bea7ab0d5eaee06b5bcb52043010e27d0e495b0aea5ce1b"
      },
      "operation": "prepare",
      "category": "request-refusal",
      "portable_core": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/request-refusal.core",
        "bytes": 393,
        "sha256": "42d1cb8658dd0de5ea1b017ff14c7b0407deda1d8648cab5eca611c919e50838"
      }
    }
  ],
  "negatives": [
    {
      "name": "magic",
      "artifact": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/negative-magic.lpxfull",
        "bytes": 3883,
        "sha256": "ea043338aef813b94c94592229fe3ddf1d606fb7ba4a795a2df2141704f885df"
      },
      "expectation": "magic-refusal"
    },
    {
      "name": "truncated",
      "artifact": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/negative-truncated.lpxfull",
        "bytes": 3882,
        "sha256": "a269cb504c0c5a44c210085a6ad61403b3410cc6fb92ded70f82ffd0fa3db826"
      },
      "expectation": "truncation-refusal"
    },
    {
      "name": "trailing",
      "artifact": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/negative-trailing.lpxfull",
        "bytes": 3884,
        "sha256": "13680ef643b8cb0caaba18bdb22bc9b3b8b5f6250860679d75637716d036c04a"
      },
      "expectation": "trailing-byte-refusal"
    },
    {
      "name": "evaluator",
      "artifact": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/negative-evaluator.lpxfull",
        "bytes": 3883,
        "sha256": "f26568f4878e6d1e4138a2ae8da0a68ff346fe57e68d0f2848a0dcd3a1c2c63c"
      },
      "expectation": "identity-refusal"
    },
    {
      "name": "limit-count",
      "artifact": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/negative-limit-count.lpxfull",
        "bytes": 3875,
        "sha256": "9f2b69a1eacc02cda40f713fa271c54fa6c2593e60c8e54d76b29373613573f0"
      },
      "expectation": "limit-count-refusal"
    },
    {
      "name": "limit-value",
      "artifact": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/negative-limit-value.lpxfull",
        "bytes": 3883,
        "sha256": "e9017dffa24fe8119d95fe7aa82cfa3489c94c690d5c9b35b91a43f69307b567"
      },
      "expectation": "exact-limit-value-mismatch-refusal"
    },
    {
      "name": "identity-tag",
      "artifact": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/negative-identity-tag.lpxfull",
        "bytes": 3883,
        "sha256": "ec20d87cd21a9f80074935fba577d2266edfce52cf99bcfb3ff12ce0a2134a2e"
      },
      "expectation": "identity-tag-refusal"
    },
    {
      "name": "identity-noncanonical-case",
      "artifact": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/negative-identity-noncanonical-case.lpxfull",
        "bytes": 3883,
        "sha256": "5aadc4fea9d4f216d56a5d63058d8ef3fd8196c0765d5797a8ef6ea467ae5bc4"
      },
      "expectation": "noncanonical-identity-refusal"
    },
    {
      "name": "identity-mismatch",
      "artifact": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/negative-identity-mismatch.lpxfull",
        "bytes": 3883,
        "sha256": "d49bf61d36f4ec17080dd0310863cfee108f41ce1bcf2c8ac57337391660c1b1"
      },
      "expectation": "inconsistent-identity-refusal"
    },
    {
      "name": "request",
      "artifact": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/negative-request.lpxfull",
        "bytes": 3883,
        "sha256": "ffeed60746a80cac7664f50415e23413afae371776aae538fe40b6b11ffcb62e"
      },
      "expectation": "request-binding-refusal"
    },
    {
      "name": "response",
      "artifact": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/negative-response.lpxfull",
        "bytes": 3883,
        "sha256": "f102ba49029994fab937241b3466887c14427c2ba3983d516adeb02bceeb8ea3"
      },
      "expectation": "response-refusal"
    },
    {
      "name": "portable-core",
      "artifact": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/negative-portable-core.lpxfull",
        "bytes": 3883,
        "sha256": "b8c734914e1975dc9c1cd4269257393351824b1626175189edba554b0ae0a5f3"
      },
      "expectation": "portable-core-refusal"
    },
    {
      "name": "portable-core-duplicate-key",
      "artifact": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/negative-portable-core-duplicate-key.lpxfull",
        "bytes": 3986,
        "sha256": "8e9616fb8f1a728418a696eb83402d0b2308fb70dbee9f6112d929c90cdcf1d3"
      },
      "expectation": "duplicate-core-key-refusal"
    },
    {
      "name": "envelope-digest",
      "artifact": {
        "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/negative-envelope-digest.lpxfull",
        "bytes": 3883,
        "sha256": "25aa08cdadd17128d98dee2486e95648e3acbb98a93dbbb3dc2d800a4df40a06"
      },
      "expectation": "envelope-digest-refusal"
    }
  ],
  "public_identity_assigned": false,
  "release_authority": false,
  "provenance": {
    "producer_source": "db4e332fe5634b56d88c05487cc033c7ca00b605",
    "artifact_data": "8b00366fc1a97063ce7833d3d8dacab26d978dbc",
    "consuming_host_source": "db0d45c9e698919211851fb2c5cef735f0e7771f",
    "exporter_source_revision": "db0d45c9e698919211851fb2c5cef735f0e7771f",
    "producer_qualification": {
      "consuming_host_qualification": "required separately",
      "revision": "a8efe9e2507f610075e3df4f5d23cabac2a09241",
      "scope": "MAC compiled-S full candidate and separate historical default, one test each"
    },
    "native_binary": {
      "path": "evidence/sha256/2170cb181c9e965e5e8bc97f77e45fa0c9e25f9609b7d22f69f031edf9c933d9",
      "bytes": 34443264,
      "sha256": "2170cb181c9e965e5e8bc97f77e45fa0c9e25f9609b7d22f69f031edf9c933d9"
    },
    "selected_identity": {
      "artifact_data_revision": "8b00366fc1a97063ce7833d3d8dacab26d978dbc",
      "development_version": "1.21.0",
      "discovery": false,
      "fallback": false,
      "full": {
        "artifact": {
          "bytes": 1588667,
          "exports": [
            {
              "kind": "global",
              "name": "__data_end"
            },
            {
              "kind": "global",
              "name": "__heap_base"
            },
            {
              "kind": "function",
              "name": "lispex_embed_abi_version"
            },
            {
              "kind": "function",
              "name": "lispex_embed_alloc"
            },
            {
              "kind": "function",
              "name": "lispex_embed_dealloc"
            },
            {
              "kind": "function",
              "name": "lispex_embed_evaluate"
            },
            {
              "kind": "function",
              "name": "lispex_embed_prepare"
            },
            {
              "kind": "memory",
              "name": "memory"
            }
          ],
          "imports": 0,
          "memory": {
            "count": 1,
            "initial_pages": 19,
            "maximum_pages": 256
          },
          "path": "lispex-full-embed-evaluator.wasm",
          "sha256": "10260c494ad946776fd92ebdb422948bf07fce78dedda466ea927c0a015dee4e"
        },
        "component_id": null,
        "executable_profile": "draft:lispex-profile-1.5/full-bounded/1.15.7",
        "manifest_sha256": "5c5894f741c9ec9eddb2682dd2dd149d170d1e311f31c4ae323627fcd45a3c47",
        "meter": "draft:lispex-full-vm-meter/1.15.7",
        "runtime_contract": {
          "abi_id": "lispex.embed-wasm-abi/v1",
          "feature_set_sha256": "6ff16159ab9c6758c1485b67c928a9b3b4a896e4f2ecf96e4cf3cbaf5ac22fae",
          "model_id": "lispex-full-vm-meter/1",
          "profile_id": "lispex/r7rs-rule-current-profile-bounded/1",
          "receipt_id": "lispex.embed-receipt-core/v1",
          "transcript_id": "lispex.embed-transcript/v1",
          "value_codec_id": "lispex.embed-value/v1"
        },
        "wrapper_package_version": "1.15.7"
      },
      "host_source_dirty": false,
      "host_source_revision": "db0d45c9e698919211851fb2c5cef735f0e7771f",
      "instance_pooling": false,
      "network": false,
      "producer_qualification": {
        "consuming_host_qualification": "required separately",
        "revision": "a8efe9e2507f610075e3df4f5d23cabac2a09241",
        "scope": "MAC compiled-S full candidate and separate historical default, one test each"
      },
      "producer_source_revision": "db4e332fe5634b56d88c05487cc033c7ca00b605",
      "public_identity_assigned": false,
      "release_authority": false,
      "restricted": {
        "abi_id": "lispex.embed-wasm-abi/v1",
        "artifact": {
          "abi_version": "0x00010000",
          "bytes": 1588220,
          "imports": 0,
          "path": "lispex-embed-evaluator.wasm",
          "sha256": "49e62a521831e26d27b3efa237aeca02ea02f855d9647cc35c803a7d6bbebbb6"
        },
        "component_id": "lispex-embed-evaluator/1.21.0",
        "feature_set_sha256": "c2a5987de33e30c9891d21aa062493ad830d7f680d55806738a20457fbb6c0e4",
        "manifest_sha256": "a4fa862e88243a937a998494b4e2a40d097ae73faa60bae6fae0424ac9b79690",
        "model_id": "lispex-vm-meter/1",
        "profile_id": "lispex/r7rs-rule-embedded-core/1",
        "public_identity_assigned": false,
        "receipt_id": "lispex.embed-receipt-core/v1",
        "transcript_id": "lispex.embed-transcript/v1",
        "value_codec_id": "lispex.embed-value/v1"
      },
      "status": "private-development-selection",
      "vouch_eligible": false
    }
  },
  "component_id": "lispex-evaluator/rust-vm-current-profile/2",
  "original_private_observation": {
    "data_revision": "285faa0b2167cf47a9e7b44ce6555ea97e6239d5",
    "host_source_revision": "db0d45c9e698919211851fb2c5cef735f0e7771f",
    "vectors": {
      "path": "products/full-embed-evaluator/candidates/v1.21.0/host-vectors/vectors.v1.json",
      "bytes": 13385,
      "sha256": "288f0cd4d9d4476a6135cb84546199d1d99b0ece40e74c365957d426178ccca4"
    },
    "restricted_vectors": "products/embed-evaluator/candidates/v1.21.0/host-vectors/vectors.v1.json",
    "public_identity_assigned": false,
    "release_authority": false
  },
  "current_host_evidence": {
    "path": "products/full-embed-evaluator/v1.21.0-inputs/objects/a8b9405a8ca6f507fd9f09956f4846d6522a34981242e5572b07234178ca061d.bin",
    "sha256": "a8b9405a8ca6f507fd9f09956f4846d6522a34981242e5572b07234178ca061d",
    "bytes": 30914,
    "supervision": {
      "path": "products/full-embed-evaluator/v1.21.0-inputs/objects/39b4d2d79b598794215379ff47417df26872d60c89125a675e3fcb190b6c6e95.bin",
      "sha256": "39b4d2d79b598794215379ff47417df26872d60c89125a675e3fcb190b6c6e95",
      "bytes": 56823
    }
  }
}