{
  "schema": "lispex.embed-provider-golden-vectors/v1",
  "status": "frozen-public-contract",
  "evaluator_sha256": "49e62a521831e26d27b3efa237aeca02ea02f855d9647cc35c803a7d6bbebbb6",
  "semantic_profile_id": "lispex/r7rs-rule-embedded-core/1",
  "model_id": "lispex-vm-meter/1",
  "abi_id": "lispex.embed-wasm-abi/v1",
  "receipt_schema_id": "lispex.embed-receipt-core/v1",
  "vectors": [
    {
      "id": "allow-policy-complete",
      "source_utf8": "(if (< 10 15) \"allow\" \"deny\")\n",
      "canonical_input_base64": "DQAAAAAAAAACAAAAAAAAAARkYXlzAwAAAAAAAAACMTQAAAAAAAAABm9wZW5lZAE=",
      "preparation_limits": {
        "raw_source_bytes": "4096",
        "prepare_work": "1000000",
        "prepare_logical_allocation": "1000000",
        "syntax_depth": "64"
      },
      "evaluation_limits": {
        "canonical_input_bytes": "4096",
        "eval_work": "1000000",
        "eval_logical_allocation": "1000000",
        "semantic_frames": "1000",
        "traversal_depth": "256",
        "output_bytes": "1000000",
        "diagnostic_bytes": "1000000",
        "transcript_bytes": "1000000",
        "transcript_events": "100",
        "result_bytes": "1000000"
      },
      "portable_core_bytes": 1900,
      "portable_core_raw_sha256": "a09ca0ae2874083c10efbdb5f3ea7645caf31da31b4403cfdbf3ba703455117b",
      "portable_core_domain_sha256": "a4c5a049e927f743c7d66c05a8c8b96415e24eb57669792ac1564397878a080c",
      "portable_core_base64": "DQAAAAAAAAARAAAAAAAAABZjYW5vbmljYWxfaW5wdXRfc2hhMjU2CAAAAAAAAABANzM3OWExNjBiNWI2MjY0ZGNiNDQ2NzFjN2E2MDE3ZjU5YmQzYzJlZWFhNjdmODRkZjkwMGY4NzVhMGQwYzYyMQAAAAAAAAAXY2Fub25pY2FsX3NvdXJjZV9zaGEyNTYIAAAAAAAAAEA2MWY2Yzc0ZWYwZmFlOTI4MjZiM2JkZjE1ODBmYTM1ZmU3Zjc4MTYxYWU3ZjgwYzY5ZTcwNjhjMDM2MzUxYjA4AAAAAAAAAAhjYXRlZ29yeQcAAAAAAAAAHmRldGVybWluaXN0aWMtc2VtYW50aWMtb3V0Y29tZQAAAAAAAAAWZW5naW5lX2FydGlmYWN0X3NoYTI1NggAAAAAAAAAQDQ5ZTYyYTUyMTgzMWUyNmQyN2IzZWZhMjM3YWVjYTAyZWEwMmY4NTVkOTY0N2NjMzVjODAzYTdkNmJiZWJiYjYAAAAAAAAAEWV2YWx1YXRpb25fc2hhMjU2CAAAAAAAAABANzk0YzU5YzNmMjU1ODhmMzhkOWJiNjFkYmJhM2JmY2M1YTVhMzQzMTE4MTk2YTI2OTc5MGVlYzE1MjU2MzAwYwAAAAAAAAAMZXhhY3RfbGltaXRzDQAAAAAAAAAOAAAAAAAAABVjYW5vbmljYWxfaW5wdXRfYnl0ZXMDAAAAAAAAAAQ0MDk2AAAAAAAAABBkaWFnbm9zdGljX2J5dGVzAwAAAAAAAAAHMTAwMDAwMAAAAAAAAAAXZXZhbF9sb2dpY2FsX2FsbG9jYXRpb24DAAAAAAAAAAcxMDAwMDAwAAAAAAAAAAlldmFsX3dvcmsDAAAAAAAAAAcxMDAwMDAwAAAAAAAAAAxvdXRwdXRfYnl0ZXMDAAAAAAAAAAcxMDAwMDAwAAAAAAAAABpwcmVwYXJlX2xvZ2ljYWxfYWxsb2NhdGlvbgMAAAAAAAAABzEwMDAwMDAAAAAAAAAADHByZXBhcmVfd29yawMAAAAAAAAABzEwMDAwMDAAAAAAAAAAEHJhd19zb3VyY2VfYnl0ZXMDAAAAAAAAAAQ0MDk2AAAAAAAAAAxyZXN1bHRfYnl0ZXMDAAAAAAAAAAcxMDAwMDAwAAAAAAAAAA9zZW1hbnRpY19mcmFtZXMDAAAAAAAAAAQxMDAwAAAAAAAAAAxzeW50YXhfZGVwdGgDAAAAAAAAAAI2NAAAAAAAAAAQdHJhbnNjcmlwdF9ieXRlcwMAAAAAAAAABzEwMDAwMDAAAAAAAAAAEXRyYW5zY3JpcHRfZXZlbnRzAwAAAAAAAAADMTAwAAAAAAAAAA90cmF2ZXJzYWxfZGVwdGgDAAAAAAAAAAMyNTYAAAAAAAAADmV4aGF1c3RlZF9heGlzAAAAAAAAAAASZmVhdHVyZV9zZXRfc2hhMjU2CAAAAAAAAABAYzJhNTk4N2RlMzNlMzBjOTg5MWQyMWFhMDYyNDkzYWQ4MzBkN2Y2ODBkNTU4MDY3MzhhMjA0NTdmYmI2YzBlNAAAAAAAAAAIbW9kZWxfaWQIAAAAAAAAABFsaXNwZXgtdm0tbWV0ZXIvMQAAAAAAAAAHb3V0Y29tZQ0AAAAAAAAAAgAAAAAAAAAEa2luZAcAAAAAAAAABnZhbHVlcwAAAAAAAAAGdmFsdWVzCQAAAAAAAAABCAAAAAAAAAAFYWxsb3cAAAAAAAAADnJlcXVlc3Rfc2hhMjU2CAAAAAAAAABAM2E1ZjdiYWUwMjdkNjUxOGQ3NmU4YzZhODEwOWVhMmVmOTBiNzBlMWZkNzFlYTY5M2I5YmM1YTc2OGJmNTg0NAAAAAAAAAANcmVzdWx0X3NoYTI1NggAAAAAAAAAQDBiYjI3OWY0MjUxMDllNzE0OThmNmUxMzdkNWVlMzI4M2I3MDE1MWM4OTBjYThjZTVjYjBmMGIyM2M1NWQyNDEAAAAAAAAABnNjaGVtYQgAAAAAAAAAHGxpc3BleC5lbWJlZC1yZWNlaXB0LWNvcmUvdjEAAAAAAAAAE3NlbWFudGljX3Byb2ZpbGVfaWQIAAAAAAAAACBsaXNwZXgvcjdycy1ydWxlLWVtYmVkZGVkLWNvcmUvMQAAAAAAAAAUc2VtYW50aWNfcnVsZV9zaGEyNTYIAAAAAAAAAEBlMWFmZDdiMGU3NTg4ZTI5OWEzMTE1M2RhN2Q4MDE3YzY3MWU3MDJjNzMzYzg1ZGY3YThiMGZhMTAwMWM3NTAwAAAAAAAAABdzdWJtaXR0ZWRfc291cmNlX3NoYTI1NggAAAAAAAAAQGJiZmMwY2VkNWE0MTZlYzYyMGViY2U1YTMzY2YwMWRjN2IyMWQwYzg0ODNkNGFiYjg0MmM3NzcyYmI0MTczMzgAAAAAAAAAEXRyYW5zY3JpcHRfc2hhMjU2CAAAAAAAAABAY2Q2YTU1NjYwNDE2YTM1Y2JmMDhhNzNhN2JmYzc4ZjMyNzA0MzJkZmFlMGVjN2YxZWRlNmY1N2ViMzEzYzY2NA=="
    }
  ]
}