{
  "schema": "lispex.embed-provider-golden-vectors/v1",
  "status": "frozen-public-contract",
  "evaluator_sha256": "fa6e52559e1f5a43e50a3b7ac0cc5add6930cff0aed8aaff462cff4609362870",
  "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": "AA==",
      "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": "12b42e3148bad3a03baf2de3e7caea36a4beaa62208286d7a1d1a7ef58a42a9a",
      "portable_core_domain_sha256": "695a3eb1bea0a00ef4274ac6eba99af8cf38cc17d342509c802d183301c15c41",
      "portable_core_base64": "DQAAAAAAAAARAAAAAAAAABZjYW5vbmljYWxfaW5wdXRfc2hhMjU2CAAAAAAAAABAZDk5OGEyODM4NDdmYjE4ODA3Y2Y1NWQyYTc2YWMwMjc0OTdhYWY4NTIwOTZmOTA3NDEzNjc3Y2RjYjc3MzlmMwAAAAAAAAAXY2Fub25pY2FsX3NvdXJjZV9zaGEyNTYIAAAAAAAAAEA2MWY2Yzc0ZWYwZmFlOTI4MjZiM2JkZjE1ODBmYTM1ZmU3Zjc4MTYxYWU3ZjgwYzY5ZTcwNjhjMDM2MzUxYjA4AAAAAAAAAAhjYXRlZ29yeQcAAAAAAAAAHmRldGVybWluaXN0aWMtc2VtYW50aWMtb3V0Y29tZQAAAAAAAAAWZW5naW5lX2FydGlmYWN0X3NoYTI1NggAAAAAAAAAQGZhNmU1MjU1OWUxZjVhNDNlNTBhM2I3YWMwY2M1YWRkNjkzMGNmZjBhZWQ4YWFmZjQ2MmNmZjQ2MDkzNjI4NzAAAAAAAAAAEWV2YWx1YXRpb25fc2hhMjU2CAAAAAAAAABANDljOWUzZWIwNmE4YTkyYTZjNTVkYmQ1YzI1MWU2NzJiYWE3ZGRhZWNlZjc4NDlkMzg5OGUxYmI0NDIxMTJmNAAAAAAAAAAMZXhhY3RfbGltaXRzDQAAAAAAAAAOAAAAAAAAABVjYW5vbmljYWxfaW5wdXRfYnl0ZXMDAAAAAAAAAAQ0MDk2AAAAAAAAABBkaWFnbm9zdGljX2J5dGVzAwAAAAAAAAAHMTAwMDAwMAAAAAAAAAAXZXZhbF9sb2dpY2FsX2FsbG9jYXRpb24DAAAAAAAAAAcxMDAwMDAwAAAAAAAAAAlldmFsX3dvcmsDAAAAAAAAAAcxMDAwMDAwAAAAAAAAAAxvdXRwdXRfYnl0ZXMDAAAAAAAAAAcxMDAwMDAwAAAAAAAAABpwcmVwYXJlX2xvZ2ljYWxfYWxsb2NhdGlvbgMAAAAAAAAABzEwMDAwMDAAAAAAAAAADHByZXBhcmVfd29yawMAAAAAAAAABzEwMDAwMDAAAAAAAAAAEHJhd19zb3VyY2VfYnl0ZXMDAAAAAAAAAAQ0MDk2AAAAAAAAAAxyZXN1bHRfYnl0ZXMDAAAAAAAAAAcxMDAwMDAwAAAAAAAAAA9zZW1hbnRpY19mcmFtZXMDAAAAAAAAAAQxMDAwAAAAAAAAAAxzeW50YXhfZGVwdGgDAAAAAAAAAAI2NAAAAAAAAAAQdHJhbnNjcmlwdF9ieXRlcwMAAAAAAAAABzEwMDAwMDAAAAAAAAAAEXRyYW5zY3JpcHRfZXZlbnRzAwAAAAAAAAADMTAwAAAAAAAAAA90cmF2ZXJzYWxfZGVwdGgDAAAAAAAAAAMyNTYAAAAAAAAADmV4aGF1c3RlZF9heGlzAAAAAAAAAAASZmVhdHVyZV9zZXRfc2hhMjU2CAAAAAAAAABAYzdhYzJkMzAzN2I0M2RkOTA4ODk0NjdhYWJkY2QyZDNjMDYxNTU5YmRlMTJiYjgzMzBkODc4ODg2YzVhYjQyOQAAAAAAAAAIbW9kZWxfaWQIAAAAAAAAABFsaXNwZXgtdm0tbWV0ZXIvMQAAAAAAAAAHb3V0Y29tZQ0AAAAAAAAAAgAAAAAAAAAEa2luZAcAAAAAAAAABnZhbHVlcwAAAAAAAAAGdmFsdWVzCQAAAAAAAAABCAAAAAAAAAAFYWxsb3cAAAAAAAAADnJlcXVlc3Rfc2hhMjU2CAAAAAAAAABANGEwZjkxZTBlMzBlNDBiZWI3MTIzMjIxNzNiNzYyNzBjM2NhZTBlNTRlYTVkNzQ2OTcyNzZkOWMyYTA1Y2E3NgAAAAAAAAANcmVzdWx0X3NoYTI1NggAAAAAAAAAQDBiYjI3OWY0MjUxMDllNzE0OThmNmUxMzdkNWVlMzI4M2I3MDE1MWM4OTBjYThjZTVjYjBmMGIyM2M1NWQyNDEAAAAAAAAABnNjaGVtYQgAAAAAAAAAHGxpc3BleC5lbWJlZC1yZWNlaXB0LWNvcmUvdjEAAAAAAAAAE3NlbWFudGljX3Byb2ZpbGVfaWQIAAAAAAAAACBsaXNwZXgvcjdycy1ydWxlLWVtYmVkZGVkLWNvcmUvMQAAAAAAAAAUc2VtYW50aWNfcnVsZV9zaGEyNTYIAAAAAAAAAEBmODBmYjJmNzcxYmFhNzVkNjg4Yjg4NTY4MjE2MGUxYTU0MjUxODQ2MmVjZDFiNzNjZjNiNzM0ODBlNzVhMmMwAAAAAAAAABdzdWJtaXR0ZWRfc291cmNlX3NoYTI1NggAAAAAAAAAQGJiZmMwY2VkNWE0MTZlYzYyMGViY2U1YTMzY2YwMWRjN2IyMWQwYzg0ODNkNGFiYjg0MmM3NzcyYmI0MTczMzgAAAAAAAAAEXRyYW5zY3JpcHRfc2hhMjU2CAAAAAAAAABAY2Q2YTU1NjYwNDE2YTM1Y2JmMDhhNzNhN2JmYzc4ZjMyNzA0MzJkZmFlMGVjN2YxZWRlNmY1N2ViMzEzYzY2NA=="
    }
  ]
}