{
 "expect": {
  "absent_codes": [
   "LIMIT_SIZE"
  ],
  "code": "LOCAL_CAP",
  "detect_codes": [],
  "error_codes": [
   "LOCAL_CAP"
  ],
  "error_text": {
   "code": "LOCAL_CAP",
   "must_match": [
    "\\b(not|never) (been )?(read|parsed|inspected|examined)\\b|\\bunread\\b|\\bwithout (first )?(reading|parsing|inspecting|examining)\\b",
    "\\bno other (protocol )?limits? (was |were |is |are |has been |have been )?(checked|tested|verified|evaluated|applied)\\b|\\bother (protocol )?limits? (was |were |is |are |has |have )?(been )?not (been )?(checked|tested|verified|evaluated|applied)\\b|\\bnot (check|test|verify|evaluate|apply)(ed)? (against )?(any |the )?other (protocol )?limits?\\b|\\bclaims? nothing about (any |the )?other (protocol )?limits?\\b|\\bno claim (about|that)\\b[^.;]{0,40}\\bother (protocol )?limits?\\b|\\bnot claim (that )?(the )?(content|input|export) (is )?within (any |the )?other (protocol )?limits?\\b",
    "\\b1[,. \u2009\u202f\u00a0]?000\\b"
   ],
   "must_not_match": [],
   "regex_flags": "i"
  },
  "other_codes": [],
  "reject_codes": [],
  "result": "ERROR",
  "server": null
 },
 "fixture_format": "handoff-v0-fixture/1",
 "id": "XF3-3",
 "inputs": {
  "export_b64": "eyJldmVudHMiOlt7ImV2ZW50Ijp7ImFjdG9yIjoiUCIsImF0IjoiMjAyNi0xMC0wMVQxMDowMDowMFoiLCJhdXRoIjp7Im1ldGhvZCI6ImVtYWlsX3Rva2VuIiwidG9rZW5fZXhwaXJlcyI6IjIwMjctMDEtMDFUMDA6MDA6MDBaIiwidG9rZW5fbm9uY2UiOiIxOWFhZDRhZTZhNDBiZTc2MjZlOTYxMDhiZTk0MzI1YSJ9LCJib2R5Ijp7InBhcnRpZXMiOnsiYyI6eyJkaWdlc3QiOiJkMzUzMGIzN2JmZmZlYTE4NzIyZDRhZWNkNzUwNTA2YzZiZGIwM2ZjNTFkZmQ3MjYyY2EwMmQ0NmQ2NWQ0ZTMyIn0sInAiOnsiZGlnZXN0IjoiNjM5OGVmYzNmNDc5NDU4MDY4YWQyYTllMDg4YTljNmM0NWEwMDAyZmMxNjY3MTBhZjljMDVmMzFiZmNkOGRmYiJ9fSwicGFydHlfZGlnZXN0IjoiNjM5OGVmYzNmNDc5NDU4MDY4YWQyYTllMDg4YTljNmM0NWEwMDAyZmMxNjY3MTBhZjljMDVmMzFiZmNkOGRmYiIsInRlcm1zX2RpZ2VzdCI6IjY4ZjgxMzAxNWI0OGU1MDQ3MzNkOTliMjczZjAyNWM3ODk5MTVlODFmMDZhMjE1MTg2MTMyYjRlODI4YjRlOTYifSwiZm9ybWF0IjoiaGFuZG9mZi92MCIsInByZXZfaGFzaCI6ImM5OGJmNzc3YjM5M2Q1YWU5YTlhZTVhZTE0ODJiZTVlYTAyMWZhMGUzOWNjZTgxOWIxNWU0MjQwMjZjNmNjMzAiLCJyZWNvcmRfaWQiOiI2ZDM0MGM4MzE2ODUyYTNhZWQzMjA0ZDIyZTA1NmU4NiIsInNlcSI6MCwic2VydmVyX2tleV9pZCI6ImIxZmRlYjVjYzFhNjM3MWJiMDQwZTVmNTJjOWUxZDY4IiwidHlwZSI6IkNPTU1JVCJ9LCJpbmNsdXNpb24iOnsiaGVhZF9uIjoxLCJwYXRoIjpbIjZlMzBmYjc5MGYyYTU1ODcyZDAzZTQ4MjBkYzYzMjg0NmEwYWVmNDY5ZDUyYWM1ODAwNmNjZTZkZmZiNmU3NGMiLCIzYzU5N2ZhYWQ2ZDJjNDRhODY1M2E3ZWEwNTI4Y2QwMTUzMTE2YmI2Y2U3ZjdhZmFhOTY1YTU1MWUxNzEwMTAwIiwiZjQ0OGFkZjU4NzRhMDM1Yzk3Yzk0ZjJiMzY2N2NmYTBhNWZmZTNkZGQ2NTBlYzAxYzc5MzQwMDQwOTFlZTA5MyJdfSwibG9nX2luZGV4IjoxLCJzaWdzIjpbeyJrZXlfaWQiOiJiMWZkZWI1Y2MxYTYzNzFiYjA0MGU1ZjUyYzllMWQ2OCIsInJvbGUiOiJ3Iiwic2lnIjoiNzQ3YjkxNDk0NTVkMTg2ZDkyODM0YjNjYmM0MDZiMTkwMmJiZjM0Yjk0MWE5Y2NmMmU4ZWRmODBmYjMzOGU1ZjM5OTBkOTU5NGI2NmZmYjU5MzdkZjE0MWIwNDgxNTdiYjliMDM4YmFlMDNmMzJkZDY1M2E2NmQxM2QzODlhMGMifV19LHsiZXZlbnQiOnsiYWN0b3IiOiJDIiwiYXQiOiIyMDI2LTEwLTAxVDExOjAwOjAwWiIsImF1dGgiOnsibWV0aG9kIjoiZW1haWxfdG9rZW4iLCJ0b2tlbl9leHBpcmVzIjoiMjAyNy0wMS0wMVQwMDowMDowMFoiLCJ0b2tlbl9ub25jZSI6ImY2YTMzZjYxYTIyNDVlNGMzNjM4MWYzMmQ2ODQwMWRiIn0sImJvZHkiOnsicGFydHlfZGlnZXN0IjoiZDM1MzBiMzdiZmZmZWExODcyMmQ0YWVjZDc1MDUwNmM2YmRiMDNmYzUxZGZkNzI2MmNhMDJkNDZkNjVkNGUzMiIsInJlZiI6ImJlNGNlMzBiNzQxMjE1OGQ3Yzg1ZGViODFhMmE3NmE1YjAwYzZjMGU4MjYxYzJmN2IwODFiODQ0N2MxOTE4NDUiLCJ0ZXJtc19kaWdlc3QiOiI2OGY4MTMwMTViNDhlNTA0NzMzZDk5YjI3M2YwMjVjNzg5OTE1ZTgxZjA2YTIxNTE4NjEzMmI0ZTgyOGI0ZTk2In0sImZvcm1hdCI6ImhhbmRvZmYvdjAiLCJwcmV2X2hhc2giOiJiZTRjZTMwYjc0MTIxNThkN2M4NWRlYjgxYTJhNzZhNWIwMGM2YzBlODI2MWMyZjdiMDgxYjg0NDdjMTkxODQ1IiwicmVjb3JkX2lkIjoiNmQzNDBjODMxNjg1MmEzYWVkMzIwNGQyMmUwNTZlODYiLCJzZXEiOjEsInNlcnZlcl9rZXlfaWQiOiJiMWZkZWI1Y2MxYTYzNzFiYjA0MGU1ZjUyYzllMWQ2OCIsInR5cGUiOiJDT05GSVJNIn0sImluY2x1c2lvbiI6eyJoZWFkX24iOjEsInBhdGgiOlsiNWY4ZjQ0MzI4MmRiZGRkYjllNTM0NTEwNDU3M2EwZTY0ZTU5MDA1MzE3OTVlZWJmZWQxODU0ZWFmZWI5ZWUwNSIsIjFhM2IyZWE5YWM0MDVkOWRjNDkwYTAxOGM5YWNmZmFhOGRjMTA3ZGQ0YzU5NDZjOTg2YzZhNDhkYmE4OTU2ODAiLCJmNDQ4YWRmNTg3NGEwMzVjOTdjOTRmMmIzNjY3Y2ZhMGE1ZmZlM2RkZDY1MGVjMDFjNzkzNDAwNDA5MWVlMDkzIl19LCJsb2dfaW5kZXgiOjIsInNpZ3MiOlt7ImtleV9pZCI6ImIxZmRlYjVjYzFhNjM3MWJiMDQwZTVmNTJjOWUxZDY4Iiwicm9sZSI6InciLCJzaWciOiI0MzI3NzVmYTNmZDBjNTY2YzlmMDI0MzA3NWJhYWJjODFmM2JkNDY2NTVkZjE3YjVmNGMwMTEwYmZiZjZjNmFiOWRlOWE0OGY0NGQ4MTQ3Y2JhZWI4NmY4Nzg0MjRlYmQ5YjM2MTI5MTM4MGU4NTcwNmZjYTM1OTdjOGU2NWYwNyJ9XX0seyJldmVudCI6eyJhY3RvciI6IlAiLCJhdCI6IjIwMjYtMTAtMDFUMTU6MDA6MDBaIiwiYXV0aCI6eyJtZXRob2QiOiJlbWFpbF90b2tlbiIsInRva2VuX2V4cGlyZXMiOiIyMDI3LTAxLTAxVDAwOjAwOjAwWiIsInRva2VuX25vbmNlIjoiZGMyY2FiNjdmNGI0OTRmZmM2ZGM4NjQzMTJiNTA2NTgifSwiYm9keSI6eyJldmlkZW5jZSI6W3sia2luZCI6ImZpbGVfc2hhMjU2IiwidmFsdWUiOiI3ZGViMjU5MzJhODFiZDlmYjUwYmJmMDlhNWM1MWM0ZGNhMTVhNzAxODdhNDliZGE1MzEyZTU0NmM2MWI2OWE3In1dLCJwYXJ0eV9kaWdlc3QiOiI2Mzk4ZWZjM2Y0Nzk0NTgwNjhhZDJhOWUwODhhOWM2YzQ1YTAwMDJmYzE2NjcxMGFmOWMwNWYzMWJmY2Q4ZGZiIiwidGVybXNfZGlnZXN0IjoiNjhmODEzMDE1YjQ4ZTUwNDczM2Q5OWIyNzNmMDI1Yzc4OTkxNWU4MWYwNmEyMTUxODYxMzJiNGU4MjhiNGU5NiJ9LCJmb3JtYXQiOiJoYW5kb2ZmL3YwIiwicHJldl9oYXNoIjoiZDg2ZTQ3Zjg4NWY5YmY4NGI1NzE0OTMzZjUwY2JhMDNhY2VmMzQ4YTFjZDBmOWQyYjM0OWM0ZTUxNjNkOTc0ZCIsInJlY29yZF9pZCI6IjZkMzQwYzgzMTY4NTJhM2FlZDMyMDRkMjJlMDU2ZTg2Iiwic2VxIjoyLCJzZXJ2ZXJfa2V5X2lkIjoiYjFmZGViNWNjMWE2MzcxYmIwNDBlNWY1MmM5ZTFkNjgiLCJ0eXBlIjoiREVMSVZFUiJ9LCJpbmNsdXNpb24iOnsiaGVhZF9uIjoxLCJwYXRoIjpbIjM4NTBmZjY3OGEwYjAzNTA4NTlhODQ2YjE3NjA2MTBhOTA5ZTk3NTY3NDBkYTUzZWJjY2JmZmY4MTQwMjU2MmUiLCIxYTNiMmVhOWFjNDA1ZDlkYzQ5MGEwMThjOWFjZmZhYThkYzEwN2RkNGM1OTQ2Yzk4NmM2YTQ4ZGJhODk1NjgwIiwiZjQ0OGFkZjU4NzRhMDM1Yzk3Yzk0ZjJiMzY2N2NmYTBhNWZmZTNkZGQ2NTBlYzAxYzc5MzQwMDQwOTFlZTA5MyJdfSwibG9nX2luZGV4IjozLCJzaWdzIjpbeyJrZXlfaWQiOiJiMWZkZWI1Y2MxYTYzNzFiYjA0MGU1ZjUyYzllMWQ2OCIsInJvbGUiOiJ3Iiwic2lnIjoiOTFiNTVmZjY3NzE3NzIzOWE1NTUyNGZhNGU0NWE5NzIwODExMDMwMmRmMTcxMzlmMDkzZDk5NmQyYWJjM2Y5YWRjNjhkMDFjNDYyYTZkNTY0YzhmNDBkYWFmMWZkYjE1NjdhNmQ1MDAwZmI3YmU0OTU4NDRjZTkxYzllOWNiMGMifV19LHsiZXZlbnQiOnsiYWN0b3IiOiJDIiwiYXQiOiIyMDI2LTEwLTAxVDE4OjAwOjAwWiIsImF1dGgiOnsibWV0aG9kIjoiZW1haWxfdG9rZW4iLCJ0b2tlbl9leHBpcmVzIjoiMjAyNy0wMS0wMVQwMDowMDowMFoiLCJ0b2tlbl9ub25jZSI6IjIxNWY3OGYyMTFkODc3NzI0OTkzNmQwNzQyMDJhYmExIn0sImJvZHkiOnsicGFydHlfZGlnZXN0IjoiZDM1MzBiMzdiZmZmZWExODcyMmQ0YWVjZDc1MDUwNmM2YmRiMDNmYzUxZGZkNzI2MmNhMDJkNDZkNjVkNGUzMiIsInJlZiI6IjdiNTBkMDY5NzQzODNkMzE0NWYyZWY0YWM1N2Q1OTkwMjYwZTQ1MTI5MTJmZmUxYmJjNWQyYzUzODI0NjAzMzAifSwiZm9ybWF0IjoiaGFuZG9mZi92MCIsInByZXZfaGFzaCI6IjdiNTBkMDY5NzQzODNkMzE0NWYyZWY0YWM1N2Q1OTkwMjYwZTQ1MTI5MTJmZmUxYmJjNWQyYzUzODI0NjAzMzAiLCJyZWNvcmRfaWQiOiI2ZDM0MGM4MzE2ODUyYTNhZWQzMjA0ZDIyZTA1NmU4NiIsInNlcSI6Mywic2VydmVyX2tleV9pZCI6ImIxZmRlYjVjYzFhNjM3MWJiMDQwZTVmNTJjOWUxZDY4IiwidHlwZSI6IkFDQ0VQVCJ9LCJpbmNsdXNpb24iOnsiaGVhZF9uIjoxLCJwYXRoIjpbIjIxZTQ5OTViMjZlNmQ0M2Y4MTk2MmE4NzQwYWNlOGE4MzIyZDlhY2FjNDQwNzA4ZGRiMWM1YjcxZmY1ZWVmNjEiLCJmNDE4YTE1Nzc5ZTIyZjEzZGEwMGU5M2Y4MmJlMWI1MDM5Y2VmYzhmMjY0NGUyNmYwODU1Zjg3ZTExYThlNWJhIl19LCJsb2dfaW5kZXgiOjQsInNpZ3MiOlt7ImtleV9pZCI6ImIxZmRlYjVjYzFhNjM3MWJiMDQwZTVmNTJjOWUxZDY4Iiwicm9sZSI6InciLCJzaWciOiIzZTY1MTYxYTJhMmViOThmZjM1NDM3Mjk1ZTM4ZGJjZGQxZWM2OGRiMzBmMjZjM2U1MDVkYjVhOGExY2YxNjJlMjBhODc0MTZkYWM5YWMzN2I2MmYyYmU1YzIyZTk2MjUwNzhhNTBmYWEwZTJiNTkzMDU5M2U5NzBhNGI4ZTQwNSJ9XX1dLCJmb3JtYXQiOiJoYW5kb2ZmL3YwIiwiaGVhZHMiOlt7ImhlYWQiOnsiZGF0ZSI6IjIwMjYtMDktMzAiLCJmb3JtYXQiOiJoYW5kb2ZmL3YwIiwibG9nX3Jvb3QiOiI2ZTMwZmI3OTBmMmE1NTg3MmQwM2U0ODIwZGM2MzI4NDZhMGFlZjQ2OWQ1MmFjNTgwMDZjY2U2ZGZmYjZlNzRjIiwibiI6MCwicHJldl9oZWFkIjoiMDI1NTRhYWMxNTg0NDNjMTIzZTcwMzE5ZWNlZTM5MDNkMDU5MjNjYTBlN2ZkYzNlYzYyMjczOTNkYzNmNjM3NCIsInB1Ymxpc2hlZF9hdCI6IjIwMjYtMTAtMDFUMDA6MDU6MDBaIiwic2VydmVyX2tleV9pZCI6ImIxZmRlYjVjYzFhNjM3MWJiMDQwZTVmNTJjOWUxZDY4IiwidGlwX2NvdW50IjoxLCJ0aXBfcm9vdCI6ImY1MzQwYzZhNzI0MjBlZjFkZjBkNDJiMzQ0ZjVhMjJkMTVhMTg5ZDE5MTMxMWU2NzE3MDA5Nzg1YjRiZGIzNGMiLCJ0cmVlX3NpemUiOjF9LCJzaWdzIjpbeyJrZXlfaWQiOiJiMWZkZWI1Y2MxYTYzNzFiYjA0MGU1ZjUyYzllMWQ2OCIsInNpZyI6ImY4NzRlMjI0OWM2ZTE4OWY0ZDJlMWVmN2I4ZWFhNDUwYzhlN2MxMGNiNTBjMGY2NWNmMGJlYjkzMTEyM2IxNDExZDZhMjdmNzJkNmQzYmU0NjYwNjgzYTFjMDUxZTY2NDI4YzAxOTY1MWY5OTFlOWZiYWVlNzAzZDcwOGRmZjBjIn1dfSx7ImNvbnNpc3RlbmN5IjpbImUzZDJkZjQ1NzhhNDI0ZGMzNDkyNzlhZGQ3NjY1MTAzMDQ5OGI4YjE0MTMxNzJlNGJjYjc2OTdlMjUzYzAyYmEiLCIzYzU5N2ZhYWQ2ZDJjNDRhODY1M2E3ZWEwNTI4Y2QwMTUzMTE2YmI2Y2U3ZjdhZmFhOTY1YTU1MWUxNzEwMTAwIiwiZjQ0OGFkZjU4NzRhMDM1Yzk3Yzk0ZjJiMzY2N2NmYTBhNWZmZTNkZGQ2NTBlYzAxYzc5MzQwMDQwOTFlZTA5MyJdLCJoZWFkIjp7ImRhdGUiOiIyMDI2LTEwLTAxIiwiZm9ybWF0IjoiaGFuZG9mZi92MCIsImxvZ19yb290IjoiZDU0N2M1MDMxMzM5NTg5YzQ4YTJmMmFhM2I0MDA4ZWU1MGVlNjNiOTg2YTUzNDJkOWNkYmE1Y2FlM2NlZjk2YiIsIm4iOjEsInByZXZfaGVhZCI6ImI4ZDU4NDViMGFlYTZmOGZmYmQ4MmIxNGQ5NjViMjQ1NTFmZWY3MGVkNzJlYWY3YjVlMTliMzUxMzU2YWE3MWEiLCJwdWJsaXNoZWRfYXQiOiIyMDI2LTEwLTAyVDAwOjA1OjAwWiIsInNlcnZlcl9rZXlfaWQiOiJiMWZkZWI1Y2MxYTYzNzFiYjA0MGU1ZjUyYzllMWQ2OCIsInRpcF9jb3VudCI6MywidGlwX3Jvb3QiOiJiYTcxZDhkOTZmNDAyODIzZjA2NDY3NTQ2MTRhMWE4MDI1OTRiMzI0NWM3MDQ3YWQ4NmExODg0MTI5OWI3YmJjIiwidHJlZV9zaXplIjo2fSwic2lncyI6W3sia2V5X2lkIjoiYjFmZGViNWNjMWE2MzcxYmIwNDBlNWY1MmM5ZTFkNjgiLCJzaWciOiJhZjZmYWZjMTBmNDlkZmZiODZmYTg2NWUzYWRjZTU3ODAxNWNhYmE5NTU1NzI3Yzg1ZjU4YTgwMGRiZTk3ODIwMjQ3MTVjZmQzOGE4Njg1OTc2ZjFjYjM1ZWQ0MGZmNzg0M2QxMzhkYTlmYzdlZWZlY2I2NzZiYmU0ZjA3MzEwYiJ9XX1dLCJraW5kIjoicmVjb3JkX2V4cG9ydCIsInJlY29yZF9pZCI6IjZkMzQwYzgzMTY4NTJhM2FlZDMyMDRkMjJlMDU2ZTg2IiwidGlwIjp7ImhlYWRfbiI6MSwibWVtYmVyIjp7ImluZGV4IjoxLCJsZWFmIjp7ImV2ZW50X2hhc2giOiI3MWZiODI0NTVlYzVmYmUzNDg1ZmI2YWJjMjMxMmQwYzZkYjc0ZGFhODNiNzM2ZGI5OGQzODBlZGJlMmFmNTI1IiwibGFzdF9zZXEiOjMsImxvZ19pbmRleCI6NCwicmVjb3JkX3RhZyI6Ijc1NjA1NDYxZmI5YjI5YmE5N2QyZmEwOGI0N2EyNjU5NThmMjQwNjA0ZWE4M2Q3OTFhNDA0ZmFkM2Y1NzhlNzEifSwicGF0aCI6WyJmNTM0MGM2YTcyNDIwZWYxZGYwZDQyYjM0NGY1YTIyZDE1YTE4OWQxOTEzMTFlNjcxNzAwOTc4NWI0YmRiMzRjIiwiZmRhNWI5ZGVlNTYzNjNlZjMyMWVjOWY4YTk0MDhhYjc0MTMyYTlkMDQxMmVlNjhlZDhiODA3Y2ZmNzFmMDU1NSJdfX19",
  "keys_b64": "eyJlbnRyaWVzIjpbeyJhbGciOiJlZDI1NTE5IiwiZW5kb3JzZW1lbnQiOiI2MzNiNDhjZDdlYjRkMzQwYmFiZTI1ZTViZTU1M2IxYjliNmZmYWE1NzE1NGRiYjJkZTZmMzdjNDJjYzdlZTczMGEwODMzMTFmN2RlYjdmZmUxMDU0YjczNDA0Y2MyOWVkYTBlZDc3NWMxOTdjODg2ZjcxZTRmMWQ5NmQ1NTIwYyIsImtleV9pZCI6ImIxZmRlYjVjYzFhNjM3MWJiMDQwZTVmNTJjOWUxZDY4IiwicHVia2V5IjoiMmJlYWE0ZTcxYmFjZmFhY2ViYzc1OTMxMDU1MTk0NjY5MzkyMjdiNmVlM2IzNGMwODRkZTgyNGVlMmQ5YmNiNCIsInZhbGlkX2Zyb21faGVhZCI6MH1dLCJmb3JtYXQiOiJoYW5kb2ZmL3YwIn0=",
  "local_caps": {
   "export_bytes": 1000
  },
  "require_anchored": false
 },
 "kind": "verify",
 "note": "r8.1 binds r8 F3: \u00a73.5 item 2 (lines 268-272) and \u00a710 step 0 (lines 940-941) say the message states that the content is not read and that no other protocol limit was checked; \u00a73.5 item 3 (lines 273-275) says a capped verifier states its caps in the LOCAL_CAP message. The patterns accept the usual wordings of those three statements, not only the reference's (1000 may be written 1,000); there is no must_not_match, because r8's own sentence (lines 270-271) puts 'the content is within the other protocol limits' under a negation that a pattern cannot tell from a claim",
 "spec_sections": [
  "\u00a73.5",
  "\u00a710",
  "\u00a714"
 ],
 "title": "V01-1's valid 6282-byte export with a declared local cap of 1000 bytes: ERROR LOCAL_CAP whose message says the content was not read, that no other protocol limit was checked, and states the cap",
 "vector": "XF3"
}